データの表現について．つまりレコードの構造やフィールドの構造のお話．１時間ほどで終了． 俺の番じゃないとき早すぎ．

ひきつづきdatalogのお話．datalogと関係代数の表現能力の差など，学問的なお話が続く．証明などは飛ばされたが，基本的には表現能力の証明というのは，変換するアルゴリズムが書ければOKで，書けなければ，表現能力が高いということが証明できるわけである．…