会場
慶應大学日吉キャンパス来往舎(研究室棟)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分)
|