[logic-ml] 2012年数学基礎論若手の会・プログラム

[Kazushige TERUI]

みなさま

＃投稿に失敗したようなので再投稿させていただきます。
＃万が一複数お受け取りされましたらご容赦ください。

明日から行われる数学基礎論若手の会のプログラムをご案内させていただきます。
宿泊・食事は締め切りましたが、聴講や懇親会のみの参加は今からでも歓迎です。
どうぞよろしくお願いします。

照井


日程： 11月23日(金)午後 〜 25日(日)午前
場所： 奈良県青少年会館 http://www6.ocn.ne.jp/~naseikan/
幹事： 照井一成 (京都大学) terui at kurims.kyoto-u.ac.jp
ホームページ： http://www.kurims.kyoto-u.ac.jp/~terui/wakate2012.html

プログラム

11月23日（金）
14:15 - 14:30  開会

14:30 - 15:30  宮部賢志（京都大学）
               独立性定理とRadon-Nikodym微分

15:45 - 16:45  松田直祐（千葉大学）
　　　　　　　 古典論理と直観主義論理の汎用性

17:00 - 17:15  静馬荘司（関西大学）
               奇数の完全数について

18:00 -        夕食・風呂

19:30 - 21:00  懇親会



11月24日（土）
07:45 -        朝食

09:00 - 10:00  依岡輝幸 （静岡大学）
               巨大基数公理と連続体濃度 - 巨大基数を使わない解説

10:15 - 11:15  井澤昇平（東北大学）
               代数系の圏入門

11:30 - 12:30  滝坂透（京都大学）
               The word problem on Grigorchuk groups

12:30 -        昼食

14:00 - 15:00  木原貴行（北陸先端科学技術大学院大学）
               次数の理論の実解析学への応用

15:15 - 16:15  柳川信（筑波大学）
               Galois group and its application to Kueker conjecture

16:30 - 17:30  縫田光司（産業技術総合研究所）
               暗号分野では証明不可能性をどのように証明するか

18:00 -        夕食・風呂

19:30 - 21:00  懇親会



11月25日（日）
07:45 -        朝食

09:00 - 10:00  田中勇一（筑波大学）
               アルゴリズム的ランダムネスによるモンテカルロ・メソッドについて

10:15 - 11:15  松尾亮太（名古屋大学）
               戦略的論理式でのゲーム理論の研究

11:30 - 12:30  酒井拓史（神戸大学）
               TBA

12:30 - 12:45  閉会



------------------------------------------
Kazushige TERUI
Research Institute for Mathematical Sciences,
Kyoto University.
Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN.
Phone: +81-75-753-7235
Fax: +81-75-753-7276
terui at kurims.kyoto-u.ac.jp
http://www.kurims.kyoto-u.ac.jp/~terui/