ラムダ計算と論理の早春セミナー3/12--3/16 - Logic-ml - fos.kuis.kyoto-u.ac.jp

22 Feb 2013


      『ラムダ計算と論理の早春セミナー』のご案内
日程：2013年3月12日(火) 午後5時から3月16日(土) 正午まで
場所：国立大学草津セミナーハウス
　　　〒377-1711 群馬県吾妻郡草津町大字草津字白根737
詳細：http://komoriyuichi.web.fc2.com/symposium/KusatsuSeminar2008/2013/
興味をお持ちのみなさまのご参加をお待ちしております．
-----------
群馬大学　藤田憲悦