- Kisoron-ml - fos.kuis.kyoto-u.ac.jp

モデル理論夏の学校&研究集会のご案内
by Hirotaka Kikyo 28 Jul '24

28 Jul '24

モデル理論夏の学校&研究集会のご案内モデル理論夏の学校＆研究会は、毎年夏に開かれているモデル理論の研究会です。モデル理論に関心がある方はどなたでも参加できます。期間：2024年9月11日(水)ー9月13日(金) 場所：神戸大学六甲台第２キャンパス自然科学総合研究棟３号館4階421 (プレゼンテーション室) 世話人：桔梗宏孝（神戸大学）、米田郁生（徳山高専）ホームページ https://sites.google.com/view/modeltheorysummerworkshop2024/ 講演希望者はホームページから登録願います。神戸大学桔梗宏孝

1 0

SLACS 2024（8月21日-22日）講演・参加募集のお知らせ
by Kazuyuki Asada 02 Jul '24

02 Jul '24

皆様，（重複して受け取られた場合はご容赦ください．）第41回記号論理と情報科学研究集会（SLACS 2024）幹事の東北大学の浅田です． SLACS 2024は，2024年8月21日（水）～22日（木）に，東北大学電気通信研究所にて現地開催いたします．発表・参加のご検討のほど，どうぞよろしくお願いいたします． ==== SLACS 2024 開催要領 ==== 詳細：https://sites.google.com/view/slacs-2024 日程：2024年8月21日（水）～22日（木）の二日間形式：現地開催会場：東北大学電気通信研究所本館 1階 M153室（〒980-0812 宮城県仙台市青葉区片平２丁目１−１）講演申込： https://forms.gle/ZYdY1yV9RoZn1g649 参加申込： https://forms.gle/LnLKNrW1KNt5UUgB6 費用：参加費無料（懇親会費は別途徴収）幹事：浅田和之（東北大学電気通信研究所, E-mail: asada(a)riec.tohoku.ac.jp) ============================= 講演申し込み期限は 2024年8月14日（水）といたしますが，発表する意思がある方はお早めにお申し込みいただけると幸いです．研究集会への参加申し込みは開催当日まで受け付けます．以上，奮ってご参加ください．

1 0

数学通信で周知する研究集会等の情報について
by Takahiro Seki 19 Jun '24

19 Jun '24

みなさま　数学基礎論および歴史分科会の連絡責任評議員の関です。　数学通信29巻2号（8月19日発送予定）で日本数学会会員に周知されたい今後の研究集会等の情報がありましたら、7月4日（木）までに、関（tseki[at]adm.niigata-u.ac.jp：[at]は@に置き換えてください）までご連絡ください。　特に、研究集会の場合は、集会名・日程・会場・幹事・連絡先・（ある場合は）ウェブサイトURLをお知らせください。　それではよろしくお願いします。 --- 関　隆宏新潟大学経営戦略本部評価センター

2 1

2024年度日本数学会秋季総合分科会（講演申込の受付開始）
by Takahiro Seki 23 May '24

23 May '24

みなさま（重複して受け取られた方は申しわけございません。）　日本数学会の数学基礎論および歴史分科会で連絡責任評議員を務めております新潟大学の関です。　今年の日本数学会秋季総合分科会は以下のとおり開催されますが（例年より開催時期が早いです）、本日から一般講演の申込受付を開始しました。　2024年度日本数学会秋季総合分科会　　https://www.mathsoc.jp/activity/meeting/osaka24sept/index.html 　日程：9月3日（火）～6日（金）　　　（数学基礎論および歴史分科会は 5日（木）、6日（金）の予定）　会場：大阪大学豊中キャンパス　講演申込期間：5月24日（金）～6月14日（金）　みなさまのご参加とご講演をお待ちしております。　よろしくお願いいたします。 --- 関　隆宏新潟大学経営戦略本部評価センター

1 0

海上保安大学校　教員公募(1名)【6/28締切】
by masato＠jcga.ac.jp 15 May '24

15 May '24

基礎論メーリングリストの皆様　海上保安大学校　基礎教育講座の　藤田雅人　と申します。海上保安大学校では以下の要領で教員を一名公募しております。職名及び員数教授、准教授、講師または助教　１名専門分野数学（分野は問わない）担当予定授業　学部相当の微分積分・線形代数・応用解析および卒論指導など（本科）と高等学校相当の数学（その他の研修）採用予定令和７年４月１日応募期限令和６年６月２８日（金）必着詳細は、以下のサイトにあります募集要項をご覧ください。 https://www.academy.kaiho.mlit.go.jp/recruitment/ 多くの方々の応募をお待ちしております。また、お知り合いに適任の方がいらっしゃれば、応募を促していただければ幸いです。藤田　雅人海上保安大学校　基礎教育講座〒737-8512 広島県呉市若葉町５−１ masato(a)jcga.ac.jp 研究用：fujita.masato.p34(a)kyoto-u.jp

1 0

静岡大学学術院理学領域数学系列　教員公募(1名)【6/28締切】
by Suzuki, Nobu-Yuki 01 May '24

01 May '24

みなさま静岡大学理学部数学科の鈴木信行です。重複して受け取られた方にはお詫び申し上げます。静岡大学学術院理学領域数学系列では、教員1名(常勤任期なし)を募集しています。公募人員准教授１名専門分野数学（幾何学、又はその関連分野）採用予定令和７年４月１日応募期限令和６年６月２８日（金）必着詳細は、次をご覧ください。 https://www.shizuoka.ac.jp/recruit/ お近くに適任の方がいらっしゃればご紹介いただければ幸いです。よろしくお願いいたします。静岡大学は、静岡大学男女共同参画憲章の基本方針に基づき、男女共同参画や女性教員の採用を推進しています。採用に当たって、業績及び人物評価において同等と認められた場合には、女性を優先します。

1 0

静岡大学学術院理学領域数学系列　教員公募(1名)【6/28締切】
by Suzuki, Nobu-Yuki 01 May '24

01 May '24

みなさま静岡大学理学部数学科の鈴木信行です。静岡大学学術院理学領域数学系列では、教員1名(常勤任期なし)を募集しています。公募人員准教授１名専門分野数学（幾何学、又はその関連分野）採用予定令和７年４月１日応募期限令和６年６月２８日（金）必着詳細は、添付のpdfまたは次をご覧ください。 https://www.shizuoka.ac.jp/recruit/ ぜひ、応募をご検討下さい。また、お近くに適任の方がいらっしゃればご紹介いただければ幸いです。よろしくお願いいたします。静岡大学は、静岡大学男女共同参画憲章の基本方針に基づき、男女共同参画や女性教員の採用を推進しています。採用に当たって、業績及び人物評価において同等と認められた場合には、女性を優先します。

1 0

助教公募のお知らせ
by SAKAI Hiroshi 23 Apr '24

23 Apr '24

皆様：東京大学の酒井と申します．東京大学数理科学研究科では助教の公募をしております．詳しくは下記の web page をご覧ください． https://www.ms.u-tokyo.ac.jp//visitor/koubo.html ご興味のある方はご応募ください．また，お近くの対象となる方に周知いただけると幸いです．よろしくお願いいたします．酒井拓史

1 0

Fwd: 日本数学会数学基礎論および歴史分科会総会報告
by Takahiro Seki 28 Mar '24

28 Mar '24

みなさま　連絡責任評議員の関です。　先ほど送信したメールに誤りがありましたので、修正したものをお送りいたします。　ご指摘くださった方ありがとうございました。 ===== 以下修正版 ===== みなさま　連絡責任評議員を務めております新潟大学の関です。　3月17日（日）に開催した分科会総会について、以下のとおりご報告いたします。不明な点等がございましたら当方までお問い合わせください。　それではよろしくお願いいたします。 [1] 分科会の評議員と運営委員 [2] 分科会予算 [3] 今後の主な研究集会と学会 [4] 2023年度のシンポジウム・研究集会の記録 [5] 数学会講演申し込み時の注意 ===== [1] 分科会の評議員と運営委員　2024年3月からの評議員と運営委員は以下のとおりです。　（敬称略，【】：任期，（）：分野）評議員 - 連絡責任評議員関隆宏【2025年2月】（非古典論理） - 受賞候補推薦評議員薄葉季路【2026年2月】（集合論）運営委員 - 分科会選出「数学」編集委員宮部賢志【2025年6月】（証明論と計算論） - 田中紀子【2025年2月】（歴史） - 小川束　【2025年2月】（歴史） - 坪井明人【2025年2月】（モデル理論） - 倉橋太志【2026年2月】（証明論と計算論） ===== [2] 分科会予算　2023年度の会計を報告し，2024年度の予算を報告しました。 ===== [3] 今後の主な研究集会と学会１）分科会主催集会 - SAML (Symposium on Advances in Mathematical Logic) 2024 　「数理論理学の最近の進展」　会場：京都大学数理解析研究所（ハイブリッド形式）　日程：7月9日～12日　幹事：酒井拓史（神戸大学） - 2024年度数学基礎論サマースクールテーマは証明論。幹事等は現在調整中。 - 2024年度数学基礎論若手の会幹事：樋口幸治郎（日本大学） 10～11月に対面開催を予定２）日本数学会 - 2024年度秋季総合分科会会場：大阪大学日程：9月3日～6日 - 2025年度年会会場：早稲田大学日程：3月18日～21日 ※ 2025年度の秋季総合分科会については会場・日程ともに未定です。３）Asian Logic Conference （横山啓太さんより連絡） - 18th Asian Logic Conference 2025年に京都産業大学で開催予定 ===== [4] 2023年度シンポジウム・研究集会の記録　雑誌「数学」編集部より、以下に該当するシンポジウム・研究集会記録の原稿募集の依頼がありました。　開催期間：2023年4月1日から2024年3月31日まで　開催地：日本国内（オンライン開催も含む）　原則として20人以上の集会，または(20人以下でも) 報告集のある集会該当するシンポジウム・研究集会の幹事の方は、連絡責任評議員の関（tseki at adm.niigata-u.ac.jp）まで、以下の事項をご報告くださいますようよろしくお願いします。　名称（主題）と主催者（所属）　開催場所と開催時期　報告集の有無と入手可能な場合の連絡先（氏名と所属）　締切：5月30日（「数学」4号に掲載予定） ===== [5] 数学会講演申し込み時の注意　講演タイトルや共同講演者などの情報が、講演データと講演アブストラクトで食い違っているものが散見されるようです。講演申し込み時には、これらの情報の食い違いがないようにご注意ください。特に、講演アブストラクトに共著者として名前が掲載されている方は、共同講演者として講演データに入力するようお願いいたします。 ===== --- 関　隆宏新潟大学経営戦略本部評価センター

1 0

Fwd: （日本数学会）日本学術振興会育志賞と日本数学会賞建部賢弘賞の推薦募集について
by Takahiro Seki 28 Mar '24

28 Mar '24

みなさま　数学基礎論および歴史分科会の連絡評議員の関です。　日本数学会理事長より、以下のとおり、日本学術振興会育志賞と日本数学会賞建部賢弘賞の推薦募集についての周知依頼がありました。　もしこれらの賞にふさわしい方がいらっしゃれば推薦くださいますよう、よろしくお願いいたします。 -------- Forwarded Message -------- Subject: （日本数学会）日本学術振興会育志賞と日本数学会賞建部賢弘賞の推薦募集について分科会連絡責任評議員　各位特別セッション「無限可積分系」世話人　様（本メールはBccでお送りしております。）日頃より日本数学会の運営にご協力をいただき誠にありがとうございます。 2024年度の「日本学術振興会育志賞」および「日本数学会賞建部賢弘賞」につきましては、数学通信（会報）第28巻第3号および第4号において、推薦募集を掲載いたしました。　（育志賞）　https://www.mathsoc.jp/assets/file/publications/tushin/2803/kaiho283-14.pdf 　（建部賞）　https://www.mathsoc.jp/assets/file/publications/tushin/2803/kaiho283-13.pdf 本日現在で、推薦件数がひじょうに少ないため各分科会および特別セッションのメーリングリストにてご周知をいただきたく、ご協力いただきますようお願い申し上げます。なお、推薦様式は下記のウェブサイトにございます。 https://www.mathsoc.jp/activity/awards/takebe/ 推薦の締め切りは、　育志賞が、4月5日（金）　建部賞が、4月30日（火）となっております。お忙しい中お手数をおかけいたしますが賞にふさわしい候補者の推薦についてご協力を賜りますよう何卒よろしくお願い申し上げます。日本数学会理事長鎌田聖一

1 0

Fwd: （日本数学会）2024年度日本数学会賞秋季賞受賞候補者の推薦について（依頼）
by Takahiro Seki 28 Mar '24

28 Mar '24

みなさま　数学基礎論および歴史分科会の連絡評議員の関です。　日本数学会理事長より、以下のとおり、2024年度日本数学会賞秋季賞の推薦募集についての周知依頼がありました。　もしこれらの賞にふさわしい方がいらっしゃれば　　連絡責任評議員　　　関　隆宏（tseki at adm.niigata-u.ac.jp）　　受賞候補推薦評議員　薄葉季路（usuba at waseda.jp）の両人（「 at 」は「@」にしてください）まで推薦くださいますよう、よろしくお願いいたします。 -------- Forwarded Message -------- Subject: （日本数学会）2024年度日本数学会賞秋季賞受賞候補者の推薦について（依頼） 2024年度評議員　各位 2024年度受賞候補推薦委員　各位日本数学会賞受賞者（過去5年以内）各位 ※本メールはBccでお送りしております。平素は日本数学会の運営にご協力くださいまして厚く御礼申し上げます。「２０２４年度日本数学会賞秋季賞」受賞候補者の推薦について添付「候補者推薦依頼」によりお知らせいたします。秋季賞および春季賞については宛先の皆様が候補者を推薦することができます。各分科会から推薦された受賞候補推薦委員におかれましては、正式には3月17日に開催の評議員会において承認手続きを行いますが、秋季賞の推薦期限を例年より2週間ほど早く設定させていただいておりますので、早めにお知らせをさせていただくしだいです。添付をご覧いただきまして、候補として相応しい方を２０２４年５月７日（火）までにご推薦くださいますようお願い申し上げます。今年は授賞式が開催される秋季総合分科会が例年より２、３週間程度早く開催されることから推薦期限を2週間ほど早く設定させていただいております。皆様のご協力を賜りますよう何卒よろしくお願い申し上げます。日本数学会理事長鎌田　聖一 --- 関　隆宏新潟大学経営戦略本部評価センター

1 0

日本数学会数学基礎論および歴史分科会総会報告
by Takahiro Seki 27 Mar '24

27 Mar '24

みなさま　連絡責任評議員を務めております新潟大学の関です。　3月17日（日）に開催した分科会総会について、以下のとおりご報告いたします。不明な点等がございましたら当方までお問い合わせください。　それではよろしくお願いいたします。 [1] 分科会の評議員と運営委員 [2] 分科会予算 [3] 今後の主な研究集会と学会 [4] 2023年度のシンポジウム・研究集会の記録 [5] 数学会講演申し込み時の注意 ===== [1] 分科会の評議員と運営委員　2024年3月からの評議員と運営委員は以下のとおりです。　（敬称略，【】：任期，（）：分野）評議員 - 連絡責任評議員関隆宏【2025年2月】（非古典論理） - 受賞候補推薦評議員酒井拓史【2026年2月】（集合論）運営委員 - 分科会選出「数学」編集委員宮部賢志【2025年6月】（証明論と計算論） - 田中紀子【2025年2月】（歴史） - 小川束　【2025年2月】（歴史） - 坪井明人【2025年2月】（モデル理論） - 倉橋太志【2026年2月】（証明論と計算論） ===== [2] 分科会予算　2023年度の会計を報告し，2024年度の予算を報告しました。 ===== [3] 今後の主な研究集会と学会１）分科会主催集会 - SAML (Symposium on Advances in Mathematical Logic) 2024 　「数理論理学の最近の進展」　会場：京都大学数理解析研究所（ハイブリッド形式）　日程：7月9日～12日　幹事：酒井拓史（神戸大学） - 2024年度数学基礎論サマースクールテーマは証明論。幹事等は現在調整中。 - 2024年度数学基礎論若手の会幹事：樋口幸治郎（日本大学） 10～11月に対面開催を予定２）日本数学会 - 2024年度秋季総合分科会会場：大阪大学日程：9月3日～6日 - 2025年度年会会場：早稲田大学日程：3月18日～21日 ※ 2025年度の秋季総合分科会については会場・日程ともに未定です。３）Asian Logic Conference （横山啓太先生より連絡） - 18th Asian Logic Conference 2025年に京都産業大学で開催予定 ===== [4] 2023年度シンポジウム・研究集会の記録　雑誌「数学」編集部より、以下に該当するシンポジウム・研究集会記録の原稿募集の依頼がありました。　開催期間：2023年4月1日から2024年3月31日まで　開催地：日本国内（オンライン開催も含む）　原則として20人以上の集会，または（20人以下でも) 報告集のある集会該当するシンポジウム・研究集会の幹事の方は、5月30日（木）までに、連絡責任評議員の関（tseki at adm.niigata-u.ac.jp：「 at 」を「@」に変えてください）まで以下の事項をご報告くださいますようよろしくお願いします（「数学」4号に掲載予定）。　名称（主題）と主催者（所属）　開催場所と開催時期　報告集の有無と入手可能な場合の連絡先（氏名と所属） ===== [5] 数学会講演申し込み時の注意　講演タイトルや共同講演者などの情報が、講演データと講演アブストラクトで食い違っているものが散見されるようです。講演申し込み時には、これらの情報の食い違いがないようにご注意ください。特に、講演アブストラクトに共著者として名前が掲載されている方は、共同講演者として講演データに入力するようお願いいたします。 ===== --- 関　隆宏新潟大学経営戦略本部評価センター

1 0

CCR 2024 (3/11-15): 17th International Conference on Computability, Complexity and Randomness
by Takayuki Kihara 08 Mar '24

08 Mar '24

皆様お世話になっております．名古屋大学の木原です．来週3月11日〜15日に名古屋大学で開催される国際会議 CCR 2024: The 17th International Conference on Computability, Complexity and Randomness の最終案内をさせていただきます． ---- CCR 2024: CALL FOR PARTICIPATION ======== Seventeenth International Conference on Computability, Complexity and Randomness (CCR 2024) https://sites.google.com/view/ccr2024/home March 11-15, 2024 Nagoya University, Nagoya, Japan ======== TOPICS: * Algorithmic randomness * Computability theory * Kolmogorov complexity * Computational complexity * Reverse mathematics and logic ======== INVITED SPEAKERS: * Juan Aguilera, TU Wien, Vienna, Austria * Wesley Calvert, Southern Illinois University, Carbondale, USA * Leonardo Coregliano, University of Chicago, Chicago, USA * Makoto Fujiwara, Tokyo University of Science, Tokyo, Japan * Liling Ko, The Ohio State University, Columbus, USA * Russell Miller, Queens College (CUNY), New York, USA * Sewon Park, Kyoto University, Kyoto, Japan * Francesca Zaffora Blando, Carnegie Mellon University, Pittsburgh, USA ======== SCIENTIFIC PROGRAM COMMITTEE: * Jörg Brendle (Kobe University, Japan) * Johanna Franklin, co-chair (Hofstra University, USA) * Jun Le Goh (National University of Singapore) * Takayuki Kihara, co-chair (Nagoya University, Japan) * Margarita Marchuk (Novosibirsk State University, Russia) * Arno Pauly (Swansea University, UK) * Svetlana Selivanova (KAIST, Korea) * Keita Yokoyama (Tohoku University, Japan) ======== ABOUT THE CONFERENCE: CCR 2024 is the 17th edition of the International Conference on Computability, Complexity and Randomness, a series of conferences devoted generally to the mathematics of computation and complexity but that tends to primarily focus on algorithmic randomness/algorithmic information theory and its impact on mathematics. Previous editions of the conference have been held at Cordoba (Argentina), Buenos Aires (Argentina), Nanjing (China), Luminy (France), Notre Dame (USA), Cape Town (South Africa), Cambridge (UK), Moscow (Russia), Singapore, Heidelberg (Germany), Honolulu (USA), Mysore (India), Santiago de Chile (Chile), Astana (Kazakhstan), Cambridge (UK), and Lake Kochel (Germany). ======== -------- 木原貴行名古屋大学大学院情報学研究科数理情報学専攻 URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html Email: kihara(a)i.nagoya-u.ac.jp

1 0

集合論の特別なセミナー@静岡大学
by Diego A. Mejia 28 Feb '24

28 Feb '24

皆様、静岡大学理学部のメヒアです。静岡大学で3月6日（水）～8日（金）に集合論の特別なセミナーを開催します。メイントピックは Malliaris and Shelah の p=t の証明です。また、神戸大学から訪問していただく博士課程学生の講演も開催します。対象は大学院生ですが、集合論に興味のある方はだれでも歓迎します。場所：静岡大学静岡キャンパス理学部B棟213室プログラム: 3月6日（水） 10:00～12:00 Diego Mejia（静岡大学）: Malliaris' and Shelah's p=t (1/5) 13:00～15:00 Diego Mejia（静岡大学）: Malliaris' and Shelah's p=t (2/5) 15:30～17:00 後藤達哉（神戸大学） : 比較可能性と比較不可能性が定める基数不変量 18:00～懇親会（JR静岡駅の辺） 3月7日（木） 10:00～12:00 Diego Mejia（静岡大学）: Malliaris' and Shelah's p=t (3/5) 3月8日（金） 10:00～12:00 Diego Mejia（静岡大学）: Malliaris' and Shelah's p=t (4/5) 13:00～15:00 Diego Mejia（静岡大学）: Malliaris' and Shelah's p=t (5/5) 15:30～17:00 山添隆志（神戸大学） : On splitting* game: Avoiding head-on battles is sometimes useful -- Diego A. Mejía (PhD) Associate Professor Faculty of Science, Shizuoka University 836 Ohya, Suruga-ku, Shizuoka 422-8529 Japan Tel: +81-54-2384787

1 0

NCL'24: Non-Classical Logics: Theory and Applications 2024
by drnkamide08＠kpd.biglobe.ne.jp 28 Feb '24

28 Feb '24

皆様、お世話になっております。上出と申します。 2024年9月5日～8日にポーランド・ウッチで開催される以下の会議のCFPです。 NCL'24: Non-Classical Logics: Theory and Applications 2024: https://easychair.org/cfp/NCL24 アブストラクト登録の締め切りが4月20日、論文の締め切りが4月25日です。 ---------- Abstract registration deadline April 20, 2024 Submission deadline April 25, 2024 Notification June 15, 2024 Registration opens June 15, 2024 Final version due July 10, 2024 ---------- ご投稿及びご参加いただければ幸いです。また、本CFPをお心当たりの方々に広めていただければ幸いです。よろしくお願いいたします。上出哲広

1 0

東大数理の３月の談話会のご案内
by Daisuke Ikegami 20 Feb '24

20 Feb '24

（重複して受け取られた方はご容赦ください） Logic-ml, kisoron-ml のみなさま：中山大学の池上と申します。東大数理の新井先生が今年度をもって定年退職されます。３月に東大数理の談話会で講演をされるので、東大の知り合いから以下のご案内の代理投稿を頼まれました。興味のある方、ぜひご参加ください。池上大祐 ------------------------------------------------ Logic-ml, kisoron-ml の皆様：東京大学大学院数理科学研究科における3月の談話会についてご案内申し上げます．講演者は本研究科の新井敏康先生と山本昌宏先生です．曜日と時間が通常と異なりますのでご注意ください．講演は対面形式で行い，オンラインでのライブ配信はいたしません．東大数理メンバー以外の方が参加される場合は後述のリンクからの参加登録をお願いいたします． ============================================== 日時：３月１４日（木）１４：３０～１７：００場所：東京大学大学院数理科学研究科大講義室（対面のみ） https://www.ms.u-tokyo.ac.jp/access/ ------ １４：３０～１５：３０講演者：新井敏康氏 (東京大学大学院数理科学研究科) 題目：40年くらい摘要：1980年代から証明論を研究してきました．この講演ではこの40年くらいの間に私に起きたことと順序数解析に関する最新の結果をお話しします． ------ １６：００～１７：００講演者：山本昌宏氏 (東京大学大学院数理科学研究科) 題目：結局，好きだった数学：外縁部を歩んで摘要：40年余りたってから，今から振り返ってみると，異分野連携や運営業務にも携わってきたなかで結局，自分の数学が大好きだったと思いいたりました．自分の数学は，制御理論，逆問題，非整数階偏微分方程式の３つで尽くされます．これらは，現在では研究が盛んな分野に発展していたり，依然としてマイナーな部分もありますが，私が，たとえば逆問題をやり始めた頃は我が国では研究者人口が少なかったです．その頃は（今でもそうかもしれません），これらの分野は，華々しい注目を浴びてはおらず数学研究の外縁部に位置していましたが，基礎として使いうる発想や方法論が辛抱強く蓄積されていた時期でした．そのような状況にひかれて研究者としての歩みを始めました．研究活動の状況もあって，海外との研究者との共同研究が最初から大半を占めました．このような経過は，第3者の評価はともかくとして，自分に大きな楽しみを恵んでくれました．この講演では，自分の数学の内容にふれつつ，研究の進め方などにも関連させて，回顧的になりすぎないようにお話しをしたいと思います． ------ 東大数理メンバー以外の方が参加される場合は、以下のリンクから参加登録をお願いいたします． https://forms.gle/m38f1KRi67ECuA7MA 多くの皆様のご参加をお待ちしております． 2023年度談話会委員阿部紀行，岩木耕平，河澄響矢（委員長），小池祐太補足1：談話会の情報は，下記の談話会のホームページに掲載されております． https://www.ms.u-tokyo.ac.jp/seminar/colloquium/ 補足2：次回の談話会は新学期4月以降となります． %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1 0

William Mance氏による東北大での講演会のお知らせ
by shioya 10 Feb '24

10 Feb '24

皆様東北大学数学専攻　赤間陽二先生の依頼により代理投稿いたします．東北大学ロジックセミナーでWilliam Mance先生の講演が行われます． TITLE: Descriptive complexity in number theory and dynamics SPEAKER: William Mance, University of Adam Mickiewicz in Poznan, Poland http://wilman.home.amu.edu.pl DATE: 16:00-18:00, 1 March 2024 VENUE: In conjunct with Sendai Logic Seminar, The Mathematical Institute, Graduate School of Science, Tohoku University Room 801, Science Complex A 塩谷真弘筑波大学数学系

1 0

第58回MLG数理論理学研究集会(2/16--18)
by Hitoshi Omori 09 Feb '24

09 Feb '24

みなさま (重複してお受け取りの際はどうぞご容赦ください。) 東北大学の大森仁と申します。直前の連絡になってしまいましたが、第58回MLG数理論理学研究集会のプログラムが確定しましたのでご案内申し上げます。 https://sites.google.com/view/mlg58/home/program 参加は無料ですので、お気軽にお越しください。なお、懇親会への参加を希望される方は予約などの都合上14日までに私までご連絡いただけますと幸いです。どうぞよろしくお願いいたします。大森仁

1 0

Talk by Mance about ``Descriptive complexity in number theory and dynamics'' on 1 March
by 赤間陽二 08 Feb '24

08 Feb '24

お誘い合わせの上ご来訪ください。正規数の背景の説明も丁寧にするようにお願いしています。 TITLE: Descriptive complexity in number theory and dynamics SPEAKER: William Mance, University of Adam Mickiewicz in Poznan, Poland DATE: 16:00-18:00, 1 March 2024 VENUE: Sendai Logic Seminar, The Mathematical Institute, Graduate School of Science, Tohoku University Room 801, Science Complex A ABSTRACT: Informally, a real number is normal in base b if in its b-ary expansion, all digits and blocks of digits occur as often as one would expect them to, uniformly at random. We will denote the set of numbers normal in base b by \mathcal{N}(b). Kechris asked several questions involving descriptive complexity of sets of normal numbers. The first of these was resolved in 1994 when Ki and Linton proved that \mathcal{N}(b) is \boldsymbol{Pi}_3^0-complete. Further questions were resolved by Becher, Heiber, and Slaman who showed that \bigcap_{b=2}^\infty \mathcal{N}(b) is \boldsymbol{\Pi}_3^0-complete and that \bigcup_{b=2}^infty \mathcal{N}(b) is \boldsymbol{\Sigma}_4^0-complete. Many of the techniques used in these proofs can be used elsewhere. We will discuss recent results where similar techniques were applied to solve a problem of Sharkovsky and Sivak and a question of Kolyada, Misiurewicz, and Snoha. Furthermore, we will discuss a recent result where the set of numbers that are continued fraction normal, but not normal in any base b, was shown to be complete at the expected level of D_2(\boldsymbol{\Pi}_3^0). An immediate corollary is that this set is uncountable, a result (due to Vandehey) only known previously assuming the generalized Riemann hypothesis. Contact: Yohji Akama The Mathematical Institute, Graduate School of Science, Tohoku University yoji.akama.e8(a)tohoku.ac.jp

1 0

ラムダ計算と論理のセミナー
by Naosuke Matsuda 27 Jan '24

27 Jan '24

みなさま湘南工科大学の松田直祐と申します。以下の要領でラムダ計算と論理のセミナーを開催させていただきます。 [日程] 2024年3月8日(金)13:00 - 10日(日)12:00 [開催場所] ロッジ丘 949-6212 新潟県南魚沼郡湯沢町大字三国469-7 [世話人] 松田直祐（湘南工科大学）新屋良磨（秋田大学） [ホームページ] https://sites.google.com/view/lls2024 講演枠や講演時間を事前に固定せず，当日の参加者に状況に合わせて柔軟に計画をしてもらうようになっています。議論し成果を挙げる場・学生の簡単な発表の場・研究者同士の交流の場など，さまざまな用途で利用していただければ幸いです。ラムダ計算・論理の話題に拘わらず，周辺の分野についての講演を広く募集しております。詳細や申し込み方法についてはホームページをご確認ください。 -- 松田直祐湘南工科大学情報学部情報学科〒251-8511 神奈川県藤沢市辻堂西海岸1-1-25 Tel: 0466-30-0219 matsuda.naosuke(a)gmail.com

1 0

数学会奨励研究生の募集について
by Hiroshi SAKAI 17 Jan '24

17 Jan '24

皆様：数学会「数学基礎論および歴史分科会」評議員の酒井と申します．お世話になっております．数学会では奨励研究生の制度を設けており，博士学位取得後５年以内の研究者に研究奨励金を支給しています． 2024年度の奨励研究生への応募は1月31日までですが，現時点で応募件数が大変少なくなっているようです．ご興味のある方は下記ページをご参照のうえご応募ください．また，お近くの対象者にも周知いただけますと幸いです． 2024年度日本数学会奨励研究生 https://www.mathsoc.jp/publicity/news20231026/2024shourei.html よろしくお願いいたします．酒井拓史

1 0

数学通信で周知する研究集会等の情報
by Hiroshi SAKAI 05 Jan '24

05 Jan '24

皆様：数学会「数学基礎論および歴史分科会」評議員の酒井拓史です．数学通信28巻4号（2月20日発送予定）で数学会会員に周知を希望する研究集会等がありましたら，その情報を酒井までお寄せください．研究集会の場合は，以下の情報のご連絡をお願いします．　集会名・日程・会場・幹事・連絡先・ホームページ連絡期限と連絡先は以下の通りです．　締切：1月14日(日) 　連絡先：hsakai(a)people.kobe-u.ac.jp <mailto:hsakai@people.kobe-u.ac.jp> 連絡期間が短く申し訳ございませんが，よろしくお願いいたします．酒井拓史

1 0

MLメンテ作業
by Atsushi Igarashi 29 Dec '23

29 Dec '23

fos.kuis.kyoto-u.ac.jp でホストしている各種ＭＬのみなさま，管理人の五十嵐です．メイリングリスト管理に使っているソフトウェアのバージョンアップのため，一時的に使用できなくなります．うまくいけば1時間程度で終わると思います．終了しましたら改めてお知らせいたします． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 1

助教（任期制）2名の公募（東京理科大学理学部第一部応用数学科）
by Makoto Fujiwara 18 Dec '23

18 Dec '23

皆様東京理科大学の藤原誠です．本学理学部第一部応用数学科にて来年度4月着任予定の助教（任期制）2名の公募を行っております． https://jrecin.jst.go.jp/seek/SeekJorDetail?id=D123111966 応募締切は12月25日です．もしよろしければ応募をご検討下さい．また，お近くに適任の方がいらっしゃればご紹介いただければ幸いです．どうぞよろしくお願いいたします． ---------------------------------------------------------- 藤原誠 (Makoto FUJIWARA) 東京理科大学理学部第一部応用数学科助教 E-mail: makotofujiwara(a)rs.tus.ac.jp<mailto:makotofujiwara@rs.tus.ac.jp> ----------------------------------------------------------

1 0

Kobe Logic Seminar のご案内
by Hirotaka Kikyo 12 Dec '23

12 Dec '23

皆様下記のようにKobe Logic Seminarを開催しますので、お知らせいたします。（神戸大学桔梗宏孝） Kobe Logic Seminar https://www.edu.kobe-u.ac.jp/csi-lsi/seminar/kls.html Date: Tuesday, December 26, 2023 Time: 15:10-16:10 Speaker: Koki Okura (University of Tsukuba) Place:　Kobe University, Science and Technology Research Building 3, Room 421, (4th Floor) 日時：2023年12月26日（火）15:10~16:10 講演者：大倉　昂貴　氏（筑波大学数理物質科学研究群）場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ============================================================ Title ：On rationality of Poincaré series in expansions of the p-adic fields Abstract： Researches in model theory focus on algebraic or more general structures, that is, a set with some functions and relations on it, and also focus on subsets definable by those functions and relations. Various "good" properties of definable sets have been introduced. Some properties describe concrete forms of definable sets while others are more abstract and combinatoric ones applicable without respect to the sort of structures. Recently, the relation of concrete properties and abstract ones have been revealed for several structures. For instance, o-minimality and dp-minimality coincide for expansions of the real field. In this talk, we will deal with the rationality of Poincaré series of definable sets in expansions of the p-adic fields as a concrete property, and see some positive and negative results of tries to connect it to several abstract properties. ======================================================== 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． (次の地図で[65]の建物) https://www.kobe-u.ac.jp/guid/access/rokko/rokkodai-dai2.html

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml