Kisoron-ml

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

599 discussions

数学会秋季総合分科会講演申込受付中（リマインダ）
by Hiroshi SAKAI 12 Jun '23

12 Jun '23

皆様：（重複して受け取られた場合は申し訳ございません．）数学会「数学基礎論および歴史分科会」連絡責任評議員の酒井拓史です．数学会秋季総合分科会の講演申込締切が ** 6月16日(金) ** となっておりますが，現時点で一般講演の申込が6件と，少なめになっております．お話いただける話題をお持ちの方はぜひご講演いただき，分科会を盛り上げていただければ幸いです．どうかよろしくお願いいたします． 2023年度日本数学会秋季総合分科会 https://www.mathsoc.jp/activity/meeting/tohoku23sept/index.html 日程：9月20日(水) — 23日(土) 　　　（数学基礎論および歴史分科会は 22日(金)・23日(土) の予定）会場：東北大学講演申込期間：5月26日(金) — 6月16日(金) 酒井拓史

1 0

教員公募（2件）：島根大学（セキュリティ分野／データサイエンス分野)
by Munehiro Iwami 09 Jun '23

09 Jun '23

皆様島根大学の岩見と申します。本学において以下2件の公募を行っております。関連する分野の方がおられましたら、ぜひ応募をご検討ください。お心当たりの方にも情報を共有いただけますと幸いです。よろしくお願いいたします。 ---------------------------------------------------------------- 募集人員：准教授または助教計2名所属：島根大学学術研究院理工学系担当：総合理工学部知能情報デザイン学科、自然科学研究科所在地：島根県松江市西川津町1060 勤務形態：常勤任期なし応募締切：2023年08月31日（必着）それぞれの詳細は以下をご覧ください。【セキュリティ分野】1名 https://www.shimane-u.ac.jp/introduction/recruit/recruit_prof/04_recruit_ri… 採用予定時期：2023年10月1日以降のできるだけ早い時期【データサイエンス分野】1名 https://www.shimane-u.ac.jp/introduction/recruit/recruit_prof/04_recruit_ri… 採用予定時期：2023年10月1日以降のできるだけ早い時期 ---------------------------------------------------------------- -- 以上、よろしくお願い致します。岩見宗弘島根大学学術研究院理工学系 E-mail: munehiro(a)cis.shimane-u.ac.jp

1 0

2023年度日本数学会秋季総合分科会（講演申込の受付開始）
by Hiroshi SAKAI 26 May '23

26 May '23

皆様：（重複して受け取られた場合は申し訳ございません．）数学会「数学基礎論および歴史分科会」連絡責任評議員の酒井拓史です．今年の数学会秋季総合分科会は以下のように開催され，本日から一般講演の申込受付が始まっています． 2023年度日本数学会秋季総合分科会 https://www.mathsoc.jp/activity/meeting/tohoku23sept/index.html 日程：9月20日(水) — 23日(土) 　　　（数学基礎論および歴史分科会は 22日(金)・23日(土) の予定）会場：東北大学講演申込期間：5月26日(金) — 6月16日(金) 皆様の奮ってのご参加とご講演をお待ちしております．どうぞよろしくお願いいたします．酒井拓史

1 0

おいでMath談話会(Catch-all Mathematical Colloquium of Japan)のご案内
by Shingo SAITO 23 May '23

23 May '23

kisoron-mlの皆様九州大学の斎藤と申します。私が世話人の1人を務めております 6月のおいでMath談話会(Catch-all Mathematical Colloquium of Japan)のご案内をお送りします。講演者は芝浦工業大学の池上大祐氏です。どうぞよろしくお願い致します。 Monthly announcement of Catch-All Math colloquium in June (日本語は下にあります) Thursday, 15 June 2023: 10 :00 AM - 12:00 noon （Caution! Time is different from usual） Speaker: Daisuke Ikegami (Shibaura Institute of Technology) Introduction: Though I wanted to become a mathematician since my 5th grade, I never seriously studied university mathematics in my junior high & high school. I just wanted to be a mathematician vaguely. In my undergraduate, I became interested in mathematical logic, and I decided to major in set theory. At that time, I never thought I would need to use German in foreign countries which I learned lazily in school. However, after obtaining my master's degree, I studied abroad, lived in 5 western countries, and spent 8 years in total before coming back to Japan. With this experience, I am now a faculty member of an undergraduate program taught completely in English in a Japanese university. Looking back to my life so far, it has been a series of coincidences and miracles. Title (first part): Infinite numbers and infinite games (In English) Abstract (first part): Since childhood, we have been counting things with numbers and comparing two groups of things in numbers. As you may have tried and failed in your childhood, it is difficult to count infinite things with numbers in your real life. However, one can formulate to compare two infinite sets in numbers mathematically. Also, one can generalize the notion of natural numbers into infinite numbers mathematically. Set theory is a branch of mathematics on infinite numbers and infinite sets. In this talk, we will have an introduction to set theory and touch on a research topic about the connections between infinite numbers and infinite games. Title (second part): Mathematician? --> Set Theory! --> Studying abroad (in Japanese) Abstract (second part): I will talk about my experience on how I aimed to become a mathematician in elementary school, how I started to major in set theory in undergraduate school, and how I decided to study abroad in graduate school. Discussion Theme in Breakout room: Studying abroad (You can choose your room; English speaking room or Japanese speaking room) HP：https://sites.google.com/view/catch-allmathematicscolloquium/schedule　 Registration form: https://forms.gle/ThqYPqNEQrNQjN4L9 Deadline for registration： 5pm on 10 June The Zoom link will be sent to the registered people. Organizers: Benoit Collins (Kyoto U.), Shihoko Ishii (U.Tokyo), Reiko Miyaoka (TohokuU.),Shingo Saito (Kyushu U.), Makiko Sasada (U.Tokyo), Karel Svadlenka (Kyoto U.) 6月のおいでMath談話会のお知らせ日時：6月15日（木）午前10:00-12:00 正午　(いつもと時間が異なりますのでご注意) 講演者：池上大祐氏（芝浦工業大学）自己紹介：小学校の五年生のころに、数学者になりたいなとぼんやりと思ったものの、大学の数学を積極的に先取りをするわけでもなく、ただ漠然と、数学者になりたいな、と思いながら中学・高校時代を過ごしました。大学入学後、数理論理学、とくに集合論という分野に興味を持ち、専門にすることに決めましたが、当時は、第二外国語として勉強したドイツ語を海外で使う機会があるとは、夢にも思いませんでした。しかし、修士課程を終えた後、海外に留学し、欧米五ヶ国に住み、日本に戻るまで計八年間、海外で過ごしました。この経験は、現在勤めている大学の仕事（英語で教育を行い、学士の学位を出す教育プログラムでの研究・教育・運営業務）に活かされています。今振り返ると、自分の人生は、偶然の連続だったなと思います。講演題目（第１部）無限の数と無限ゲームについて（英語による講演）アブストラクト：物心つく頃から、わたしたちはものを数えたり数の大小を比べたりしてきました。子供のころに自然数すべてを数えようと試みて挫折した方もいらっしゃるかもしれませんが、無限個あるものを「数え上げる」のは難しいです。一方で、無限個あるものたちの数の大小を比べることは、数学的にうまく定式化できます。また、自然数という概念を拡張し、「無限」という数の概念を導入することもできます。無限の数や無限集合の性質を研究する分野を集合論といいます。この講演では、集合論という数学の分野を紹介し、その中でも話者が興味のある、無限の数と無限ゲームの関係について触れたいと思います。講演題目（第２部）数学者？→集合論！→海外留学（日本語による講演）アブストラクト：小学生の頃に数学者を志し、学部生のときに集合論を専攻し、大学院生になって海外留学をし、様々な国で数学を学ぶことになったきっかけと経緯について、お話しします。ブレークアウトルームのディスカッションテーマ：海外留学について（英語部屋，日本語部屋を選べます．登録フォーム参照） HP：https://sites.google.com/view/catch-allmathematicscolloquium/schedule　登録フォーム: https://forms.gle/ThqYPqNEQrNQjN4L9 登録締め切り：6月10日17時登録された方にZoom link をお送りいたします．世話人：Benoit Collins (京都大学), 石井志保子（東京大学）, 宮岡礼子（東北大学）斎藤新悟（九州大学）, 佐々田槙子（東京大学）, Karel Svadlenka（京都大学） -- 斎藤新悟 Shingo SAITO mailto:ssaito@artsci.kyushu-u.ac.jp

1 0

教員公募のお知らせ
by Satoru Kuroda 18 May '23

18 May '23

皆様，群馬県立女子大学の黒田です．教員公募についてお知らせいたします．群馬県立女子大学では，2023年度より設置された文学部文化情報学科において，「情報学（情報科学に関連する数理科学を含む）」に関する教授，准教授または専任講師1名の公募を行なっています．この学科は文学部内に設置されていますが，担当科目は情報科学and/or数理科学に関する分野となっております．応募締め切りは2023年6月14日（水）必着です．ご興味のある方はぜひ応募をご検討ください．またお近くに適任の方がおられましたら，本公募についてお知らせいただければ幸いです．詳細につきましては以下のURLをご覧ください． https://www.gpwu.ac.jp/inf/emp/emp_02/post_307/index.html#jouhougaku よろしくお願いいたします． -- Satoru Kuroda Gunma Prefectural Women's University

1 0

数学基礎論サマースクール2023のお知らせ(第一報)
by Kenshi Miyabe 18 May '23

18 May '23

関係者の皆様，以下の要領で数学基礎論サマースクール2023を開催いたします．周知および多くの方にご出席いただけますと幸いです．テーマ：連続体上の計算論日時：2023年9月11日(月)〜15日(金) 場所：明治大学駿河台キャンパス幹事：宮部賢志（明治大学），木原貴行（名古屋大学）連絡先：宮部賢志，research(a)kenshi.miyabe.name 講師および内容：鈴木登志雄：計算論速習(Turing機械，停止問題，算術的階層) 宮部賢志：実数の計算可能性 Holger Thies：実関数の計算可能性・計算量 Matthew de Brecht：計算可能位相空間論木原貴行：実現可能性理論／計算可能数学の圏詳細は以下のページで随時案内します． http://kenshi.miyabe.name/kisoron_school_2023/ どうぞよろしくおねがいします．宮部 -- Kenshi Miyabe email (research): research(a)kenshi.miyabe.name email (other): miyabe(a)meiji.ac.jp Associate Professor Department of Mathematics School of Science and Technology Meiji University Tel: +81-44-934-7460

1 0

（日本数学会）日本学術振興会育志賞の候補者の推薦について
by Hiroshi SAKAI 28 Mar '23

28 Mar '23

皆様：（重複して受け取られた場合はご容赦ください．）数学会「数学基礎論および歴史分科会」評議員の酒井拓史です． JSPS 育志賞の数学会からの推薦について，下記連絡がありました．候補の大学院生がいらっしゃる場合は，下記要領に従って数学会にご推薦ください．よろしくお願いします．酒井拓史 ========= 差出人: "president" <president(a)mathsoc.jp> 件名: （日本数学会）日本学術振興会育志賞の候補者の推薦について日付: 2023年3月27日 15:58:16 JST 宛先: "'msjprize'" <msjprize(a)mathsoc.jp> 全国区代議員、地方区代議員　各位理事　各位 ※本メールはBccでお送りしております。平素より日本数学会の運営にご協力を賜り厚く御礼申し上げます。先般、数学通信（会報）第２７巻第３号および第４号において、「令和５年度日本学術振興会育志賞」の数学会からの推薦募集について【４月７日（金）】を推薦期限としてお知らせいたしました。 https://www.mathsoc.jp/assets/file/publications/tushin/2704/kaiho274-07.pdf<https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.maths…> 育志賞は将来、我が国の学術研究の発展に寄与することが期待される優秀な大学院博士課程学生を顕彰する大変名誉ある賞です。日本数学会からも優秀な大学院生を積極的に推薦したいと思いますので、お心あたりの大学院生をご存知のかたは是非ご応募いただきますよう、関係各所に広くご周知のほど、よろしくお願い申し上げます。　（参考）育志賞対象者：下記1ページ目「４．対象者」　　https://www.jsps.go.jp/file/storage/j-ikushi-prize/recommendation/candidate…<https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.jsps.…> 推薦書の様式は「２０２３年度日本数学会賞建部賢弘賞推薦票」をご使用ください。（下記URLからダウンロードしていただけます） https://www.mathsoc.jp/activity/awards/takebe/<https://jpn01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.maths…> ご協力の程どうぞよろしくお願い申し上げます。日本数学会理事長　清水　扇丈次期理事長　鎌田　聖一 =========

1 0

研究集会等の情報提供のお願い
by Hiroshi SAKAI 26 Mar '23

26 Mar '23

皆様：数学会 "数学基礎論および歴史分科会” 評議員の酒井拓史です．お世話になっております． 2件の情報提供をお願いしたく，メールさせていただきました． ==== (1) 数学通信で周知する研究集会等の情報数学通信28巻1号（5月22日発送予定）で数学会会員に周知されたい今後の研究集会等の情報がありましたら，酒井 (hsakai(a)people.kobe-u.ac.jp<mailto:hsakai@people.kobe-u.ac.jp>) にご連絡ください．期間が短くなって申し訳ございませんが， 4月5日(水) までにご連絡をお願いいたします． ==== (2) 2022年度のシンポジウム・研究集会の記録雑誌 “数学” に2022年度のシンポジウム・研究集会の記録が掲載される予定で，編集部からその情報提供の依頼が来ております．次のような数学のシンポジウム・研究集会が掲載対象になります． - 開催日程：2022年度中 - 開催場所：日本国内（オンラインも含む） - 開催規模：参加者20名以上かまたは報告集のあるもの（RIMS と九州大学 IMI の共同利用集会は除く）上記のようなシンポジウム・研究集会を開催された幹事の方は次の情報を酒井 (hsakai(a)people.kobe-u.ac.jp<mailto:hsakai@people.kobe-u.ac.jp>) までお送りいただけないでしょうか． - 名称（主題） - 主催者（幹事）とその所属 - 開催場所 - 開催日程 - 報告集の有無と入手可能な場合の連絡先なお，以下の集会については把握しておりますので，ご連絡いただかなくても結構です． - SLACS 2022 - 数学基礎論サマースクール - 数学基礎論若手の会 - 証明論シンポジウム 2022 - Logic Winter School - MLG 2022 4月30日(日) までにご連絡いただくようお願いいたします． ==== 以上です．不明な点がありましたら酒井にお問い合わせください．よろしくお願いいたします．酒井拓史

2 1

数学会秋季賞の推薦募集
by Hiroshi SAKAI 24 Mar '23

24 Mar '23

皆様：（重複して受け取られた場合はご容赦ください．）神戸大学の酒井です．数学会の数学基礎論および歴史分科会で評議員をしております．お世話になっております．数学会から2023年度秋季賞の受賞候補推薦依頼が来ております．もし推薦がありましたら，私と受賞候補推薦評議員の関先生にご連絡いただくようお願いいたします．連絡先：関隆宏 tseki(a)adm.niigata-u.ac.jp <mailto:tseki@adm.niigata-u.ac.jp> 　　　　酒井拓史 hsakai(a)people.kobe-u.ac.jp <mailto:hsakai@people.kobe-u.ac.jp> 連絡期限：4月30日(日) ご連絡をいただいたあと，推薦者と関先生で推薦票を作成し，数学会に提出することになります．参考までに数学会からの推薦依頼文と推薦票様式の pdf を添付しております．よろしくお願いいたします．酒井拓史

1 0

数学会数学基礎論および歴史分科会総会報告
by Hiroshi SAKAI 22 Mar '23

22 Mar '23

皆様：神戸大学の酒井拓史です．今年3月から1年間，数学会の数学基礎論および歴史分科会で連絡責任評議員をさせていただいております．よろしくお願いいたします． 3月16日(木) に開催された分科会総会の報告をさせていただきます．分科会総会では次の項目について連絡をさせていただきました． [1] 分科会の評議員と運営委員 [2] 分科会予算 [3] 今後の主な研究集会と学会 [4] 2022年度のシンポジウム・研究集会の記録 [5] 数学会講演申し込み時の注意上記項目について下に簡単に連絡内容を書きます．不明な点やより詳しい内容をお知りになりたい点がありましたら，酒井 ( hsakai(a)people.kobe-u.ac.jp<mailto:hsakai@people.kobe-u.ac.jp> ) までお問い合わせください． === [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] 数学会講演申し込み時の注意講演タイトルや共同講演者などの情報が，講演データと講演アブストラクトで食い違っているものが散見されるようです．講演申し込み時には，これらの情報の食い違いがないようにご注意ください．特に，講演アブストラクトに共著者として名前が掲載されている方は，共同講演者として講演データに入力するようお願いいたします． === 以上です．よろしくお願いいたします．酒井拓史

1 0

← Newer
1
...
5
6
7
8
9
10
11
...
60
Older →

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml