Kisoron-ml September 2016

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

6 participants
7 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

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml September 2016