2012
年度数学基礎論若手の会
奈良県青少年会館, 2012年11月23日 -25日
プログラム
11月23日（金）
14:15 - 14:30 開会
14:30 - 15:30 宮部賢志（京都大学）
独立性定理とRadon-Nikodym微分
15:45 - 16:45 松田直祐（千葉大学）
古典論理と直観主義論理の汎用性
17:00 - 17:15 静馬荘司（関西大学）
奇数の完全数について
18:00 - 夕食・風呂
19:30 - 懇親会
11月24日（土）
07:45 - 朝食
09:00 - 10:00 依岡輝幸 （静岡大学）
巨大基数公理と連続体濃度 - 巨大基数を使わない解説
10:15 - 11:15 井澤昇平（東北大学）
代数系の圏入門
11:30 - 12:30 滝坂透（京都大学）
The word problemonGrigorhuk groups
12:30 - 昼食
14:00 - 15:00 木原貴行（北陸先端科学技術大学院大学）
次数の理論の実解析学への応用
15:15 - 16:15 柳川信（筑波大学）
Galois group and itsappliation to Kueker onjeture
16:30 - 17:30 縫田光司（産業技術総合研究所）
暗号分野では証明不可能性をどのように証明するか
18:00 - 夕食・風呂
19:30 - 懇親会
11月25日（日）
07:45 - 朝食
09:00 - 10:00 田中勇一（筑波大学）
アルゴリズム的ランダムネスによるモンテカルロ・メソッドについて
10:15 - 11:15 松尾亮太（名古屋大学）
戦略的論理式でのゲーム理論の研究
11:30 - 12:30 酒井拓史（神戸大学）
TBA
12:30 - 12:45 閉会
参加者
静間荘司 関西大学システム理工学部 B3
酒井拓史 神戸大学大学院システム情報学研究科 講師 田尻翔平 大阪府立大学理学系研究科情報数理科学専攻 M1
依岡輝幸 静岡大学理学部数学科 准教授
藤田博司 愛媛大学大学院理工学研究科 助教 古関恵太 名古屋大学情報科学研究科 M1
縫田光司 産業技術総合研究所セキュアシステム研究部門 研究員
薄葉季路 名古屋大学高等研究院 特任助教
白倉賢一 東京理科大学理学部数学科 B3
吉村和人 北陸先端科学技術大学院大学 M2
仲川聡子 東京工業大学情報理工学研究科数理・計算科学専攻 M1
宮崎達也 名古屋大学情報科学研究科 M1
宮部賢志 京都大学数理解析研究所 研究員
内田祥見 京都大学理学部 B3
青山邦広 大阪大学理学研究科数学専攻 D1
井澤昇平 東北大学大学院理学研究科 D2
木原貴行 北陸先端科学技術大学院大学 PD
鈴木仁哉 東京理科大学理工学部数学科 B4
瀬川朗 東京工業大学大学院 M1
松田直祐 千葉大学理学研究科 M2
田中勇一 筑波大学大学院 D1
藤本康隆 大阪府立大学院情報数理科学科 M1
柳川信 筑波大学 M2
滝坂透 京都大学数理解析研究所 M1
照井一成 京都大学数理解析研究所 准教授
山形聡志
河野友勝 近畿大学医学部 B4
松尾亮太 名古屋大学大学院情報科学研究科 紺野圭右
