2009年6月24日水曜日

コンパイラ:第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節

2009年6月19日金曜日

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

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

2009年6月12日金曜日

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

  • 実施日時:2009-06-12(金)2限
  • 講義内容:SQL(2)(SELECT文の続き)
  • 講義ノート:SQL(前回のと同じ)
先週に引き続き、SELECT文について説明を行いました。今日の主なトピックとしては、SELECT句中の式の扱い、WHERE句、JOIN句が挙げられます。次回は、SELECT文のうち関係代数にはない機能(並べ替え、グループ化など)をお話しする予定です。

2009年6月10日水曜日

コンパイラ:第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限
  • 講義内容:関係代数(商)、関係代数による問合せ記述例
  • 講義ノート:関係代数(前回のものと同じ)