Kisoron-ml May 2023

6 participants
6 discussions

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

28 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

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

24 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

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:[email protected]

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

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

18 May '23

関係者の皆様，以下の要領で数学基礎論サマースクール2023を開催いたします．周知および多くの方にご出席いただけますと幸いです．テーマ：連続体上の計算論日時：2023年9月11日(月)〜15日(金) 場所：明治大学駿河台キャンパス幹事：宮部賢志（明治大学），木原貴行（名古屋大学）連絡先：宮部賢志，research(a)kenshi.miyabe.name 講師および内容：鈴木登志雄：計算論速習(Turing機械，停止問題，算術的階層) 宮部賢志：実数の計算可能性 Holger Thies：実関数の計算可能性・計算量 Matthew de Brecht：計算可能位相空間論木原貴行：実現可能性理論／計算可能数学の圏詳細は以下のページで随時案内します． http://kenshi.miyabe.name/kisoron_school_2023/ どうぞよろしくおねがいします．宮部 -- 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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml May 2023