Kisoron-ml

kisoron-ml@fos.kuis.kyoto-u.ac.jp

599 discussions

ChatGPT　の凄い数学力に驚いている
by Saburou Saitoh 08 Nov '24

08 Nov '24

数学の教育と研究に関心の有る方：ＡＩの社会進出の凄さには驚かされます。学部程度の数学は自動的にできるようにしたいとの構想を進めている情報は得て居ましたが、ChatGPT でも凄い議論ができることを知って驚嘆しています。これらは数学の教育と研究に甚大な影響を与えるものと思いますので、情報をお送りします。また関係者などに転送などして頂ければ幸いです。敬具齋藤三郎２０２４．１１．８．１３：５０＿＿＿＿＿＿＿＿＿＿＿＿＿＿ ChatGPT の凄い数学力に驚いているそれは数学界の大きなニュースでは無いだろうか。２０２４．１１．８．５：４３以下はそのときのやり取りをテクストに落としてものです。私：私に発言 Chgpt：ChatGPTの発言です。和算からユークリッド幾何学に革命を起こされている奥村博氏のゼロ除算に関するAIとの世界で初めての議論、実に面白い。それほど議論できるのは脅威です。面白い。 2024.11.7.19:50 奥村先生：素晴らしい。今も精読いたしました。素晴らしい討論、広く先生のブログをとうして紹介したいと思います。英文ならもっといいですね。著書や論文などに引用したりできます。これは面白い。ＡＩとの議論の方が学会や研究会より充実しているはありえますね。新しい世界です。敬具齋藤三郎２０２４．１１．７．１９：４１ 2024年11月7日(木) 18:48 Hiroshi Okumura 齋藤先生自分のブログで述べてみました。 *https://hoinori.hatenablog.com/* <#m_-7737198153702584153_inbox/_blank> 奥村博拝 Hiroshi Okumura

1 0

「ENCOUNTERwithMATHEMATICS 第78回」のご案内
by 桔梗　宏孝 30 Oct '24

30 Oct '24

皆様中央大学の三松先生の代理で、集会の案内を投稿いたします。よろしくお願いします。神戸大学　桔梗宏孝 ===========　ここから　============ 皆様；　　　　　　　　重複して受け取られた際にはご容赦ください。第78回 ENCOUNTERwithMATHEMATICS のお知らせです。第78回 ENCOUNTERwithMATHEMATICS「公理的集合論（仮題）」を 2025年1月10日(金)・11日(土)に中央大学理工学部にて開催いたします。講演予定者（敬称略）：　依岡輝幸（静岡大学理学部）　薄葉季路（早稲田大学基幹理工学部）　酒井拓史（東京大学大学院数理科学研究科）なお、開催場所、時刻、プログラム等の詳細、及び、講演のアブストラクトは、 11月下旬ごろに EwM のホームページ https://www.math.chuo-u.ac.jp/ENCwMATH/ にてお知らせする予定です。三松　佳彦（中央大学理工学部数学教室） --------------------------------------------- Yoshihiko MITSUMATSU Department of Mathematics, Chuo University, 1-13-27, Kasuga, Bunkyo-ku, Tokyo, 112-8551, Japan phone : +81-3-3817-1745 fax : +81-3-3817-1746 e-mail: yoshi(a)math.chuo-u.ac.jp<mailto:yoshi@math.chuo-u.ac.jp> =============　ここまで　================

1 0

日本数学会2025年度年会（講演申込の受付開始）
by Takahiro Seki 25 Oct '24

25 Oct '24

みなさま（重複して受け取られた方は申しわけございません。）　日本数学会の数学基礎論および歴史分科会で連絡責任評議員を務めております新潟大学の関です。　日本数学会2025年度年会は以下のとおり開催されます。本日から一般講演の申込受付を開始しました。　日本数学会2025年度年会　　https://www.mathsoc.jp/activity/meeting/waseda25mar/index.html 　日程：3月18日（火）～21日（金）　　　（数学基礎論および歴史分科会は 18日（火）、19日（水）の予定）　会場：早稲田大学早稲田キャンパス　講演申込期間：10月25日（金）～11月15日（金）　みなさまのご参加とご講演をお待ちしております。　よろしくお願いいたします。 --- 関　隆宏新潟大学経営戦略本部評価センター

1 0

証明論シンポジウム2024 (12/16〜18)
by Takayuki Kihara 20 Oct '24

20 Oct '24

皆様お世話になっております．名古屋大学の木原貴行です．以下の要領で証明論シンポジウム2024を開催いたしますのでご案内をいたします． +++++ 日時: 2024/12/16 (月) 〜 2024/12/18 (水) 場所: 名古屋大学東山キャンパス野依記念物質科学研究館 https://sites.google.com/view/proof-theory-2024/home +++++ 以上どうぞよろしくお願いいたします．木原 -------- 木原貴行名古屋大学大学院情報学研究科数理情報学専攻 URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html Email: kihara(a)i.nagoya-u.ac.jp

1 0

RIMS共同研究（公開型）「モデル理論における独立概念と次元の研究」
by 桔梗　宏孝 15 Oct '24

15 Oct '24

皆様あと半月程度で講演の申し込みを締め切りますので、改めてアナウンスさせていただきます。講演申し込み締め切りは11月3日です。 RIMS共同研究（公開型）の一つとして次のテーマの研究集会を開催します。「モデル理論における独立概念と次元の研究」この集会では、モデル理論の視点から独立概念や次元の研究を行います。モデル理論に興味をもたれている研究者や学生の方の参加をお待ちしております。日程：2024年12月4日（水）〜12月6日（金）場所：京都大学数理解析研究所110室〒606-8317 京都市左京区北白川追分町京都大学数理解析研究所代表者：桔梗宏孝（神戸大学）詳しくは次のホームページをご覧ください。 https://sites.google.com/view/rims-model-theory-workshop-24/

1 0

名古屋ロジックセミナー (10/11) 上村太一さん
by Takayuki Kihara 08 Oct '24

08 Oct '24

皆様名古屋大学の木原貴行です．以下の要領で名古屋ロジックセミナーを開催いたしますのでご案内いたします． +++++ 日時：10/11 (金) 15:30-17:00 場所：名古屋大学情報学研究科棟 322室講演者：上村太一 (名古屋大学) タイトル: Towards synthetic topos theory 概要: トポス理論を総合的(synthetic)に展開するアイディアについて議論する。トポスは空間概念として導入され、ロジックや型理論とも深い関連がある。各トポスはgeometric theoryの分類トポスである他、トポス上の層の圏は依存型理論を内部論理として持つ。通常の教科書ではトポスとは何かを公理化する分析的(analytic)なアプローチが採られるが、総合的なアプローチではトポスを原始的な概念とし、トポスを使って何ができるかを公理化する。各トポスの内部論理とも統合し、すべてのトポスの内部論理を内包する一つのシステムの構築を目指す。 +++++ 以上どうぞよろしくお願いいたします．木原 -------- 木原貴行名古屋大学大学院情報学研究科数理情報学専攻 URL: http://math.mi.i.nagoya-u.ac.jp/~kihara/index-j.html Email: kihara(a)i.nagoya-u.ac.jp

1 0

数学基礎論若手の会2024開催のお知らせ
by 樋口幸治郎 24 Sep '24

24 Sep '24

皆様、日本大学の樋口幸治郎と申します。数学基礎論若手の会 2024 の開催 (対面で実施) をご案内いたします。数学基礎論若手の会は数学基礎論を専攻する学生および若手研究者の研究交流を目的とする研究集会です。講演はオリジナルの成果発表に限らず、研究の途中報告や研究内容の紹介など幅広く募集しております。また、これから数学基礎論を勉強したいと思っている方のご参加も歓迎します。 — 開催要領 — 日程：2024 / 10 / 12（土）～ 14（月, 祝日）会場：郡山市青少年会館（福島県郡山市大槻町字漆棒82番地）世話人：樋口幸治郎（日本大学）ウェブサイト： https://sites.google.com/view/mlwakatenokai2024/%E3%83%9B%E3%83%BC%E3%83%A0 参加申込み期限：2024 / 9 / 27 (金) 参加申込み(Googleフォーム)：https://forms.gle/kPSSzGkjNwH8RQE98 講演希望の方は、上記フォームの提出後、講演タイトル・アブストラクトのtexファイルを世話人へメールで送ってください。開催時期が近づきましたら、再度お知らせいたします。多くの皆様のご参加をお待ちしております。樋口幸治郎 (日本大学工学部)

1 2

公募情報
by Makoto Fujiwara 20 Sep '24

20 Sep '24

皆様東京理科大学の藤原誠です．本学理学部第一部応用数学科にて来年度4月着任予定の助教（任期制）2名及び准教授1名の公募を行っております． <https://www.tus.ac.jp/recruitment/teacher-list/> [recruiter_omg.png] 教員・研究員公募｜東京理科大学｜東京理科大学<https://www.tus.ac.jp/recruitment/teacher-list/> tus.ac.jp<https://www.tus.ac.jp/recruitment/teacher-list/> 応募締切は9月30日(月)です．もしよろしければ応募をご検討下さい．また，お近くに適任の方がいらっしゃればご紹介いただければ幸いです．どうぞよろしくお願いいたします． ---------------------------------------------------------- 藤原誠 (Makoto FUJIWARA) 東京理科大学理学部第一部応用数学科助教 E-mail: makotofujiwara(a)rs.tus.ac.jp<mailto:makotofujiwara@rs.tus.ac.jp> ----------------------------------------------------------

1 0

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

11 Sep '24

みなさま　連絡責任評議員を務めております新潟大学の関です。　9月6日（金）に開催した分科会総会について、以下のとおりご報告いたします。不明な点等がございましたら当方までお問い合わせください。　それではよろしくお願いいたします。 [1] 今後の主な研究集会と学会 [2] 在外研究奨励フェローの募集 [3] 来年度の評議員と在外研究奨励フェロー選考委員 [4] 分科会予算 ===== [1] 今後の主な研究集会と学会１）分科会主催集会 - 2024年度数学基礎論サマースクールテーマは「算術の証明論と構成的数学」　会場：東北大学情報科学研究科　日程：9月17日～20日　幹事：横山啓太（東北大学） - 2024年度数学基礎論若手の会　会場：郡山市青少年会館　日程：10月12日～14日幹事：樋口幸治郎（日本大学）２）日本数学会 - 2025年度年会会場：早稲田大学日程：3月18日～21日 - 2025年度秋季総合分科会会場：名古屋大学日程：9月16日～19日 ※ 2026年度の年会については会場・日程ともに未定３）Asian Logic Conference - 18th Asian Logic Conference 2025年に京都産業大学で開催予定 ===== [2] 在外研究奨励フェローの募集について（従来の奨励研究生は廃止）・対象：博士の学位取得後7年以内（出産等による研究中断期間がある場合は10年以内）で，国外の研究機関で研究を自ら行うことまたは国外の研究機関に所属する研究者と共同研究を行うことを希望する日本数学会員・採用期間：2年間（2025年度フェローについては2025年4月～2027年3月）・採用人数：毎年4人以内・奨励金：年60万円（奨励金の交付期間中，原則として年1回以上，年会または秋季総合分科会で講演すること。その際の国内旅費は年に1回限り数学会が支援する。）・2025年度フェローの募集期間：2024年11月1日～2025年1月中旬 ※募集要項が公開されたら kisoron-ml で周知する。 ===== [3] 来年度の評議員と在外研究奨励フェロー選考委員・2025年度分科会評議員（【　】内は任期）　連絡責任評議員：薄葉季路（早稲田大学）【2026年2月】（集合論）　受賞候補推薦評議員：横山啓太（東北大学）【2027年2月】（証明論と計算論）・2025年度在外研究奨励フェローの選考委員：横山啓太（東北大学） ===== [4] 分科会予算　日本数学会への2025年度予算要求は行わない。 ===== --- 関　隆宏新潟大学経営戦略本部評価センター

1 0

数学基礎論サマースクール
by YOKOYAMA Keita 10 Sep '24

10 Sep '24

みなさま，東北大学の横山です．今年度の数学基礎論サマースクールにつきまして，以下の要領で開催したいと考えております．日時: 9月17日〜20日(4日間) 場所: 東北大学情報科学研究科(青葉山キャンパス) テーマ: 算術の証明論と構成的数学講師: 倉橋先生，根元先生，横山，他1-2名にお願いする予定ですご質問等ございましたら，世話人の横山 keita.yokoyama.c2[at]tohoku.ac.jp までお問い合わせください．より詳しいことが決まりましたら，またご案内させていただきます．どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University keita.yokoyama.c2(a)tohoku.ac.jp

1 2

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml