Kisoron-ml

1 participants
589 discussions

証明論研究集会2023: RIMS共同研究(公開型)「証明論と計算論の最前線」のご案内
by YOKOYAMA Keita 02 Dec '23

02 Dec '23

みなさま，東北大学の横山です． 2023年度の証明論研究集会を以下の通りRIMS共同研究(公開型)として開催いたします．ご講演・ご参加をご検討いただけましたら幸いです．どうぞよろしくお願いいたします． ********************************* RIMS共同研究(公開型)「証明論と計算論の最前線」日時：2022/12/11(月)午後-2022/12/14(木)午前場所：京都大学数理解析研究所(RIMS)110号室(およびオンライン) 講演募集：11月20日締め切り詳細は研究集会のウェブページをご覧ください． https://sites.google.com/view/proof-theory-2023 また講演申し込み(11月20日締め切り)及び参加登録は以下のフォームよりお願いいたします． https://forms.gle/HoMR3wx595FbLxHc7 ********************************* どうぞよろしくお願いいたします．横山啓太 -- Keita Yokoyama Mathematical Institute, Tohoku University Aoba, Sendai, JAPAN, 980-8578 keita.yokoyama.c2(a)tohoku.ac.jp

1 2

Mini-course: Forcing techniques for Cichoń’s Maximum (University of Vienna)
by Diego A. Mejia 26 Nov '23

26 Nov '23

The University of Vienna Set Theory Research Seminar will host the following mini-course in hybrid format in the coming Winter Semester 2023. Mini-course: Forcing techniques for Cichon's Maximum by Diego Mejia (Shizuoka University) Thursdays (6 lectures) Japan Standart Time 19:30-21:00 (Central European Time 11:30-13:00) Nov 30th-Dec 14th; Jan 11th-25th Seminarraum 10, Kolingasse 14-16, Uni Wien Zoom Meeting ID: 210 955 0387, Passcode: kgrc https://univienna.zoom.us/j/2109550387?pwd=ZXZMLzZIWERXK2lnWlROZncxQkVSUT09 Abstract: Cichon’s diagram describes the connections between combinatorial notions related to measure, category, and compactness of sets of irrational numbers. In the second part of the 2010’s decade, Goldstern, Kellner and Shelah constructed a forcing model of Cichon’s Maximum (meaning that all non-dependent cardinal characteristics are pairwise different) by using large cardinals. Some years later, we eliminated this large cardinal assumption. In this mini-course, we explore the forcing techniques to construct the Cichon’s Maximum model and much more. Concretely, we discuss the following components: 1. (Nov 30th) Tukey connections and cardinal characteristics of the continuum 2. (Dec 7th) Review of FS (finite support) iterations and basic methods to modify cardinal characteristics. 3. (Dec 14th) Preservation theory for cardinal characteristics. 4. (Jan 11th) FS iterations with measures and ultrafilters on the natural numbers. 5. (Jan 18th) Boolean Ultrapowers. 6. (Jan 25th) Forcing Intersected with submodels. -- 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

第58回 MLG 数理論理学研究集会のご案内
by Hitoshi Omori 15 Nov '23

15 Nov '23

第58回 MLG 数理論理学研究集会のご案内 (重複してお受け取りの際はどうぞご容赦ください。) 東北大学の大森仁と申します。少し先にはなりますが、2023年度MLG数理論理学研究集会（第58回）を下記の要領で開催いたします。多くの方のご講演・ご参加をお待ちしております。 ========================================= 第58回 MLG 数理論理学研究集会開催要領 ========================================= - 期間: 2024年2月16日 (金) 午後--2月18日 (日) - 場所: 東北大学大学院情報科学研究科中講義室 - 講演申込締め切り: 1月16日 (火) - ホームページ: https://sites.google.com/view/mlg58/home - 連絡先E-mail: hitoshiomori[at]gmail[dot]com ============ 参加募集 ============ - 講演時間は原則40分を予定しています。 - 2月17日 (土)の夜に懇親会を行います。 - 参加・講演申し込みは、上記ホームページにある参加申込フォームからお願いいたします。 ==================================== 学部及び修士の学生向けの会合 ==================================== 今回は学部及び修士の学生向けの会合を2月16日 (金)の午前中に計画しております。数に限りはありますが、旅費の援助も可能ですので、是非周りにお知り合いの若い方がいらっしゃいましたら、おすすめいただければと思います。詳細は上記ホームページをご覧ください。

1 0

非常勤講師の募集
by 泉英明 13 Nov '23

13 Nov '23

kisoron-ml の皆様千葉工業大学では、来年度の非常勤講師を募集しております。詳しくは以下をご覧ください。ご応募をお待ちしております。千葉工業大学泉英明 ------------------------------------------------------------------------------------- 千葉工業大学では、数学非常勤講師を募集しております。期間：2024年4月～（定年は70歳）募集人数：4名勤務先：「新習志野キャンパス」又は「津田沼キャンパス」（大半の数学授業は新習志野キャンパスで行われます。）担当者を募集している授業は以下の通りです。 ************************************************************************* 2024年度前期科目: (1) 数学基礎（1変数の微積分） (2) 線形代数 (3) 基礎統計学火曜日に(1) 水曜日に(1), (2) 木曜日に(3) (津田沼開講) 2024年度後期科目 (4) 微分積分（テイラー展開、偏微分、重積分等） (5) 線形代数 (6) 基礎統計学または確率統計月曜日に(4) 火曜日に(4), (5) 木曜日に(5) 金曜日に(6) （※1）線形代数の内容は、掃き出し法・行列式の計算からはじめて、簡単な対角化の話までです。（※2）統計はごく基本的な内容ですが、「基礎統計学」より「確率統計」の方がやや難しい内容を扱います。（※3）「水曜日に(1), (2)」のように書いてあるところでも2つを同時に担当できるとは限りません。千葉工業大学では半期を13週で行い、毎週の授業時間は120分または180分になります。 ************************************************************************* ご担当曜日および科目につきましては、ご相談の上で調整致したく思います。また、2025年度以降はご担当科目が変わる可能性がございます。 ------------------------------------------------------------ 千葉工業大学での非常勤講師として必要な資格と致しましては、 ●応募時点で博士学位を取得している（見込みは不可） ●「掲載済み論文」が3本以上（うち1本以上は査読付きであること）です。 ------------------------------------------------------------ ご応募される方は「論文一覧（様式自由）」を添付の上、以下のアドレスまでお送り下さい。千葉工業大学数学教室教務担当伊藤剛司 tsuyoshi.itoh(a)it-chiba.ac.jp ※ オンラインでの面接を実施させて頂く場合があります。 ※ 締め切りは11月22日と致しますが、これ以前に適任者が揃いました場合は、その時点で締め切らせて頂きます。（ご応募の時期によりましては、上記科目・曜日のいくつかはお選び頂けない可能性があることもご了承下さい。）宜しくお願い致します。千葉工業大学数学教室責任者泉英明

1 0

数学基礎論若手の会2023：宿泊締め切りが近づきました
by Naosuke Matsuda 06 Nov '23

06 Nov '23

みなさま湘南工科大学の松田です。今年度の数学基礎論若手の会について，宿泊申し込みの締め切りまで一週間となりましたので，改めて周知させていただきます。現地宿泊を伴わない参加も可能ですが，近くに手ごろなホテルなどは少ない立地となります。会場のホームページ等ご確認の上，ご検討いただければ幸いです。 --開催要領-- 日程：2023年12月7日（木）～ 12月9日（土）会場：サンセットブリーズ保田 <https://sunset-breeze.com/>（対面開催）住所：千葉県安房郡鋸南町大六1032 世話人：松田直祐（湘南工科大学）参加申し込み方法などの詳細は，ホームページでご確認ください。 https://sites.google.com/view/mlwakatenokai2023/%E3%83%9B%E3%83%BC%E3%83%A0 宿泊申し込み期限：11/13(月) 講演申し込み期限：11/23(木） 4年ぶりに対面（合宿形式）での開催となります。多くのみなさまのご参加をお待ちしております。 -- 松田直祐湘南工科大学情報学部情報学科〒251-8511 神奈川県藤沢市辻堂西海岸1-1-25 Tel: 0466-30-0219 matsuda.naosuke(a)gmail.com

1 0

2024年度日本数学会年会の一般講演募集について
by Hiroshi SAKAI 06 Nov '23

06 Nov '23

皆様：数学会「数学基礎論および歴史分科会」評議員の酒井です．お世話になっております． 2024年度数学会年会は下記のように開催されますが，一般講演募集が **11月17日(金)** までとなっております．話題をお持ちの方は奮ってご講演いただき，分科会を盛り上げていただければと思っております． 2024年度日本数学会年会日程：3月17日(日) — 20日(水) （当分科会は17日・18日の予定）会場：大阪公立大学杉本キャンパス https://www.mathsoc.jp/activity/meeting/omu24mar/index.html どうぞよろしくお願いいたします．酒井拓史

1 0

日本数学会奨励研究生の募集について
by Hiroshi SAKAI 06 Nov '23

06 Nov '23

皆様：数学会「数学基礎論および歴史分科会」評議員の酒井です．お世話になっております． 2024年度日本数学会奨励研究生の募集が始まっております．これは，博士号取得後5年以内の若手研究者に研究奨励金を支給するものです．詳しくは下記ホームページをご覧ください． https://www.mathsoc.jp/publicity/news20231026/2024shourei.html お近くの対象者に周知いただければ幸いです．よろしくお願いいたします．酒井拓史

1 0

教員公募（京都産業大学理学部数理科学科）
by Hiroyuki Miyoshi 22 Oct '23

22 Oct '23

kisoron-mlの皆様、京都産業大学理学部数理科学科の三好博之です。本学理学部数理科学科では来年度4月着任予定の教員公募を行っております。 https://jrecin.jst.go.jp/seek/SeekJorDetail?id=D123101200 https://www.kyoto-su.ac.jp/news/2023_sc/20231012_150_koubom01.html 応募締切は11月30日（木）です。上記のウェブページを見て頂ければわかると思いますが、今回の公募は研究面での専門を限定せず数学から情報科学まで含めて広く募っています。数学基礎論（数理論理学）・理論計算機科学を専門とされる方のご応募も歓迎いたします。その代わり、機械学習・データサイエンス系の授業を担当できることが条件となります。具体的には、他の理学部の授業担当者と共に、理系学部に共通して求められるデータサイエンス・機械学習の標準的内容を教える授業を想定しています。所属は理学部数理科学科であり、その授業以外の理学部での学部・大学院での学生指導についてはご専門に関わる内容が可能です。なお、この公募は教授・准教授・助教の公募で、助教採用の場合、5年の任期制でテニュアトラックと明記していないのですが、業績と教育経験について、明文化されている所定の基準を満たせば 4年終了時までに准教授への昇任審査を受けることが可能です。以上、ご興味をお持ちの方がいらっしゃいましたらご応募をご検討下さい。またお近くに適任の方がいらっしゃればお勧めいただければ幸いです。 ---- 京都産業大学理学部数理科学科三好博之 hxm(a)cc.kyoto-su.ac.jp

1 0

数学基礎論若手の会2023
by 松田直祐 11 Sep '23

11 Sep '23

みなさま湘南工科大学の松田直祐と申します。今年度の数学基礎論若手の会を以下の要領で開催させていただきます。日程：2023年12月7日（木）～ 12月9日（土）会場：サンセットブリーズ保田 <https://sunset-breeze.com/>（対面開催）住所：千葉県安房郡鋸南町大六1032 世話人：松田直祐（湘南工科大学）参加申し込み方法などの詳細は，ホームページでご確認ください。若手の会2023 <https://sites.google.com/view/mlwakatenokai2023/%E3%83%9B%E3%83%BC%E3%83%A0> 4年ぶりに対面（合宿形式）での開催となります。多くのみなさまのご参加をお待ちしております。 -- 松田直祐湘南工科大学情報学部情報学科〒251-8511 神奈川県藤沢市辻堂西海岸1-1-25 Tel: 0466-30-0219 Email: matsuda.naosuke(a)gmail.com

1 0

Two Mini-Courses in Set Theory, University of Vienna, October 2023 – January 2024
by Diego A. Mejía 11 Sep '23

11 Sep '23

https://ests.wordpress.com/2023/09/04/two-mini-courses-in-set-theory-univer… The University of Vienna Set Theory Research Seminar will host two mini-courses in hybrid format in the coming Winter Semester 2023. *** *** *** *** *** *** *** *** 1) Title: Convergence in Banach spaces of measures and cardinal characteristics of the continuum Damian Sobota (FWF ESPRIT Project Leader, University of Vienna) When and where: Thursdays (05.10.2023-23.11.2023, 6 lectures) 11:30-13:00, Seminarraum 10, Kolingasse 14-16, Uni Wien Zoom Meeting ID: 210 955 0387, Passcode: kgrc https://univienna.zoom.u/j/2109550387?pwd=ZXZMLzZIWERXK2lnWlROZncxQkVSUT09 <https://univienna.zoom.us/j/2109550387?pwd=ZXZMLzZIWERXK2lnWlROZncxQkVSUT09> Abstract: During this mini-course I will show how various properties of Banach spaces of measures (on compact spaces or Boolean algebras) are affected by values of the cardinal characteristics of the continuum occuring in Cichoń’s diagram and van Douwen’s diagram. We will in particular be interested in convergence properties of sequences of measures in weak* and weak topologies. Besides, we will study what impact extending the set-theoretic universe by forcing can have on topologies of ground model Banach spaces of measures. Finally, I will present connections between convergence of measures on compact spaces and filters on countable sets. 2) Title: Forcing techniques for Cichoń’s Maximum Diego A. Mejía (Associate Professor, Shizuoka University) When and where: Thursdays (30.11.2023-25.01.2024, 6 lectures) 11:30-13:00, Seminarraum 10, Kolingasse 14-16, Uni Wien Zoom Meeting ID: 210 955 0387, Passcode: kgrc https://univienna.zoom.us/j/2109550387?pwd=ZXZMLzZIWERXK2lnWlROZncxQkVSUT09 Abstract: Cichoń’s diagram describes the connections between combinatorial notions related to measure, category, and compactness of sets of irrational numbers. In the second part of the 2010’s decade, Goldstern, Kellner and Shelah constructed a forcing model of Cichoń’s Maximum (meaning that all non-dependent cardinal characteristics are pairwise different) by using large cardinals. Some years later, we eliminated this large cardinal assumption. In this mini-course, we explore the forcing techniques to construct the Cichoń’s Maximum model and much more. Concretely, we discuss the following components: 1. Tukey connections and cardinal characteristics of the continuum 2. Review of FS (finite support) iterations and basic methods to modify cardinal characteristics. 3. Preservation theory for cardinal characteristics. 4. FS iterations with measures and ultrafilters on the natural numbers. 5. Boolean Ultrapowers. 6. Forcing Intersected with submodels. *** *** *** *** *** *** *** *** For further information, please write to <vera.fischer(a)univie.ac.at>. -- 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

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

Jump to page:

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml