データ工学: 第13回

• 実施日時: 2012-07-25（水） 4限
• 講義内容: 表の実現方法、B+-木
• 講義メモ: インデックス（索引）

データ工学: 第12回

• 実施日時: 2012-07-23（月） 4限
• 講義内容: 第2正規形、第3正規形
• 講義メモ: 正規形（前回のものと同じ）

試験通知: コンパイラ

• 実施日時: 2012-08-01（水） 2限
• 場所: 8104室（教室が変更されています。注意!）
• 配布資料、ノート持込可
• 試験範囲: 全範囲

コンパイラ: 第15回

• 実施日時: 2012-07-18（水） 2限
• 講義内容: 三番地コード、翻訳スキームによるコード生成
• 配布資料8.2節

来週（7/25）は月曜日の講義日となるため、今年度の「コンパイラ」の講義はこれで終了です。試験日程等は別の記事に書きます。

コンパイラ: 第14回

• 実施日時: 2012-07-11（水） 2限
• 講義内容: 関数呼出しなどの機械語コード
• 配布資料7.2節、8.1節

配布資料に訂正があります。66ページから68ページにかけて、プログラムコードの行番号と本文・図の行番号が食い違っています。訂正内容と訂正箇所は下記の通りです。

• 訂正内容
• main()の行数: 下記の箇所についてすべて-6してください。（例: 7行目→1行目）
• foo()の行数: 下記の箇所についてすべて-2してください。（例: 3行目→1行目）
• 訂正箇所
• 66ページ、図7.2
• 67ページ、1, 4, 7, 8, 9, 11, 14, 17, 20, 23, 27, 31行目、脚注1行目
• 68ページ、図7.3

形式言語理論: 第11回

• 実施日時: 2012-07-10（火） 2限
• 講義内容: PDAの最終状態受理言語と空スタック受理言語の等価性、CFGとPDAの等価性
• 教科書6.2.4〜6.3.1項

今年度の「形式言語理論」の講義はこれで終了とします。レポート課題は下記のとおりです。

• 課題: 教科書の練習問題 2.5.2, 3.2.4-c), 4.4.2, 6.2.1-c)
• 提出期限: 2012-08-13（月）17:00
• 提出場所: 2610室（部屋の前に提出用の箱を出しておきます）
• 様式の条件: 用紙サイズはA4とすること。手書き・ワープロは自由とする。

データ工学: 第11回

• 実施日時: 2012-07-09（月） 4限
• 講義内容: 実体と関連、更新不整合の例
• 講義メモ: 実体関連モデル、正規形（途中まで）

実体関連図の話を忘れてました。次回の冒頭にやります。

コンパイラ: 第13回

• 実施日時: 2012-07-04（水） 2限
• 講義内容: 実行時環境（ヒープと実行時スタック、など）
• 配布資料7.1.1項、7.1.3項、7.2節（途中まで）

形式言語理論: 第10回

• 実施日時: 2012-07-03（火） 2限
• 講義内容: プッシュダウンオートマトンの受理言語
• 教科書6.1.4項、6.2.1〜6.2.2項

データ工学: 第10回

• 実施日時: 2012-07-02（月） 4限
• 講義内容: アプリケーションプログラムからRDBMSを利用する
• 講義メモ: RDBMSを使う