Kisoron-ml May 2022

3 participants
7 discussions

第55回MLG数理論理学研究集会
by Naosuke MATSUDA 15 Mar '23

15 Mar '23

みなさま神奈川大学の松田と申します．第55回MLG数理論理学研究集会を以下の要領で開催させていただきます．日時：2021年3月1日(月) - 3月2日(火) 場所：オンライン開催参加方法など，詳細は https://sites.google.com/view/55thmlg/home をご覧ください． MLG数理論理学研究集会は，1971年開始された，この分野の多くの研究者が参加している40年以上続く研究集会です．成果を発表し合ったり，アイデアを交換したりと，ザックバランな雰囲気で行われています．数学の他分野や，広く数理科学，情報科学，哲学の方々や，外国からの研究者を迎えるなど，オープンに運営されています．今年度も多くのみなさまのご参加をお待ちしております． -- 松田直祐神奈川大学 matsuda.naosuke(a)gmail.com

2 68

Fwd: （推薦期間の延長：6月1日まで）2022年度日本数学会賞建部賢弘賞の推薦について
by Yoshihito Tanaka 24 May '22

24 May '22

kisoron-mlの皆様評議員の田中義人です．日本数学会では，「2022年度日本数学会賞建部賢弘賞」推薦期間を延長することになりました．また，「推薦票」様式の更新が行われました．詳細は，下記をご参照ください． ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp ********************************* ----- Original Message ----- 件名: （推薦期間の延長：6月1日まで）2022年度日本数学会賞建部賢弘賞の推薦について送信者: "Kentaro Nakagawa" <msjnaka(a)carrot.ocn.ne.jp> 送信日時: 2022年05月24日(火) 17:37:21 宛先: "president" <president(a)mathsoc.jp> > 各分科会連絡責任評議員　各位 > > （本メールはBccでお送りしております。） > > > > 平素より大変お世話になっております。 > > 日本数学会事務局の中川です。 > > > > 度々のお願いとなりまして大変恐縮ではございますが、 > > 「2022年度日本数学会賞建部賢弘賞」の推薦募集に関する > > 下記のことにつきまして、 > > 各分科会のメーリングリスト等により > > 広く各分科会内でご周知をいただきたく > > ご協力の程お願い申し上げます。 > > > > --------------------- > > 「2022年度日本数学会賞建部賢弘賞」推薦期間の延長について > > > > 下記のとおり、推薦期間を延長いたします。 > > また、「推薦票」の「被推薦資格」欄を改訂いたしましたので > > お知らせいたします。 > > > > １．推薦期限（延長後） > > 　　6月1日（水）まで　（5月25日から1週間延長いたします。） > > ２．「推薦票」様式の更新（添付ファイル） > > 　　「被推薦資格」欄を改訂いたしましたので > > 　　こちらの様式をご使用いただきますようご案内いたします。 > > 　　なお、「被推薦資格」は下記のとおりとなりますので > > 　　推薦（奨励賞については自薦可）の際にご留意いただきますようお願い申し上げ > ます。 > > 　　 > > 　　「特別賞」：授賞時に日本数学会会員で，授賞年の4月1日現在で35歳以下 > > 　　「奨励賞」：授賞時に日本数学会会員で，授賞年の4月1日現在で30歳以下 > > > > 　　詳細は、数学通信（会報）第26巻第3号または第4号の > > 　　推薦募集「２．推薦の資格等」をご参照いただきますようお願い申し上げます。 > > 　　https://www.mathsoc.jp/assets/file/publications/tushin/2603/kaiho263-13. > pdf > > ---------------------- > > > > 「推薦票」様式の「被推薦資格」の欄につきましては、 > > 誤解を招く表現がありましたので様式を改訂いたしました。 > > > > 大変お手数をおかけいたしまして申し訳ございません。 > > 各分科会内でのご周知方どうぞよろしくお願い申し上げます。 > > > > 日本数学会事務局 > > 中川健太郎 > > > > ----------------------------------------- > > 一般社団法人　日本数学会 > > 事務長　中川　健太郎 > > 〒110-0016　東京都台東区台東1-34-8 > > Tel: 070-1270-3483 > > E-mail: <mailto:[email protected]> msjnaka(at)carrot.ocn.ne.jp > > ※事務局からのお知らせ > > <https://www.mathsoc.jp/office/information.html> > https://www.mathsoc.jp/office/information.html > > ----------------------------------------- > > > > From: Kentaro Nakagawa <msjnaka(a)carrot.ocn.ne.jp> > Sent: Thursday, May 19, 2022 6:54 PM > To: 'president' <president(a)mathsoc.jp> > Subject: 2022年度日本数学会賞建部賢弘賞の推薦について > > > > 各分科会連絡責任評議員　各位 > > （本メールはBccでお送りしております） > > > > 平素より大変お世話になっております。 > > 日本数学会事務局の中川です。 > > > > 「2022年度日本数学会賞建部賢弘賞（特別賞・奨励賞）」 > > の推薦募集につきましては、 > > 「数学通信」第26巻3号および第4号において > > お知らせをしているところですが、 > > 推薦期限が、来週5月25日（水）となっております。 > > > > （数学通信第26巻第4号より） > > https://www.mathsoc.jp/assets/file/publications/tushin/2604/kaiho264-09.pdf > > > > つきましては、各分科会のメーリングリスト等により > > 広くご周知をいただきたく、 > > 大変お手数ではございますが > > ご協力の程お願い申し上げます。 > > > > なお、推薦の資格につきましては > > 上記「数学通信」の「２．推薦の資格等」をご参照願います。 > > また、推薦票の様式は下記よりダウンロードしていただけます。 > > https://www.mathsoc.jp/activity/awards/takebe/ > > > > どうぞよろしくお願い申し上げます。 > > > > 日本数学会事務局 > > 中川健太郎 > > > > ----------------------------------------- > > 一般社団法人　日本数学会 > > 事務長　中川　健太郎 > > 〒110-0016　東京都台東区台東1-34-8 > > Tel: 070-1270-3483 > > E-mail: <mailto:[email protected]> msjnaka(at)carrot.ocn.ne.jp > > ※事務局からのお知らせ > > <https://www.mathsoc.jp/office/information.html> > https://www.mathsoc.jp/office/information.html > > ----------------------------------------- > > > >

1 0

SAML2022 （数学基礎論全体のシンポジウム 2022年6月21日--6月24日（プログラム公開）
by Masaru KADA 20 May '22

20 May '22

kisoron-ml のみなさま：大阪公立大学嘉田勝です。 SAML2022 （数学基礎論全体のシンポジウム）を、京都大学数理解析研究所の共同利用研究集会として、 6月21日火曜日から6月24日金曜日まで開催します。《ハイブリッド開催＝会場での参加も Zoom でのリモート参加も可能》みなさまのご参加をお待ち申し上げます。 ↓シンポジウムWebページ ※プログラムを公開しました https://researchmap.jp/kada/SAML2022%EF%BC%9ARIMS%E5%85%B1%E5%90%8C%E7%A0%9… 参加登録フォームを本日（5月20日）じゅうに公開します。会場での対面参加、Zoom でのリモート参加、いずれをご希望の場合もご登録をお願い申し上げます。嘉田勝 ==== SAML2022: Symposium on Advances in Mathematical Logic 2022 RIMS共同研究（公開型）「数理論理学とその応用」《ハイブリッド開催》標記のシンポジウムを開催します。研究代表者：嘉田勝（大阪公立大学）【日時】 2022年6月21日火曜日 14:30 -- 2022年6月24日金曜日 17:00 【会場】京都大学数理解析研究所 420大講演室《ハイブリッド開催＝会場での参加も Zoom での遠隔参加も可能》【参加登録フォーム】（準備中）【チュートリアル】 * 田中一之（東北大学名誉教授）《2階算術と決定問題》 * 池田宏一郎（法政大学）《Hrushovskiの構成法》 * 藤田憲悦（群馬大学）《カリー・ハワード同型と証明の形式化》 * 鹿島亮（東京工業大学）《非古典論理の完全性：様相ミュー計算を例にして》【招待講演】 * 竹内耕太（筑波大学） * 薄葉季路（早稲田大学） * 倉橋太志（神戸大学） * 照井一成（京都大学数理解析研究所） * 木原貴行（名古屋大学） ==== ==== Masaru KADA （嘉田勝） kada(a)omu.ac.jp ====

1 0

Fwd: 2022年度日本数学会賞建部賢弘賞の推薦について
by Yoshihito Tanaka 20 May '22

20 May '22

kisoron-mlの皆様評議員の田中義人です．日本数学会事務局では，「2022年度日本数学会賞建部賢弘賞（特別賞・奨励賞）」の推薦を募集しています．詳細は，下記をご参照ください． ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp ********************************* ----- Original Message ----- 件名: 2022年度日本数学会賞建部賢弘賞の推薦について送信者: "Kentaro Nakagawa" <msjnaka(a)carrot.ocn.ne.jp> 送信日時: 2022年05月19日(木) 18:53:48 宛先: "president" <president(a)mathsoc.jp> > 各分科会連絡責任評議員　各位 > > （本メールはBccでお送りしております） > > > > 平素より大変お世話になっております。 > > 日本数学会事務局の中川です。 > > > > 「2022年度日本数学会賞建部賢弘賞（特別賞・奨励賞）」 > > の推薦募集につきましては、 > > 「数学通信」第26巻3号および第4号において > > お知らせをしているところですが、 > > 推薦期限が、来週5月25日（水）となっております。 > > > > （数学通信第26巻第4号より） > > https://www.mathsoc.jp/assets/file/publications/tushin/2604/kaiho264-09.pdf > > > > つきましては、各分科会のメーリングリスト等により > > 広くご周知をいただきたく、 > > 大変お手数ではございますが > > ご協力の程お願い申し上げます。 > > > > なお、推薦の資格につきましては > > 上記「数学通信」の「２．推薦の資格等」をご参照願います。 > > また、推薦票の様式は下記よりダウンロードしていただけます。 > > https://www.mathsoc.jp/activity/awards/takebe/ > > > > どうぞよろしくお願い申し上げます。 > > > > 日本数学会事務局 > > 中川健太郎 > > > > ----------------------------------------- > > 一般社団法人　日本数学会 > > 事務長　中川　健太郎 > > 〒110-0016　東京都台東区台東1-34-8 > > Tel: 070-1270-3483 > > E-mail: <mailto:[email protected]> msjnaka(at)carrot.ocn.ne.jp > > ※事務局からのお知らせ > > <https://www.mathsoc.jp/office/information.html> > https://www.mathsoc.jp/office/information.html > > ----------------------------------------- > > > >

1 0

予告：SAML2022（数学基礎論全体のシンポジウム） 2022/6/21--24
by Masaru KADA 14 May '22

14 May '22

kisoron-ml および logic-ml のみなさま：大阪公立大学嘉田勝です。 SAML2022 （数学基礎論全体のシンポジウム）を、京都大学数理解析研究所の共同利用研究集会として、 6月21日火曜日から6月24日金曜日まで開催します。《ハイブリッド開催＝会場での参加も Zoom でのリモート参加も可能》プログラムおよび参加登録フォームを近日中に公開します。みなさまのご参加をお待ち申し上げます。 ==== SAML2022: Symposium on Advances in Mathematical Logic 2022 RIMS共同研究（公開型）「数理論理学とその応用」《ハイブリッド開催》標記のシンポジウムを開催します。研究代表者：嘉田勝（大阪公立大学）【日時】 2022年6月21日火曜日 14:30 -- 2022年6月24日金曜日 17:00 【会場】京都大学数理解析研究所 420大講演室《ハイブリッド開催＝会場での参加も Zoom での遠隔参加も可能》【チュートリアル】 • 田中一之（東北大学名誉教授）《2階算術》 • 池田宏一郎（法政大学）《モデル論》 • 藤田憲悦（群馬大学）《計算機科学》 • 鹿島亮（東京工業大学）《非古典論理》【招待講演】 • 竹内耕太（筑波大学） • 薄葉季路（早稲田大学） • 倉橋太志（神戸大学） • 照井一成（京都大学数理解析研究所） • 木原貴行（名古屋大学）【プログラム】（準備中）【参加登録フォーム】（準備中） ==== -- ==== Masaru KADA （嘉田勝） kada(a)omu.ac.jp ※ 2022年4月からメールアドレスが変わりました ====

1 0

「2022 年国際数学者会議に関連する日本フォーラム」の開催について
by Yoshihito Tanaka 12 May '22

12 May '22

kisoron-mlの皆様，数学基礎論及び歴史分科会連絡責任評議員の田中義人です．日本数学会の依頼により，表記のICM2022のサテライト会議についてご案内致します．詳細は，以下をご参照ください： > ---------------- > > 2022 年国際数学者会議に関連する日本フォーラム > > （Japan forum associated with ICM 2022） > > > > 日時：2022年6月13日（月）、6月14日（火） > > 開催方法：オンライン配信 > > （京都大学数理解析研究所における講演をライブ配信します。） > > ウェブサイト：https://www.mathsoc.jp/activity/meeting/JapanForum2022/ > > > > ※本研究集会への参加はライブ配信の視聴のみとなっており、 > > 事前の登録が必要です。 > > 上記ウェブサイトの「Registration for participation」から登録していただけま > す。 > > （登録受付期間：6月6日まで） > > -------------- > > > > 日本数学会理事長 > > 清水　扇丈 > > president(at)mathsoc.jp > > > >

1 0

雑誌「数学」シンポジウム・研究会記録について
by Yoshihito Tanaka 01 May '22

01 May '22

日本数学会数学基礎論および歴史分科会連絡責任評議員の田中義人です．雑誌「数学」編集部より，以下に該当するシンポジウム・研究集会記録の原稿募集の依頼がありました：・開催期間： 2021年4月1日から2022年3月31日まで・開催地：日本国内（オンライン開催も含む）・原則として20人以上の集会，または (20人以下でも) 報告集のある集会・ただし，「数学」73巻2号に掲載された京大数理研と九大IMIの共同利用計画に掲載されたものは除く該当するシンポジウム・研究集会の幹事の方は，連絡責任評議員田中義人：ytanaka(a)ip.kyusan-u.ac.jp まで，以下の事項をご報告いただけると助かります：・名称（主題）・主催者（所属）・開催場所・開催時期・報告集の有無と入手可能な場合の連絡先（氏名と所属）数学会編集部への締切が，5月31日（「数学」4号に掲載予定）ですので，それまでにお送りください．すでにお送りいただいた方は，ご放念ください．以上，よろしくお願いいたします． ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml May 2022