|
05月26日
|
10:30 – 11:10
|
中澤 巧爾
|
京都大学
|
Reduction system for extensional Lambda-mu calculus
|
|
|
11:20 – 12:00
|
松田 直祐
|
東京工業大学大学院情報理工学研究科
|
コンビネータによるラムダ計算の模倣
|
|
|
13:30 – 14:00
|
安部 達也
|
理化学研究所
|
形式化されたメモリ一貫性モデルにおけるプログラム検証
|
|
|
14:10 – 14:40
|
中村 誠希
|
東京工業大学数理・計算科学専攻
|
Propositional Hoare Logicの拡張について
|
|
|
14:50 – 15:20
|
佐藤 雅大
|
名古屋大学多元数理科学研究科
|
Set-theoretical Intuitionistic Proof-irrelevance Model of CＩC-.
|
|
|
(coffee break)
|
|
|
|
|
|
15:50 – 16:20
|
萩尾 由貴子 / 鴨 浩靖
|
久留米大学
|
TBA
|
|
|
16:30 – 17:00
|
小島 健介
|
京都大学
|
Categorical approach to first-order modal logic
|
|
|
17:10 – 17:40
|
吉村 和人
|
北陸先端科学技術大学院大学
|
Weihrauch束の構成的逆数学への応用
|
|
|
|
|
|
|
|
05月27日
|
9:30 – 10:00
|
池之内 彰子
|
奈良女子大学人間文化研究科
|
OCC Theoryに基づくエージェントの感情表現の論理モデルについて
|
|
|
10:10 – 10:50
|
樋口 幸治郎
|
千葉大学
|
Structures vs Prestructures
|
|
|
11:00 – 12:00
|
小澤 正直
|
名古屋大学大学院情報科学研究科
|
量子集合論の量子力学への応用
|
|
|
13:30 – 14:30
|
蓮尾 一郎
|
東京大学
|
“Nonstandard Static Analysis” of Cyber-Physical Systems
|
|
|
14:40 – 15:20
|
斎藤 正彦
|
東京大学名誉教授
|
超準考古学
|
|
|
(coffee break)
|
|
|
|
|
|
15:50 – 16:35
|
Florian Pelupessy
|
東北大学
|
Phase transitions in logic
|
|
|
16:45 – 17:30
|
知沢 清之
|
管理工学研究所
|
On a circuit model with 4-dimensional canards
|
|
|
|
|
|
|
|
05月28日
|
9:30 – 10:15
|
松永 隆
|
大阪府立成人病センター病院医療情報部
|
A direct proof of the Doleans-Dade theorem by nonstandard analysis
|
|
|
10:25 – 11:10
|
村上 雅彦
|
東京医大
|
Yet another quantum set theory II
|
|
|
11:20 – 11:50
|
横山 啓太
|
北陸先端科学技術大学院大学
|
Nonstandard methods for combinatorial principles II
|