ソフトウェア基礎論
Foundations of Software Science
講義内容
ソフトウェアシステムを設計する際に大切なことは， まず対象を簡潔にモデ
ル化し， 次に， 対象の性質を明らかにするための方法論をもつことである。
理論的考察は方法論の確立に重要である。このような観点に立ち，本講義前半
では，データベース理論を取り上げ，重要な概念と方法論を紹介する。後半で
は，神経回路モデルの理論と情報処理への応用について解説する。
- データベース理論
データベースにおける質問言語に関する理論的な事柄を説明する。
- 関係代数， 関係論理
- 一階述語質問
- 再帰質問
- 否定を含む再帰質問
- 神経回路網モデルの理論と応用
生物学的モデルに由来する神経回路網モデルに関し，その数理的定式化と情報
処理への応用について説明する。
- 相互結合型モデル，物理モデル
- 階層型モデル，関数近似
- 最適化への応用
- 自己組織化と統計モデル
教科書
特になし : 講義ノートを配布
参考書
授業中に紹介する
前提とする知識(必ずしも先修条件ではない)
- アルゴリズムとデータ構造 ( アルゴリズム概論 )
- 形式言語理論, 計算可能性 ( 計算理論 I )
- 一階述語論理 ( 人工知能基礎論 )