Kisoron-ml September 2013

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

3 participants
5 discussions

JAIST Logic Seminar Series
by Hajime Ishihara 26 Oct '13

26 Oct '13

皆様リュブリャナ大学のAndrej Bauer教授の講演のお知らせです。ふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学研究科 e-mail: ishihara(a)jaist.ac.jp -------------------------------------------------- * JAIST Logic Seminar Series * * This seminar is held as a part of the EU FP7 Marie Curie Actions IRSES project COMPUTAL (http://computal.uni-trier.de/). Date: Friday 20 September, 2013, 15:00-17:00 Place: JAIST, Collaboration room 6 (I-57g) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Professor Andrej Bauer (University of Ljubljana, Slovenia) Title: A higher inductive construction of the real numbers Abstract: Homotopy type theory [1] is a foundation of mathematics based on Martin-Löf type theory extended with the Univalence axiom and higher inductive types. The latter allow us to present mathematical objects as inductive types generated by point and path constructors. For instance, the circle is represented by a type with a point and a loop satisfying the "circle induction" principle. In the first part I shall review higher inductive types. In the second part of the talk I shall look at a higher inductive construction of real numbers. Ordinary higher inductive types do not seem to suffice -- instead we have to use a higher inductive-inductive definition which simultaneously constructs the reals and a proximity relation on them. We thus obtain a type of real numbers which satisfies a principle of "real induction". We can prove properties of reals by induction! From a logical point of view the construction is interesting because it avoids the axiom of choice, impredicativity (powersets), and excluded middle. Nevertheless, the resulting theory still allows us to develop the basics of real analysis as usual. The work described in the talk is joint work of the members of the Univalent foundations project [2]. References: [1] Univalent Foundations Project: "Homotopy type theory: Univalent foundations of Mathematics", http://homotopytypetheory.org/book/ [2] Univalent Foundations Project, Institute for Advanced Study, Princeton, http://www.math.ias.edu/sp/univalent -- Professor Hajime Ishihara School of Information Science Japan Advanced Institute of Science and Technology 1-1 Asahidai, Nomi, Ishikawa 923-1292, Japan Tel: +81-761-51-1206 Fax: +81-761-51-1149 ishihara(a)jaist.ac.jp http://www.jaist.ac.jp/~ishihara

1 2

再送：数学基礎論若手の会（11月15日-11月17日）のご案内
by Yoshihito Tanaka 30 Sep '13

30 Sep '13

（重複して受け取られた場合はご容赦ください）再送：数学基礎論若手の会2013のご案内数学基礎論若手の会は，数学基礎論を専攻する学生および若手研究者の研究交流を目的とする合宿形式の研究集会です．講演はオリジナルの成果発表に限らず，研究の途中報告や研究内容の紹介など幅広く募集しています．また，これから数学基礎論を勉強したいと思っている方のご参加も歓迎します．多くの方のご参加・ご講演をお待ちしています．数学基礎論若手の会2013開催要領日時：2013年11月15日（金） - 2013年11月17日（日）講演会場：九州産業大学2号館2E406 宿泊：九州産業大学立花寮1階立花研修所幹事：田中義人（九州産業大学） E-mail：ytanaka(a)ip.kyusan-u.ac.jp 数学基礎論若手の会2013ホームページ： http://www.ip.kyusan-u.ac.jp/J/ms/event/wakate13/notice.html 九州産業大学立花研修所：宿泊料金：1人1泊2415円，1人2泊4725円食事料金：朝食1食250円，夕食1食400円宿泊設備（4人部屋×10室）：2人掛け机2台，椅子4脚，2段ベッド2組　　　　（1人部屋× 3室）：机1台，椅子1脚，ベッド，バス，トイレ共有スペース：シャワー室，トイレ，洗面所，コインランドリー門限 22:30，消灯 23:00 研修所内での飲酒・喫煙はご遠慮願います．退所の際は，宿泊室，シャワー室，トイレ，談話室等の清掃をお願いします． ※ 宿泊や食事を伴わない参加も歓迎します． ※ 親睦会等の会費は別途いただく予定です． ※ 部屋割りに関しては，幹事にご一任ください．参加申し込み：参加をご希望の方は，下記に必要事項をご記載の上，幹事宛に電子メールでお申し込みください．締切：2013年10月27日 ---------------------------------------------------------------- 数学基礎論若手の会参加申し込みフォーム氏名：所属機関：職名/学年：講演について：講演：する / しない講演題目：立花研修所の宿泊・食事について宿泊：要 / 不要宿泊を希望する場合： 15日 / 16日食事：要 / 不要食事を希望する場合： 15日（夕） / 16日（朝・夕） / 17日（朝） ----------------------------------------------------------------

1 0

分科会会員への連絡
by KASHIMA Ryo 30 Sep '13

30 Sep '13

日本数学会数学基礎論および歴史分科会会員の皆様、分科会連絡責任評議員の鹿島です。先日の愛媛大学での分科会総会の内容からいくつかお知らせします。（１）当分科会では大会アブストラクトを数学会会員向けに事前公開していますが、さらに　　2010年秋の学会以降のアブストラクトを事後公開するということが数学会全体で近日中に始まります。これについて公開範囲（非公開・会員向け公開・外部一般公開）を分科会で選べるのですが、当分科会としては事前公開と同じく　　数学会会員向けに公開としたいと思います。ご意見のある方は鹿島までお知らせください。（２）来年度分科会選出評議員候補は次の２名になります　（新規）池田宏一郎さん　（２年目）塩谷真弘さん（３）今回募集中の科研費から時限付きの特設分野研究「連携探索型数理科学」が新設されたので積極的に申請してほしい、という要請が理事からありました。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 1

数学会秋季総合分科会（於愛媛大学）
by KASHIMA Ryo 09 Sep '13

09 Sep '13

日本数学会数学基礎論および歴史分科会会員の皆様、分科会連絡責任評議員の鹿島です。２週間後に愛媛大学にて秋の学会が開催されますので奮ってご参加ください。（１）前回に引き続きアブストラクト集のPDFファイルを事前公開します（明日10日(火)から）。詳細は数学会ホームページ内の案内： http://mathsoc.jp/meeting/ehime13sept/abstract.html をご覧下さい。（２）上記に伴いアブストラクト集冊子の販売部数を少なくしますのでご注意ください。 PDFファイルをダウンロードして持参可能な方はなるべくお願いいたします。（３）分科会総会（27日(金)11時半）に皆様ぜひご出席ください。歴史部門関係の方は歴史部門懇談会（26日(木)11時）にもご出席ください。（４）分科会特別講演は　26日(木)：小林龍彦先生「関孝和,建部賢弘,そして中根元圭」　27日(金)：池田宏一郎先生「ジェネリック構造について」となっています。さらに分科会推薦による企画特別講演は　27日(金)：蓮尾一郎先生「超準解析による物理情報システムの形式検証ー離散から連続・ハイブリッドへ」となっています。どうぞご出席ください。 ----- 鹿島亮東京工業大学大学院情報理工学研究科数理・計算科学専攻 kashima(a)is.titech.ac.jp

1 0

再送：数学基礎論若手の会（11月15日-11月17日）のご案内
by Yoshihito Tanaka 01 Sep '13

01 Sep '13

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml September 2013