関係計算の約170年の歴史を独断と偏見を交え振り返り、これからの研究の糧としたい。研究代表者:溝口佳寛,の支援のもと開催されます。論理と計算セミナーを計画しています。皆様のご参加をお持ちしております。(竹乃屋千早駅前店)http://www.umakamonya.com/shop/chihaya.html不明な点、質問などありましたら、井口までご連絡ください。Coq)不明な点、質問などありましたら、井口までご連絡ください。