logic-mlの皆様，
2010年度数学基礎論若手の会の幹事をしております 愛知学院大学の山下と申します． 大変遅れて申し訳ありませんが、本年度の若手の会（11月19日−21日） の講演プログラムができましたので、ご案内申し上げます． 詳細は数学基礎論若手の会2010ホームページ http://www.aichi-gakuin.ac.jp/~yamasita/wakate-no-kai2010.html をご覧ください。 なお，宿泊を伴う参加者は締め切りましたが，宿泊を伴わない参加者は まだ受け付けますので，ご検討いただければ幸いです．
-----------
11/19 （第３研修室） 13:30-14:00 朝比奈佑樹 (名古屋大学) Kripke models とScott-Montague semanticsについて 14:00-14:40 井澤昇平 (東北大学理学研究科数学専攻) 高階算術における抽象論 14:40-15:10 岩波克 (東京工業大学数理計算科学専攻) 未定 15:40-16:10 嘉田 勝 (大阪府立大学 大学院理学系研究科) 未定 16:10-16:40 上條良介 (早稲田大学 基幹理工学部) homeomorphisms on generalized planes 16:40-17:40 木原貴行 (東北大学大学院理学研究科) 未定 11/20 （第１研修室） 09:20-10:20 倉橋太志 (神戸大学) First-order provability logic 10:30-11:10 小島健介 (京都大学 情報学研究科) 未定 11:10-11:50 竹内耕太 (筑波大学数理物質科学研究科) 未定 13:30-14:10 田中 勇一 (神戸大学大学院) モデル論における独立性について 14:10-14:40 中村 順 (早稲田大学 基幹理工学研究科) Uncountable Specker phenomenon and n-slender groups 14:50-15:30 石田和 (京都大学数理解析研究所) 未定 15:30-16:10 樋口 幸治郎 (東北大学大学院理学研究科) 未定 16:20-17:20 藤原誠 (東北大学理学研究科) Satisfiability problem and resolution principle 11/21 （第１研修室） 09:30-10:30 渕野 昌 (神戸大学大学院システム情報学研究科) Mystery train 10:40-11:40 松尾亮太 (名古屋大学情報科学研究科) ロジックのゲーム理論への応用
=========================================== 愛知学院大学教養部 山下秀康 email: [email protected] [email protected]