時間割 16日 新大阪 13:30発 道場 14:16着（適当に乗り換えて） 14:20 JR道場駅に送迎バス 14:40 事務連絡 15:00〜 研究発表 18日 〜11:00 研究発表 11:20 宿舎からJR道場駅へ送迎バス出発 道場 11:39発 新大阪 12:28着（適当に乗り換えて） 研究発表（発表、討論、休憩含めて各１時間） 16日 15時〜 井深真悟 Quantifier elimination for products of ordered abelian groups 16時〜 江口直日 Goedelのfunctional interpretationについて 17日 9時〜 佐藤隆 可換環論における逆数学 10時〜 横山啓太 ２階算術の理論間の保存性とモデルの関係について 11時〜 西村治道 ネットワーク符号の量子通信への応用． (昼食) 13時〜 安藤善多 一階様相述語論理におけるScott-Montague意味論 14時〜 増田茂 Formulations and constructions of the solutions on the Navier-Stokes equations in succession earlier on. 15時〜 大須賀昇 イデアル I_f のuniformityについて 16時〜 自由討論 18日 9時〜 安保勇希 On stability of saturated generic hypergraphs 10時〜 増渕茂将 未定
竹内泉
産業技術総合研究所
wakate2006@m.aist.go.jp