[logic-ml] Kobe Colloquium: Nov. 17, 2017, Satoru Kuroda

[Makoto Kikuchi]

Kobe Colloquium on Logic, Statistics and Informatics 

以下の要領でコロキウムを開催します。

日時: 2017/11/17 (金) 16.00 - 17:30
場所: 神戸大学六甲台第2キャンパス自然科学総合研究棟3号館421室

講演者：黒田覚（群馬県立女子大）
題目：竹内－安本強制法について

交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」
行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ．
http://www.kobe-u.ac.jp/guid/access/rokko/rokkodai-dai2.html

連絡先：菊池誠　mkikuchi at kobe-u.ac.jp