[logic-ml] Logic Zoo Workshop 2013 プログラム (1月31日東京)