Kisoron-ml October 2022

6 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

RIMS共同研究（公開型）のご案内
by Hirotaka Kikyo 27 Oct '22

27 Oct '22

(重複してお受け取りの際はご容赦ください）皆様下記のようにモデル理論の研究集会を行います。ご参加をお待ちしております。 --------------------------------------------------------------------------------- RIMS共同研究(公開型)「モデル理論における独立概念と次元の研究」日時：2021年12月12日(月)～2021年12月14日(水) 場所：京都大学数理解析研究所110室+オンライン(ZOOM) 代表者：池田宏一郎（法政大学）副代表：桔梗宏孝（神戸大学） Webページ： http://www2.kobe-u.ac.jp/~kikyo/Sites/rims2022/rims2022.html --------------------------------------------------------------------------------- 参加申し込みは上記webページからお願いします。 ※参加申し込みの情報は京都大学数理解析研究所および次年度世話人に提供されます．以上、よろしくお願いします。副代表　桔梗宏孝（神戸大学）

1 1

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

24 Oct '22

kisoron-mlの皆様九州大学の斎藤と申します。私が世話人の1人を務めておりますおいでMath談話会(Catch-all Mathematical Colloquium of Japan)のご案内をお送りします。どうぞよろしくお願い致します。 %%%%%%%%%% 日本語 %%%%%%%%%% おいでMath 案内状: Announcement on Catch-All Math Colloquium 今学期は、11月、12月、1月、2月に、おいでMath談話会を下記の通り行いますので、ご案内いたします。なお11月の談話会の登録締め切りは11月19日ですので，ご注意ください． ___ 日にち：2022年月11日24日(木) 13:00—15:00 講演者：長田まりゑ氏　題目：A short trip to the world of operator algebras 開催方法：オンライン詳細：https://sites.google.com/view/catch-allmathematicscolloquium/schedule 参加登録：：https://forms.gle/SSDNCeGWxyEQB9Q88 (締め切り11月19日) ___ 日にち：2022年12月13日(火) 15:00—17:00 講演者：李聖林氏（京都大学）題目：Mathematical challenge to biology and medicine unraveling from geometry 開催方法：オンライン詳細：https://sites.google.com/view/catch-allmathematicscolloquium/schedule 参加登録：https://forms.gle/1yTspYozpnkdBSPBA　（締め切り12月８日） ___ 日にち：2023年1月18日(水) 10:00—12:00 講演者：松木謙二氏（パデュー大学）専門分野：代数幾何学題目：TBA 開催方法：オンライン詳細：https://sites.google.com/view/catch-allmathematicscolloquium/schedule— 日にち：2023年2月（日時は追ってお知らせいたします．）講演者：山田澄生氏（学習院大学）専門分野：微分幾何学題目：TBA 開催方法：オンライン詳細：https://sites.google.com/view/catch-allmathematicscolloquium/schedule— 学期ごとに談話会情報をご案内いたしております。毎月の談話会の情報は、おいでMath談話会の登録型MLと談話会HPでお知らせしていく予定です。ご関心をお持ちの方は、以下の登録フォームよりMLにご登録をお願いします：https://forms.gle/mGe7B5bwNitzh6Xn9 （以前のおいでMath談話会の登録時に「メーリングリスト参加を希望する」を選択いただいた方は必要ありません）談話会は、数学の部(60分)と議論の部(60分)の2部構成で、談話会後に歓談を目的としたお茶の時間があります。数学の部は、非専門家を対象とした数学の講演です。議論の部は、講演者のこれまでの数学者としての道のりなどに関するお話を聞いた後に、少人数に分かれて、DEI（Diversity, Equity, Inclusion）などに関する意見交換をします。議論の部が情報共有、ネットワーク構築、交流促進などにもつながることを期待しています。大学院生を含む幅広い聴衆に向けた講演を依頼していますので，周囲の大学院生にも参加をお勧めいただけると幸いです。皆様のご参加をお待ちしております。世話人 Benoit Collins (京都大学) 石井志保子（東京大学）宮岡礼子（東北大学）斎藤新悟（九州大学）佐々田槙子（東京大学） Karel Svadlenka（京都大学）おいでMath談話会のHP： https://sites.google.com/view/catch-allmathematicscolloquium/home %%%%%%%%%% English %%%%%%%%%% Catch-All Mathematics Colloquium announcement This semester, we are organizing colloquiums in November, December, January and February as follows: November 24, Thursday, 13:00-15:00, Marie Choda (Osaka Kyoiku University) Title of the first talk: A short trip to the world of operator algebras Title of the second talk: Mathemtaics: This and That. （Register here by Nov. 19: https://forms.gle/SSDNCeGWxyEQB9Q88 ） December 13, Tuesday, 15:00-17:00, Sungrim Seirin-Lee (Kyoto University) Title of the first talk: Mathematical challenge to biology and medicine unraveling from geometry Title of the second talk: How come people start striving to become a researcher? Is it unrealistic to have a dream? How to talk about such things to our young fellows? （Register here by Dec. 8: https://forms.gle/1yTspYozpnkdBSPBA） January 18, Wednesday , 10:00-12:00　Kenji Matsuki (Purdue University) Research area: Algebraic Geometry (Title to be announced later) February, Sumio Yamada (Gakushu-in University) Research area: Differential Geometry (Title, Date, and time to be announced later) We are going to post updates on our web page https://sites.google.com/view/catch-allmathematicscolloquium/schedule . and also deliver monthly announcements through the mailing list of the Cath-All Colloquium. If you are interested in receiving these announcements, you are welcome to register to the mailing list at https://forms.gle/mGe7B5bwNitzh6Xn9 . However, if you have already registered in the past, you do not need to do so again. Each colloquium consists of two parts: the first part for mathematics (60 minutes) and the second part for discussions (60 minutes). There is also an online tea time to enjoy free conversation after the colloquium. The first part of the colloquium is a mathematics talk, where the speaker is asked to make the topic understandable also to non-experts. In the second part, after listening to the speaker’s life stories and research experiences, participants split into small groups and discuss topics related to DEI (Diversity, Equity, Inclusion）. We hope that this part will encourage sharing useful information, networking, and making good friends among mathematicians. Since the talks are designed for mathematicians with a wide range of backgrounds, including graduate students, we would be happy if you encourage graduate students around you to attend the colloquium. We are looking forward to seeing you at the colloquium. Organizers: Benoit Collins (Kyoto University) Shihoko Ishii (University of Tokyo) Reiko Miyaoka (Tohoku University) Shingo Saito (Kyushu University) Makiko Sasada (University of Tokyo） Karel Svadlenka (Kyoto University) Web page of the Catch-All Math Colloquium: https://sites.google.com/view/catch-allmathematicscolloquium/home -- 斎藤新悟 Shingo SAITO mailto:[email protected]

1 0

教員公募（5件）：島根大学（セキュリティ分野／データサイエンス分野／外国人限定：いずれも准教授または助教/広い意味での数理科学分野）
by Munehiro Iwami 21 Oct '22

21 Oct '22

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

1 1

MLが10日あまり止まっていました
by Atsushi Igarashi 20 Oct '22

20 Oct '22

logic-ml/kisoron-ml/jssst-ppl 購読者の皆様，管理人の五十嵐です． 10/9 あたりからメイリングリストの配送が止まっていたようです．先程，対処を行いまして，この間の投稿も含めて再び流れ始めたように見えますが，ひょっとしたら失なわれたものもあるかもしれません．その場合は，お手数ですが再投稿していただけますようお願いいたします．ご迷惑をおかけしたことをお詫びいたします． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 0

証明論シンポジウム2022
by Hirotaka Kikyo 20 Oct '22

20 Oct '22

皆様東北大学の横山さんからのお知らせの代理投稿です。よろしくお願いします。（神戸大学桔梗宏孝） ************************** みなさま，東北大学の横山です．今年度の証明論シンポジウムを以下の通り開催いたします．ご講演・ご参加をご検討いただけましたら幸いです．どうぞよろしくお願いいたします． ********************************* 証明論シンポジウム2022 日時：2022/12/19(月)-2022/12/21(水) 場所：秋保グランドホテル(宮城県仙台市)およびオンライン参加費：1000円(現地参加の方のみ) 宿泊希望の場合は19日，20日，各1泊2食付き10,000円程度の予定．詳細は研究集会のウェブページをご覧ください． https://sites.google.com/view/proof-theory-2022/%E3%83%9B%E3%83%BC%E3%83%A0 <https://sites.google.com/view/proof-theory-2022/%E3%83%9B%E3%83%BC%E3%83%A0> また参加登録は以下のフォームよりお願いいたします． https://forms.gle/WkYU54DzYNmYHCQV6 <https://forms.gle/WkYU54DzYNmYHCQV6> 注意事項・オンライン配信について　ホテルのネット環境に依存した配信となるため，接続が脆弱となることも考えられます．あらかじめご了承ください．また，オンライン講演の希望もいただいており，現地の状況を確認した限りでは，実行できると考えておりますが，トラブルが生じる可能性もありますので，あらかじめご了解いただけますようお願いいたします．・宿泊について　宿泊は1泊2食付き10000円程度，和室3-4人程度の相部屋となります．ご希望の場合は，仮の日程でも構いませんので，できるだけ早め(できれば11月20日まで)にご連絡をいただけますと大変助かります．想定している部屋が埋まった後は金額が変わってくる可能性があります．また，学生の方は1000円程度割引可能ですので，学生部屋(相部屋の人数が多めになる)をご希望の方はお申し付けください．・宿泊時の食事について　会食が制限されている状況でもありますので，ブッフェ形式でみなさま個人でもお食事いただける形式ですが，参加者用にブッフェ会場の特定の区画をあらかじめ割り当てていただく予定です．なお，状況が許すようでしたら1日は会食形式に変更することを検討しております．その場合は参加申し込みの方に再度ご相談いたします．・参加費について　参加費は強制はいたしませんので可能な方にお支払いをお願いいたします．なお領収書は発行いたします．どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 0

2022年度の証明論研究集会のご案内
by YOKOYAMA Keita 16 Oct '22

16 Oct '22

みなさま，東北大学の横山です．今年度の証明論シンポジウムを以下の通り開催いたします．ご講演・ご参加をご検討いただけましたら幸いです．どうぞよろしくお願いいたします． ********************************* 証明論シンポジウム2022 日時：2022/12/19(月)-2022/12/22(水) 場所：秋保グランドホテル(宮城県仙台市)およびオンライン参加費：1000円(現地参加の方のみ) 宿泊希望の場合は19日，20日，各1泊2食付き10,000円程度の予定．詳細は研究集会のウェブページをご覧ください． https://sites.google.com/view/proof-theory-2022/%E3%83%9B%E3%83%BC%E3%83%A0 また参加登録は以下のフォームよりお願いいたします． https://forms.gle/WkYU54DzYNmYHCQV6 注意事項・オンライン配信について　ホテルのネット環境に依存した配信となるため，接続が脆弱となることも考えられます．あらかじめご了承ください．また，オンライン講演の希望もいただいており，現地の状況を確認した限りでは，実行できると考えておりますが，トラブルが生じる可能性もありますので，あらかじめご了解いただけますようお願いいたします．・宿泊について　宿泊は1泊2食付き10000円程度，和室3-4人程度の相部屋となります．ご希望の場合は，仮の日程でも構いませんので，できるだけ早め(できれば11月20日まで)にご連絡をいただけますと大変助かります．想定している部屋が埋まった後は金額が変わってくる可能性があります．また，学生の方は1000円程度割引可能ですので，学生部屋(相部屋の人数が多めになる)をご希望の方はお申し付けください．・宿泊時の食事について　会食が制限されている状況でもありますので，ブッフェ形式でみなさま個人でもお食事いただける形式ですが，参加者用にブッフェ会場の特定の区画をあらかじめ割り当てていただく予定です．なお，状況が許すようでしたら1日は会食形式に変更することを検討しております．その場合は参加申し込みの方に再度ご相談いたします．・参加費について　参加費は強制はいたしませんので可能な方にお支払いをお願いいたします．なお領収書は発行いたします．どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml October 2022