2010年6月30日水曜日

コンパイラ/第11回

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

2010年6月29日火曜日

形式言語理論/第11回

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

2010年6月28日月曜日

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

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

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

2010年6月23日水曜日

コンパイラ/第10回

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

2010年6月22日火曜日

形式言語理論/第10回

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

2010年6月18日金曜日

フレッシュマンセミナー

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

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

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

2010年6月16日水曜日

コンパイラ/第9回

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

2010年6月15日火曜日

形式言語理論/第9回

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

2010年6月11日金曜日

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

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

2010年6月9日水曜日

コンパイラ/第8回

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

2010年6月8日火曜日

形式言語理論/第8回

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

2010年6月4日金曜日

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

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

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

2010年6月2日水曜日

コンパイラ/第7回

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

2010年6月1日火曜日

形式言語理論/第7回

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