コンパイラ：第10回

• 実施日時：2009-06-24（水）1限
• 講義内容：翻訳スキームの概要
• 講義資料：6章（講義時に配布済み）

形式言語理論：第10回

• 実施日時：2009-06-23（火）1限
• 講義内容：プッシュダウンオートマトン
• 教科書6.1.1項〜6.1.3項

フレッシュマンセミナー

• 実施日時：2009-06-17（水）4限
• 講義内容：高校数学から情報科学へ、そしてプログラミングへ

講義資料は公開していません。ご覧になりたい方はメール等でご連絡ください。

コンパイラ：第9回

• 実施日時：2009-06-17（水）1限
• 講義内容：LL(1)文法：FOLLOW()、DIRECTOR()、LL(1)文法の判定
• 講義ノート：5章

形式言語理論：第9回

• 実施日時：2009-06-16（火）1限
• 実施内容：構文木、再帰的推論・導出・構文木の等価性
• 教科書5.2節

休講通知：データ工学・データマネジメント

急用のため、本日（6月19日）のデータ工学・データマネジメントの講義は休講とします。直前のアナウンスになって申し訳ありません。

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

• 実施日時：2009-06-12（金）2限
• 講義内容：SQL(2)（SELECT文の続き）
• 講義ノート：SQL（前回のと同じ）

先週に引き続き、SELECT文について説明を行いました。今日の主なトピックとしては、SELECT句中の式の扱い、WHERE句、JOIN句が挙げられます。次回は、SELECT文のうち関係代数にはない機能（並べ替え、グループ化など）をお話しする予定です。

コンパイラ：第8回

• 実施日時：2009-06-10（水）1限
• 講義内容：LL(1)文法の概要、FIRST()関数
• 講義資料：5章（06/03に配布済み）

形式言語理論：第8回

• 実施日時：2009-06-09（火）1限
• 講義内容：文脈自由文法
• テキスト5.1節

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

• 実施日時：2009-06-05（金）2限
• 講義内容：関係データベース管理システムの概要、SQL(1) （SELECT文の基本）
• 講義ノート：SQL

コンパイラ：第7回

• 実施日時：2009-06-03（水） 1限
• 講義内容：予測型構文解析の概要、左再帰の除去
• 講義資料：5章（講義時に配布済み）

形式言語理論：第7回

• 実施日時：2009-06-02（火） 1限
• 講義内容：正則言語に対する閉包性を持つ演算、有限オートマトンの状態数最小化
• テキスト4.2節、4.4節

休講：データ工学・データマネジメント

5月29日は開学記念日のため、「データ工学・データマネジメント」の講義はありませんでした。

コンパイラ：第6回

• 実施日時：2009-05-27（水）1限
• 講義内容：構文木、文脈自由文法と構文解析の関係、文法の曖昧性
• 講義資料：4章（05/20に配布済み）

形式言語理論：第6回

• 実施日時：2009-05-26（火）1限
• 講義内容：DFAから正規表現への変換、ポンプの補題
• テキスト3.2.1節、4.1節

データ工学・データマネジメント：第7回

• 実施日時：2009-05-22（金）2限
• 講義内容：関係代数（商）、関係代数による問合せ記述例
• 講義ノート：関係代数（前回のものと同じ）