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

2021秋季総合分科会「女性だれでも懇親会」のお知らせ
by Masaru KADA 30 Aug '21

30 Aug '21

kisoron-ml のみなさま：連絡責任評議員嘉田です。日本数学会2021年度秋季総合分科会(於:千葉大学)における「女性だれでも懇親会」につきまして、男女共同参画社会推進委員会からの案内文（下記）をお送りします。よろしくお願いします。嘉田勝（以下、案内文） ==== 数学基礎論および歴史分科会の皆様, 2021年度秋季総合分科会(於:千葉大学)にて, “女性だれでも懇談会” を以下の要領で開催することをお知らせ致します． ****************************** 女性だれでも懇談会 http://www.mathsoc.jp/activity/meeting/chiba21sept/news20210705.html 日時:2021年9月16日(木) 11:30-12:50 (出入り自由) 会場:Zoom にて開催（URL は参加登録者にお知らせします．）対象:女性研究者(大学院生を含む) 趣旨:女性研究者の意見交換・情報交換を目的とする. 参加登録URL：https://forms.gle/G3iEyLUBDMEbLA2y7 ****************************** 会議ではなく懇談と趣旨とした女性研究者限定のイベントです．お近くの女性数学者・学生へもご案内いただけましたら幸いです．どうぞよろしくお願いいたします．日本数学会男女共同参画社会推進委員会石田祥子(千葉大学), 篠田万穂（お茶の水女子大学） ==== -- -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

RIMS共同研究（公開型）「実数の集合論における近年の進展」 2021年10月12--15日
by Masaru KADA 22 Aug '21

22 Aug '21

下記のRIMS共同研究（公開型）のご案内を申し上げます。研究代表者：嘉田勝（大阪府立大学） / kada(a)mi.s.osakafu-u.ac.jp ======== RIMS共同研究（公開型）「実数の集合論における近年の進展」開催日: 2021年10月12日（火）―2021年10月15日（金）開催地: オンライン開催（ZOOMミーティング）、日本標準時で午前9時--午後5時の時間内お問い合わせ: 嘉田勝 / kada(a)mi.s.osakafu-u.ac.jp 集会の概要 RIMS（京都大学数理解析研究所）共同研究として、「実数の集合論における近年の進展」をテーマとする集会をオンラインで実施します。このテーマにとらわれず、集合論および関連分野の研究成果発表を広く受け付けます。研究者のみなさまのご参加をお待ち申し上げます。プログラムはミニコース（連続講義）と一般講演から成ります。ミニコースでは、Joerg Brendle 氏（神戸大学）および Diego Mejia 氏（静岡大学）を講師にお迎えして、実数の集合論で用いられる強制法の技法（Boolean ultrapowers, submodel methods など）および関連する研究成果について講義いただきます。参加登録下記URLの参加登録フォームにてご登録ください。 https://forms.gle/1156YFMp1bN9GEDJ9 一般講演締切：2021年9月9日集会参加締切：2021年10月10日 ======== -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

開催形式の変更（モデル理論夏の学校）
by 池田宏一郎 19 Aug '21

19 Aug '21

kisoron-mlのみなさま法政の池田です．「モデル理論夏の学校」の開催方法についてですが，現在の感染状況を踏まえ，開催形式をハイブリッド形式からオンラインのみに変更いたします．また，参加登録締切を以下の通り，変更いたします．皆様の参加をお待ちしております．池田宏一郎（法政大学） ----------------------------- 日時：2021年9月5日(日)-7日(火) 開催形式：オンライン（Zoom）申込締切：8月31日（講演申込の方は8月25日）まで HP：https://sites.google.com/view/modeltheory2021/%E3%83%9B%E3%83%BC%E3%83%A0 世話人：池田宏一郎（法政大学，ikeda(at)hosei.ac.jp）補足：プログラムは8月末までに公開予定．

1 0

Call for Contributions - 1st Meeting Brazil-Colombia in Logic - December 14-17, 2021
by Diego A. Mejía 19 Aug '21

19 Aug '21

---------- Forwarded message --------- From: Pedro H. Zambrano <phzambranor(a)gmail.com> Date: Thu, Aug 19, 2021 at 9:29 AM Subject: [LOGBOG: 1002] Call for Contributions - 1st Meeting Brazil-Colombia in Logic - December 14-17, 2021 To: logbog <logbog(a)googlegroups.com>, <logic-list(a)helsinki.fi> ************************************************************ CALL FOR CONTRIBUTIONS 1st Meeting Brazil-Colombia in Logic (1o. Enc(ue-o)ntro de Logica Brasil-Col(o-ô)mbia) Online Meeting Universidad Nacional de Colombia at Bogotá – December 14-17, 2021 https://sites.google.com/unal.edu.co/i-enclogbracol/ No registration fee ************************************************************ The mathematical logic interactions between Colombian and Brazilian logicians have been strong for a long time and have a history of friendships and collaborations that go back several decades, and this was accomplished through (but not exclusively by) many SLALMs (Simposios Latino-Americano de Logica-Matematicas) and EBLs (Encontros Brasileiros de Lógica). With this "First Meeting Brazil-Colombia in Logic", we intend to initiate a new institutional phase of collaborations and exchange of experiences in areas involving Foundations of Mathematics between researchers and students from Brazil and Colombia: we hope this is the first of many events in the years to come! We are very glad to see some of the personages that have created this profound and rich interaction between Colombian and Brazilian logicians will be present in this meeting and that another generation of researchers and students have manifested its intention of carrying out and strengthening this bond. Confirmed Plenary Speakers: ************************* Xavier Caicedo (UniAndes, Bogotá, COL) Carlos Di Prisco (UniAndes, Bogotá, COL) Itala D’Ottaviano (CLE-UNICAMP, Campinas, BRA) Francisco Miraglia (IME-USP, São Paulo, BRA) Carlos Uzcátegui (UIS, Bucaramanga, COL) Confirmed Invited Speakers: ************************ Rodrigo Freire (UnB, Brasília, BRA) João Marcos (UFRN, Natal, BRA) Diego Mejía (Shizuoka University, JAP) Diana Montoya (University of Vienna, AUT) Tutorials: ******** Elaine Pimentel (UFRN, Natal, BRA) Darío Garcia (UniAndes, Bogotá, COL) The meeting (which will be held online) welcomes submissions of 25 minutes talks (20 minutes presentation + 5 minutes questions). We will accept submissions from all areas related to Logic (including Mathematical Logic, Philosophy and Computer Science). To facilitate the organization, the authors will be asked to declare whether the submitted work belongs to one of the following topics: · Categorial and Algebraic Logic · General Logic · Model Theory · Non-classical Logics · Proof Theory · Set Theory Depending on the number of accepted submissions, the authors may be required to pre-record their talks (sending us an editable link of the recording). Students (undergrads and grads) are encouraged to submit posters (10 minutes presentation). The languages of the meeting are: English, Spanish, Portuguese (we recommend the slides to be in English, but talks may be delivered in any of the mentioned languages). The LaTeX template for submissions (for both talks and posters) may be found at https://www.overleaf.com/read/vftjwhycpgsk The abstracts of the talks are expected to be 1-3 pages long, including references. After producing your .pdf file, you will be asked to upload it at https://forms.gle/Smwgv7kwLakSWTy7A The deadline for submissions is September 24, 2021 Accepted talks and posters will be announced on October 22, 2021 More information may be found at our page: https://sites.google.com/unal.edu.co/i-enclogbracol/ Scientific and Organizing Committee: Marcelo Coniglio (IFCH-Unicamp, Campinas, BRA) Hugo L. Mariano (IME-USP, São Paulo, BRA) Ciro Russo (UFBA, Salvador de Bahia, BRA) Samuel G. da Silva (UFBA, Salvador de Bahia, BRA) Andrés Villaveces (UNAL, Bogotá, COL) Pedro H. Zambrano (UNAL, Bogotá, COL) Partners: Sociedad Colombiana de Matemáticas Sociedade Brasileira de Lógica --- Pedro ZAMBRANO Associate Professor Department of Mathematics Universidad Nacional de Colombia Bogota, Colombia PBX + 57 1 316 5000 ext. 13163 sites.google.com/a/unal.edu.co/phzambranor -- 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

モデル理論夏の学校　参加登録（再確認）
by 池田宏一郎 11 Aug '21

11 Aug '21

kisoron-mlのみなさま法政の池田です．以下の通り，「モデル理論夏の学校」を開催します．申込締切は8月15日です．皆様の参加をお待ちしております．池田宏一郎（法政大学） ----------------------------- 日時：2021年9月5日(日)-7日(火) 開催形式：ハイブリッド形式（対面＋Zoom）会場：八王子セミナーハウス（各部屋１名で使用） HP：https://sites.google.com/view/modeltheory2021/%E3%83%9B%E3%83%BC%E3%83%A0 世話人：池田宏一郎（法政大学，ikeda(at)hosei.ac.jp）補足：感染状況により，全面オンライン開催に切り替える可能性があります． ---------------------

1 0

SLACS2021 (8月10日～11日) プログラム確定のお知らせ
by NAKAMURA Yoshiki 03 Aug '21

03 Aug '21

皆様（複数のメイリングリストに送信しています。重複して受信の際はご容赦ください。） SLACS2021幹事の中村誠希です。講演・参加の申し込みをいただき、どうもありがとうございました。 SLACS2021のプログラムが確定しましたのでお知らせします。詳細はウェブページからご確認ください。 https://sites.google.com/view/slacs2021/ なお、参加申し込みをされた方にのみ参加方法等に関する連絡をおこないますので、聴講のみを希望される方もお手数ですが以下のリンク先のフォームから申し込みをお願いいたします。 https://docs.google.com/forms/d/e/1FAIpQLSfzf88OgKBFIQhPNjIa4dNULu6FsQzuCRx… どうぞよろしくお願いいたします。 ==== 第38回記号論理と情報科学研究集会（SLACS2021） https://sites.google.com/view/slacs2021/ 期間 2021年8月10日（火）から2021年8月11日（水）場所オンライン（Zoom）参加費無料幹事東京工業大学中村誠希連絡先 slacs2021(a)gmail.com SLACSとは以下はSLACSのページの冒頭からの抜粋です。 http://www.math.s.chiba-u.ac.jp/SLACS/ 「SLACS（スラックス）は，記号論理学と情報科学の境界領域に関する研究発表・研究討論の場を提供することを目的にして開催されている研究集会です． 1985年1月に第１回が開催されて以来，毎年１回のペースで開催されています． SLACS は，堅苦しい研究会ではなく，その年の幹事を中心とした参加者自らの手作りによるフレンドリーな雰囲気を持った集会です．気軽に発表できる場ですから，研究が進行中の話題を持ってきて議論したり，学生さんが発表する場としても適当です．もちろん，発展を続けるこの分野の最先端の研究テーマに関する発表も数多く聞くことができます．参加者の資格は問いませんので，原則として，どなたでも講演発表・聴講いただけます．発表はごく少数の例外を除いて日本語です．」より詳しい情報はSLACSのページや最近の開催情報をご確認ください。 SLACS2020（Zoom） https://sites.google.com/view/slacs2020/ SLACS2019（京都大学） https://sites.google.com/view/slacs-2019/home SLACS2018 (北海道大学) https://sites.google.com/view/slacs-2018/home SLACS2017 (千葉工業大学) http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/index.html SLACS2016 (名古屋大学) http://www.st.nanzan-u.ac.jp/info/sasaki/2016slacs/SLACS2016.html

1 0

モデル理論夏の学校　参加登録
by 池田宏一郎 27 Jul '21

27 Jul '21

kisoron-mlのみなさま法政の池田です．以下の通り，「モデル理論夏の学校」を開催します．申込締切は8月15日です．皆様の参加をお待ちしております．池田宏一郎（法政大学） ----------------------------- 日時：2021年9月5日(日)-7日(火) 開催形式：ハイブリッド形式（対面＋Zoom）会場：八王子セミナーハウス（各部屋１名で使用） HP：https://sites.google.com/view/modeltheory2021/%E3%83%9B%E3%83%BC%E3%83%A0 世話人：池田宏一郎（法政大学，ikeda(at)hosei.ac.jp）補足：感染状況により，全面オンライン開催に切り替える可能性があります．

1 0

2021年度数学基礎論サマースクールのご案内
by Katsumi Sasaki 22 Jul '21

22 Jul '21

みなさま　南山大の佐々木です．　2021年度数学基礎論サマースクールのウェブサイト：　　http://www.st.nanzan-u.ac.jp/info/sasaki/2021summerschool/sc2021.html で，参加申し込みなどの案内を更新しています．興味のありそうな方に周知いただけるとありがたいです， -- Katsumi Sasaki <sasaki(a)nanzan-u.ac.jp>

1 0

SLACS2021 (8月10日～11日) 講演・参加募集のお知らせ
by NAKAMURA Yoshiki 18 Jul '21

18 Jul '21

皆様（複数のメイリングリストに送信しています。重複して受信の際はご容赦ください。）東京工業大学の中村誠希と申します。 SLACS2021の講演募集を以下のとおり行います。ご検討よろしくお願いいたします。第38回記号論理と情報科学研究集会（SLACS2021） https://sites.google.com/view/slacs2021/ 期間 2021年8月10日（火）から2021年8月11日（水）場所オンライン（Zoom）参加費無料幹事東京工業大学中村誠希連絡先 slacs2021(a)gmail.com SLACSとは以下はSLACSのページの冒頭からの抜粋です。 http://www.math.s.chiba-u.ac.jp/SLACS/ 「SLACS（スラックス）は，記号論理学と情報科学の境界領域に関する研究発表・研究討論の場を提供することを目的にして開催されている研究集会です． 1985年1月に第１回が開催されて以来，毎年１回のペースで開催されています． SLACS は，堅苦しい研究会ではなく，その年の幹事を中心とした参加者自らの手作りによるフレンドリーな雰囲気を持った集会です．気軽に発表できる場ですから，研究が進行中の話題を持ってきて議論したり，学生さんが発表する場としても適当です．もちろん，発展を続けるこの分野の最先端の研究テーマに関する発表も数多く聞くことができます．参加者の資格は問いませんので，原則として，どなたでも講演発表・聴講いただけます．発表はごく少数の例外を除いて日本語です．」より詳しい情報はSLACSのページや最近の開催情報をご確認ください。 SLACS2020（Zoom） https://sites.google.com/view/slacs2020/ SLACS2019（京都大学） https://sites.google.com/view/slacs-2019/home SLACS2018 (北海道大学) https://sites.google.com/view/slacs-2018/home SLACS2017 (千葉工業大学) http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/index.html SLACS2016 (名古屋大学) http://www.st.nanzan-u.ac.jp/info/sasaki/2016slacs/SLACS2016.html 参加申込方法：講演・聴講を希望される方は、以下のフォームからお申し込みください。申込をされた方に、参加方法等の連絡をおこないます（聴講のみを希望される方も申込をお願いいたします）。 https://docs.google.com/forms/d/e/1FAIpQLSfzf88OgKBFIQhPNjIa4dNULu6FsQzuCRx… 講演申込期限は **2021年7月26日（月）** とします。講演する意思があるという方は早めにご連絡いただけると幸いです。

1 1

（理事長メッセージ）コワレフスカヤ基金援助
by Masaru KADA 13 Jul '21

13 Jul '21

kisoron-ml のみなさま：連絡責任評議員嘉田です。 ICM2022コワレフスカヤ基金援助日本推薦の募集について、日本数学会理事長から下記の通知がありましたので、お知らせします。 ======== 分科会評議員各位特別セッション責任者各位平素より日本数学会の活動にご協力いただきまして有難うございます． ICM2022コワレフスカヤ基金援助日本推薦の募集について https://www.mathsoc.jp/publicity/icm2022/kovalevskaya/ のメーリングリストへの周知をお願いいたします．日本数学会(協力:日本応用数理学会)は，国際数学者会議(International Congress of Mathematics=ICM) 2022における Local Organizing Committee(=LOC)との協定に基づき，学位(博士)取得後１０年以内の有望研究者を本会が推薦することによって， 2022年7月6日〜14日にロシア・サンクトペテルブルクにて開催されるICM2022に参加のための資金援助を行います．４年に一度開催されるICMに多くの若手研究者が参加することによって，我が国の数学研究の深化を促進し，海外の研究者との国際交流を通じて世界の数学の発展に貢献することを目的としています. 詳しくは上記URLをご覧下さい．日本数学会では， 8月1日〜9月30日にLOCに推薦をする研究者を募集します．・募集要項 https://www.mathsoc.jp/assets/file/publicity/icm2022/kovalevskaya/guideline… ・申請書 https://www.mathsoc.jp/publicity/icm2022/kovalevskaya/ https://www.mathsoc.jp/assets/file/publicity/icm2022/kovalevskaya/form.pdf つきましては，各分科会および特別セッションのメーリングリストにて上記の情報，URL等を周知して頂くとともに，適任者に応募を勧めて頂きますようよろしくお願い申し上げます．何卒，分科会評議員・特別セッション責任者の皆様のご理解とご協力を賜われば幸いに存じます．日本数学会理事長清水扇丈 ======== 嘉田勝 -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

7/30(金)　組合せ論・モデル理論セミナーのご案内
by Hirotaka Kikyo 09 Jul '21

09 Jul '21

各位神戸大学の桔梗です. 熊本大学の佐竹先生のご尽力により, 2019年度まで開催しておりました「組合せ論・モデル理論セミナー」を再開する運びとなりましたので, ご連絡申し上げます. 前回より長く時間が空いてしまい, 大変申し訳ございませんでした. 次回のセミナーについてご案内申し上げます. --- 日時: 2021年7月30日 (金) 16:00-17:30 講演者: Hyungrok Jo 氏 (筑波大学) タイトル: On Ramanujan graphs in the era of Post-Quantum Cryptography 開催場所: オンライン (ZOOM) アブストラクトはHPにてご覧いただけます. https://sites.google.com/site/kcmseminar/7thseminar --- 参加をご希望の方は, *7/28 (水)*までに下記のGoogle formよりご登録のほどよろしくお願い申し上げます. https://forms.gle/SNXc6TZkkTtPdwbaA 参加方法等に関しましては, セミナー当日までにご登録いただいた皆様にお送り致します. 皆様のご参加を心よりお待ち申し上げております. 世話人: 岡部峻典桔梗宏孝 (神戸大学) 佐竹翔平 (熊本大学) 澤正憲 (神戸大学) --

1 0

モデル理論夏の学校
by 池田宏一郎 28 Jun '21

28 Jun '21

kisoron-mlのみなさま法政の池田です．今年の「モデル理論夏の学校」は以下のように行う予定です．詳細は８月上旬ころにあらためてお伝えいたします．皆様の参加をお待ちしております．池田宏一郎（法政大学） ------------------------------- 日時：2021年9月5日(日)午後～7日(火)午前開催形式：ハイブリッド形式（対面＋Zoom）会場：八王子セミナーハウス（各部屋１名で使用．各部屋シャワー付き） HP：https://sites.google.com/view/modeltheory2021/%E3%83%9B%E3%83%BC%E3%83%A0 世話人：池田宏一郎（法政大学，ikeda(at)hosei.ac.jp）補足：感染状況により，全面オンライン開催に切り替える可能性もあります．

1 0

June 19th Symposium “Fairness, Integrity andTransparency of Formal Systems:Challenges for a Society IncreasinglyDominated by Technology”
by Mitsu Okada 16 Jun '21

16 Jun '21

Symposium “Fairness, Integrity and Transparency of Formal Systems: Challenges for a Society Increasingly Dominated by Technology” June 19th (Sat.) 14:30-18:00 JST 6月19日(土) June 19th, 2021, Zoom Free pre-registration open now 登録受付中（無料） (重複した受信になりましたらお許しください。）本会議は論理・科学・技術哲学系研究者の会議ですが、Algorithms の説明可能性、公平性の問題を、計算や証明の観点を含む、諸観点から議論します。本メールリストのsubscribersの一部の方に関心をお持ちの方がいらっしゃると思いますので、投稿させていただきます。主要講演は、証明とアルゴリズムと説明性、公平性公理と投票アルゴリズム、説明性の価値、などに関わります。The topics of the main invited talks include expnainability with proofs and algorithms, some issues on voting algorithms with a fairness property and their computation, values of explainability in automatic authority systems, and others. Gilles Dowek (INRIA、ENS-Saclay) “Explanation: from ethics to logic” Edith Elkind (University of Oxford) “Justified Representation in Approval-Based Committee Voting” Seth Lazar (Australian National University) “Legitimacy, Authority, and the Political Value of Explanations” プログラム、講演アブストラクトは下にあります。基本情報ページ (Information Pages in English) https://abelard.flet.keio.ac.jp/seminar/symposium-202106-en/ [要事前登録 Pre-registration required] 事前登録方法：日本語ポスターの案内に従ってStreaming用登録ができます。DLMPSTページ側の案内に従って英語ポスターのコードを用いると ZoomWebinar登録できます。 Use the code on the poster in Japanese of JAPS for streaming. One could use the code on the poster in English posted on the DLMPST page for Zoom. 科学基礎論学会ポスター (JAPS Poster in Japanese) http://phsc.jp/dat/20210514_poster.pdf DLMPST(国際科学基礎論学会連合)/IUHPST)Symposium Information Page http://dlmpst.org/pages/activities/japs-dlmpst-symposium-2021.php DLMPST > Activities > 2021 Contact: 岡田光弘 Mitsuhiro Okada Coordinator and Co-organizer of the Symposium Keio University Mitsu[ AT ]abelard.flet.keio.ac.jp

1 0

日本数学会秋季総合分科会はオンライン開催
by Masaru KADA 19 May '21

19 May '21

kisoron-ml のみなさま：連絡責任評議員嘉田です。日本数学会2021年度秋季総合分科会はオンライン開催となることが、 5月15日付の理事長文書でアナウンスされました。 ↓2021年度秋季総合分科会のオンライン開催について https://www.mathsoc.jp/activity/meeting/chiba21sept/news20210515.html 5月28日から一般講演の申込が始まる予定です。 2021年度年会のオンライン開催と同様に、一般講演の形式としては -- アブストラクト提出をもって講演成立 -- 講演スライドのアップロードも可能（講演オプション1） -- Zoomウェビナーによる講演のオンライン配信も可能（講演オプション2）となります。みなさまのご理解とご協力をお願い申し上げます。嘉田勝 -- -------- Masaru KADA （嘉田勝） kada.mbg.nifty.com(a)gmail.com --------

1 0

オンライン講義のご案内: モデル理論:ソフトウェアの代数的仕様記述と形式検証
by Yoshihito Tanaka 12 May '21

12 May '21

九州産業大学の田中義人です．九州大学の溝口佳寛先生の代理で投稿いたします．九州大学により，オンライン講義「モデル理論:ソフトウェアの代数的仕様記述と形式検証」が以下の要領で開催されます：期間：5月13日-7月29日日時：毎週木曜日16:00-18:00 詳細は添付のポスターをご参照ください（2行目の講義開始日は5月13日の誤りです）． ZoomのURL，ID等は，以下にお問い合わせください： Daniel Gaina：daniel(a)imi.kyushu-u.ac.jp 溝口佳寛：ym(a)imi.kyushu-u.ac.jp ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

（周知）科研費公募、内定時期の前倒し
by Masaru KADA 14 Apr '21

14 Apr '21

kisoron-ml のみなさま：分科会連絡責任評議員嘉田です。すでにご存じかと思いますが、科研費の公募時期が従来より1〜2ヶ月早まります。このことについて、日本数学会から周知のメッセージを受け取りましたので、お知らせします。嘉田勝（以下、日本数学会理事長からのメッセージ） ==== 日本数学会分科会連絡責任評議員　各位特別セッション「無限可積分系」世話人　様 ※本メールはBccでお送りしております。平素より日本数学会の運営ではご協力を賜り感謝申し上げます。教育研究資金問題検討委員会より下記の情報が届きました。【科研費】令和4年度からの公募、申請、内定時期の前倒しについて例年９月に公募が行われていた基盤研究等について、公募時期が１〜２ヶ月早まります。メーリングリストなどを通して分科会会員へ周知下さいますようよろしくお願い致します。詳しくは下記の日本学術振興会ホームページに掲載されております。令和４(2022)年度の科学研究費助成事業の公募、内定時期の前倒し等について https://www.jsps.go.jp/j-grantsinaid/06_jsps_info/g_210408/index.html 一般社団法人　日本数学会理事長　寺杣友秀 ==== -------- Masaru KADA （嘉田勝） kada(a)mi.s.osakafu-u.ac.jp --------

1 0

Fwd: 会報181号の原稿依頼
by Masaru KADA 17 Mar '21

17 Mar '21

kisoron-ml のみなさま：分科会連絡責任評議員嘉田勝（大阪府立大学）です。日本数学会理事長名で、会報181号の原稿依頼を受けています。会報181号（「数学通信」26巻1号）紙上で【全会員向けに】アナウンスすべき事項がありましたら、嘉田にご一報ください。なお、「数学通信」誌の「分科会便り」につきましては、別途、掲載すべき情報のとりまとめを行いますので、その際はご協力のほどお願い申し上げます。嘉田勝 -------- Forwarded Message -------- Subject: 会報181号の原稿依頼 Date: Wed, 17 Mar 2021 13:11:44 +0900 From: 「数学通信」編集部 <msj-tushin(a)mathsoc.jp> To: msj-tushin(a)mathsoc.jp ご関係の先生各位　(bccでお送りしています）いつも大変お世話になっております。会報１８１号（「数学通信」26巻1号）紙上で全会員にお知らせする事項がございましたら、ご投稿をお願いいたします。締切：２０２１年４月２日（金）宛先：msj-tushin(a)mathsoc.jp 詳細は添付のPDFファイルをご覧ください。どうぞ宜しくお願い申し上げます。日本数学会「数学通信」編集部

1 0

数学基礎論および歴史分科会総会（終了しました）
by Masaru KADA 15 Mar '21

15 Mar '21

kisoron-ml のみなさま：分科会連絡責任評議員嘉田勝（大阪府立大学）です。日本数学会年会1日目 3月15日の 11:45 から 11:55 頃まで、数学基礎論および歴史分科会総会を行いました。ご参加くださったみなさま、ありがとうございました。総会での議事を反映して補足したスライド PDF ファイルを分科会ウェブページに置きましたので、ご確認ください。 ↓分科会ウェブページ http://mathsoc.jp/section/logic_and_history/ 今後ともよろしくお願いします。嘉田勝 -- -------- Masaru KADA （嘉田勝） kada.mbg.nifty.com(a)gmail.com --------

1 0

数学基礎論および歴史分科会総会のお知らせ（Zoom ミーティングで実施）
by Masaru KADA 14 Mar '21

14 Mar '21

数学基礎論および歴史分科会のみなさま：連絡責任評議員嘉田勝（大阪府立大学）です。ご連絡が遅くなりましたが、2021日本数学会年会の1日目（3月15日月曜日）の 11:45 から（関隆宏先生の特別講演終了後）15分間の予定で、数学基礎論および歴史分科会総会を、Zoom ミーティングで行います。みなさまのご参加をお願い申し上げます。総会のための Zoom ミーティング招待情報は、下記のとおりです。 ======== 嘉田勝さんがあなたを予約されたZoomミーティングに招待しています。トピック: 【分科会総会】数学基礎論および歴史分科会総会 2021日本数学会年会時間: 2021年3月15日 11:45 AM 大阪、札幌、東京 Zoomミーティングに参加する https://zoom.us/j/95058177697 ミーティングID: 950 5817 7697 パスコード: ******（数字6桁） ======== パスコードの部分を伏せ字にしてありますが、パスコードは数字6桁で【 "00" に続けて、嘉田勝の日本数学会会員番号4桁】に設定してあります。パスコードの数字6桁の情報を含めた招待情報は、当日、【3月15日 09:30--10:35 分科会一般講演ウェビナーのチャット】【3月15日 10:45--11:45 特別講演（関隆宏先生）ウェビナーのチャット】にて、あらためてご案内申し上げます。 2021年3月12日嘉田勝（連絡責任評議員） -- -------- Masaru KADA （嘉田勝） kada.mbg.nifty.com(a)gmail.com --------

1 1

日本数学会年会のオンライン講演配信（ウェビナー）参加方法
by Masaru KADA 14 Mar '21

14 Mar '21

みなさま：数学基礎論および歴史分科会評議員嘉田です。本日と明日の2日間、数学基礎論および歴史分科会の Zoom ウェビナーを用いたオンラインライブ配信が行われます。ライブ配信の視聴方法がわかりにくいかもしれませんので、ご案内します。まず、年会のウェブページ内「聴講者用マニュアル」をご一読ください。 https://www.mathsoc.jp/activity/meeting/keio21mar/manual/audience.html 次に、箇条書き項目2の「オンライン講演会場」の URL に、さらに次のページの中の「ライブ配信・録画配信の視聴に関する情報」のリンクに進んでください。この際、日本数学会サーバーへのログイン情報が必要です。（直接リンク→ https://app.mathsoc.jp/meeting/keio21mar/video/member/ ）「Googleサイトライブ配信 (ウェビナー視聴URL)」のリンクに進むと、画面上方が濃灰色の「2021年度年会慶應義塾大学ウェビナー視聴URL」のページが表示されます。右上に「各分科会」のプルダウンメニューがありますので、メニューから「数学基礎論および歴史」を選んでください。すると、時間帯別の一般講演及び特別講演（関隆宏先生）のウェビナーへのリンクが表示されます。みなさまのご参加をお待ち申し上げます。嘉田勝 -- -------- Masaru KADA （嘉田勝） kada.mbg.nifty.com(a)gmail.com --------

1 0

Kobe Set Theory Workshop 2021 -- on the occasion of Sakaé Fuchino's retirement --
by Hiroshi SAKAI 01 Mar '21

01 Mar '21

皆様：（度々申し訳ございません．昨日お送りしたアナウンスで， Workshop の講演者に誤りがありましたので，案内を再送させていただきます．）神戸大学の酒井拓史です．昨年3月に渕野昌先生が神戸大学を退職され，それにあわせた研究集会をこのメーリングリストでもアナウンスさせていただきましたが，新型コロナウイルス感染拡大で延期となっておりました．この度，改めて以下のようにオンライン研究集会を開催することとなりましたので，アナウンスさせていただきます． Kobe Set Theory Workshop 2021 — on the occasion of Sakaé Fuchino’s retirement — (Online Workshop via ZOOM) 日程：3月9日(火) — 3月11日(木) ホームページ： http://www2.kobe-u.ac.jp/~hsakai/Fuchino2021/ <http://www2.kobe-u.ac.jp/~hsakai/Fuchino2021/> 講演者： - 渕野昌 (神戸大学) - Joan Bagaria (University of Barcelona) - Joel David Hamkins (Oxford University) - Paul Larson (Miami University) - David Aspero (University of East Anglia) - Piotr Borodulin-Nadzieja (University of Wrocław) - Andrew Brooke-Taylor (University of Leeds) - Chris Lambie-Hanson (Virginia Commonwealth University) - 依岡輝幸 (静岡大学) - 薄葉季路 (早稲田大学) - 池上大祐 (芝浦工業大学) - Diego Mejia (静岡大学) 参加方法：以下のリンクから事前にご登録ください． https://kobe-u-ac-jp.zoom.us/meeting/register/tZYqde2oqjstH9QW5CXr6eWuUM3oM… <https://kobe-u-ac-jp.zoom.us/meeting/register/tZYqde2oqjstH9QW5CXr6eWuUM3oM…> ご登録後，1日以内にこちらで登録を承認いたします．その後，ZOOM Meeting link がメールで送られますので， Workshop 当日に web browser で link にアクセスしてください．プログラム等の詳細はホームページをご覧ください．また，不明な点がありましたら，酒井までお問い合わせください．連絡先： hsakai(a)people.kobe-u.ac.jp <mailto:hsakai@people.kobe-u.ac.jp> 年度末のお忙しい折かと思いますが，皆様のふるってのご参加をお待ちしております．神戸大学大学院システム情報学研究科准教授酒井拓史 E-mail: hsakai(a)people.kobe-u.ac.jp <mailto:hsakai@people.kobe-u.ac.jp> Tel: 078-803-6245

1 0

Kobe Set Theory Workshop 2021 -- on the occasion of Sakaé Fuchino's retirement --
by Hiroshi SAKAI 28 Feb '21

28 Feb '21

皆様：神戸大学の酒井拓史です．昨年3月に渕野昌先生が神戸大学を退職され，それにあわせた研究集会をこのメーリングリストでもアナウンスさせていただきましたが，新型コロナウイルス感染拡大で延期となっておりました．この度，改めて以下のようにオンライン研究集会を開催することとなりましたので，アナウンスさせていただきます． Kobe Set Theory Workshop 2021 — on the occasion of Sakaé Fuchino’s retirement — (Online Workshop via ZOOM) 日程：3月9日(火) — 3月11日(木) ホームページ： http://www2.kobe-u.ac.jp/~hsakai/Fuchino2021/ <http://www2.kobe-u.ac.jp/~hsakai/Fuchino2021/> 講演者： - 渕野昌 (神戸大学) - Joan Bagaria (University of Barcelona) - Joel David Hamkins (Oxford University) - Paul Larson (Miami University) - David Aspero (University of East Anglia) - Piotr Borodulin-Nadzieja (University of Wrocław) - Chris Lambie-Hanson (Virginia Commonwealth University) - 依岡輝幸 (静岡大学) - 薄葉季路 (早稲田大学) - 池上大祐 (芝浦工業大学) - Diego Mejia (静岡大学) 参加方法：以下のリンクから事前にご登録ください． https://kobe-u-ac-jp.zoom.us/meeting/register/tZYqde2oqjstH9QW5CXr6eWuUM3oM… <https://kobe-u-ac-jp.zoom.us/meeting/register/tZYqde2oqjstH9QW5CXr6eWuUM3oM…> ご登録後，1日以内にこちらで登録を承認いたします．その後，ZOOM Meeting link がメールで送られますので， Workshop 当日に web browser で link にアクセスしてください．プログラム等の詳細はホームページをご覧ください．また，不明な点がありましたら，酒井までお問い合わせください．連絡先： hsakai(a)people.kobe-u.ac.jp <mailto:hsakai@people.kobe-u.ac.jp> 年度末のお忙しい折かと思いますが，皆様のふるってのご参加をお待ちしております．神戸大学大学院システム情報学研究科准教授酒井拓史 E-mail: hsakai(a)people.kobe-u.ac.jp <mailto:hsakai@people.kobe-u.ac.jp> Tel: 078-803-6245

1 0

2020年度数学基礎論若手の会
by Daisuke Ikegami 19 Feb '21

19 Feb '21

（重複して受け取られた方はご容赦ください）みなさま芝浦工業大学の池上と申します。 2020年度数学基礎論若手の会を以下の要領で開催いたします。日時：2021年3月26日(金) - 3月28日(日) 場所：オンライン開催参加方法など、詳細は https://sites.google.com/view/younglogicians2020/ をご覧ください。多くのみなさまのご参加をお待ちしております。池上大祐

1 0

学術振興会の聴取に関する周知
by Katsumi Sasaki 18 Feb '21

18 Feb '21

kisoron-mlのみなさま　お世話になります．　日本数学会数学基礎論および歴史分科会評議員の佐々木です．　　標記の件ですが，日本数学会理事長経由で，後述の周知依頼がきています．聴取は締め切りが3月1日とたいへんタイトな日程となっておりますが，ご検討いただけると幸いです．佐々木克巳 ******************************************************** 日本数学会理事長　寺杣友秀先生日本学術振興会では現在、令和５(2023)年度科研費の公募にむけての検討に際し「審査区分表の見直し」に係る意見の聴取を広く行なっております。 https://www.jsps.go.jp/j-grantsinaid/02_koubo/shinsakubun_uketsuke.html <https://www.jsps.go.jp/j-grantsinaid/02_koubo/shinsakubun_uketsuke.html> 数学にとって科研費は非常に重要な競争的研究資金であり、高い関心をお持ちの方も多いかと存じます。もしできましたらメーリングリストなどを通して周知をして頂ければ幸甚です。提出期限が3月1日になっており、あまり時間がなく恐縮ですが、どうぞよろしくご高配の程、お願い申し上げます。日本学術振興会学術システム研究センター専門研究員木村　芳文栗原　将人中川　泰宏 -- Katsumi Sasaki <sasaki(a)nanzan-u.ac.jp>

1 0

Louis de Broglie
by logic 04 Feb '21

04 Feb '21

この前、ご案内しましたドブロイの学位論文（フランス語）の英訳、先月出版されました。こちらから入手可能です。 https://www.amazon.co.jp/Research-Theory-Quanta-Louis-Broglie/dp/1927763983… にしむら https://www.researchgate.net/profile/Hirokazu_Nishimura https://www.youtube.com/watch?v=0LFVxavjHfw

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml