[logic-ml] 名古屋ロジックセミナー (UC Berkeley校Antonio Montalban氏の講演 6/12)