会場

慶應大学日吉キャンパス来往舎（研究室棟）2F中会議室で開催します。

東急東横線日吉駅を降りて，商店街とは反対の方向に出ます。中原街道（現在地下鉄工事中）の横断歩道を渡ると，大学構内に入っていく銀杏並木がありますので，そこをしばらく直進します。やがて，横に掲示板のある左への入り口がありますので，そこを入ります。すぐ右手のガラス張りの建物が来往舎です。

来往舎の中に入ってから，エレベータもしくは階段で2Fに上がってください。小会議室，中会議室，大会議室と並んでいます。階段で上がった場合には，少し戻った位置に中会議室があります。

プログラム（→アブストラクトはこちら）

9月18日（火）

1:20-2:30

佐藤圭祐（東工大）：λ記号の加わった様相論理に関する研究（40分）

小島健介（京大）：next, always をもつ直観主義線形時相論理（30分）

2:45-4:05

田中覚次（九大）：関係代数の拡張体系の表現定理について（40分）

根元多佳子（東北大）：Infinite games from a intuitionistic point of view（40分）

4:20-5:20

小林聡（京産大）：極限計算可能数学のためのゲーム意味論と変換意味論（60分）

9月19日（水）

10:20-11:50

菊池健太郎（東北大）：ベータ簡約を模倣するカット除去手続き（40分）

和手正道（了徳寺大）：直観主義論理の証明可能性の決定時間について（20分）

坂川航（東工大）：一般化された体系におけるcut除去定理の成立条件（30分）

1:20-2:20

向井国昭（慶応大）：PrologへのMontague普遍文法に基づくeval述語の導入（30分）

木村大輔（NII）：Duality between Call-by-value and Call-by-name, Extended（急病のためキャンセル）

2:35-3:35

Matthew de Brecht（京大）, 小林正典（首都大）, 徳永浩雄（首都大）, 山本章博（京大）：多項式環におけるイデアルの正データからの帰納推論（30分）

Matthew de Brecht and Akihiro Yamamoto（京大）：Mind Change Complexity More Than ω^ω in Inductive Inference From Positive Data（30分）