ラ ム ダ 計 算 と 論 理 の 早 春 セ ミ ナ ー

恒例の「ラムダ計算と論理の早春セミナー」を行うこととなりました． 過去のセミナーと同様に「ラムダ計算と論理およびその周辺分野」 に関してなごやかな雰囲気で議論できる場としたいと思っております． 本セミナーは成果発表の場というより成果を挙げる場となっており， 講演件数を抑え，残りの時間は個人やグループで柔軟に研究計画を してもらうようになっています． 色々な方と交流を持つためにも丁度よいと思いますので， 形式等はあまり気にせず，気軽に参加いただけますと幸いです．
なお，例年は群馬県草津町で行われていた本セミナーですが， 2018年の今回は秋田県田沢湖での開催となります．ご注意ください．

日時
2018年3月22日(木) - 3月25日(日)

場所
東京外国語大学　田沢湖高原研修施設 TUFS田沢湖温泉ロッジ
〒014-1201 秋田県仙北市田沢湖生保内字駒ケ岳2-16 TUFS 田沢湖温泉ロッジ

＊当日は有志を集めてレンタカーなどでの移動も考えています．
アクセスはこちらを御覧ください


講演題目
 倉田 俊彦「On Algebraic Completeness of Second Order Intuitionistic Propositional Logic」(発表日：3月25日)
古森 雄一「TBA」(発表日：3月25日)
新屋良磨「Newmanの単純型付けアルゴリズム，およびとある未解決問題への応用可能性について」(発表日：3月25日)
龍田 真 「ブラザーストン予想: マルティンレーフの帰納的定義と循環証明体系の同等性」(発表日：3月23日)
西牟田 祐樹 「Short History of semantic proofs for Takeuti’s Conjecture」(発表日：3月24日)
福田 陽介：「一般除去則とその計算的構造について」(発表日：3月23日)
藤田 憲悦：「The Church--Rosser Theorem and Quantitative Analysis of Witnesses」(発表日：3月24日)
松田 直祐 「2階命題論理とハイティング代数」(発表日：3月25日)
湯山孝雄「Matrix Mortality Problem」(発表日：3月25日)



＊3月22日は講演内容・日程決めなどの各種議論日

参加者

小俣 安彦（東北大学）
倉田 俊彦（法政大学）
小松弘佳（慶應義塾大学）
古森 雄一（千葉大学）
新屋 良磨（秋田大学）
龍田 真 （国立情報学研究所）
西牟田 祐樹 （慶應義塾大学）
福田 陽介 （京都大学）
藤田 憲悦（群馬大学）
松田 直祐（神奈川大学）
湯山孝雄（東京工業大学）

過去のセミナー：　

2017早春セミナー 2016早春セミナー 2015晩夏セミナー 2015早春セミナー

Last update: 2018.03.28 by Ryoma Sin'ya, Akita University