皆様， 『ラムダ計算と論理の早春セミナー』のご案内 日程：2015年3月16日(月) 午後5時から3月20日(金) 正午まで 場所：国立大学草津セミナーハウス 〒377-1711 群馬県吾妻郡草津町大字草津字白根737 詳細：http://www.cs.gunma-u.ac.jp/~fujita/2015.03LLSinKusatsu.htm 申込・質問などは藤田（群馬大学）までご連絡をお願いします． 興味をお持ちのみなさまのご参加をお待ちしております． ----------- 群馬大学 藤田憲悦