- Kisoron-ml - fos.kuis.kyoto-u.ac.jp

証明論研究集会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

数学通信で周知する研究集会等の情報
by Hiroshi SAKAI 29 Aug '23

29 Aug '23

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

1 0

Continuity, Computability, Constructivity - From Logic to Algorihms (CCC 2023), September 25-29, Kyoto
by Akitoshi Kawamura 27 Aug '23

27 Aug '23

皆様京都大学の河村と申します。今年9月25日～29日に京都で開催される Continuity, Computability, Constructivity – From Logic to Algorithms (CCC 2023) の講演募集をお送りいたします。投稿締切は7月31日です。 ------------------------------------------------------ CALL FOR CONTRIBUTIONS: CCC 2023: Continuity, Computability, Constructivity – From Logic to Algorithms Research Institute for Mathematical Sciences, Kyoto University Kyoto, Japan, September 25 - 29, 2023 Conference website: https://www.i.h.kyoto-u.ac.jp/ccc2023/ ============================================== Submission link: https://easychair.org/conferences/?conf=ccc2023 Deadline for Submissions July 31, 2023 Extended abstracts (1-2 pages) of original work should be submitted in pdf format. ==================================================== CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and other continuous data, which are of increasing importance in safety critical applications and scientific computation. Previous workshops have been held in Cologne 2009, Trier 2012, Gregynog 2013, Ljubljana 2014, Kochel 2015, Nancy 2017, Faro 2018, Ljubljana 2019, Faro 2020 (online), Birmingham 2021 (online), and Padova 2022. ======================================================== Invited Speakers: Takako Nemoto (Tohoku University, Sendai, JP) Linda Westrick (Penn State University, USA) Alexander G. Melnikov (Victoria University of Wellington, NZ) Siegfried M. Rump (Hamburg University of Technology, DE) ======================================================== Contributions The workshop invites all contributions relating to computation where issues of continuity, computability and constructivity play major roles. Specific areas of interest include: Exact real number computation Correctness of algorithms on infinite data Computable analysis Complexity of real numbers, real-valued functions, etc. Effective descriptive set theory Domain theory Constructive analysis and topology Constructive foundations Category-theoretic approaches to computation on infinite data Weihrauch degrees Other related areas Participation is open both in presence and online. ===================================================================== Programme Committee Ulrich Berger (Swansea, UK) Daniel Graça (Faro, Portugal) Takayuki Kihara (Nagoya, Japan) Milly Maietti (Padua, Italy) Norbert Müller (Trier, Germany) (chair) Sewon Park (Kyoto, Japan) Svetlana Selivanova (Novosibirsk, Russia) Chuangjie Xu (Munich, Germany) Martin Ziegler (KAIST, Republic of Korea) Organizing Committee Matthew de Brecht (Kyoto, Japan) Akitoshi Kawamura (Kyoto, Japan) (co-chair) Sewon Park (Kyoto, Japan) Holger Thies (Kyoto, Japan) (co-chair) Hideki Tsuiki (Kyoto, Japan) Takao Yuyama (Kyoto, Japan)

1 1

日韓数学会合同 MSJ-KMS Joint Meeting のお知らせ
by Hiroshi SAKAI 25 Aug '23

25 Aug '23

皆様：数学会「数学基礎論および歴史分科会」評議員の酒井拓史です．東北大学で開催される日本数学会秋季総合分科会に合わせて，下記のように日韓数学会合同の集会が開催されます． ***************************************** 大韓数学会共同主催　MSJ-KMS Joint Meeting 日時：9月19日(学会開催前日) 場所：仙台国際センター（学会会場から地下鉄で隣駅）（詳細は以下のページをご覧ください) https://www.mathsoc.jp/activity/meeting/JointMeeting2023/ ****************************************** 日韓を代表する数学者によるホットなトピックの講演が予定されていますが，現時点での事前登録者数が少なくなっているようです．ご興味のある方は奮ってご参加ください．酒井拓史

1 0

SLACS 2023（8月31日・9月1日）発表プログラム公開
by Yosuke Fukuda 24 Aug '23

24 Aug '23

皆様，第40回記号論理と情報科学研究集会（SLACS 2023）幹事の福田@京都橘大です． SLACS 2023の暫定の発表プログラム( https://lambda.ski/slacs2023 )を公開しましたのでお知らせいたします． ==== SLACS 2023 開催要領 ==== 詳細: https://lambda.ski/slacs2023 日程: 2023年8月31日（木）から2023年9月1日（金）の二日間形式: 対面およびオンラインのハイブリッド開催会場: 京都橘大学優心館2階 E201教室（〒607-8175 京都府京都市山科区大宅山田３４）費用: 参加費無料幹事: 福田陽介（京都橘大学, E-mail: yf(a)lambda.ski ） ======== 参加をご希望の方は上記ウェブページにあるフォームから登録をお願いいたします．研究集会への参加申し込みは開催前日まで受け付けます．以上，奮ってご参加ください．

1 0

数学基礎論サマースクール2023のお知らせ(第二報)
by Kenshi Miyabe 17 Aug '23

17 Aug '23

関係者の皆様，以下の要領で数学基礎論サマースクール2023を開催いたします．周知および多くの方にご出席いただけますと幸いです．テーマ：連続体上の計算論日時：2023年9月11日(月)〜15日(金) 場所：明治大学駿河台キャンパス幹事：宮部賢志（明治大学），木原貴行（名古屋大学）連絡先：宮部賢志，research(a)kenshi.miyabe.name 講師および内容：鈴木登志雄：計算論速習(Turing機械，停止問題，算術的階層) 宮部賢志：実数の計算可能性 Holger Thies：実関数の計算可能性・計算量 Matthew de Brecht：計算可能位相空間論木原貴行：実現可能性理論／計算可能数学の圏すべての講演は日本語で行います．詳細は以下のページで随時案内します． http://kenshi.miyabe.name/kisoron_school_2023/ スケジュールを公開しました．内容の詳細を加えました．人数把握のために参加登録をお願いします．参加登録は必須ではありません．懇親会の案内も加えました．日時：9月14日(木)の夜場所：スカイラウンジ暁（リバティタワー17階） https://www.meiji.ac.jp/koho/studentsservice/dining/di_surugadai.html 立食の予定です．時間がなくて申し訳ありませんが，懇親会参加希望される方は以下までに登録をお願いします．登録一次締切：9月3日(日)23:59，可能な範囲でこのときまでにお願いします．最終締切：9月8日(金)昼12:00 どうぞよろしくおねがいします．宮部 -- Kenshi Miyabe email (research): research(a)kenshi.miyabe.name email (other): miyabe(a)meiji.ac.jp Associate Professor Department of Mathematics School of Science and Technology Meiji University Tel: +81-44-934-7460

1 0

モデル理論夏の学校・研究集会2023のお知らせ
by kota takeuchi 17 Aug '23

17 Aug '23

皆さまモデル理論夏の学校は例年夏に開催されるモデル理論の研究集会です．モデル理論は数理論理学の１分野で，近年数学の各分野から注目を浴びています．今年は筑波大学で開催されます．モデル理論に興味のある幅広い分野の方を歓迎します．詳しくはwebpageをご覧ください。また参加をご希望の方はwebpageの申込フォームからお申し込みください。皆様の参加をお待ちしております。日程：2023年9月6日（水）午後－8日（金）午前場所：筑波大学総合B棟0110講義室連絡先：竹内耕太（筑波大学 kota(a)math.tsukuba.ac.jp) Webpage:https://sites.google.com/view/modeltheorysummerworkshop2023/home 竹内耕太

1 0

【リマインド】SLACS 2023（8月31日・9月1日）講演・参加募集のお知らせ
by Yosuke Fukuda 02 Aug '23

02 Aug '23

皆様，第40回記号論理と情報科学研究集会（SLACS 2023）幹事の京都橘大学の福田です．SLACS 2023は，2023年8月31日（木）〜9月1日（金）に京都橘大学 & オンラインでハイブリッド開催いたします．講演・参加のご検討ほど，どうぞよろしくお願いいたします． ==== SLACS 2023 開催要領 ==== 詳細: https://lambda.ski/slacs2023/ 申込: https://forms.office.com/r/xZvGcnwyzS 日程: 2023年8月31日（木）から2023年9月1日（金）の二日間形式: 対面およびオンラインのハイブリッド開催会場: 京都橘大学優心館2階 E201教室（〒607-8175 京都府京都市山科区大宅山田３４）費用: 参加費無料（懇親会費は別途徴収します）幹事: 福田陽介（京都橘大学, E-mail: yf(a)lambda.ski ） ======== 講演申し込み期限は ** 2023年8月21日（月） ** としますが，発表する意思がある方は早めに申し込みいただけると幸いです．研究集会への参加申し込みは開催前日まで受け付けます．以上，奮ってご参加ください．

1 0

CFP: 59th TRS Meeting
by Munehiro Iwami 23 Jul '23

23 Jul '23

皆様島根大学の岩見と申します。 9月27～29日に第59回TRS meetingを出雲市で開催します。現在、講演者を募集しております。講演希望の方は7月28日までに下記の登録フォームをメールにて岩見へ送ってください。 -------------------------------------------------------------------- Dear all, Please find below CFP for the 59th TRS meeting. Please send the registration form below to Munehiro Iwami (munehiro(a)cis.shimane-u.ac.jp) no later than July 28 (Fri), 2023. Best regards, Munehiro Iwami Shimane University E-mail: munehiro(a)cis.shimane-u.ac.jp ====================================================================== CALL FOR PARTICIPATION 59th TRS Meeting September 27 – 29, 2023, Shimane, Japan http://www.cis.shimane-u.ac.jp/~munehiro/trs-meeting59/ ====================================================================== The Term Rewriting Meeting (TRS Meeting) is a biannual informal workshop that aims at promoting the research on rewriting and related areas. All participants are requested to present their recent activities, observations, etc. (in English). The subject of the talk, however, is not required to be one's original result; for example, it is perfectly acceptable to explain a paper of your interest or a tool that you're developing. See http://www.jaist.ac.jp/~hirokawa/trs-meeting/ for further information. * Basic information Dates: September 27(Wed) – 29(Fri), 2023 Venue: New Welcity IZUMO 2-15-1 Enyaarihara, Izumo, Shimane, Japan https://nwci.jp/ Registration Fee: 15,000 yen Accommodation Fee: 13,500 yen per night (incl. breakfast, dinner, drinks at dinner and tax) The accommodation fee above is for using a single room. * Registration Please send the registration form below to Munehiro Iwami (munehiro(a)cis.shimane-u.ac.jp) no later than July 28 (Fri), 2023. ---------------------------------------------------------------------- Registration Form of the 59th TRS meeting Name: Affiliation: Title of talk (*): Duration of talk (*): Other requests/comments (on foods, partial participation, etc.): ---------------------------------------------------------------------- The items marked with * can be sent later. ====================================================================== -- 以上、よろしくお願い致します。岩見宗弘島根大学学術研究院理工学系 E-mail: munehiro(a)cis.shimane-u.ac.jp

1 2

SLACS 2023（8月31日・9月1日）講演・参加募集のお知らせ
by Yosuke Fukuda 30 Jun '23

30 Jun '23

皆様，（重複して受け取られた場合はご容赦ください．）第40回記号論理と情報科学研究集会（SLACS 2023）幹事の京都橘大学の福田です．SLACS 2023は，2023年8月31日（木）〜9月1日（金）に京都橘大学 & オンラインでハイブリッド開催いたします．参加のご検討ほど，どうぞよろしくお願いいたします． ==== SLACS 2023 開催要領 ==== 詳細: https://lambda.ski/slacs2023/ 申込: https://forms.office.com/r/xZvGcnwyzS 日程: 2023年8月31日（木）から2023年9月1日（金）の二日間形式: 対面およびオンラインのハイブリッド開催会場: 京都橘大学優心館2階 E201教室（〒607-8175 京都府京都市山科区大宅山田３４）費用: 参加費無料（懇親会費は別途徴収します）幹事: 福田陽介（京都橘大学, E-mail: yf(a)lambda.ski ） ======== 講演申し込み期限は 2023年8月21日（月）としますが，発表する意思がある方は早めに申し込みいただけると幸いです．研究集会への参加申し込みは開催前日まで受け付けます．以上，奮ってご参加ください．

1 0

数学通信で周知する研究集会等の情報について
by Hiroshi SAKAI 27 Jun '23

27 Jun '23

皆様：数学会 "数学基礎論および歴史分科会” 評議員の酒井拓史です．数学通信28巻2号（8月21日発送予定）で数学会会員に周知されたい今後の研究集会等の情報がありましたら，酒井 (hsakai(a)people.kobe-u.ac.jp <mailto:hsakai@people.kobe-u.ac.jp>) にご連絡ください．期間が短くなって申し訳ございませんが， 7月9日(日) までにご連絡いただくようお願いいたします．酒井拓史

1 0

数学会秋季総合分科会講演申込受付中（リマインダ）
by Hiroshi SAKAI 11 Jun '23

11 Jun '23

皆様：（重複して受け取られた場合は申し訳ございません．）数学会「数学基礎論および歴史分科会」連絡責任評議員の酒井拓史です．数学会秋季総合分科会の講演申込締切が ** 6月16日(金) ** となっておりますが，現時点で一般講演の申込が6件と，少なめになっております．お話いただける話題をお持ちの方はぜひご講演いただき，分科会を盛り上げていただければ幸いです．どうかよろしくお願いいたします． 2023年度日本数学会秋季総合分科会 https://www.mathsoc.jp/activity/meeting/tohoku23sept/index.html 日程：9月20日(水) — 23日(土) 　　　（数学基礎論および歴史分科会は 22日(金)・23日(土) の予定）会場：東北大学講演申込期間：5月26日(金) — 6月16日(金) 酒井拓史

1 0

教員公募（2件）：島根大学（セキュリティ分野／データサイエンス分野)
by Munehiro Iwami 09 Jun '23

09 Jun '23

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

1 0

2023年度日本数学会秋季総合分科会（講演申込の受付開始）
by Hiroshi SAKAI 26 May '23

26 May '23

皆様：（重複して受け取られた場合は申し訳ございません．）数学会「数学基礎論および歴史分科会」連絡責任評議員の酒井拓史です．今年の数学会秋季総合分科会は以下のように開催され，本日から一般講演の申込受付が始まっています． 2023年度日本数学会秋季総合分科会 https://www.mathsoc.jp/activity/meeting/tohoku23sept/index.html 日程：9月20日(水) — 23日(土) 　　　（数学基礎論および歴史分科会は 22日(金)・23日(土) の予定）会場：東北大学講演申込期間：5月26日(金) — 6月16日(金) 皆様の奮ってのご参加とご講演をお待ちしております．どうぞよろしくお願いいたします．酒井拓史

1 0

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

23 May '23

kisoron-mlの皆様九州大学の斎藤と申します。私が世話人の1人を務めております 6月のおいでMath談話会(Catch-all Mathematical Colloquium of Japan)のご案内をお送りします。講演者は芝浦工業大学の池上大祐氏です。どうぞよろしくお願い致します。 Monthly announcement of Catch-All Math colloquium in June (日本語は下にあります) Thursday, 15 June 2023: 10 :00 AM - 12:00 noon （Caution! Time is different from usual） Speaker: Daisuke Ikegami (Shibaura Institute of Technology) Introduction: Though I wanted to become a mathematician since my 5th grade, I never seriously studied university mathematics in my junior high & high school. I just wanted to be a mathematician vaguely. In my undergraduate, I became interested in mathematical logic, and I decided to major in set theory. At that time, I never thought I would need to use German in foreign countries which I learned lazily in school. However, after obtaining my master's degree, I studied abroad, lived in 5 western countries, and spent 8 years in total before coming back to Japan. With this experience, I am now a faculty member of an undergraduate program taught completely in English in a Japanese university. Looking back to my life so far, it has been a series of coincidences and miracles. Title (first part): Infinite numbers and infinite games (In English) Abstract (first part): Since childhood, we have been counting things with numbers and comparing two groups of things in numbers. As you may have tried and failed in your childhood, it is difficult to count infinite things with numbers in your real life. However, one can formulate to compare two infinite sets in numbers mathematically. Also, one can generalize the notion of natural numbers into infinite numbers mathematically. Set theory is a branch of mathematics on infinite numbers and infinite sets. In this talk, we will have an introduction to set theory and touch on a research topic about the connections between infinite numbers and infinite games. Title (second part): Mathematician? --> Set Theory! --> Studying abroad (in Japanese) Abstract (second part): I will talk about my experience on how I aimed to become a mathematician in elementary school, how I started to major in set theory in undergraduate school, and how I decided to study abroad in graduate school. Discussion Theme in Breakout room: Studying abroad (You can choose your room; English speaking room or Japanese speaking room) HP：https://sites.google.com/view/catch-allmathematicscolloquium/schedule　 Registration form: https://forms.gle/ThqYPqNEQrNQjN4L9 Deadline for registration： 5pm on 10 June The Zoom link will be sent to the registered people. Organizers: Benoit Collins (Kyoto U.), Shihoko Ishii (U.Tokyo), Reiko Miyaoka (TohokuU.),Shingo Saito (Kyushu U.), Makiko Sasada (U.Tokyo), Karel Svadlenka (Kyoto U.) 6月のおいでMath談話会のお知らせ日時：6月15日（木）午前10:00-12:00 正午　(いつもと時間が異なりますのでご注意) 講演者：池上大祐氏（芝浦工業大学）自己紹介：小学校の五年生のころに、数学者になりたいなとぼんやりと思ったものの、大学の数学を積極的に先取りをするわけでもなく、ただ漠然と、数学者になりたいな、と思いながら中学・高校時代を過ごしました。大学入学後、数理論理学、とくに集合論という分野に興味を持ち、専門にすることに決めましたが、当時は、第二外国語として勉強したドイツ語を海外で使う機会があるとは、夢にも思いませんでした。しかし、修士課程を終えた後、海外に留学し、欧米五ヶ国に住み、日本に戻るまで計八年間、海外で過ごしました。この経験は、現在勤めている大学の仕事（英語で教育を行い、学士の学位を出す教育プログラムでの研究・教育・運営業務）に活かされています。今振り返ると、自分の人生は、偶然の連続だったなと思います。講演題目（第１部）無限の数と無限ゲームについて（英語による講演）アブストラクト：物心つく頃から、わたしたちはものを数えたり数の大小を比べたりしてきました。子供のころに自然数すべてを数えようと試みて挫折した方もいらっしゃるかもしれませんが、無限個あるものを「数え上げる」のは難しいです。一方で、無限個あるものたちの数の大小を比べることは、数学的にうまく定式化できます。また、自然数という概念を拡張し、「無限」という数の概念を導入することもできます。無限の数や無限集合の性質を研究する分野を集合論といいます。この講演では、集合論という数学の分野を紹介し、その中でも話者が興味のある、無限の数と無限ゲームの関係について触れたいと思います。講演題目（第２部）数学者？→集合論！→海外留学（日本語による講演）アブストラクト：小学生の頃に数学者を志し、学部生のときに集合論を専攻し、大学院生になって海外留学をし、様々な国で数学を学ぶことになったきっかけと経緯について、お話しします。ブレークアウトルームのディスカッションテーマ：海外留学について（英語部屋，日本語部屋を選べます．登録フォーム参照） HP：https://sites.google.com/view/catch-allmathematicscolloquium/schedule　登録フォーム: https://forms.gle/ThqYPqNEQrNQjN4L9 登録締め切り：6月10日17時登録された方にZoom link をお送りいたします．世話人：Benoit Collins (京都大学), 石井志保子（東京大学）, 宮岡礼子（東北大学）斎藤新悟（九州大学）, 佐々田槙子（東京大学）, Karel Svadlenka（京都大学） -- 斎藤新悟 Shingo SAITO mailto:ssaito@artsci.kyushu-u.ac.jp

1 0

教員公募のお知らせ
by Satoru Kuroda 18 May '23

18 May '23

皆様，群馬県立女子大学の黒田です．教員公募についてお知らせいたします．群馬県立女子大学では，2023年度より設置された文学部文化情報学科において，「情報学（情報科学に関連する数理科学を含む）」に関する教授，准教授または専任講師1名の公募を行なっています．この学科は文学部内に設置されていますが，担当科目は情報科学and/or数理科学に関する分野となっております．応募締め切りは2023年6月14日（水）必着です．ご興味のある方はぜひ応募をご検討ください．またお近くに適任の方がおられましたら，本公募についてお知らせいただければ幸いです．詳細につきましては以下のURLをご覧ください． https://www.gpwu.ac.jp/inf/emp/emp_02/post_307/index.html#jouhougaku よろしくお願いいたします． -- Satoru Kuroda Gunma Prefectural Women's University

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml