29 Jan
2017
29 Jan
'17
2:09 a.m.
みなさま
神奈川大学の松田と申します． 毎年草津セミナーハウスで開催されている， ラムダ計算と論理の早春セミナーを， 今年も開催することになりましたので連絡させていただきます．
日程：2017年3月16日-3月20日 場所：国立大学草津セミナーハウス
詳細等は， http://www.geocities.jp/naosuke_not_good/event/lls_spring_2017.html にあります．
研究打ち合わせ・学生の発表練習の場など， 様々な用途でお使いいただければと思います． 質問等ございましたら， 松田（神奈川大学）までお気軽にお問い合わせください．
--
Naosuke Matsuda,
Dept. of Information Sciences
Kanagawa University
2946, Tsuchiya, Hiratsuka-shi,
Kanagawa, 259-1293, JAPAN
matsuda.naosuke@gmail.com
--
------------------------------
Naosuke Matsuda,
Dept. of Information Sciences
Kanagawa University
Tsuchiya 2946,
Hiratsuka-shi, Kanagawa
259-1293, Japan