Kisoron-ml

kisoron-ml@fos.kuis.kyoto-u.ac.jp

599 discussions

日本数学会春季賞推薦について
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

← Newer
1
...
33
34
35
36
37
38
39
...
60
Older →

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml