皆様：
神戸大学の酒井拓史です． 今年3月から1年間，数学会の数学基礎論および歴史分科会で 連絡責任評議員をさせていただいております． よろしくお願いいたします．
3月16日(木) に開催された分科会総会の報告をさせていただきます． 分科会総会では次の項目について連絡をさせていただきました．
[1] 分科会の評議員と運営委員 [2] 分科会予算 [3] 今後の主な研究集会と学会 [4] 2022年度のシンポジウム・研究集会の記録 [5] 数学会講演申し込み時の注意
上記項目について下に簡単に連絡内容を書きます．不明な点や より詳しい内容をお知りになりたい点がありましたら， 酒井 ( [email protected]mailto:[email protected] ) までお問い合わせください．
===
[1] 分科会の評議員と運営委員 2023年3月からの評議員と運営委員は以下のとおりです． 敬称略，【 】：任期，（ ）：分野
評議員 - 連絡責任評議員 酒井 拓史【2024年2月】（集合論） - 受賞候補推薦評議員 関 隆宏【2025年2月】（非古典論理）
運営委員 - 分科会選出 “数学” 編集委員 池上 大祐【2023年6月】（集合論） 2023年7月からは宮部賢志 - 田村 誠【2024年2月】（歴史）※ 調整中 - 田中 紀子【2024年2月】（歴史） - 坪井 明人【2025年2月】（モデル理論） - 横山 啓太【2024年2月】（証明論・計算論）
===
[2] 分科会予算 2022年度の会計を報告し，2023年度の予算を連絡しました． 詳しい内容をお知りになりたい方は酒井までお問い合わせ ください．
===
[3] 今後の主な研究集会と学会
数学会 - 2023年度秋季総合分科会 会場：東北大学 日程：9月20日—23日 - 2024年度年会 会場：大阪公立大学 日程：3月16日—20日 - 2024年度秋季総合分科会 会場：大阪大学 日程：9月3日—7日 ※ 2024年度の年会と秋季総合分科会の日程は5日間になって いますが，これは市民講演会を含む日程で，5日間のうちの 4日間で数学会が開催されます．なお，どの4日間になるかは 未定です．
分科会主催集会 - 2023年度数学基礎論サマースクール テーマは計算論．幹事等は現在調整中． - 2023年度数学基礎論若手の会 幹事：松田 直祐（新潟工科大学） 12月頃に対面開催を予定
Asian Logic Conference （横山啓太さんより連絡） - 17th Asian Logic Conference 場所：天津（中国） 日程：2023年10月9日—13日 ホームページ：https://logic.nankai.edu.cn/alc2023/ - 18th Asian Logic Conference 2025年に京都産業大学で開催予定
===
[4] 2022年度シンポジウム・研究集会の記録 雑誌 “数学” に2022年度のシンポジウム・研究集会のリストを 掲載予定で，この情報を収集しております．本件については， 近日中に kisoron-ml や logic-ml 等で改めて情報提供のお願いを いたします．
===
[5] 数学会講演申し込み時の注意 講演タイトルや共同講演者などの情報が，講演データと 講演アブストラクトで食い違っているものが散見される ようです．講演申し込み時には，これらの情報の食い違いが ないようにご注意ください．特に，講演アブストラクトに 共著者として名前が掲載されている方は，共同講演者として 講演データに入力するようお願いいたします．
===
以上です．よろしくお願いいたします．
酒井 拓史