データ工学（通信）: 第10回

実施日時: 2013-06-28（金） 4限
講義内容: SQL（SELECT文: 自己結合、ORDER BY、GROUP BY、HAVING、集計関数）
講義メモ: SQL

講義メモの最後に練習問題を付けておきました（関係代数と同じ練習問題です）。次回の講義の冒頭で、いくつか選んで解答例を示しますので、確認のつもりで考えてみてください。1〜5は比較的易しいですが、6は難しいと思われます。インターネット等で調べつつ、考えてみてください。

形式言語理論: 第10回

実施日時: 2013-06-25（火） 2限

講義内容: 文脈自由文法とプッシュダウンオートマトンの概要、文脈自由文法の定義

教科書5.1.1項、5.1.2項に対応。

データ工学（システム・スポーツ）: 第9回

実施日時: 2013-06-24（月） 4限
講義内容: SQL（WHERE句、JOIN句）
講義メモ: SQL（途中まで）

データ工学（通信）: 第9回

実施日時: 2013-06-21（金） 4限

講義内容: SQL（WHERE句、JOIN句、入れ子問合せ）

講義メモ: SQL（途中まで）

形式言語理論: 第9回

実施日時: 2013-06-18（火） 2限
講義内容: 有限オートマトンの等価性判定、状態数最小化
教科書4.4節に相当。

データ工学（システム・スポーツ）: 第8回

実施日時: 2013-06-17（月） 4限
講義内容: SQL（SELECT文の基本）
講義メモ: SQL（途中まで）

データ工学（通信）: 第8回

実施日時: 2013-06-14（金） 4限
講義内容: SQL（表の作成・削除、組の追加・削除・更新、SELECT文の基本形）

講義メモ: SQL（途中まで）

形式言語理論: 第8回

実施日時: 2013-06-11（火） 2限
講義内容: 正則言語の性質（反復補題、閉包性）
教科書4.1節、4.2節に相当。

データ工学（システム・スポーツ）: 第7回

実施日時: 2013-06-10（月） 4限
講義内容: 練習問題の解答例の解説、関係代数（商）、RDBMSの概要

講義時に配布した練習問題の解答例を公開しておきます。なお、配布した解答例には一部冗長な表現が含まれていました。間違いではないのですが、より簡単な表現のほうが適切と考え、Web公開版では訂正を行っています。指摘してくださった学生諸氏に感謝します。

データ工学（通信）: 第7回

実施日時: 2013-06-07（金） 4限
講義内容: 関係代数の練習問題解説、RDBMSの概要

前回の講義時に出した練習問題の解答例を公開しておきます。講義時に配布した資料と同じものです。

2013-06-10追記: 講義時に配布した解答例に、一部冗長な部分がありました。間違いではないのですが、より簡単な表現のほうが適切と考え、訂正をしておきました。上のリンク先のページは訂正版になっています。

形式言語理論: 第7回

実施日時: 2013-06-04（火） 2限
講義内容: 有限オートマトンと正則表現の等価性

教科書3.2節に相当。

データ工学（システム・スポーツ）: 第6回

実施日時: 2013-06-03（月） 4限
講義内容: 関係代数（集合演算、直積、結合、自然結合）
講義メモ: 関係代数（前回のものと同じ）

関係代数のうち、商は次回にまわします。ここまでの関係代数の復習として、上記講義メモの練習問題2について、次回までに考えてみてください。次回講義の冒頭に、解答例を示します。