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

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

参加申込：参加・宿泊・予約などの事務的なことは古森雄一が窓口となっています． 講演や参加を希望されます方は以下の項目を9月12日までに，次の式のβ正規形
(*　　(λX.komorX.yuXchX@gmaXl.com)i 　　*)
まで御連絡下さい．会議室確保の都合がありまして，参加のみを希望されます方も予め御連絡頂けますと幸いです．
------------------------- 参加申込 -------------------------
氏名：
所属：
連絡先 (e-mail):
参加期間：
講演希望：有・無
題目：
希望時間：
その他：
-------------------------------------------------------------
セミナーに参加される方の中で特にセミナーハウスでの宿泊を希望される方は9月7日までに宿泊申込を古森（上記e-mailアドレス）までメイル下さい． （料金・設備などの情報は草津セミナーハウスのページを御参照下さい． なお，確保した部屋が一杯になったら締切内に申し込んでも部屋が確保できない可能性がありますので御了承下さい．） 宿泊定員の関係でこちらの締切は早くなっています．他の情報は後からでも構いませんので，よろしくお願いいたします． セミナーハウス以外の宿を探す方は例えばこちらを参考にしてください．
------------------------- 宿泊申込 -------------------------
ラムダ計算と論理のセミナーに関してセミナーハウスでの宿泊申込をします．
部屋タイプの希望（教員は選択できますが，学生は学生部屋となります）：
教員用, 学生用, どちらでもよい
宿泊・食事の希望（希望しない部分を消去して下さい）：
　　 22日　　夕食　宿泊
　　 23日　　朝食　夕食　宿泊
　　 24日　　朝食　夕食　宿泊
　　 25日　　朝食　夕食　宿泊
　　 26日　　朝食
------------------------------------------------------------
昼食は個人やグループの計画に合わせて草津町内で自由にとってもらう予定となっています．

講演者: 題目

• 倉田 俊彦: On definability of compact innocent strategies for dialog games
• 藤田 憲悦: On Least Upper Bounds on the Church-Rosser Theorem (概要)
• 松田 直祐: 中間命題論理 古森-鹿島の問題への導入 (資料)
• 古森 雄一: 超 BCI 論理の中で古典論理で極小な論理式で公理化できる論理について
• 樋口 幸治郎: 拡張と完全化について (資料)
• 沖坂 祥平: Lindstrom 拡大の定義可能性について

参加予定者:

• 古森 雄一　（千葉大学）　(9/22-26)
• 倉田 俊彦　（法政大学）　(9/23-26)
• 藤田 憲悦　（群馬大学）　(9/24-26)
• 松田 直祐　（東工大 D3） (9/22-26)
• 山川 郁加　　　　　　　　　 (9/22-23)
• 樋口幸治郎 （千葉大学）　(9/22-26)
• 沖坂 祥平　（東北大 D2） (9/22-26)

過去のセミナー：　

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

Created: 2015.08.24; 　Last update 2015.10.22