Kisoron-ml

1 participants
589 discussions

東大数理の３月の談話会のご案内
by Daisuke Ikegami 20 Feb '24

20 Feb '24

（重複して受け取られた方はご容赦ください） Logic-ml, kisoron-ml のみなさま：中山大学の池上と申します。東大数理の新井先生が今年度をもって定年退職されます。３月に東大数理の談話会で講演をされるので、東大の知り合いから以下のご案内の代理投稿を頼まれました。興味のある方、ぜひご参加ください。池上大祐 ------------------------------------------------ Logic-ml, kisoron-ml の皆様：東京大学大学院数理科学研究科における3月の談話会についてご案内申し上げます．講演者は本研究科の新井敏康先生と山本昌宏先生です．曜日と時間が通常と異なりますのでご注意ください．講演は対面形式で行い，オンラインでのライブ配信はいたしません．東大数理メンバー以外の方が参加される場合は後述のリンクからの参加登録をお願いいたします． ============================================== 日時：３月１４日（木）１４：３０～１７：００場所：東京大学大学院数理科学研究科大講義室（対面のみ） https://www.ms.u-tokyo.ac.jp/access/ ------ １４：３０～１５：３０講演者：新井敏康氏 (東京大学大学院数理科学研究科) 題目：40年くらい摘要：1980年代から証明論を研究してきました．この講演ではこの40年くらいの間に私に起きたことと順序数解析に関する最新の結果をお話しします． ------ １６：００～１７：００講演者：山本昌宏氏 (東京大学大学院数理科学研究科) 題目：結局，好きだった数学：外縁部を歩んで摘要：40年余りたってから，今から振り返ってみると，異分野連携や運営業務にも携わってきたなかで結局，自分の数学が大好きだったと思いいたりました．自分の数学は，制御理論，逆問題，非整数階偏微分方程式の３つで尽くされます．これらは，現在では研究が盛んな分野に発展していたり，依然としてマイナーな部分もありますが，私が，たとえば逆問題をやり始めた頃は我が国では研究者人口が少なかったです．その頃は（今でもそうかもしれません），これらの分野は，華々しい注目を浴びてはおらず数学研究の外縁部に位置していましたが，基礎として使いうる発想や方法論が辛抱強く蓄積されていた時期でした．そのような状況にひかれて研究者としての歩みを始めました．研究活動の状況もあって，海外との研究者との共同研究が最初から大半を占めました．このような経過は，第3者の評価はともかくとして，自分に大きな楽しみを恵んでくれました．この講演では，自分の数学の内容にふれつつ，研究の進め方などにも関連させて，回顧的になりすぎないようにお話しをしたいと思います． ------ 東大数理メンバー以外の方が参加される場合は、以下のリンクから参加登録をお願いいたします． https://forms.gle/m38f1KRi67ECuA7MA 多くの皆様のご参加をお待ちしております． 2023年度談話会委員阿部紀行，岩木耕平，河澄響矢（委員長），小池祐太補足1：談話会の情報は，下記の談話会のホームページに掲載されております． https://www.ms.u-tokyo.ac.jp/seminar/colloquium/ 補足2：次回の談話会は新学期4月以降となります． %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

1 0

William Mance氏による東北大での講演会のお知らせ
by shioya 10 Feb '24

10 Feb '24

皆様東北大学数学専攻　赤間陽二先生の依頼により代理投稿いたします．東北大学ロジックセミナーでWilliam Mance先生の講演が行われます． TITLE: Descriptive complexity in number theory and dynamics SPEAKER: William Mance, University of Adam Mickiewicz in Poznan, Poland http://wilman.home.amu.edu.pl DATE: 16:00-18:00, 1 March 2024 VENUE: In conjunct with Sendai Logic Seminar, The Mathematical Institute, Graduate School of Science, Tohoku University Room 801, Science Complex A 塩谷真弘筑波大学数学系

1 0

第58回MLG数理論理学研究集会(2/16--18)
by Hitoshi Omori 09 Feb '24

09 Feb '24

みなさま (重複してお受け取りの際はどうぞご容赦ください。) 東北大学の大森仁と申します。直前の連絡になってしまいましたが、第58回MLG数理論理学研究集会のプログラムが確定しましたのでご案内申し上げます。 https://sites.google.com/view/mlg58/home/program 参加は無料ですので、お気軽にお越しください。なお、懇親会への参加を希望される方は予約などの都合上14日までに私までご連絡いただけますと幸いです。どうぞよろしくお願いいたします。大森仁

1 0

Talk by Mance about ``Descriptive complexity in number theory and dynamics'' on 1 March
by 赤間陽二 08 Feb '24

08 Feb '24

お誘い合わせの上ご来訪ください。正規数の背景の説明も丁寧にするようにお願いしています。 TITLE: Descriptive complexity in number theory and dynamics SPEAKER: William Mance, University of Adam Mickiewicz in Poznan, Poland DATE: 16:00-18:00, 1 March 2024 VENUE: Sendai Logic Seminar, The Mathematical Institute, Graduate School of Science, Tohoku University Room 801, Science Complex A ABSTRACT: Informally, a real number is normal in base b if in its b-ary expansion, all digits and blocks of digits occur as often as one would expect them to, uniformly at random. We will denote the set of numbers normal in base b by \mathcal{N}(b). Kechris asked several questions involving descriptive complexity of sets of normal numbers. The first of these was resolved in 1994 when Ki and Linton proved that \mathcal{N}(b) is \boldsymbol{Pi}_3^0-complete. Further questions were resolved by Becher, Heiber, and Slaman who showed that \bigcap_{b=2}^\infty \mathcal{N}(b) is \boldsymbol{\Pi}_3^0-complete and that \bigcup_{b=2}^infty \mathcal{N}(b) is \boldsymbol{\Sigma}_4^0-complete. Many of the techniques used in these proofs can be used elsewhere. We will discuss recent results where similar techniques were applied to solve a problem of Sharkovsky and Sivak and a question of Kolyada, Misiurewicz, and Snoha. Furthermore, we will discuss a recent result where the set of numbers that are continued fraction normal, but not normal in any base b, was shown to be complete at the expected level of D_2(\boldsymbol{\Pi}_3^0). An immediate corollary is that this set is uncountable, a result (due to Vandehey) only known previously assuming the generalized Riemann hypothesis. Contact: Yohji Akama The Mathematical Institute, Graduate School of Science, Tohoku University yoji.akama.e8(a)tohoku.ac.jp

1 0

ラムダ計算と論理のセミナー
by Naosuke Matsuda 27 Jan '24

27 Jan '24

みなさま湘南工科大学の松田直祐と申します。以下の要領でラムダ計算と論理のセミナーを開催させていただきます。 [日程] 2024年3月8日(金)13:00 - 10日(日)12:00 [開催場所] ロッジ丘 949-6212 新潟県南魚沼郡湯沢町大字三国469-7 [世話人] 松田直祐（湘南工科大学）新屋良磨（秋田大学） [ホームページ] https://sites.google.com/view/lls2024 講演枠や講演時間を事前に固定せず，当日の参加者に状況に合わせて柔軟に計画をしてもらうようになっています。議論し成果を挙げる場・学生の簡単な発表の場・研究者同士の交流の場など，さまざまな用途で利用していただければ幸いです。ラムダ計算・論理の話題に拘わらず，周辺の分野についての講演を広く募集しております。詳細や申し込み方法についてはホームページをご確認ください。 -- 松田直祐湘南工科大学情報学部情報学科〒251-8511 神奈川県藤沢市辻堂西海岸1-1-25 Tel: 0466-30-0219 matsuda.naosuke(a)gmail.com

1 0

数学会奨励研究生の募集について
by Hiroshi SAKAI 17 Jan '24

17 Jan '24

皆様：数学会「数学基礎論および歴史分科会」評議員の酒井と申します．お世話になっております．数学会では奨励研究生の制度を設けており，博士学位取得後５年以内の研究者に研究奨励金を支給しています． 2024年度の奨励研究生への応募は1月31日までですが，現時点で応募件数が大変少なくなっているようです．ご興味のある方は下記ページをご参照のうえご応募ください．また，お近くの対象者にも周知いただけますと幸いです． 2024年度日本数学会奨励研究生 https://www.mathsoc.jp/publicity/news20231026/2024shourei.html よろしくお願いいたします．酒井拓史

1 0

数学通信で周知する研究集会等の情報
by Hiroshi SAKAI 05 Jan '24

05 Jan '24

皆様：数学会「数学基礎論および歴史分科会」評議員の酒井拓史です．数学通信28巻4号（2月20日発送予定）で数学会会員に周知を希望する研究集会等がありましたら，その情報を酒井までお寄せください．研究集会の場合は，以下の情報のご連絡をお願いします．　集会名・日程・会場・幹事・連絡先・ホームページ連絡期限と連絡先は以下の通りです．　締切：1月14日(日) 　連絡先：hsakai(a)people.kobe-u.ac.jp <mailto:[email protected]> 連絡期間が短く申し訳ございませんが，よろしくお願いいたします．酒井拓史

1 0

MLメンテ作業
by Atsushi Igarashi 29 Dec '23

29 Dec '23

fos.kuis.kyoto-u.ac.jp でホストしている各種ＭＬのみなさま，管理人の五十嵐です．メイリングリスト管理に使っているソフトウェアのバージョンアップのため，一時的に使用できなくなります．うまくいけば1時間程度で終わると思います．終了しましたら改めてお知らせいたします． -- 五十嵐淳 (IGARASHI Atsushi) E-mail: igarashi(a)kuis.kyoto-u.ac.jp url: http://www.fos.kuis.kyoto-u.ac.jp/~igarashi/

1 1

助教（任期制）2名の公募（東京理科大学理学部第一部応用数学科）
by Makoto Fujiwara 18 Dec '23

18 Dec '23

皆様東京理科大学の藤原誠です．本学理学部第一部応用数学科にて来年度4月着任予定の助教（任期制）2名の公募を行っております． https://jrecin.jst.go.jp/seek/SeekJorDetail?id=D123111966 応募締切は12月25日です．もしよろしければ応募をご検討下さい．また，お近くに適任の方がいらっしゃればご紹介いただければ幸いです．どうぞよろしくお願いいたします． ---------------------------------------------------------- 藤原誠 (Makoto FUJIWARA) 東京理科大学理学部第一部応用数学科助教 E-mail: makotofujiwara(a)rs.tus.ac.jp<mailto:[email protected]> ----------------------------------------------------------

1 0

Kobe Logic Seminar のご案内
by Hirotaka Kikyo 12 Dec '23

12 Dec '23

皆様下記のようにKobe Logic Seminarを開催しますので、お知らせいたします。（神戸大学桔梗宏孝） Kobe Logic Seminar https://www.edu.kobe-u.ac.jp/csi-lsi/seminar/kls.html Date: Tuesday, December 26, 2023 Time: 15:10-16:10 Speaker: Koki Okura (University of Tsukuba) Place:　Kobe University, Science and Technology Research Building 3, Room 421, (4th Floor) 日時：2023年12月26日（火）15:10~16:10 講演者：大倉　昂貴　氏（筑波大学数理物質科学研究群）場所：神戸大学自然科学総合研究棟3号館4階421室（プレゼンテーション室） ============================================================ Title ：On rationality of Poincaré series in expansions of the p-adic fields Abstract： Researches in model theory focus on algebraic or more general structures, that is, a set with some functions and relations on it, and also focus on subsets definable by those functions and relations. Various "good" properties of definable sets have been introduced. Some properties describe concrete forms of definable sets while others are more abstract and combinatoric ones applicable without respect to the sort of structures. Recently, the relation of concrete properties and abstract ones have been revealed for several structures. For instance, o-minimality and dp-minimality coincide for expansions of the real field. In this talk, we will deal with the rationality of Poincaré series of definable sets in expansions of the p-adic fields as a concrete property, and see some positive and negative results of tries to connect it to several abstract properties. ======================================================== 交通：阪急六甲駅またはJR六甲道駅から神戸市バス36系統「鶴甲団地」行きに乗車，「神大本部工学部前」停留所下車，徒歩すぐ． (次の地図で[65]の建物) https://www.kobe-u.ac.jp/guid/access/rokko/rokkodai-dai2.html

1 0

← Newer
1
2
3
4
5
6
7
...
59
Older →

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml