[logic-ml] Gilles Dowek教授講演会 1月16日金曜日 三田ロジックセミナー