ソフトウェア基礎論　　Foundations of Software Science

---

◇ 担当教員：伊藤　実（いとう　みのる）　安本　慶一（やすもと　けいいち）
◇ 単位数：２　◇　開講時期：�U期　月曜１時限・木曜２時限 ◇　講義室：Ｌ２
◇ 講義目的：
ソフトウェアを設計する際に大切なことは、まず目的に応じて対象をモデル化し、対象の性質を明らかにするための方法論を持つことである。理論的考察は方法論の確立に重要である。このような観点に立った理論的アプローチとして、本講義前半では、構文解析、言語処理の基礎的概念である文脈自由言語を取り上げ、基本的な事項を紹介する。後半では、分散システムを構築するためのソフトウェア技術であるミドルウェアについて解説する。
◇　講義内容：
（１）文脈自由言語
１．文脈自由文法（定義、チョムスキー標準形等）
２．プッシュダウンオートマトン　
３．文脈自由言語の性質（閉包性、パンピングレンマ等）
４．決定性文脈自由言語（４．は時間的に余裕があれば、講義する）

（２）分散システムとミドルウェア　　　
１．分散システムとは？
２．グリッドコンピューティング
３．Peer-to-peerシステム
４．ネットワークQoS技術
５．分散オブジェクト技術
６．ユビキタスコンピューティング


◇ 教科書　：
（１） エフィーム・キンバー、カール・スミス著、筧・杉原訳 ：
計算論への入門、ピアソン・エデュケーション、2002
（２） 特になし。講義資料を配布する。
◇ 参考書　：
（１）授業中に紹介する。
（２）A.S. Tanenbaum and M. v. Steen: Distributed Systems, Prentice Hall
◇ 受講要件：
（１）形式言語理論、計算可能性 （計算理論I）　　
（２）計算機ネットワーク、階層プロトコル（情報ネットワーク論I）
◇ 成績評価：
（１）については試験（５０％）を実施し、（２）については数回のレポート（５０％）の提出を求める。合計点により成績を評価する。