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

日本数学会　２０２１年度奨励研究生の募集について
by Katsumi Sasaki 21 Dec '20

21 Dec '20

関係のみなさま　お世話になります．　日本数学会数学基礎論および歴史分科会連絡責任評議員の佐々木です．　標記の募集が11月1日より開始されています．詳細は，数学会ウェブサイト　　https://www.mathsoc.jp/publicity/news20201012/2021shourei.html にあります．このサイトでは，募集期限は1月12日となっていますが，　　1月25日（月）まで延長の予定だそうです．　該当する方はご検討いただければありがたいです．佐々木克巳

1 0

12月18日の談話会・数理科学講演会
by Katsumi Sasaki 13 Dec '20

13 Dec '20

関係のみなさま新井敏康先生 (東京大学大学院数理科学研究科)が12月18日に東京大学大学院数理科学研究科の談話会・数理科学講演会で講演されるそうです．詳細は以下のとおりです． https://www.ms.u-tokyo.ac.jp/seminar/colloquium/index.html 日本数学会数学基礎論および歴史分科会評議員佐々木克巳

1 0

渕野先生の最終講義動画について
by Hiroshi SAKAI 03 Dec '20

03 Dec '20

皆様：神戸大学の酒井拓史です．今年３月に神戸大学を退職された渕野昌先生の最終講義動画についてアナウンスさせていただきます．渕野先生の最終講義と，それに合わせた研究集会を，今年３月に予定していましたが，新型コロナウイルス感染拡大の影響で，残念ながら延期となっておりました．この度，神戸大学工学部のホームカミング月間併催企画として，渕野先生の最終講義が以下のページで動画配信されることになりました．神戸大学工学部ホームカミングデー特設サイト http://www.office.kobe-u.ac.jp/plan-hcd-online/engineering/index.html <http://www.office.kobe-u.ac.jp/plan-hcd-online/engineering/index.html> 最終講義の Youtube 動画ページ https://youtu.be/itBTKEK1t5Y <https://youtu.be/itBTKEK1t5Y> 最終講義では，集合論の基礎的な内容から始めて，渕野先生の最近の研究成果や今後の研究課題が紹介されており，先生の研究が集合論の大きな流れの中でどのような位置付けにあるかが分かるものになっています．一般向けの講義ですが，専門家の皆様にも見応えのあるものになっていると思いますので，ぜひご覧ください．また，延期になっていた研究集会も，何らかの形で開催できればと思っております．こちらについては，改めてこちらでアナウンスさせていただこうと思っております．よろしくお願いいたします．神戸大学大学院システム情報学研究科准教授酒井拓史 E-mail: hsakai(a)people.kobe-u.ac.jp <mailto:hsakai@people.kobe-u.ac.jp> Tel: 078-803-6245

1 1

[First call for papers] CiE 2021: Connecting with computability, 5 – 9 July 2021
by Ishihara Hajime 26 Nov '20

26 Nov '20

(Apologies for multiple postings.) ========================= FIRST CALL FOR PAPERS: ========================= CiE 2021: Connecting with computability 5 – 9 July 2021 website: www.CiE2021.ugent.be **Due to the current pandemic CiE 2021 will be held as a virtual conference.** CiE 2021 is the seventeenth conference organized by the Association Computability in Europe. The /Computability in Europe/ conference (CiE) series has built up a strong tradition for developing a scientific program which is interdisciplinary at its core bringing together all aspects of computability and foundations of computer science, as well as the interplay of these theoretical areas with practical issues in CS and other disciplines such as biology, mathematics, history, philosophy, and physics. For more information about the CiE conferences and the Association CiE, please have a look at: https://www.acie.eu/. CiE 2021 will be the second CiE conference that is organized as a virtual event and aims at a high-quality meeting that allows and invites active participation from all participants. It will be hosted virtually by Ghent University. Previous meetings have taken place in Amsterdam (2005), Swansea (2006), Siena (2007), Athens (2008), Heidelberg (2009), Ponta Delgada (2010), Sofia (2011), Cambridge (2012), Milan (2013), Budapest (2014), Bucharest (2015), Paris (2016), Turku (2017), Kiel (2018), Durham (2019) and virtually in Salerno (2020) PLENARY SPEAKERS ========================= Laura Crosilla (University of Oslo, Norway) Markus Lohrey (Universität Siegen. Germany) Russell Miller (tutorial speaker, CUNY, US) Joan Rand Moschovakis (UCLA, US) Joël Ouaknine (Max Planck Institute for software systems, Germany) Christine Tasson (tutorial speaker, Université Paris Diderot, France) Keita Yokoyama (Japan Advanced Institute of Science and Technology, Japan) Henry Yuen (University of Toronto, Canada) SPECIAL SESSIONS ========================= /Classical Computability theory: Open problems and solutions/ Noam Greenberg (Victoria University of Wellington, New Zealand) and Steffen Lempp (University of Wisconsin) /Proof theory and computation/ David Fernández Duque (Ghent University, Belgium) and Juan Pablo Aguilera (Ghent University, Belgium) /Quantum computation and information/ Harry Buhrman (Universiteit van Amsterdam, Netherlands) and Frank Verstraete (Ghent University, Belgium) /Church's thesis in constructive mathematics (HaPoC session)/ Marianna Antonutti-Marfori (Ludwig-Maximilians-Universität München, Germany) and Alberto Naibo (Université Paris 1 Panthéon-Sorbonne) /Computational geometry/ Maike Buchin (Ruhr-Universität Bochum, Germany) and Maarten Löffler (Utrecht University, Netherlands) /Computational Pangenomics/ Nadia Pisanti (University of Pisa, Italy) and Solon Pissis (University of Amsterdam, Netherlands) WOMEN IN COMPUTABILITY ========================= The Computability in Europe conference series has a long tradition in setting up a Women in Computability program. For CiE 2021 we plan a Women in Computability workshop combined with an online mentoring program. For more details on the Special Interest Group Women in Computability, see: https://www.acie.eu/cie-conference-series/cie-cs-women-in-computability/ IMPORTANT DATES: ========================= Deadline for article registration (abstract submission): January 17, 2021 Deadline for article submission: February 5, 2021 Notification of acceptance: April 13, 2021 Final versions due: April 27, 2021 Deadline for informal presentations submission: May 1, 2021 The notifications of acceptance for informal presentations will be sent a few days after submission. ORGANIZED BY: ========================= Department of Mathematics WE16, Ghent University Organizing Committee: a (Ghent University) David Bélanger (Ghent University) Liesbeth De Mol (CNRS, Université de Lille) David Fernández-Duque (chair, Ghent University) Fedor Pakhomov (Ghent University) Frederik Van De Putte (Ghent University) Andreas Weiermann (Ghent University) CONTRIBUTED PAPERS: ========================= The Programme Committee cordially invites all researchers (European and non-European) to submit their papers in computability related areas for presentation at the conference and inclusion in the proceedings. Papers building bridges between different parts of the research community are particularly welcome. Papers should be in English and anonymized. They must be submitted in PDF format, using the LNCS style (available at ftp://ftp.springer.de/pub/tex/latex/llncs/latex2e/llncs2e.zip) and should have a maximum of 10 pages, including references but excluding a possible appendix in which one can include proofs and other additional material. Authors should submit their papers electronically using EasyChair: https://easychair.org/conferences/?conf=cie2021 Abstracts should be submitted by January 17th 2021, followed by the full papers to be submitted by February 5 2021. Each submitted paper will be peer-reviewed by a panel of PC members based on originality, significance, technical soundness, clarity of exposition, and relevance for the conference. For each accepted paper, at least one author is required to register for the conference and should plan to present the paper. The CONFERENCE PROCEEDINGS will be published with LNCS, Springer Verlag. INFORMAL PRESENTATIONS: ========================= Continuing the tradition of past CiE conferences, in addition to the formal presentations based on the LNCS proceedings volume, CiE 2021 will host a track of informal presentations, that are prepared very shortly before the conference and inform the participants about current research and work in progress. The deadline for the submission of abstracts for informal presentations is May 1st, 2021. PROGRAMME COMMITTEE ========================= Marianna Antonutti Marfori (Ludwig Maximilian University of Munich) Nathalie Aubrun (CNRS, Université Paris-Saclay) Christel Baier (TU Dresden) Nikolay Bazhenov (Sobolev Institute of Mathematics) Marie-Pierre Béal (Université Paris-Est) Arnold Beckmann (Swansea University) David Bélanger (Ghent University) Joel Day (Loughborough University) Liesbeth De Mol (CNRS, Université de Lille, PC co-chair) Carola Doerr (Sorbonne University, CNRS) Jérôme Durand-Lose (Université d'Orléans) David Fernández-Duque (Ghent University) Zuzana Haniková (Academy of Sciences of the Czech Republic) Mathieu Hoyrup (LORIA) Assia Mahboubi (INRIA) Florin Manea (University of Göttingen) Irène Marcovici (Université de Lorraine) Klaus Meer (BTU Cottbus-Senftenberg) Ludovic Patey (Institut Camille Jordan) Cinzia Pizzi (University of Padova) Giuseppe Primiero (University of Milan) Simona Ronchi Della Rocca (Università di Torino) Paul Schafer (University of Leeds) Svetlana Selivanova (KAIST) Monika Seisenberger (Swansea University) Alexander Shen (CNRS & Univ. Montpellier 2) Alexandra Soskova (Sofia University) Mariya Soskova (University of Wisconsin-Madison) Frank Stephan (National University of Singapore) Peter Van Emde Boas (Universiteit van Amsterdam) Sergey Verlan (Université Paris Est - Créteil Val de Marne) Andreas Weiermann (Ghent University, PC co-chair) Damien Woods (Maynooth University)

1 0

証明論研究集会2020のご案内
by ikeda 21 Nov '20

21 Nov '20

（複数のメーリングリストにお送りしています．重複してお受け取りの際はご容赦ください）皆様 2020年度の証明論研究集会のご案内をお送りさせていただきます．現在の新型コロナの感染拡大状況を鑑みて，今回の研究集会はオンラインで開催する予定です．講演は，証明論に限らず，数理論理学とその周辺を含めた分野から，幅広く募集しています．多くの方のご参加・ご講演をお待ちしています． --------------------------------------------------------------------------------- 研究集会：証明論研究集会2020 日程：2020年12月19日（土）-12月20日（日）場所：オンライン Webページ：https://www.kyorin-u.ac.jp/univ/user/health/proof_theory-2020/ 講演を希望される方も，参加のみを希望される方も12月7日(月) 17:00までに， ikedak(a)ks.kyorin-u.ac.xn--jp,-u63b4b3ai1g9d5a01b2131a7kcs21e9wzf2tvan26ezw3a. 氏名：所属： e-mailアドレス：講演の有無：（講演有の場合は，タイトルと講演時間や講演日時等のご希望）杏林大学池田一磨 -- ikeda <ikedak(a)ks.kyorin-u.ac.jp>

1 1

Prikry Forcing Online: one-day workshop
by Diego A. Mejía 20 Nov '20

20 Nov '20

---------- Forwarded message --------- From: Jiachen Yuan (MTH - Staff) <Jiachen.Yuan(a)uea.ac.uk> Date: Fri, Nov 20, 2020 at 2:19 AM Subject: Prikry Forcing Online: one-day workshop To: ikegami(a)shibaura-it.ac.jp <ikegami(a)shibaura-it.ac.jp>, diego.mejia(a)shizuoka.ac.jp <diego.mejia(a)shizuoka.ac.jp>, hminami0(a)dpc.agu.ac.jp <hminami0(a)dpc.agu.ac.jp>, miyamoto(a)nanzan-u.ac.jp < miyamoto(a)nanzan-u.ac.jp>, hsakai(a)people.kobe-u.ac.jp < hsakai(a)people.kobe-u.ac.jp>, usuba(a)waseda.jp <usuba(a)waseda.jp> Dear all, I am happy to announce that Asaf Karagila and myself are organising a one-day workshop on the topic of Prikry forcing. The event will take place online on the 14th of December. We have four speakers, and there will be two sessions for mini-talks (10 minutes each) open for any early career researcher on any(!) set theoretic topics. The schedule, in UK time (GMT/UTC) is as follows: 10:00–10:50 Alejandro Poveda 11:00–11:50 Tom Benhamou 12:00–12:45 Mini talks 12:45–14:00 Break 14:00–14:50 Sittinon Jirattikansakul 15:00–15:50 Chris Lambie-Hanson 16:00–17:00 Mini talks If you wish to register for email notifications or for giving a talk please do so at http://karagila.org/PFO2020/ <https://eur01.safelinks.protection.outlook.com/?url=http%3A%2F%2Fkaragila.o…> We will update the site with details on the talks, speakers, and venue in the next few days. Please forward this to your colleagues, postdocs, students, etc. For any queries, do not hesitate to contact Asaf or me. We hope to see you there! Best, Jiachen -- 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 Munehiro Iwami 20 Nov '20

20 Nov '20

皆様島根大学の岩見と申します。 RIMS研究集会をオンラインで実施します。参加･発表を検討して頂けると幸いです。参加のみも可です。学生の発表も歓迎します。 ------------------------------------------------------------ 京都大学数理解析研究所RIMS共同研究(公開型)(旧称：RIMS研究集会) 「論理・言語・代数系と計算機科学の周辺領域」を下記の日程で開催いたします．研究領域については広い意味での計算機科学ととらえていただき，関連する講演を幅広く募集いたします．アイデア段階のものでも構いません．多くの研究者による活発な研究発表・討論の場にしたいと考えております．講演希望の方は以下の情報をご記入の上,2020年12月4日(金)までに研究代表者宛（munehiro(a)cis.shimane-u.ac.xn--jp)e-mail-yd4hsbg ご連絡ください．なお,このメールは当集会の過去3年の参加者を基本に関心を持っている方々にお送りしております．講演については，「英語による講演」あるいは「英語による発表資料」をお願いいたします． ■今年度はコロナウィルス感染症のため，Zoomによるオンライン開催とします． ■京都大学数理解析研究所では実施しませんので，注意してください． ■数理解析研究所からの旅費支給はありません．氏名（日本語および英語）所属・職　(学生(院生)の方は学年を明記してください）所属住所：連絡先（メールアドレス）講演題目（日本語および英語）講演時間（30分を標準とします）その他：講演日時についてご希望などがございましたらお書きください．ご希望に添えないことがあるかもしれませんがその場合はご容赦ください．また, 講演されずに聴講される方も歓迎します． (メールが届かないことがまれに発生しております．講演を申し込まれた方に, 確認のため申込後７日以内にご返信差し上げます．万一返信がない場合は, お手数ですがお問い合わせください．) ---------------------------------------------------------------------- 記論理・言語・代数系と計算機科学の周辺領域形式：オンライン(Zoom) 期間： 2021/02/17（水）～2021/02/19（金）代表者：岩見　宗弘 (島根大学総合理工学部) Logic, Language, Algebraic system and Related Areas in Computer Science Location：　Online(Zoom) Period:　2021-02-17 -- 2021-02-19 Organizer: Munehiro Iwami (Interdisciplinary Faculty of Science and Engineering, Shimane University) ---------------(申込みフォーマット)------------------------------------- 研究集会「論理・言語・代数系と計算機科学の周辺領域」に参加します：（Ｏ×）　氏名（日本語および英語）：　所属・職：所属住所：　連絡先（メールアドレス）：研究集会「論理・言語・代数系と計算機科学の周辺領域」で講演を希望します：（Ｏ×）　講演者：　講演題目（日本語および英語）：　講演時間（30分を標準とします）：その他：講演日時希望などがございましたらお書きください．ご希望にそえないことがあるかもしれませんがその場合はご容赦ください． ------------------------------------------------------------------------- -- 以上、よろしくお願い致します。岩見宗弘島根大学学術研究院理工学系 E-mail: munehiro(a)cis.shimane-u.ac.jp logic-ml(a)fos.kuis.kyoto-u.ac.jp

1 1

日本数学会2021年度年会講演申し込みについて
by Katsumi Sasaki 18 Nov '20

18 Nov '20

みなさま日本数学会数学基礎論および歴史分科会評議員の佐々木です． 2021年度年会の講演申込をしていただきましたみなさま，ありがとうございます．現時点での講演申し込みは，まだ少ない状況です．講演申し込みの締切りは2020年11月20日（金）です．講演申し込みを検討されている方は，締め切りに間に合いますよう，講演申し込みをお願い申し上げます． ※この年会は，オンライン開催となります．講演オプションなどの詳細については http://www.mathsoc.jp/activity/meeting/keio21mar/ やメーリングリストでの案内を参照ください．佐々木克巳

1 0

SLACS 2020 講演・参加募集のお知らせ
by Ryoma Sin'ya 12 Nov '20

12 Nov '20

皆様（複数のメイリングリストに送信しています．重複して受信の際はどうぞご容赦ください．） SLACS 2020（記号論理と情報科学）幹事の秋田大学の新屋良磨です．今年度の講演募集を以下のとおり行います．今年度はオンライン（Zoom）での開催となります．ご検討、どうぞよろしくお願いいたします． SLACS 2020（記号論理と情報科学） https://sites.google.com/view/slacs2020/home <https://sites.google.com/view/slacs2020/home> 日時 2020年12月3日（木）から2020年12月4日（金）場所オンライン（Zoom）参加費無料．幹事秋田大学　新屋良磨連絡先 ryoma(a)math.akita-u.ac.jp <mailto:ryoma@math.akita-u.ac.jp> SLACSとは：以下はSLACSのページの冒頭からの抜粋です。 http://www.math.s.chiba-u.ac.jp/SLACS/ <http://www.math.s.chiba-u.ac.jp/SLACS/> 「SLACS（スラックス）は，記号論理学と情報科学の境界領域に関する研究発表・研究討論の場を提供することを目的にして開催されている研究集会です． 1985年1月に第１回が開催されて以来，毎年１回のペースで開催されています． SLACS は，堅苦しい研究会ではなく，その年の幹事を中心とした参加者自らの手作りによるフレンドリーな雰囲気を持った集会です．気軽に発表できる場ですから，研究が進行中の話題を持ってきて議論したり，学生さんが発表する場としても適当です．もちろん，発展を続けるこの分野の最先端の研究テーマに関する発表も数多く聞くことができます．参加者の資格は問いませんので，原則として，どなたでも講演発表・聴講いただけます．発表はごく少数の例外を除いて日本語です．」より詳しい情報はSLACSのページや最近の開催情報をご確認ください． SLACS2019（京都大学） https://sites.google.com/view/slacs-2019/home <https://sites.google.com/view/slacs-2019/home> SLACS2018 (北海道大学) https://sites.google.com/view/slacs-2018/home <https://sites.google.com/view/slacs-2018/home> SLACS 2017 (千葉工業大学) http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/index.html <http://super.para.media.kyoto-u.ac.jp/~abet/slacs2017/index.html> SLACS 2016 (名古屋大学) http://www.st.nanzan-u.ac.jp/info/sasaki/2016slacs/SLACS2016.html <http://www.st.nanzan-u.ac.jp/info/sasaki/2016slacs/SLACS2016.html> SLACS 2015 (南山大学) https://sites.google.com/site/ptslacs2015/ <https://sites.google.com/site/ptslacs2015/> 参加・講演申込方法：参加・講演を希望される方は、以下のフォームよりお申込下さい（Googleアカウントが必要です）．申込をされた方に、前日までにZoomの招待メールをお送りします．聴講のみの場合でも参加申込をよろしくおねがいします．参加・講演申込: https://forms.gle/9KkGHEN6yP955iyx9 <https://forms.gle/9KkGHEN6yP955iyx9> 秋田大学　数理科学コース新屋良磨

2 1

テスト
by Katsumi Sasaki 12 Nov '20

12 Nov '20

テストさせてください． -- Katsumi Sasaki <sasaki(a)nanzan-u.ac.jp>

1 0

日本数学会2021年度年会講演申し込みについて
by kota takeuchi 11 Nov '20

11 Nov '20

皆様代理投稿いたします。筑波大学竹内耕太 ------------------------------------------- みなさま日本数学会数学基礎論および歴史分科会評議員の佐々木です． 2021年度年会の講演申込をしていただきましたみなさま，ありがとうございます．現時点での講演申し込みは，4件で大変少ない状況です．講演申し込みの締切りは2020年11月20日（金）です．お忘れないよう，また締め切りに十分間に合いますよう，講演申し込みをお願い申し上げます． ※この年会は，オンライン開催となります．講演オプションなどの詳細については http://www.mathsoc.jp/activity/meeting/keio21mar/ やメーリングリストでの案内を参照ください．佐々木克巳 Katsumi Sasaki <sasaki(a)nanzan-u.ac.jp>

1 0

日本数学会2021年度年会における一般講演Zoom利用のお誘い
by kota takeuchi 10 Nov '20

10 Nov '20

皆様数学会の一般公演に関する代理投稿をさせていただきます。筑波大学竹内耕太＝＝＝＝＝＝＝＝案内文＝＝＝＝＝＝＝＝＝＝みなさま日本数学会数学基礎論および歴史分科会連絡責任評議員の佐々木です．お世話になります． 2021年度年会の一般講演について日本数学会理事長から依頼がありました．一般講演は， http://www.mathsoc.jp/activity/meeting/keio21mar/manual/option2.html にあるとおり， 1. 講演スライドのアップロード公開 2. 講演のオンライン配信（動画のライブ配信）の両方あるいはどちらかひとつの選択が可能ですが，２の選択を奨めていただきたいということでした．講演を予定されている方はご検討いただければ幸いです．詳細は，以下の理事長名のメールをご参照ください．佐々木克巳 --------------- 分科会連絡責任評議員各位特別セッション責任者各位、 2021年度年会（慶應大学）の一般講演オンライン開催 Zoom講演へのお誘い、周知のお願い平素より数学会の運営にご尽力いただき、篤く御礼申し上げます。さて2021年度春の慶應大学における学会はオンライン開催と変更となることは先般お伝えした通りですが、今回のオンライン開催にあたり、一般講演において、ビデオ会議システムのZoom(webinar)を利用した、質疑応答も可能な双方向な形での講演が可能となりました。できる限り通常の学会の形式に近いものを再現し、活発なものとしたい、という狙いがあります。すでに、10月30日から一般講演の申し込みが開始となっておりますが、 11月7日時点での申し込み状況を確認しましたところ、Zoomをご利用される講演が、当初想定したより少ないことが判明しました。この状況に鑑み、連絡責任評議員、特別セッション責任者の方々にお願いがあります。 11月20日が講演締め切りですので、まだこれから講演を申し込みされる会員の方々も多いと思いますが、学会発表を予定されている方は、Zoom による開催可能となるこの機会に、是非とも多くの会員の方々がZoomによるオンライン講演を利用され、より実りの多い学会開催にご協力いただければ、運営サイドとしてこれほどうれしいことはありません。分科会連絡責任評議員、特別セッション責任者の方々におかれましたは、一般講演を予定されている方々に奮ってZoomでのオンライン講演をお奨めいただくよう、分科会で把握されているメーリングリストにて、メッセージを流すようお願いいただけませんでしょうか。 ZoomのWebinarの使用方法はウェブサイトのマニュアルをご覧いただければわかりますが、一度Zoomをご使用された事がある方であれば全く違和感なく使えるものです。また、すでに講演を申し込んだ方も締め切りの11月20日までであれば、オンライン講演に変更することが可能であることを申し添えます。お忙しいところ大変申し訳ございませんが、上記、各所への周知の程、よろしくお願いいたします。一般社団法人日本数学会理事長寺杣友秀 P.S.尚、必要であれば、理事長からのメッセージということで、このメールをそのままメーリングリストに転送ただいても構わないことを申し添えます。 -- President <presideent(a)mathsoc.jp> -- Tomohide TERASOMA <terasoma(a)hosei.ac.jp> --------------- sasaki ＝＝＝＝＝＝＝＝案内文終わり＝＝＝＝＝＝＝＝＝＝

1 0

リマインダ（RIMSモデル理論研究集会申込締切11/6金）
by kota takeuchi 04 Nov '20

04 Nov '20

皆様申し込み締め切りが近くなりましたので、リマインダとして再送させていただきます。発表を伴わない参加申し込みも早めに世話人までご連絡いただければと思います。筑波大学竹内耕太 ------------------------------------------------------ 皆様以下の要領で RIMS共同研究（公開型）モデル理論研究集会が開かれます。Online開催ですので、ぜひ積極的にご参加いただければ幸いです。 RIMS研究集会「モデル理論における独立概念と次元の研究」 URL: https://sites.google.com/view/rimsmodeltheoryworkshop2020/ 日程：2020年12月7日午後－9日午前場所：Online（Zoom）研究代表者：竹内耕太（筑波大学）kota(at)math.tsukuba.ac.jp 講演申込：以下の情報を世話人にお知らせください。氏名、所属、職名/学年、講演タイトル、短いアブストラクト(option)、あれば希望の日程講演申込締め切り：11月6日参加を希望される方は世話人までご連絡ください。詳しい参加方法を後ほどお知らせします。またwebpage上でも情報を更新していく予定です。竹内耕太

1 0

(no subject)
by 谷口恭二 31 Oct '20

31 Oct '20

1 0

日本数学会2021年度年会（オンライン開催）における一般講演について
by kota takeuchi 23 Oct '20

23 Oct '20

皆さま数学会の一般講演に関するお知らせを代理投稿させていただきます。筑波大学竹内耕太 ---メール本文-------------------------------- 日本数学会数学基礎論および歴史分科会のみなさま分科会評議員の佐々木です．お世話になります．標記の件で，連絡させてください．日本数学会のwepページ[1]で，2021年度年会もオンライン開催となる旨および，今回は，講演者の希望により， 1. スライドのアップロード公開 2. 講演のオンライン配信（動画のライブ配信）の両方，あるはどちらか1つを選択できるようになる旨が記載されています．前回の秋季総合分科会と比べ2が増えています．詳細は[2]で確認できます． [2]では，動画の取り扱いや講演の進め方などの重要事項も確認できますので，講演申し込みを検討されている方は，ご一読をおすすめいたします．講演の申し込み期間は[1]のとおりです，多数の方の講演申込があることを願っています． [1] https://www.mathsoc.jp/activity/meeting/keio21mar/news20201023.html [2] https://www.mathsoc.jp/activity/meeting/keio21mar/manual/index.html 佐々木克巳 -----------------------------------------

1 0

新しい研究課題
by Saburou Saitoh 22 Oct '20

22 Oct '20

*日本数学会数学基礎論および歴史関係の皆様－ * *新しい研究課題：* *うすうすゼロ除算関係の情報は皆様にも伝わっているかと思います。しかしながら、余りにも永い伝統と強い思い込みに支配されていて、真相ではなく、誤解や忌避の感情に支配されているようにも感じられる面があるのではないかと危惧しています。* *何と畏れ多くも現代数学には基本的な欠陥があり、我々の空間の認識はアリストテレス、ユークリッド以来、数学的にはおかしいと公言しています。理由は、有名なゼロ除算、ゼロで割ることを考え、それを不可能であるとしてきたことに由来しています。* *実は、多くの不可能であった数学的な事実が、概念を拡張するなどして、可能にしてきた数学の歴史があります。それと同様に自然な割り算、ゼロ除算を考えれば可能に成り、何とその意味で 1/0=0 が帰結されます。超古典的な結果、無限遠点が実はゼロで表されるとなって、古典的なリーマン球面のモデルはゼロと無限遠点が一致するホーントーラスに変えるべきであると大きな世界観の変更が要求されています。そこで学部までの広範な数学には欠陥があり、修正されるべきであるとしています。 3つの典型的な結果は：* *for the elementary function f(x) = 1/x, f(0) = 0,* *for the function f(x) = tan x, f(\pi/2) = 0,* *and* *for the function f(x) = a^x/x ( a >0), f(0) = log a* *数学の基礎に関わる問題で、基礎論の観点では* １） *数学の公理系における問題* ２） *計算可能性の計算機科学における問題* ３） *計算機のゼロ除算トラブルの問題* ４） *数学の基礎教育上の問題* *などが関係していると考えられるので、皆様のご関心を頂ければ幸いです。私は、現代数学には基本的な欠陥があると公言していますので、どうか真相を明らかにして欲しいと考えます。* *ご関心を頂ける方には、現在の全貌の様子を纏めた353ページの著書案を直接メールにてお送りさせて頂きます。重要性と一般性のため、研究は公開方式で進めています。どうぞ宜しくお願いします。* *また関心を持って頂けるような方をご存知でしたら、このメールを転送などして頂ければ幸いです。広く自由な討論が展開されれば幸いです。* *さらに、このサイトが* · *isabelle-users(a)cl.cam.ac.uk* <isabelle-users(a)cl.cam.ac.uk> provides a forum for Isabelle users to discuss problems, exchange information, and make announcements. Users of official Isabelle releases should *subscribe* <https://lists.cam.ac.uk/mailman/listinfo/cl-isabelle-users> or see the *archive* <https://lists.cam.ac.uk/pipermail/cl-isabelle-users/index.html>. · *isabelle-dev(a)in.tum.de* <isabelle-dev(a)in.tum.de> covers the Isabelle development process, including intermediate repository versions, and administrative issues concerning the website or testing infrastructure. Early adopters of *development snapshots* <https://isabelle.sketis.net/devel> or *repository versions* <https://isabelle-dev.sketis.net/source/isabelle> should *subscribe* <https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev> or see the *archive* <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev> (also available at *mail-archive.com* <https://www.mail-archive.com/isabelle-dev@mailbroy.informatik.tu-muenchen.d…> ). *のように、各論について討論や意見表明、情報交換などの役割を果たすならば、素晴らしい存在になると考えます。* *敬具* *齋藤三郎* ２０２０．*１０．２２．１１：０６* *基礎資料：* *viXra:2010.0026* <https://vixra.org/abs/2010.0026> *submitted on 2020-10-04 16:06:00*, Philosophy of Mathematics and Division by Zero *＿＿＿＿＿＿＿＿＿＿＿＿*

1 0

RIMS Model Theory Workshop 2020
by kota takeuchi 20 Oct '20

20 Oct '20

皆様以下の要領で RIMS共同研究（公開型）モデル理論研究集会が開かれます。Online開催ですので、ぜひ積極的にご参加いただければ幸いです。 RIMS研究集会「モデル理論における独立概念と次元の研究」 URL: https://sites.google.com/view/rimsmodeltheoryworkshop2020/ 日程：2020年12月7日午後－9日午前場所：Online（Zoom）研究代表者：竹内耕太（筑波大学）kota(at)math.tsukuba.ac.jp 講演申込：以下の情報を世話人にお知らせください。氏名、所属、職名/学年、講演タイトル、短いアブストラクト(option)、あれば希望の日程講演申込締め切り：11月6日参加を希望される方は世話人までご連絡ください。詳しい参加方法を後ほどお知らせします。またwebpage上でも情報を更新していく予定です。竹内耕太

1 0

日本数学会　秋季総合分科会総会
by kota takeuchi 21 Sep '20

21 Sep '20

皆さま数学基礎論および歴史分科会総会の案内を代理投稿させていただきます。筑波大学竹内耕太 -------------------------------------------------- 日本数学会「数学基礎論および歴史分科会」評議員の佐々木です．お世話になります．この場をおかりして，例年秋季総合分科会開催期間中に行っている分科会総会について案内させてください．例年分科会総会で審議されている案件について，分科会のwebページ https://old.mathsoc.jp/section/logic_and_history/ においています．内容をご確認の上，ご意見のある場合は，そのページの案内に従ってください．どうかよろしくお願いいたします．なお，特別講演の配信については，上の分科会webページにも案内していますが， https://www.mathsoc.jp/activity/meeting/kumamoto20sept/news20200916.html にも案内されています．佐々木克巳 -------------------------------------------------------------

1 0

RIMS Set Theory Workshop 2020 (call for participation)
by Diego A. Mejía 11 Sep '20

11 Sep '20

(English version of the announcement below) 京都大学数理解析研究所集合論：連続体上の組合せ論と位相空間論 2020年11月16日～20日 http://strims2020.sa-suke.com 一般講演・参加募集現在のCOVID-19禍の状況を鑑みて、今回の研究集会はオンラインで行います。毎年、京都大学RIMS（数理解析研究所）で国内外の研究者による国際集合論研究集会が開催されています。今回の研究集会のタイトル「集合論：連続体上の組合せ論と位相空間論」の通り、今年度のテーマは集合論および連続体上の組合せ論・位相空間論との関連です。国内外からの集合論研究者の一般講演・参加を募集しています。若手研究者の一般講演・参加も歓迎します。集合論研究者および大学院の多い参加を期待されます。登録は必須です（ホームページ、またはこのメールの下をご覧ください）。申し込み締め切り一般講演：2020年10月1日参加（講演なし）：2020年10月15日短期コース Osvaldo Guzmán (Universidad Nacional Autónoma de México) Ashutosh Kumar (Indian Institute of Technology Kampur) 招待講演 Martin Goldstern (TU Wien) Ulises Ariet Ramos-García (Universidad Nacional Autónoma de México) 代表者 Diego A. Mejía（静岡大学） diego.mejia(a)shizuoka.ac.jp 研究集会委員依岡輝幸（静岡大学） Dilip Raghavan (National University of Singapore) --------------------------------登録方法-------------------------------- 代表者宛にメールで以下の情報をご送信ください。＊1～４は日本語で、６は英語で入力してください。 1. 氏名： 2. 所属機関： 3. 学部・学科など： 4. 職名／学年： 5. メールアドレス： 6. 講演予定：あり／なし「あり」の場合、以下の情報を英語で入力してください。 (ア) 講演題目： (イ) アブストラクト： (ウ) 講演時間（15分～40分の間）：注意：登録していただいた一般講演の数によって、講演時間は（ウ）に入力した時間より短くなる可能性があります。 --------------------------------English Version-------------------------------- Kyoto University Research Institute for Mathematical Sciences Set Theory Workshop 2020 Set Theory: Reals and Topology November 16-20, 2020 http://strims2020.sa-suke.com Call for lectures and participation Due to the COVID-19 pandemic, the workshop will take place online. This is the first online version of this workshop. Every year, set theory researchers from Japan and abroad gather at the RIMS (Research Institute for Mathematical Sciences) of Kyoto University and hold an international workshop that brings together both expert and young researchers of set theory. As indicated in the title “Set Theory: Reals and Topology”, the main topic this year is about the developments of set theory and its interaction with combinatorics of the reals and topology. We encourage both young researchers and experts, from Japan and abroad, to contribute with lectures in any topic of Set Theory (not necessarily in the main topic). We expect participation (even without lecture) of many researchers in the area and graduate students. Registration is required for participation (see details on the webpage). Registration deadlines: For contributed lectures: October 1st, 2020. For participation (without lecture): October 15th, 2020. Minicourse Speakers Osvaldo Guzmán (Universidad Nacional Autónoma de México) Ashutosh Kumar (Indian Institute of Technology Kampur) Invited Speakers Martin Goldstern (TU Wien) Ulises Ariet Ramos-García (Universidad Nacional Autónoma de México) Organizer: Diego A. Mejía (Shizuoka University) Scientific Committee: Teruyuki Yorioka (Shizuoka University) Dilip Raghavan (National University of Singapore) -- 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

第31回 ALGI（2020年9月3日〜9月4日）告知【直前版】
by MIYOSHI HIROYUKI 31 Aug '20

31 Aug '20

各メーリングリストの皆様， 2日後に迫りましたが，第31回 ALGIについて再度告知をいたします。聴講のみの参加も歓迎いたしますが，まだ講演のスロットが空いていますので講演申し込みも直前まで受付いたします（進行途中の仕事やサーベイなどでも構いません）。ふるってご参加ください。第31回 ALGI（代数，論理，幾何と情報科学研究集会） 2020年9月3日（木）〜9月4日（金） Zoomによるオンライン開催 https://sites.google.com/site/algimeeting/home/31 幹事：西澤弘毅（神奈川大学）津曲紀宏（崇城大学）三好博之（京都産業大学）過去のALGIについては以下のページをご覧ください： https://sites.google.com/site/algimeeting/home -------- 京都産業大学理学部数理科学科三好博之 hxm(a)cc.kyoto-su.ac.jp

1 0

モデル理論夏の学校２０２０のご案内（変更あり）
by Hirotaka Kikyo 18 Aug '20

18 Aug '20

皆様（以前にお知らせした集会ですが、オンライン開催に変更します）下記の要領で「研究集会：モデル理論夏の学校２０２０」を開催いたします。 http://www2.kobe-u.ac.jp/~kikyo/Sites/mtsummer20/yamanakako2020.html 皆様の参加をお待ちしております。諸般の事情によりオンライン開催に変更いたします。よろしくお願いします。申し込み期限も少し延長いたします。桔梗宏孝（神戸大学大学院システム情報学研究科） --------- 研究集会：モデル理論夏の学校２０２０期間：2020年9月9日（水）午後～9月11日（金）午前場所：オンライン開催（申し込んだ方に必要な情報をお知らせします）世話人：桔梗宏孝 (kikyo[at]kobe-u.ac.jp) モデル理論夏の学校は例年夏に開催されるモデル理論の研究集会です．モデル理論は数理論理学の１分野で，近年数学の各分野から注目を浴びています．モデル理論に興味のある幅広い分野の方を歓迎します．参加申し込み：参加希望者は世話人（上記）まで以下の情報をご連絡ください：氏名所属講演希望かどうか. 希望の場合は講演題目（仮で結構です）申し込み期限： 2020年8月31日（月）以上

1 0

研究集会：モデル理論夏の学校２０２０
by Hirotaka Kikyo 10 Jun '20

10 Jun '20

皆様下記の要領で「研究集会：モデル理論夏の学校２０２０」を開催いたします。次のリンクに随時、新しい情報を載せる予定です。 http://www2.kobe-u.ac.jp/~kikyo/Sites/mtsummer20/yamanakako2020.html 皆様の参加をお待ちしております。桔梗宏孝（神戸大学大学院システム情報学研究科） --------- 研究集会：モデル理論夏の学校２０２０期間：2020年9月9日（水）午後～9月11日（金）午前場所：東海大学山中湖セミナーハウス〒401-0501 山梨県南都留郡山中湖村山中323-1 (Phone 0555-62-4100) 会場：中セミナー室世話人：桔梗宏孝 (kikyo[at]kobe-u.ac.jp) モデル理論夏の学校は例年夏に開催されるモデル理論の研究集会です．モデル理論は数理論理学の１分野で，近年数学の各分野から注目を浴びています．今年も昨年と同様に山中湖セミナーハウス（東海大学）で開かれます．モデル理論に興味のある幅広い分野の方を歓迎します．参加申し込み：参加希望者は世話人（上記）まで以下の情報をご連絡ください：氏名所属講演希望かどうか. 希望の場合は講演題目（仮で結構です）参加予定期間セミナーハウスに宿泊するかどうか. セミナーハウスに宿泊する場合は性別（部屋割りのため）宿泊希望日（９日夜，１０日夜）もお知らせください． 4人部屋(１泊5,500円)と個室(１泊6,500円)をいくつか押さえてあります．これについてもご希望があればご連絡ください. ただしご希望に添えないこともあります．また，宿泊人数には限りがあることもご承知おきください．申し込み期限： 2020年8月21日（金）以上 --------

1 0

助教の公募（九州大学　情報学部門）
by Akitoshi Kawamura 13 Mar '20

13 Mar '20

皆様九州大学の櫻井先生のご依頼により、以下の公募情報をお送り致します。募集分野: 情報論、発見・学習論、人工知能・データサイエンス、計算論、アルゴリズム、暗号とセキュリティ論、数理論理、情報理論、量子情報をはじめとする数理・計算機科学分野となっております。期限が近づいていますが、どうぞ宜しくお願い致します。 > 九州大学の櫻井幸一です． > > 以下Jrecの通り，助教(任期なし)の公募についてご案内申し上げます： > > https://jrecin.jst.go.jp/seek/SeekJorDetail?fn=3&id=D120020725&ln_jor=0 > > お近くに適任の方がおられましたら，お知らせいただけますと幸いです. > 応募期限は，2020年3月30日です． > > よろしくお願いいたします． -- 河村彰星九州大学システム情報科学研究院情報学部門〒819-0395　福岡市西区元岡744 092-802-3806 kawamura(a)inf.kyushu-u.ac.jp

1 0

Workshop on Computablity, Algebraic Structures, and Algorithmic Randomness
by YOKOYAMA Keita 11 Mar '20

11 Mar '20

みなさま，北陸先端科学技術大学院大学の横山です． 4月20-24日の日程で京都大学数理解析研究所におきまして下記の要領でワークショップを開催する予定です．お忙しい時期かと思いますが，ご参加をご検討いただければ幸いです．また，今のところ講演枠に若干の余裕がありますので，もしご講演に興味がある方がいらっしゃいましたら横山までご連絡ください．どうぞよろしくお願いいたします．横山啓太 ************************ Computablity, Algebraic Structures, and Algorithmic Randomness 20-24 April 2020, RIMS, Kyoto, Japan Tutorials: - Computable structures, Antonio Montalban and Matthew Harrison-Trainor - Reverse Mathematics, Denis Hirschfeld and Ludovic Patey - Algorithmic randomness, Rod Downey and Kenshi Miyabe - Category theory, Matthew de Brecht Confirmed speakers: Sasha Melnikov Michael Rathjen Damir Dzhafarov Dan Turetsky Bakh Khoussainov Takayuki Kihara Toshio Suzuki Toru Takisaka (to be added) Organizers: Bakhadyr Khoussainov Masahito Hasegawa Keita Yokoyama ************************ -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 1

嘱託職員の募集
by 泉英明 21 Jan '20

21 Jan '20

皆様千葉工業大学では下記の嘱託職員の公募を行っております。関係各位にご周知いただくとともに，適任者をご存知の場合は応募をお薦め下さいますようお願い申し上げます。千葉工業大学教育センター泉英明 --------------------------------------------- 千葉工業大学学生サポートセンター学習指導員(数学) 募集千葉工業大学教育センター数学教室山田宏文 1. 公募人員: 嘱託職員(教育系) １名 2. 応募資格: 修士以上の学位を有し，工業系大学の数学基礎教育に熱意のある方。 3. 業務内容: 高校数学および大学初年時の基礎的な数学に関する補習教育 (学生の質問への対応，工学系学部 1・2 年生を対象とした補習授業を週に数回担当，数学補習授業等の教材の開発，補習教育に関わるデータ分析など) 4. 勤務日及び時間: 勤務日は月曜日から金曜日までの週 5 日。修業時間は午前 10時00分から午後6時00分(うち休憩時間60分) 。休暇は, 初年度年次有給休暇 10 日付与，以後法令の定める範囲で付与。その他の休暇に関しては専任職員に準ずる。 5. 賃金: (1) 基本給: 月給 200,000 円 (2) 諸手当:通勤手当 6ヶ月定期代を年2回 (3) 賃金支給日: 毎月 20 日 (4) 昇格無 (5) 賞与有(1年に合計2ヶ月分を4回に分けて支給，ただし初年度6月賞与は3分の 2を支給) (6) 退職金無 6. 任期: 最長5 年(毎年更新の単年度契約) 、着任時期:2020年4月1日 7. 勤務地: 千葉工業大学新習志野キャンパス(千葉県習志野市芝園2-1-1) 8. 応募方法: メールに履歴書ファイルを添付し, 下記にご応募ください。 yamada.hirofumi(a)p.chibakoudai.jp 履歴書には、「高校卒業時からの学歴、取得学位、職歴、論文等の業績一覧、応募者の電子メールアドレス」、を記載のこと。 9. 締め切り: 2020年3月13日（金曜日）ただし、適任者が決まり次第、本公募は締め切りを待たず終了とする場合があります。 10. その他: 問い合わせは、山田宏文（千葉工業大学教育センター数学教室 yamada.hirofumi(a)p.chibakoudai.xn--jp)-u63b3a3fo4hi4bzog59j9dyk6332m. 以上

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml