ラ ム ダ 計 算 と 論 理 の 晩 夏 セ ミ ナ ー

今年の春休み期間に行われました「ラムダと論理の研究会」を夏休みにも行うこととなりました． 過去のセミナーと同様に「ラムダ計算と論理およびその周辺分野」に関してなごやかな雰囲気で議論できる場に致したいと思っています．また，成果発表の場と いうよりは成果をあげる場となっていまして，講演件数を抑え，残りの時間は個人やグループで柔軟に計画してもらうようになっています． 色々な方と交流を持つためにも丁度よいと思います． 形式など余り気にせずに気軽に参加いただけますと幸いです．

参加申込：　締め切りました.
-------------------------------------------------------------

宿泊申込：　締め切りました.
------------------------------------------------------------
昼食は個人やグループの計画に合わせて草津町内で自由にとってもらう予定となっています．

講演者: 題目

• 藤田 憲悦: チャーチ流とカリー流の中間的ラムダ式に関する型問題の決定可能性について
• 古森 雄一: 数理論理学雑談
• 山川 郁加: ラムダ計算と組み合わせ論理の体系 C \lambda I_\lambda
• 松田 直祐: 体系 C \lambda I_\lambda の性質
• 藤井 慶彦: 永続弱正規化可能ラムダ項の帰納的定義について

参加予定者:

• 古森 雄一　（千葉大学）　　　　　(8/26-30)
• 藤田 憲悦　（群馬大学）　　　　　(8/28-30)
• 松田 直祐　（千葉大学 M2）　　　(8/26-30)
• 山川 郁加　（千葉大学 M1）　　　(8/26-30)
• 倉田 俊彦　（法政大学）　　　　　(8/28-30)
• 加藤 紘人　（千葉大学 U4）　　　(8/26-30)
• 菊池 大地　（千葉大学 U4）　　　(8/26-30)
• 小林 正弥　（千葉大学 U4）　　　(8/26-30)
• 宮下 敏明　（千葉大学 U4）　　　(8/26-30)
• 藤井 慶彦　（東工大 　M2）　　　(8/28-30)

過去のセミナー：　

　　2012年3月　2011年8月　2009年3月　2008年9月　2007年3月　2006年3月　2005年3月

Last update: 2012.08.20 by Yuichi KOMORI, Chiba University