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

日本数学会春季賞推薦について
by Makoto Kikuchi 30 Sep '16

30 Sep '16

数学基礎論および歴史分科会の皆様評議員（受賞候補推薦委員）の菊池です．ご存知のように日本数学会には研究者（グループ）を表彰する賞として，建部賢弘賞，春季賞，秋季賞があります．春季賞，秋季賞は評議員，受賞候補推薦委員などの推薦に基づいて選考されます．まもなく，10月下旬を締め切りとして，春季賞の推薦に関わる問い合わせが来る予定です．春季賞は弥永賞を前身とし，40歳未満を対象とするもので，数学基礎論関係では，1975年に高橋元男先生が第3回彌永賞を受賞されています．数学基礎論および歴史に関して，秋季賞にふさわしい研究者があるとお考えの方は，早めに菊池までご連絡ください．以下，評議員（鈴木登志雄＋菊池誠）からのお知らせです．日本数学会の2017年度年会は2017年3月24日（金）から27日（月）まで，首都大学東京で開催されます．一般講演申込締切は2016年11月25日（金）です． 2016年度秋季総合分化会では多数の講演申込がありました．この傾向が継続すれば情報交流という分科会本来の機能が強化され，分科会で講演することの意義が増えて，経常的に多数の講演申込が期待できるようになると思います．次回の年会でも多数の講演がなされるよう，講演申込を積極的にご検討くださることをお願いいたします．菊池誠

1 0

RIMS研究集会「モデル理論における独立概念と次元の研究」のご案内
by 池田宏一郎 23 Sep '16

23 Sep '16

基礎論および歴史分科会のみなさま，法政の池田です．下記の要領でRIMS研究集会を開催いたします．モデル理論に関連する話題の研究集会です．モデル理論に関連するテーマでの発表を募集いたします． RIMS研究集会「モデル理論における独立概念と次元の研究」日時：2016年12月12日月曜日午後～2016年12月14日水曜日午前場所：京都大学数理解析研究所110教室研究代表者：池田宏一郎（法政大学）講演を希望される方は次の情報を池田（ikeda(a)hosei.ac.xn--jp)-u63b3a4a5b7b6byd5nwe5834h. ----- (1)氏名 (2)所属 (3)職名/学年 (4)講演題目 (5)旅費援助の希望の有無 (6)参加日程 ------ 旅費の援助は原則として講演者に限らせていただきます．池田宏一郎（法政大学）

1 0

基礎論および歴史分科会　総会議事録
by Toshio Suzuki 19 Sep '16

19 Sep '16

数学基礎論および歴史分科会の皆様先日はお忙しい中、分科会総会にご出席いただき、ありがとうございました。議事の要旨を送ります。鈴木登志雄ーーーー日本数学会　数学基礎論および歴史分科会　２０１６年９月総会議事録（文中敬称略）２０１６年９月１８日　１１：３０−１２：００関西大学吹田キャンパス第４学舎４号館４２０２教室議長　鈴木登志雄（連絡責任評議員）前日（９月１７日、１２：００ー１３：００）の運営委員会の議論を踏まえて、総会を行った。［了承された事項］・分科会評議員と運営委員（＊が今回の総会で了承された方）　２０１７年３月から任期が始まる評議員　　黒田覚＊　２０１６年１０月から任期が始まる運営委員　　板井昌典　　明山浩　　宮部賢志＊・運営委員会規定　２条の当面の運用方針　　中長期的には、いったん運営委員の人数を絞る。　　評議員と同じ分野の運営委員が欠けた場合必ずしもすぐに補充しない。　　候補者の経験や当該分野の活発さも考慮する。　３条改正　　以下の改正が承認された。現状追認。　　「秋の学会前日に会合を持ち」ー＞「秋の学会の折に会合を持ち」・２０１７年度サマースクール　　テーマ：計算理論　　次期未定、場所：東京近辺　　世話人：鈴木登志雄（代表）、隈部正博、河村彰星、宮部賢志・ＲＩＭＳ研究集会「数学基礎論とその応用」　　次回以降の上記集会（隔年）は、原則として評議員が代表者と　　なって申請する。［報告］・２０１７年春の年会　　首都大学東京、３月２４日（金）から２７日（月）。・「数学通信」（１１月４日発送予定）会報１６３号の原稿募集　　宛先：鈴木登志雄　toshio-suzuki[atmark]tmu.ac.jp 　　締切：９月２９日（木）［その他の発言］・２０１８年度サマースクールのテーマや世話人を、できれば　春の学会の時点で行えるとよいという発言があった。 -- 鈴木登志雄首都大学東京理工学研究科　数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 09 Sep '16

09 Sep '16

皆様ルートヴィヒ・マクシミリアン大学ミュンヘンのChuangjie Xu博士の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学系 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * The seminar below is held as a part of JSPS Core-to-Core Program, A. Advanced Research Networks, and EU FP7 Marie Curie Actions IRSES project CORCON. (http://www.jaist.ac.jp/logic/ja/core2core, https://corcon.net/) Date: Wednesday 28 September, 2016, 15:20-17:00 Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Chuangjie Xu (Ludwig-Maximilians-Universität München) Title: Continuity in Type Theory Abstract: If all functions (N -> N) -> N are continuous then 0 = 1. We establish this in intuitionistic type theory, with existence in the formulation of continuity expressed as a Sigma-type via the Curry-Howard interpretation. But with an intuitionistic notion of anonymous existence, defined as the propositional truncation of Sigma, it is consistent that all such functions are continuous. On the other hand, any of these two intuitionistic conceptions of existence give the same, consistent, notion of uniform continuity for functions (N -> 2) -> N. Moreover, we constructively develop a model of uniform continuity and implemented it within type theory using Agda.

1 0

分科会便りに掲載する情報（９月２９日（木）しめきり）
by Toshio Suzuki 08 Sep '16

08 Sep '16

数学基礎論および歴史分科会の皆様　　分科会便りに掲載する情報（９月２９日（木）しめきり）お世話になっております．首都大学東京の鈴木登志雄です．評議員からの連絡です．数学通信２１巻３号（１１月４日発送予定）に会報１６３号が掲載されます．その中の分科会便りに掲載希望のお知らせがありましたら，２０１６年９月２９日（木）までに，鈴木 toshio-suzuki[atmark]tmu.ac.jp へご連絡ください．編集部に掲載を依頼するかどうかの最終判断は評議員にご一任ください．文章の軽微な修正を評議員・編集部が行う場合がありますのでご了承ください．過去の会報は以下の場所でご覧になれます． http://mathsoc.jp/section/logic_and_history/Tayori.html -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

CTFM2016(9/20-21, 早稲田大学)、CTFM Companion Lecture(9/23, 東京工業大学)のご案内
by Makoto Fujiwara 06 Sep '16

06 Sep '16

皆様 (English follows.) 早稲田大学の藤原誠です。 1. CTFM2016 先日ご案内させていた研究集会 Computability Theory and Foundations of Mathematics 2016 (2016年9月20日(火)～9月21日(水)、早稲田大学国際会議場) の暫定プログラムが以下のページからご覧いただけます。 (プログラムに変更があった場合は随時更新いたします。) http://www.sendailogic.com/CTFM2016/timetable.html 多くの方々にご参加いたたけることを期待しております。本研究集会への参加は自由となっておりますので、どうぞふるってご参加下さい。なお、20日夜の懇親会への参加を希望される方は9月12日までに以下より参加登録をお願いいたします。 http://www.sendailogic.com/CTFM2016/registration.html 詳しくは下記ホームページをご覧ください。 http://www.sendailogic.com/CTFM2016/ 本研究集会に関するお問い合わせは以下へお願いいたします。 ctfm2016[at]fastmail.com 2. CTFM Companion Lecture 9月23日に東京工業大学にてStephan G. Simpson先生(Vanderbilt University)の講演が行われますのでこちらも合わせてご案内させていただきます。詳しくは下記ホームページをご覧ください。 http://www.sendailogic.com/Titechworkshop/ どうぞよろしくお願いいたします。 ============================================================== Computability Theory and Foundations of Mathematics 2016 Waseda University, Tokyo, Japan, September 20 - 21, 2016 http://www.sendailogic.com/CTFM2016/ ============================================================== Computability Theory and Foundations of Mathematics (CTFM) aims to develop computability theory and logical foundations of Mathematics. The scope involves the topics Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory. This is the sixth conference of the CTFM conference series: http://www.jaist.ac.jp/CTFM/CTFM_SERIES/ This conference is supported by the Waseda Insitute for Advanced Study and JSPS KAKENHI Grant Numbers JP26540001 and JP15H03634. ------------------------------------------------------------------------------------------------------------------------- Invited speakers: • David Belanger (National University of Singapore) • Chi Tat Chong (National University of Singapore) • Daisuke Ikegami (Tokyo Denki University) • Wei Li (National University of Singapore) • Kenshi Miyabe (Meiji University) • Paul Shafer (Ghent University) • Frank Stephan (National University of Singapore) • Philip Welch (University of Bristol) • Guohua Wu (Nanyang Technological University) • Takeshi Yamazaki (Tohoku University) • Yang Yue (National University of Singapore) ------------------------------------------------------------------------------------------------------------------------- Registration deadline: September 12, 2016. (It will still be possible to register for the conference after the deadline, but in that case the participant cannot attend the banquet. The banquet will be held on September 20 (18:30-20:30), at the same place as the conference venue.) ------------------------------------------------------------------------------------------------------------------------- Organising Committee: Makoto Fujiwara (Waseda University, co-chair) Florian Pelupessy (Tohoku University) Kazuyuki Tanaka (Tohoku University, co-chair) Toshimichi Usuba (Waseda University) Keita Yokoyama (JAIST) ------------------------------------------------------------------------------------------------------------------------ Participants are also invited to attend the Workshop on Mathematical Logic at the Tokyo Institute of Technology on September 23, which includes a CTFM companion lecture by Stephen G. Simpson: http://www.sendailogic.com/Titechworkshop/ ============================================ 藤原誠 (Makoto Fujiwara) 早稲田大学高等研究所 (Waseda Institute for Advanced Study, Waseda University) E-mail: makoto_fujiwara(a)aoni.waseda.jp ============================================

1 0

RIMS研究集会「無限組合せ論と強制法理論」のお知らせ
by Teruyuki YORIOKA 06 Sep '16

06 Sep '16

静岡大学の依岡です。今年度の公理的集合論のRIMS研究集会「無限組合せ論と強制法理論」が 11月28日（月）から12月1日（木）まで開催されます。みなさまのご参加をお待ちしております。講演申し込みの締め切りは10月7日です。 RIMS Set Theory Workshop 2016 http://www.ipc.shizuoka.ac.jp/~styorio/rims16/

1 0

数学基礎論サマースクールの案内２
by Hirotaka Kikyo 24 Aug '16

24 Aug '16

各位神戸大学の桔梗です。数学基礎論サマースクールを次の要領で開催いたします。今年のテーマはモデル理論です。大勢のご参加をお待ちしております。期間：2016年9月5日（月）から2016年9月7日（水）場所：早稲田大学西早稲田キャンパス５２号館１０１教室〒169-0072 東京都新宿区大久保３丁目４−１スケジュールをほぼ確定いたしました。次のリンクをご覧ください。 https://sites.google.com/site/logicsummerschool2016/ 現在の内容は次の通りです。数学基礎論サマースクール2016 日本数学会数学基礎論および歴史分科会の運営委員会でテーマを決めて開催されている研究集会です。2016年はモデル理論がテーマです。今回は主要と思われるトピックスから４種類を選んで紹介いたします。最初にモデル理論の入門にあたる話題を話してもらいます。初日は午前中から、最終日も午後まで行う予定です。なお、一般講演の募集は行いません。 *期間：2016年9月5日（月）から2016年9月7日（水）場所：早稲田大学西早稲田キャンパス５２号館１０１教室* *〒169-0072 東京都新宿区大久保３丁目４−１世話人：* 桔梗宏孝（神戸大学） *問い合わせ先： kikyo(a)kobe-u.ac.jp <kikyo(a)kobe-u.ac.jp> (桔梗宏孝)* 江田勝哉(早稲田大学) 薄葉季路(早稲田大学) * テーマ：* *モデル理論入門担当：坪井明人（筑波大学）* *順序極小理論と数論担当：板井昌典（東海大学）* *付値体のモデル理論の系譜担当：桔梗宏孝（神戸大学）フルショフスキの融合法担当：池田宏一郎（法政大学）* *スケジュール（案）* *9月5日月曜日* 10:00-10:10 注意事項 10:10-11:00 モデル理論入門（坪井明人） 11:10-12:00 モデル理論入門（坪井明人）（昼休み） 14:00-14:50 モデル理論入門（坪井明人） 15:00-15:50 順序極小理論と数論（板井昌典） 16:00-16:50 順序極小理論と数論（板井昌典） *9月6日火曜日*09:00-09:50 付値体のモデル理論の系譜（桔梗宏孝） 10:00-10:50 付値体のモデル理論の系譜（桔梗宏孝） 11:00-11:50 フルショフスキの融合法（池田宏一郎）（昼休み） 14:00-14:50 フルショフスキの融合法（池田宏一郎） 15:00-15:50 順序極小理論と数論（板井昌典） 16:00-16:50 順序極小理論と数論（板井昌典） *9月7日水曜日* 09:00-09:50 フルショフスキの融合法（池田宏一郎） 10:00-10:50 フルショフスキの融合法（池田宏一郎） 11:00-11:50 付値体のモデル理論の系譜（桔梗宏孝） 12:00-12:50 付値体のモデル理論の系譜（桔梗宏孝）（終了） *概要(案)モデル理論入門（坪井明人）* 1. 言語，構造，モデル 2. コンパクト性定理 3. 大きなモデルと小さなモデルの構成 4. 不安定な理論 *順序極小理論と数論（板井昌典）* 1. 順序極小構造と順序極小理論, RCF について 2. Monotonicity Theorem, Cell Decomposition 3. Wilkie の結果(R_exp に関するもの） 4. Pilla-Wilkie Counting Theorem *付値体のモデル理論の系譜（桔梗宏孝）* 1. Ax-Kochen-Ersovの定理 (p進閉体と有限素体係数のローラン級数体の類似性) 2. MacintireのQE, Cell-Decomposition, ポアンカレ級数の有理性 3. Denef-PasのQEと Igusa Zeta関数の有理性 4. Motivic Integration

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 22 Aug '16

22 Aug '16

皆様ルートヴィヒ・マクシミリアン大学ミュンヘンのJosef Berger先生、およびスワンジー大学のAnton Setzer先生・Bashar Igriedさんの講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学系 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * The lectures below are held as a part of JSPS Core-to-Core Program, A. Advanced Research Networks, and EU FP7 Marie Curie Actions IRSES project CORCON. (http://www.jaist.ac.jp/logic/ja/core2core, https://corcon.net/) Date: Tuesday 6 September, 2016, 13:30-17:00 Place: JAIST, Lecture room I2 (Access: http://www.jaist.ac.jp/english/location/access.html) *LECTURE 1* Speaker: Josef Berger (Ludwig-Maximilians-Universität München) Title: The fan theorem and convexity (joint work with Gregor Svindland) Abstract: The fan theorem is the following statement: (FAN) Let B be a decidable set of finite binary sequences. Assume that every infinite binary sequence has an initial part that belongs to B. Then there exist an N such that every infinite binary sequence has an initial part of length smaller than N that belongs to B. This axiom plays an important role in Intuitionism, a philosophy of mathematics that was introduced by the Dutch mathematician L.E.J. Brouwer. We work in constructive mathematics in the tradition of Errett Bishop. Here, the fan theorem is neither provable nor falsifiable. Many theorems of analysis are equivalent to the fan theorem. One example for such a theorem is: (POS) Every positive-valued uniformly continuous function on the unit interval has positive infimum. In our paper 'Convexity and constructive infamy’ we have shown that, under the additional condition of convexity of the function, POS is constructively valid. In this talk, we discuss to which extent this gives rise to a notion of 'convex bars' and a corresponding constructively valid 'convex fan theorem'. *LECTURE 2* Speaker: Anton Setzer and Bashar Igried (Swansea University) Title: Coinductive Reasoning in Dependent Type Theory - Copatterns, Objects, Processes (part on Processes joint work with Bashar Igried) Abstract: When working in logic in computer science, one is very often confronted with bisimulation. The reason for its importance is that in computer science, one often reasons about interactive or concurrent programs. Such programs can have infinite execution paths, and therefore correspond to coinductive data types. The natural equality on coinductive data types is bisimulation. Proofs of bisimulation form one of the main principles for reasoning about coinductive data types. However, bisimulation is often very difficult to understand and to teach. This is in contrast to the principle of induction, where there exists a well established tradition of carrying out proofs by induction. One goal of this talk is to demonstrate that one can reason about coinductive data types in a similar way as one can reason inductively about inductive data types. Reasoning about inductive data types can be done by pattern matching. For instance for reasoning about natural numbers one makes a case distinction on whether the argument is 0 or a successor. For coinductive data types the dual is copattern matching, which is essentially a case distinction on the observations one can make for a coinductively defined set. For instance, streams have observations head and tail, and one can introduce a stream by determining its head and its tail. We then look at examples of the use of coinductive data types. One is the notion of an object, as it occurs in object-oriented program. Objects are defined by their method calls, which are observations, so they are defined coinductively. The final example will be the representation of processes in dependent type theory, where we will refer to the process algebra CSP.

1 0

International Symposium on Computability and Complexityのご案内
by Kenshi Miyabe 20 Aug '16

20 Aug '16

皆様 (複数受け取られた場合はご容赦下さい) シンポジウムとサマースクールの案内を転送いたします．宮部 ---------- Forwarded message ---------- International Symposium on Computability and Complexity (in honour of Rod Downey's 60th birthday), and Summer School in Mathematical Logic In early 2017, Victoria University of Wellington will be hosting a Computability and Complexity Symposium. These areas have seen significant development in recent years. The purpose of this symposium is to bring together a wide cross-section of researchers in the area, from leading researchers to graduate students, to discuss these developments and future directions. The symposium will take place between the 5th and 8th of January 2017 at the town of Raumati, a short drive from Wellington. For details and updates please see http://sms.victoria.ac.nz/Events/CCS2017/WebHome After the symposium, a summer school in mathematical logic will take place in Napier, between the Monday 9th and Saturday 14th of January 2017. The topic is mathematical logic and computability. We plan to have five tutorial series, the level aimed at graduate students. The speakers will be: • Denis Hirschfeldt (Chicago) • Jack Lutz (Iowa State) • Maryanthe Malliaris (Chicago) • Antonio Montalban (UC Berkeley) • Hugh Woodin (Harvard) Details can be found at http://sms.victoria.ac.nz/Events/NZMRI2017/WebHome We anticipate receiving NSF funding in early October to help cover the travel cost of US-based researchers and students. To apply for this funding please email Peter Cholak, at cholak(a)nd.edu, by October 15. We are particularly interested having women, minorities, students and postdocs apply. We are working on getting ASL sponsorship. Students also can apply to the ASL for travel support. Please share with your colleagues and students and postdocs. Sorry if you received multiple copies of this. -- Kenshi Miyabe email (research) : research(a)kenshi.miyabe.name email (other) : miyabe(a)meiji.ac.jp Senior Assistant Professor Department of Mathematics School of Science and Technology Meiji University Tel: +81-44-934-7460

1 0

CTFM2016のご案内
by Makoto Fujiwara 19 Aug '16

19 Aug '16

皆様早稲田大学の藤原誠です。以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2016 (2016年9月20日(火)～9月21日(水)、早稲田大学国際会議場) を開催いたします。講演を希望される方は8月31日までに以下に沿って講演要旨をお送り下さい。 (締切日が迫ってからの連絡となってしまい申し訳ありません。) http://www.sendailogic.com/CTFM2016/submission.html 本研究集会への参加は自由ですが、20日夜の懇親会に参加される方は9月12日までに以下より参加登録をお願いいたします。準備の都合上、懇親会に参加されない方も事前に参加登録をしていただけると助かります。 http://www.sendailogic.com/CTFM2016/registration.html 詳しくは下記ホームページをご覧ください。 http://www.sendailogic.com/CTFM2016/ 本研究集会に関するお問い合わせは以下へお願いいたします。 ctfm2016[at]fastmail.com どうぞよろしくお願いいたします。 ============================================================== Computability Theory and Foundations of Mathematics 2016 Waseda University, Tokyo, Japan, September 20 - 21, 2016 http://www.sendailogic.com/CTFM2016/ ============================================================== Computability Theory and Foundations of Mathematics (CTFM) aims to develop computability theory and logical foundations of Mathematics. The scope involves the topics Computability Theory, Reverse Mathematics, Nonstandard Analysis, Proof Theory, Set Theory, Philosophy of Mathematics, Constructive Mathematics, Theory of Randomness and Computational Complexity Theory. This is the sixth conference of the CTFM conference series: http://www.jaist.ac.jp/CTFM/CTFM_SERIES/ This conference is supported by the Waseda Insitute for Advanced Study and JSPS KAKENHI Grant Numbers JP26540001 and JP15H03634. ------------------------------------------------------------------------------------------------------------------------- Invited speakers: • David Belanger (National University of Singapore) • Chi Tat Chong (National University of Singapore) • Daisuke Ikegami (Tokyo Denki University) • Wei Li (National University of Singapore) • Kenshi Miyabe (Meiji University) • Paul Shafer (Ghent University) • Frank Stephan (National University of Singapore) • Philip Welch (University of Bristol) • Guohua Wu (Nanyang Technological University) • Takeshi Yamazaki (Tohoku University) • Yang Yue (National University of Singapore) ------------------------------------------------------------------------------------------------------------------------- Submission deadline for presentations: August 31, 2016 ------------------------------------------------------------------------------------------------------------------------- Registration deadline: September 12, 2016. (It will still be possible to register for the conference after the deadline, but in that case the participant cannot attend the banquet. The banquet will be held on September 20 (18:30-20:30), at the same place as the conference venue.) ------------------------------------------------------------------------------------------------------------------------- Organising Committee: Makoto Fujiwara (Waseda University, co-chair) Florian Pelupessy (Tohoku University) Kazuyuki Tanaka (Tohoku University, co-chair) Toshimichi Usuba (Waseda University) Keita Yokoyama (JAIST) ============================================ 藤原誠 (Makoto Fujiwara) 早稲田大学高等研究所 (Waseda Institute for Advanced Study, Waseda University) E-mail: makoto_fujiwara(a)aoni.waseda.jp ============================================

1 0

分科会ウェブサイトを更新しました
by Toshio Suzuki 17 Aug '16

17 Aug '16

数学基礎論および歴史分科会の皆様お世話になっております。連絡責任評議員の鈴木登志雄です。分科会ウェブサイトを更新しました。 http://mathsoc.jp/section/logic_and_history/ サマースクールの会場について，以前より詳しい情報を掲載するとともに，サマースクールウェブサイトへのリンクを貼りました。必要に応じてブラウザの「表示内容を更新」アイコン（Firefox や Safari では，可換図式に出てくるような弧を描く矢印）を押してご覧ください。 -- 鈴木登志雄首都大学東京理工学研究科　数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

数学基礎論若手の会2016の参加講演募集
by Kenshi Miyabe 13 Aug '16

13 Aug '16

（重複して受け取られた場合はご容赦ください）皆様，明治大学の宮部賢志です．数学基礎論若手の会2016の参加講演の募集の案内です． ===== 数学基礎論若手の会2016 日時：2016年10月21日(金)午後〜23日(日)午前場所：明治大学清里セミナーハウス住所：〒407-0301 山梨県北杜市高根町清里3545-1 参加費学生: 8,000円一般: 10,000円締め切り交通費宿泊費の援助希望者の参加締め切り: 9月9日(金) 参加一次締め切り: 9月30日(金) 参加最終締め切り: 10月11日(火) 講演タイトル，アブストラクト締め切り: 10月14日(金) 参加費の内訳および申込の書式等の詳細は，以下のウェブサイトをごらんください． http://kenshi.miyabe.name/wakate2016/ ===== 宮部 -- Kenshi Miyabe email (research) : research(a)kenshi.miyabe.name email (other) : miyabe(a)meiji.ac.jp Senior Assistant Professor Department of Mathematics School of Science and Technology Meiji University Tel: +81-44-934-7460

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 20 Jul '16

20 Jul '16

皆様ルートヴィヒ・マクシミリアン大学ミュンヘンのHelmut Schwichtenberg先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学系 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * The seminar below is held as a part of JSPS Core-to-Core Program, A. Advanced Research Networks, and EU FP7 Marie Curie Actions IRSES project CORCON. (http://www.jaist.ac.jp/logic/ja/core2core, https://corcon.net/) Date: Thursday 25 August, 2016, 13:30-15:10 Place: JAIST, Lecture room I2 (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Helmut Schwichtenberg (Ludwig-Maximilians-Universität München) Title: Invariance axioms for realizability Abstract: Kolmogorov (1932) proposed to consider mathematical formulas as problems asking for solutions. Following this idea it seems reasonable to extend arithmetical theories by adding invariance axioms, which state that every formula is equivalent to the (internal) formula stating that it has a realizer. We sketch such a theory, which in addition allows to fine-tune the computational content of proofs by decorations of the logical connectives. A soundness theorem holds.

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 19 Jul '16

19 Jul '16

皆様インスブリア大学のMarco Benini先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学系 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * The seminar below is held as a part of JSPS Core-to-Core Program, A. Advanced Research Networks, and EU FP7 Marie Curie Actions IRSES project CORCON. (http://www.jaist.ac.jp/logic/ja/core2core, https://corcon.net/) Date: Monday 8 August, 2016, 13:30-15:10 Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Marco Benini (University of Insubria) Title: Variations on the Higman's Lemma Abstract: The Higman's Lemma says that if A is a well-quasi-order, so is the set of finite sequences over A with the order induced by embedding. By considering the structure of the categories of well-founded quasi-orders and well-quasi-orders, another proof of the Lemma will be derived, along with a number of variants, which may be of some interest.

1 0

JAIST Logic Seminar Series (Thursday, 7th July 2016, 15:30-17:00, Ren-June Wang)
by Katsuhiko Sano 01 Jul '16

01 Jul '16

皆様台湾 National Chung Cheng University のRen-June Wangさんの講演会のお知らせです。どうぞふるってご参加ください。問合せ先：佐野勝彦北陸先端科学技術大学院大学情報科学系 e-mail: v-sano(a)jaist.ac.jp ----------------------------------------------------------------- * JAIST Logic Seminar Series * Date: Thursday, 7th July 2016, 15:30-17:00 Place: JAIST, IS school collaboration room 7, 5F (Access: http://www.jaist.ac.jp/english/top/access/index.html) Speaker: Ren-June Wang (Department of Philosophy, National Chung Cheng University) Title: Logical Omniscience and Deductive Rationality Abstract: Epistemic logic as an important tool for reasoning about an intellectual agent’s epistemic states has long suffered from the so-called logical omniscience problem since the beginning of its introduction. The problem indicates an idealized assumption on the part of the agent presented by a formalism of such kind. Although alternative epistemic formalisms have been proposed for dealing with the problem, there is no sight of that the problem is settled. Thus in this talk I will try my hand firstly to give an analysis of the problem, hopefully to pin down the source of the problem, and accordingly provide an advice as to what is the right direction of solving the problem. At the end of the talk I will suggest that what we need is not a formalism with a machinery that can limit what is known by the agent, but one with more powerful expressivity such that the resource that an agent will consume in the course of his/her reasoning, such as the temporal duration, can be explicitly stated. -- Katsuhiko Sano School of Information Science Japan Advanced Institute of Science and Technology IS building No.1 7F, 1-1 Asahidai, Nomi, Ishikawa, 923-1292, Japan

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 28 Jun '16

28 Jun '16

皆様ジェノヴァ大学のEugenio Moggi先生の特別集中講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学系 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * This series of lectures is held as a part of JSPS Core-to-Core Program, A. Advanced Research Networks, and EU FP7 Marie Curie Actions IRSES project CORCON. (http://www.jaist.ac.jp/logic/ja/core2core, https://corcon.net/) Dates: Tuesday 2 August, 2016, 13:30-15:10 Thursday 4 August, 2016, 13:30-15:10 Friday 5 August, 2016, 10:50-12:30 Place: JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Eugenio Moggi (University of Genova) *Tuesday 2 August, 2016, 13:30-15:10* LECTURE 1: Categories of Classes for Collection Types ABSTRACT. Collection types have been proposed by Buneman and others (in the '90) as a way to capture database query languages in a typed setting. In 1998 Manes introduced the notion of collection monad on the category S of sets as a suitable semantics for collection types. The canonical example of collection monad is the finite powerset monad Pf. In order to account for the algorithmic aspects of database languages, the category S is unsuitable, and should be replaced with other categories, whose arrows are maps computable by "low complexity" algorithms. We propose "realizability for DSL" (Domain Specific Languages), where the starting point is a monoid C of endomaps on a set D, instead of a combinatory algebra on D, as a way to get such categories by constructions like the category A[C] of "assemblies". To get Pf in a systematic way we borrow ideas from AST (Algebraic Set Theory, started by Joyal and Moerdijk in the '90), where they fix a notion of "small" map in a category of "classes", and read "small" as "finite". *Thursday 4 August, 2016, 13:30-15:10* LECTURE 2: Hybrid System Trajectories as Partial Continuous Maps ABSTRACT. Hybrid systems (HS) are dynamic systems that exhibit both continuous and discrete dynamic behavior: they can flow (according to a differential equation) and jump (according to a transition relation). HS can be used for modeling rigid body dynamics with impacts, and more generally Cyber-Physical Systems. HS can exhibit Zeno behaviors, that arise naturally in rigid body dynamics with impacts, but are absent from purely discrete or purely continuous systems. Dealing properly with these behaviors is a prerequisite to give sound definitions of concepts such as reachability. We propose the use of partial continuous maps (PCM) as trajectories that describe how a HS evolves over time. PCMs enable a notion of trajectory that can go beyond Zeno points. *Friday 5 August, 2016, 10:50-12:30* LECTURE 3: Models, Over-approximations and Robustness ABSTRACT. Hybrid systems, and related formalisms, have been successfully used to model Cyber- Physical Systems. The usual definition of "reachability", in terms of the reflexive and transitive closure of a transition relation, is unsound for Zeno systems. We propose "safe reachability", which gives an over-approximation of the set of states that are "reachable in finite time" from a set of initial states. Moreover, mathematical models are always a simplification of the system they are meant to describe, and one must be aware of this mismatch, when using these models for system analyses. In safety analysis it is acceptable to use over-approximations of the system behavior, indeed they are the bread and butter of counterexample guided abstraction refinement (CEGAR). We propose a notion of safe (time-bounded) reachability, which is also robust wrt arbitrary small overapproximations, and argue that it is particularly appropriate for safety analysis.

1 0

分科会便りに掲載する情報（７月８日（金）しめきり）
by Toshio Suzuki 17 Jun '16

17 Jun '16

数学基礎論および歴史分科会の皆様　　分科会便りに掲載する情報（７月８日（金）しめきり）お世話になっております．首都大学東京の鈴木登志雄です．評議員からの連絡です．数学通信２１巻２号（８月２２日発送予定）に会報１６２号が掲載されます．その中の分科会便りに掲載希望のお知らせがありましたら，２０１６年７月８日（金）までに，鈴木 toshio-suzuki[atmark]tmu.ac.jp へご連絡ください．編集部に掲載を依頼するかどうかの最終判断は評議員にご一任ください．文章の軽微な修正を評議員・編集部が行う場合がありますのでご了承ください．過去の会報は以下の場所でご覧になれます． http://mathsoc.jp/section/logic_and_history/Tayori.html 話は変わりますが，秋季総合分科会の一般講演申込期間は　　６月２４日（金）までです． http://mathsoc.jp/meeting/kansai16sept/ ６月１７日（金）１７：３０頃の一般講演申込み状況は，仮申込み中のご講演を含めて以下の通りです．歴史４件，基礎論８件，計１２件申込みしてくださった皆様，ありがとうございます．まだ１週間ありますので，まだの方もふるってお申し込みください． -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 08 Jun '16

08 Jun '16

皆様オークランド大学のBakhadyr Khoussainov先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学系 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * Date: Monday 20 June, 2016, 15:20-17:00 Place:JAIST, Collaboration room 7 (I-56) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Bakhadyr Khoussainov (University of Auckland) Title: Computably Enumerable Structures: Domain dependency Abstract: Computably enumerable structures arise naturally in algebra and computer science. In algebra examples include finitely presented universal algebras such as finitely presented groups. In computer science, these are abstract data types defined by equational or quasi-equational specifications. The domains of these algebraic structures are quotient sets of the form $\omega/E$, where $\omega$ is the set of natural numbers and $E$ is a computably enumerable (c.e.) equivalence relations. We consider c.e. structures whose domains are of the form $\omega/E$ and study various properties of these structures and their dependence on the domain $\omega/E$

1 0

東大数理集中講義のお知らせ
by 渡辺純成 24 May '16

24 May '16

基礎論歴史分科会MLの皆様、東京学芸大の渡辺純成です。数学史を主題とする集中講義（東京大数理科学研究科）のお知らせです。人文系の学会などが開かれる時期でもありますが、皆様、お誘い合わせの上、お出で下さい。なお、広くお知らせするために複数のメーリングリストに投稿しておりますが、重複して受け取られた方々にはご海容いただけますと幸いです。 ────2016年 5月24日　渡辺純成 =============== 川原秀城氏（東大文・名誉教授）の集中講義「数学史」が以下の要領で行われます。日程；６月２７日（月）から７月１日（金）まで http://www.ms.u-tokyo.ac.jp/kyoumu/shuchunaiyou.html 時間：毎日、午後３時から午後５時まで場所：東京大学大学院数理科学研究科（駒場）内容：以下の pdf の 12 ページをご覧下さい。 http://www.ms.u-tokyo.ac.jp/kyoumu/docs/I0404.pdf 世話人：河澄響矢（東大数理）kawazumi(a)ms.u-tokyo.ac.jp ===============

1 0

科研費パブリックコメントについて
by Toshio Suzuki 16 May '16

16 May '16

数学基礎論および歴史分科会の皆様連絡責任評議員の鈴木登志雄です。科研費審査システム改革について，文部科学省がパブリックコメントを募集しており，その期限が５月２１日必着となっております。パブコメ投稿に興味があるがまだしていないという方はぜひ，文部科学省のウェブサイトをご覧ください。ネット投稿フォーム，郵送，ＦＡＸのいずれの手段によっても投稿できます。「科学研究費助成事業（科研費）審査システム改革2018」に関する意見募集について意見提出フォームのあるウェブサイト（受付期間5月21日（土曜日）必着） http://www.mext.go.jp/a_menu/shinkou/hojyo/1370040.htm 審査区分表案などの資料については，以下をご覧ください。「科学研究費助成事業（科研費）審査システム改革2018」に関する意見募集について（一括ダウンロード用） http://www.mext.go.jp/a_menu/shinkou/hojyo/1370049.htm 上記資料内の案では，数学が代数，幾何，基礎解析，数理解析および以下二つ，合計６の小区分に分けられています。小区分12030 〔数学基礎および統計関連〕数学基礎論、情報理論、離散数学、ゲーム理論、統計数学、数学基礎一般小区分12040 〔応用数学関連〕数値解析、数理モデル、最適制御、計算機数学、応用数学一般この件について，連絡責任評議員にご提案・ご相談のある方は，至急，ご連絡ください。 -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

リマインド：シンポジウム・研究集会記録の原稿
by Toshio Suzuki 13 May '16

13 May '16

数学基礎論および歴史分科会の皆様　　　リマインド：シンポジウム・研究集会記録の原稿鈴木登志雄です．３月１日に配信した「シンポジウム・研究集会記録の原稿」募集についての念押しです．分科会のみなさんから私への締め切りが本日になっています．該当する集会をご存じでしたらお知らせください．なお，私から雑誌‘数学’編集部に報告する段階と，編集部内で検討する段階で，掲載すべきかどうかの判断をします．ご報告いただいた集会が必ずしも掲載されるとは限りませんので，ご了承願います．以下，３月１日に配信したおしらせ主要部の再掲です． %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% さて，毎年恒例のことですが，雑誌‘数学’の編集長から，シンポジウム・研究集会記録の原稿について問い合わせがあります．年度ごとの記録を一覧表にして‘数学’６８巻４号に掲載する予定です．以下の条件に当てはまる研究集会・シンポジウムを主催された方は，お手数ですが５月１３日（金）までに，鈴木登志雄 toshio-suzuki[atmark]tmu.ac.jp までおしらせください． ------ 期間： 2015年4月1日から2016年3月31日までに開催されたもの付帯条件： 20人以上の集会，または(20人以下でも)報告集のある集会．ただし，京大数理研の共同利用研究計画に掲載されたものは除きます．（条件にあてはまるか迷う場合：とりあえずおしらせいただければ幸いです．当方で，編集部に報告するかどうか判断します．）２．名称(主題) 主催者と所属(所属は大学等の略称のみで，学部名は不要) 開催場所開催時期報告集の有無　有で入手可能な場合に連絡先となる方のお名前と所属 ------ ６７巻４号（２０１５年１０月）p.428-447 と６７巻２号（２０１５年４月）p.222-224 のそれぞれに，条件にあてはまる集会・あてはまらない集会（RIMS関係）の昨年度版があります．それでは，よろしくおねがいします． %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

リマインド：秋季総合分科会講演申込み
by Toshio Suzuki 11 May '16

11 May '16

数学基礎論および歴史分科会の皆様　　リマインド：秋季総合分科会講演申込みお世話になっております．首都大学東京の鈴木登志雄です．評議員からの念押しです． 2016年度秋季総合分科会は2016年9月15日（木）から18日（日），関西大学で開催されます．一般講演申込期間は　　6月3日（金）から6月24日（金）です．皆様の積極的な講演申込を期待しております．秋季総合分科会のウェブサイト： http://mathsoc.jp/meeting/kansai16sept/ -- 鈴木登志雄首都大学東京理工学研究科数理情報科学専攻 toshio-suzuki(a)tmu.ac.jp

1 0

日本数学会各賞推薦について
by Makoto Kikuchi 25 Apr '16

25 Apr '16

数学基礎論および歴史分科会の皆様 2016年3月より評議員（受賞候補推薦委員）を仰せつかっている神戸大の菊池です．よろしくお願いします．ご存知のように日本数学会には研究者（グループ）を表彰する賞として，建部賢弘賞，春季賞，秋季賞があります．建部賢弘賞は30歳以下を対象とする奨励賞（5名程度）と 35歳以下を対象とする特別賞（3名程度）があり，自薦，他薦，受賞候補推薦委員による推薦に基づいて選考されます．今年は5月31日に募集が締め切られます．春季賞は弥永賞を前身とし，40歳未満を対象として秋に募集があります．秋季賞は年齢制限がなく，研究者または研究グループを対象として春に募集があります．春季賞，秋季賞は評議員，受賞候補推薦委員などの推薦に基づいて選考されます．現在，数学会から秋季賞の推薦に関わる問い合わせが来ています．数学基礎論および歴史に関して，秋季賞にふさわしい研究者または研究グループがあるとお考えの方がいらっしゃれば， 5月中旬までを目処になるべく早く，菊池までご連絡ください．なお，建部賢弘賞は自薦，他薦が可能であり，推薦にあたっては受賞候補推薦委員の推薦や了解は必要ありませんが，もしも推薦される方があれば，菊池までご一報いただければ幸いです．また，建部賢弘賞に受賞候補推薦委員を通して推薦をご希望の方があれば，５月中旬までを目処になるべく早く，菊池までご連絡ください．菊池誠 -- 以下，評議員（鈴木登志雄＋菊池誠）からのお知らせです．日本数学会の2016年度秋季総合分科会は2016年9月15日（木）から18日（日）まで，関西大学で開催されます．一般講演申込締切は2016年6月24日（金）の予定です．講演申込を積極的にご検討くださるよう，よろしくお願いします．菊池誠

1 0

数学基礎論若手の会2016のご案内
by Kenshi Miyabe 22 Apr '16

22 Apr '16

（重複して受け取られた場合はご容赦ください）皆様，明治大学の宮部賢志です． 2016年度の数学基礎論若手の会の幹事をさせていただきます．日程と場所だけ決めましたので，お知らせいたします． ===== 数学基礎論若手の会2016 日時：2016年10月21日(金)午後〜23日(日)午前場所：明治大学清里セミナーハウス住所：〒407-0301 山梨県北杜市高根町清里3545-1 数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．詳細は以下のウェブサイトをごらんください． http://kenshi.miyabe.name/wakate2016/ 講演および参加の募集は9月頃にもう一度案内いたします． ===== 宮部 -- Kenshi Miyabe email (research) : research(a)kenshi.miyabe.name email (other) : miyabe(a)meiji.ac.jp Senior Assistant Professor Department of Mathematics School of Science and Technology Meiji University Tel: +81-44-934-7460

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml