このページは 2011 年度のソフトウェアモデル論(A1)のページです。
講義スライド(第15回)を載せました。(2012/01/13)
レポートその13を載せました。(2012/01/06)
講義スライド(第14回)を載せました。(2012/01/06)
演習問題を載せました。(2011/12/28)
レポートその12を載せました。(2011/12/23)
講義スライド(第13回)を載せました。(2011/12/23)
開講しました。(2011/09/30)
| 担当： | 桑原 寛明 (情報システム学科) |
| 連絡先： | kuwabara @ cs.ritsumei.ac.jp ，クリエーションコア 2F 共同研究室 1 |
| 時間： | 金曜 5,6 時限 (13:00-14:30) |
| 教室： | F203 |
| 教科書： | 講義資料を配布 |
評価方法や講義内容、参考書についてはシラバスを参照してください。
各回のスライドは講義終了後に公開します。 要望があったので講義直前にドラフト版を WebCT で公開します。 正式版は講義終了後に公開します。
| スライド | テキストの範囲 | 概要 | |||
| 第1回 | (2011/09/30) | 2 章 | 導入、数学的準備 | レポートその1 | |
| 第2回 | (2011/10/07) | 3.1, 3.2, 3.3 節 | 有限オートマトン(DFA, NFA) | レポートその2 | |
| 第3回 | (2011/10/14) | 3.4, 3.5, 3.6 節 | DFA と NFA の等価性、正規表現 | レポートその3 | |
| 第4回 | (2011/10/21) | 3.7 節 | 有限オートマトンと正規表現の等価性 | レポートその4 | |
| 第5回 | (2011/10/28) | 3.8 節 | 反復補題 | レポートその5 | |
| 第6回 | (2011/11/04) | 別紙 2.1 節 | チューリング機械、計算 | レポートその6 | |
| 第7回 | (2011/11/11) | 別紙 2.2 節 | チューリング機械のコード化 | レポートその7 | |
| 第8回 | (2011/11/18) | 別紙 2.4 節 | 万能チューリング機械、計算可能性、停止性判定 | レポートその8 | |
| 第9回 | (2011/12/02) | 5.1, 5.2, 5.3, 5.4 節 | 命題論理、論理式、論理的帰結 | レポートその9 | |
| 第10回 | (2011/12/09) | 5.5, 5.6 節 | 証明系、自然演繹 | レポートその10 | |
| 第11回 | (2011/12/10) | 5.7, 5.8 節 | 自然演繹の健全性、完全性 | レポートその11 | |
| 第12回 | (2011/12/16) | 6.1, 6.2 節 | モデル検査、Kripke 構造 | レポートなし | |
| 第13回 | (2011/12/23) | 6.3.1 節 | CTL | レポートその12 | |
| 第14回 | (2012/01/06) | 6.5 節 | モデル検査アルゴリズム | レポートその13 | |
| 第15回 | (2012/01/13) | 6.6, 6.7 節 | 並行プログラムのモデル検査 | レポートなし |
締切を過ぎたレポートの略解を順次 WebCT に掲載します。 必要に応じて参照してください。 別解もありえるのでもし疑問があれば訊いてください。
Copyright(C) since 2011
KUWABARA Hiroaki.
All rights reserved.