コンパイラ／第11回

• 実施日時: 2010-06-30（水） 2限
• 講義内容: S属性定義、L属性定義
• 講義資料6.4節, 6.5節

形式言語理論／第11回

• 実施日時: 2010-06-29（火） 2限
• 講義内容: PDAの受理言語
• 教科書6.1〜6.2節

データ工学・データマネジメント／第11回

• 実施日時: 2010-06-25（金） 2限
• 講義内容: プログラミング言語からのSQLの利用、更新不整合
• 講義ノート: RDBMSを使う, 正規形

定期試験の詳細については、来週か再来週に連絡します。

コンパイラ／第10回

• 実施日時: 2010-06-23（水） 2限
• 講義内容: LL(1)文法に基づく構文解析プログラム、記号表、翻訳スキームの概要
• 配布資料5.4節、6.1節、6.3節

形式言語理論／第10回

• 実施日時: 2010-06-22（火） 1限
• 講義内容: 文脈自由文法の応用、あいまいな文法、プッシュダウンオートマトン
• 教科書5.3節、5.4節、6.1.1項

フレッシュマンセミナー

• 実施日時: 2010-06-16（水） 4限
• 講義内容: 高校数学から情報科学へ
• 資料は公開しておりません。あしからずご了承ください。学内関係者の方は個別にご相談ください。

データ工学・データマネジメント／第10回

• 実施日時: 2010-06-18（金） 2限
• 講義内容: SELECT文（GROUP BY, HAVING, 入れ子問合せ）、外部キー制約
• 講義ノート: SQL（前回のものと同じ）,  キー

コンパイラ／第9回

• 実施日時: 2010-06-16（水） 2限
• 講義内容: FOLLOW(), LL(1)文法の判定方法
• 講義資料 5.3.3項、5.3.4項

形式言語理論／第9回

• 実施日時: 2010-06-15（火） 2限
• 講義内容: 文脈自由文法、構文木
• 教科書5.1節、5.2節

データ工学・データマネジメント／第9回

• 実施日時: 2010-06-11（金） 2限
• 講義内容: SELECT文（結合、ORDER BY句）
• 講義ノート: SQL（先週公開のものと同じ）

コンパイラ／第8回

• 実施日時: 2010-06-09（水） 2限
• 講義内容: 左再帰の除去、下向き構文解析、FIRST()関数
• 講義資料4.5節、5.1節〜5.3.2項

形式言語理論／第8回

• 実施日時: 2010-06-08（火） 2限
• 講義内容: オートマトンの等価性・状態数最小化
• 教科書 4.4節

データ工学・データマネジメント／第8回

• 実施日時: 2010-06-04（金） 2限
• 講義内容: SQL(基本的な構文)
• 講義ノート: SQL

講義時にアナウンスした通り、人員・部屋の都合により、中間試験は取りやめとさせていただきます。シラバスと食い違うことになり、申し訳ありませんが、ご了承ください。

コンパイラ／第7回

• 実施日時: 2010-06-02（水） 2限
• 講義内容: 文脈自由文法の意味、解析木、最左導出・最右導出、曖昧な文法
• 配布資料 4.1〜4.4節

形式言語理論／第7回

• 実施日時: 2010-06-01（火） 2限
• 講義内容: 正則言語でないことの証明（反復補題）、正則言語の閉包性（集合和、閉包、連接、補集合、共通部分）
• 教科書4.1.1項、4.2.1項