2010年度数学基礎論若手の会が以下のように開催されます。
数学基礎論若手の会 は数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です.
講演はオリジナルの成果発表に限らず研究の途中報告や分野の紹介も大歓迎ですので, 多くの講演をお待ちしています. 特に修士2年の方には修論完成へ向けてのステップとして最適かと思います.
(2010/10/19) 10月18日(月)に募集を締め切ったのですが,講演枠,宿泊・食事にまだ余裕があるため締め切りをあと1週間延長し、10/26 (火)とします。いずれも先着順とし,枠が埋まり次第終了とします.
申し込みは下記情報を今年度幹事の山下(email: leibniz7 at gmail.com) までお知らせください.確認のメールを差し上げます.
なお、email: leibniz7 at gmail.comとの送受信に何らかの問題のある場合のみ email: yamasita at dpc.aichi-gakuin.ac.jpの方にご連絡 お願いします。
11/19 13:30まで ぼちぼち集合 (第3研修室) 13:30-14:00 朝比奈佑樹 (名古屋大学) Kripke models とScott-Montague semanticsについて 14:00-14:40 井澤昇平 (東北大学理学研究科数学専攻) 高階算術における抽象論 14:40-15:10 岩波克 (東京工業大学数理計算科学専攻) 直観主義フレーム上の古典論理 15:10-15:20 休憩 15:20-15:40 オリエンテーション 15:40-16:10 嘉田 勝 (大阪府立大学 大学院理学系研究科) 未定 16:10-16:40 上條良介 (早稲田大学 基幹理工学部) homeomorphisms on generalized planes 16:40-17:40 木原貴行 (東北大学大学院理学研究科) デンドロイドを紙に細字で描くとき 19:00-20:30 夕食・懇親会 21:00-22:00 入浴 22:30 就寝 11/20 06:30-07:00 寝具整理、洗面 07:00-07:20 朝のつどい 07:20-07:50 朝食 07:50-09:00 清掃 09:20 集合 (第1研修室) 09:20-10:20 倉橋太志 (神戸大学) First-order provability logic 10:20-10:30 休憩 10:30-11:10 小島健介 (京都大学 情報学研究科) 半分だけ正規な様相論理 11:10-11:50 竹内耕太 (筑波大学数理物質科学研究科) 未定 12:00-12:30 昼食 13:30-14:10 田中 勇一 (神戸大学大学院) 未定 14:10-14:40 中村 順 (早稲田大学 基幹理工学研究科) Uncountable Specker phenomenon and n-slender groups 14:40-14:50 休憩 14:50-15:30 石田和 (京都大学数理解析研究所) 未定 15:30-16:10 樋口 幸治郎 (東北大学大学院理学研究科) 未定 16:10-16:20 休憩 16:20-17:20 藤原誠 (東北大学理学研究科) Satisfiability problem and resolution principle 19:00-19:30 夕食 19:30-20:30 入浴 20:30-22:30 懇親会 22:30 就寝 11/21 06:30-07:00 寝具整理、洗面 07:00-07:20 朝のつどい 07:20-07:50 朝食 07:50-09:00 清掃 09:30 集合 (第1研修室) 09:30-10:30 渕野 昌 (神戸大学大学院システム情報学研究科) Mystery train 10:30-10:40 休憩 10:40-11:40 松尾亮太 (名古屋大学情報科学研究科) ロジックのゲーム理論への応用
(2010/09/23) まだ未確定の部分もありますが、いくつか情報を記しておきます。
五十音順
name | affiliation | position/post | speech | title |
朝比奈佑樹 | 名古屋大学 | M2 | 有 | Kripke models とScott-Montague semanticsについて |
井澤昇平 | 東北大学理学研究科数学専攻 | 修士2年 | 有 | 高階算術における抽象論 |
石田和 | 京都大学数理解析研究所コンピューターサイエンスグループ | 修士2年 | 有 | 未定 |
岩波克 | 東京工業大学 数理計算科学専攻(鹿島研究室) | 博士課程 | 有 | 直観主義フレーム上の古典論理 |
薄葉 季路 | 名古屋大学高等研究院 | 特任助教 | 無 | |
梅北 拓朗 | 東京大学理学部数学科 | 学部4年生 | 無 | |
小川孝典 | 首都大学東京 都市教養学部 理工学系 数理科学コース | 学生(学部4年生) | 無 | |
嘉田 勝 | 大阪府立大学 大学院理学系研究科 | 講師 | 有? | |
上條良介 | 早稲田大学 基幹理工学部 | D1 学生 | 有 | homeomorphisms on generalized planes |
木原貴行 | 東北大学大学院理学研究科数学専攻 | 博士課程後期2年 | 有 | デンドロイドを紙に細字で描くとき |
倉橋太志 | 神戸大学 | 修士2年 | 有 | First-order provability logic |
小島健介 | 京都大学 情報学研究科 | 博士課程学生 | 有 | 半分だけ正規な様相論理 |
酒井 拓史 | 神戸大学大学院システム情報学研究科 | 講師 | 無 | |
竹内耕太 | 筑波大学数理物質科学研究科 | M2 | 有 | |
田中 健策 | 名古屋大学大学院多元数理科学研究科 | 博士課程後期2年 | 無 | |
田中 勇一 | 神戸大学大学院 | M1 | 有 | 未定 |
中村 順 | 早稲田大学 基幹理工学研究科 数学応用数理専攻 江田研究室所属 | D2 | 有 | The uncountable Specker phenomenon and n-slender groups |
樋口 幸治郎 | 東北大学大学院理学研究科数学専攻 | 博士2年 | 有 | 未定 |
藤田真依 | 大阪大学大学院 理学研究科 数学専攻 | 修士2年 | 無 | |
藤原誠 | 東北大学理学研究科 | 学生(M1) | 有 | Satisfiability problem and resolution principle |
渕野 昌 | 神戸大学大学院システム情報学研究科 | 教授 | 有 | Mystery train |
松尾亮太 | 名古屋大学情報科学研究科 | M2 | 有 | ロジックのゲーム理論への応用 |
宮崎達也 | 名古屋大学情報文化学部自然情報学科 | 学部3年 | 無 | |
村上翔太 | 東北大学理学研究科 | M1 | 無 | |
依岡輝幸 | 静岡大学 | 准教授 | 無 | |
六山昌彦 | 京都大学文学研究科 現代文科学専攻 科学哲学科学史専修 | 学生(M1) | 無 |