Kisoron-ml

1 participants
589 discussions

SLACS2022 (9月20日～21日) 講演・参加募集のお知らせ
by Daisuke Kimura 04 Jul '22

04 Jul '22

皆様， (複数のメイリングリストに送信しています。重複して受信の際はご容赦ください) 東邦大学の木村です． SLACS2022の講演募集を以下の通り行います．ご検討をよろしくお願いいたします．第39回記号論理と情報科学研究集会 (SLACS2022) https://sites.google.com/view/slacs2022/ 開催期間：2022年9月20日(火)から2022年9月21日(水) 開催形式：対面(東邦大学)＋オンライン(Zoom) (感染状況により完全オンラインに移行する可能性はあります) 参加費：無料連絡先：kmr(a)is.sci.toho-u.ac.jp 参加申込方法：講演・聴講を希望される方は、以下のフォームからお申し込みください． https://docs.google.com/forms/d/e/1FAIpQLSeEy-tjXThGZEoLZvfSklt9tqSLOcJFGm3… ======================================================= SLACSとは以下はSLACSのページの冒頭からの抜粋です。 http://www.math.s.chiba-u.ac.jp/SLACS/ 「SLACS（スラックス）は，記号論理学と情報科学の境界領域に関する研究発表・研究討論の場を提供することを目的にして開催されている研究集会です． 1985年1月に第１回が開催されて以来，毎年１回のペースで開催されています． SLACS は，堅苦しい研究会ではなく，その年の幹事を中心とした参加者自らの手作りによるフレンドリーな雰囲気を持った集会です．気軽に発表できる場ですから，研究が進行中の話題を持ってきて議論したり，学生さんが発表する場としても適当です．もちろん，発展を続けるこの分野の最先端の研究テーマに関する発表も数多く聞くことができます．参加者の資格は問いませんので，原則として，どなたでも講演発表・聴講いただけます．発表はごく少数の例外を除いて日本語です．」より詳しい情報はSLACSのページや最近の開催情報をご確認ください。 SLACS2021（Zoom） https://sites.google.com/view/slacs2021/ 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

Fwd: 2023年度日本数学会出版賞の推薦募集について
by Yoshihito Tanaka 16 Jun '22

16 Jun '22

kisoron-mlの皆様，連絡責任評議員の田中義人です．日本数学会では，下記のように2023年度日本数学会出版賞の推薦募集を行っています．詳細は，以下のリンクをご参照ください． ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp ********************************* ----- Original Message ----- 件名: 2023年度日本数学会出版賞の推薦募集について送信者: "president" <president(a)mathsoc.jp> 送信日時: 2022年06月16日(木) 14:07:11 宛先: "president" <president(a)mathsoc.jp> > 各分科会連絡責任評議員　各位 > 特別セッション「無限可積分系」世話人　様 > > 日頃より日本数学会の運営にご協力をいただき > 厚く御礼を申し上げます。 > > 「2023年度日本数学会賞出版賞」につきましては > 「数学通信」第26巻第4号において > 推薦募集をお知らせをしているところですが、 > 推薦期限が、6月30日（木）となっております。 > > （数学通信第26巻第4号より） > https://www.mathsoc.jp/assets/file/publications/tushin/2604/kaiho264-pubpri… > > つきましては、各分科会及び特別セッションのメーリングリスト等により > 広くご周知をいただきたく > ご協力の程お願いを申し上げます。 > > なお出版賞は、出版活動などの著作活動により、数学の研究・教育・普及に > 顕著な業績をあげた活動 > （著作物、著作物等の著者、編集者、制作者、出版者などの個人または団体） > を顕彰するものです。 > 賞の趣旨や推薦方法については > 上記「数学通信」第26巻第4号をご覧ください。 > > どうぞよろしくお願い申し上げます。 > > 日本数学会理事長 > 清水扇丈 > ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

会報186号の原稿依頼
by Yoshihito Tanaka 15 Jun '22

15 Jun '22

kisoron-mlの皆様，連絡責任評議員の田中義人です．日本数学会より，会報186号の原稿依頼が届いています．会報186号（数学通信27巻2号，8月22日発送予定）上で，全会員にお知らせする事項がありましたら，連絡責任評議員（田中義人）まで，ご連絡ください．数学会編集部への締切が7月13日ですので，それに間に合うようにお願いいたします． ******************************** 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

SAML2022 （数学基礎論全体のシンポジウム） 6月21日--6月24日ハイブリッド開催
by Masaru KADA 15 Jun '22

15 Jun '22

kisoron-ml のみなさま：大阪公立大学嘉田勝です。 SAML2022 （数学基礎論全体のシンポジウム）の実施日が近づいてまいりましたので、あらためてご案内申し上げます。《ハイブリッド開催＝会場での参加も Zoom でのリモート参加も可能》会場での参加、Zoom オンラン参加ともに、引き続きご登録受付中です。よろしくお願いします。 ======== SAML2022 （数学基礎論全体のシンポジウム）を、京都大学数理解析研究所の共同利用研究集会として、 6月21日火曜日から6月24日金曜日まで開催します。 ↓シンポジウムWebページ https://researchmap.jp/kada/SAML2022%EF%BC%9ARIMS%E5%85%B1%E5%90%8C%E7%A0%9… ↓参加登録フォーム https://docs.google.com/forms/d/1q8EiCw11rYe68CWCOmzIhbFSTRbCm1W1u1GtvKg4D3… 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 ※ 2022年4月からメールアドレスが変わりました ====

1 0

8月22日以降に開催予定の研究集会情報について
by Yoshihito Tanaka 14 Jun '22

14 Jun '22

kisoron-mlの皆様，連絡責任評議員の田中義人です． 8月22日発行予定の会報186号（「数学通信」27巻2号中に掲載）に，今後の研究集会情報を載せたいと考えています． 8月22日以降に研究集会を開催予定で，開催情報を会報に掲載させていただける方は，連絡責任評議員（田中義人）まで，開催情報をお送りください．数学会への連絡の締切が7月13日ですので，それに間に合うようにお願いいたします．お忙しいところ恐縮ですが，よろしくお願いいたします． ********************************* 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp *********************************

1 0

Fwd: 会報１８６号の原稿依頼
by Yoshihito Tanaka 14 Jun '22

14 Jun '22

kisoron-mlの皆様，連絡責任評議員の田中義人です．下記および添付ファイルのように，日本数学会理事長名で，会報186号の原稿依頼を受けています．会報186号（数学通信27巻2号中に掲載）上で，全会員にお知らせする事項がありましたら，連絡責任評議員（田中義人）まで，ご連絡ください．数学会編集部への締切が7月13日ですので，それに間に合うようにお願いいたします． ******************************** 田中義人九州産業大学経済学部 813-8503 福岡市東区松香台2-3-1 092-673-5216 (直通) e-mail: ytanaka(a)ip.kyusan-u.ac.jp ********************************* ----- Original Message ----- 件名: 会報１８６号の原稿依頼送信者: "「数学通信」編集部" <msj-tushin(a)mathsoc.jp> 送信日時: 2022年06月13日(月) 17:41:09 宛先: msj-tushin(a)mathsoc.jp > ご関係の先生各位 > 　(bccでお送りしています） > > いつも大変お世話になっております。 > 会報１８６号（「数学通信」27巻2号）誌上で全会員に > お知らせする事項がございましたら、ご投稿をお願いいたします。 > > 締切：２０２２年７月１３日（水） > 宛先：msj-tushin(a)mathsoc.jp > > 詳細は添付のPDFファイルをご覧ください。 > > どうぞ宜しくお願い申し上げます。 > > 日本数学会 > 「数学通信」編集部

1 0

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

← Newer
1
...
8
9
10
11
12
13
14
...
59
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml