[logic-ml] 情報処理学会_2012年度第4回プログラミング研究会(2013/01)_発表募集