この日も私が延々と３時間発表．のどが疲れた．１日何時間もしゃべるお仕事の人はすごいと改めて思った・・・．

定義域関係論理のお話．これは私には全く知らなかったもの．これは関係代数のように処理の順序ではなく（つまり，どのように処理を組み合わせればよいかを書くのではなく），どんな値が欲しいのかということを宣言的に書くだけで処理をさせようというもので…