皆様， 毎年行われています「ラムダ計算と論理の晩夏セミナー」について御案内させて 頂きます． 日程：2015年9月22日(火) 午後5時から9月26日(土) 正午まで 場所：国立大学草津セミナーハウス 〒377-1711 群馬県吾妻郡草津町大字草津字白根737 詳細：http://komoriyuichi.web.fc2.com/symposium/KusatsuSeminar/2015 /2015.09LLSKusatsu.htm 申込・質問などは古森までご連絡をお願いします．