『数学基礎論及び歴史分科会』 1. 現在の分科会運営委員は以下の通りです(順不同、敬称略). 高瀬 正仁、小林龍彦、山下秀康、只木孝太郎、桔梗宏孝、 安東祐希、依岡輝幸、志村立矢、鈴木登志雄、鹿島亮、 分科会選出評議委員は、吉信康夫、隈部正博 2. 研究集会のお知らせ (1)「RIMS研究集会 証明論と複雑性(PROOF THEORY AND COMPLEXITY 2012)」 代表者 鈴木登志雄(首都大学東京 理工学研究科) 開催場所 京都大学数理解析研究所420号室 開催時期 2012年9月12日午後から14日午後 ウェブサイト http://www.ac.auone-net.jp/~bellp/meeting/proof2012.html (2)第47回 MLG 数理論理学研究集会 主催者(所属):関 隆宏(新潟大企画戦略本部) 開催時期:未定 (2012年10月〜1月の間で 2泊3日の日程を予定) 分科会からの上記以外の情報(過去の記録等)については、分科会ホームページ (数学会のホームページ内「会員および数学研究者用・分科会・数学基礎論および歴史」) をご覧下さい。 (連絡責任評議委員 隈部正博、放送大学教養学部)