Kisoron-ml August 2015

3 participants
6 discussions

JAIST Logic Seminar Series
by Hajime Ishihara 05 Sep '15

05 Sep '15

皆様ジーゲン大学のDieter Spreen先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学研究科 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * This seminar is held as a part of JSPS Core-to-Core Program, A. Advanced Research Networks, and EU FP7 Marie Curie Actions IRSES project COMPUTAL (http://computal.uni-trier.de/). Date: Thursday 7 May, 2015, 13:30-15:00 Place: JAIST, Collaboration room 6 (I-57g) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Dieter Spreen (University of Siegen) Title: Digit Spaces - Topological Foundations Abstract: Digit spaces have been introduced by Ulrich Berger as a framework for extracting programs that deal with continuous data from formal proofs. The essential idea was to represent objects as streams of unary contractions on a complete metric space and to use coinduction on the logical side. In recent joint work on an extension of this approach to hyperspaces like the space of nonempty compact subsets of a digit space, it turned out that compact cannot be represented by such streams in general: instead one has to deal with infinite trees the nodes of which are labeled by contraction similar to the stream case. It was realized, however, that one will obtain a uniform theory, if the contractions, also called digits, are allowed to be multi-ary.

2 2

Fwd: [org-logic: 00255]2015年度秋季「数学連携ワークショップ」開催日時変更
by ikeda＠hosei.ac.jp 26 Aug '15

26 Aug '15

数学基礎論および歴史分科会　会員の皆様，以下のメールが日本数学会事務局よりありましたので転送いたします．池田宏一郎（数学基礎論および歴史分科会　連絡責任評議員） ----- Original Message ----- 件名: [org-logic: 00255]2015年度秋季「数学連携ワークショップ」開催日時変更送信者: "Shomu-MSJ" <shomu-msj(a)carrot.ocn.ne.jp> 送信日時: 2015年08月25日(火) 11:21:25 宛先: org-logic-2015(a)mathsoc.jp > 日本数学会 > 各分科会評議員および無限可積分系セッション責任者各位 > > 拝啓 > > 平素より日本数学会の運営にご協力を賜りありがとうございます． > > 次回の秋季総合分科会プログラム（於：京都産業大学） > > 数学連携ワークショップ > ---金融・経済学に使われる数学--- > > の開催日時について変更がありましたので，至急評議員の皆様にお知らせする > 次第です． > > 変更前：9月13日（日）9:30-12:00 > > 変更後：9月14日（月）9:30-12:00 > > 詳細は > http://mathsoc.jp/meeting/kyoto-sangyo15sept/renkeiWS.html > をご覧ください． > 数学通信添付のプログラム冊子の6ページの記載の変更です． > > つきましては，各分科会および無限可積分系セッションのメーリングリストに > 変更のお知らせを評議員の先生方から > 送信・通知して頂きたくお願い申し上げます． > その際，下記の文案をご参照頂ければ幸いです． > 不手際で申し訳ありませんが， > 各評議員の先生方のご理解とご協力を賜りたく，何卒よろしく御願い申し > 上げます． > > 敬具 > > 日本数学会・学会担当理事 > 小薗英雄 > 早稲田大学理工学術院基幹理工学部数学科 > e-mail:[email protected] > ---------------------------------------------------------------------- --------------------------------- > > .....分科会メーリングリストの皆様 > > 拝啓 > > 時下益々ご清祥のこととお喜び申し上げます． > > 数学会から次回の秋季総合分科会プログラム > > ”数学連携ワークショップ” > ---金融・経済学に使われる数学--- > > の開催日時の変更を周知する様に依頼がありましたので，分科会の皆様に > お知らせいたします． > > 変更前：9月13日（日）9:30-12:00 > > 変更後：9月14日（月）9:30-12:00 > > となりましたので，ご注意願います． > 確認のため，変更後の最新情報を以下に再掲載いたします． > > 数学連携ワークショップ > ---金融・経済学に使われる数学--- > 日時：9月14日（月）9:30-12:00 > ※「数学通信」に添付しましたプログラムから日時が変更になりましたので > ご注意ください。 > > 会場：京都産業大学11号館4階11403教室 > 主催：文部科学省、統計数理研究所「数学協働プログラム > 共催：日本数学会 > プログラム：準備中 > http://mathsoc.jp/meeting/kyoto-sangyo15sept/renkeiWS.html > > 分科会の皆様におかれましては，お間違えのないよう御願い申し上げます． > > 敬具 > > ・・・・分科会評議員 > >

1 0

企画特別講演、分科会特別講演について
by ikeda＠hosei.ac.jp 21 Aug '15

21 Aug '15

数学基礎論および歴史分科会会員の皆様，連絡責任評議員の池田です．秋の学会（２０１５年９月１３日−１６日，京都産業大学）のプログラムが確定しましたので、お知らせいたします。 http://mathsoc.jp/meeting/kyoto-sangyo15sept/program/ なお，秋の学会では，本分科会に関連する特別講演として、・企画特別講演（９月１５日１３：００−１４：００）　菊池誠氏（神戸大）不完全性定理：形式化された数学の限界と可能性・分科会特別講演（９月１５日１６：１５−１７：１５）　根元多佳子氏（北陸先端大）二階算術における無限ゲームの決定性　　　　　　の２講演が予定されています。どうぞ奮ってご参加ください。池田宏一郎（連絡責任評議員，法政大学）

1 0

JAIST Logic Seminar Series
by Hajime Ishihara 20 Aug '15

20 Aug '15

皆様トリア大学のNorbert Mueller先生の講演のお知らせです。どうぞふるってご参加ください。問合せ先：石原　哉北陸先端科学技術大学院大学情報科学研究科 e-mail: ishihara(a)jaist.ac.jp ----------------------------------------------- * JAIST Logic Seminar Series * * This seminar is held as a part of JSPS Core-to-Core Program, A. Advanced Research Networks, and EU FP7 Marie Curie Actions IRSES project COMPUTAL (http://computal.uni-trier.de/). Date: Tuesday 25 August, 2015, 15:10-16:40 Place: JAIST, Collaboration room 6 (I-57g) (Access: http://www.jaist.ac.jp/english/location/access.html) Speaker: Norbert Mueller (University of Trier) Title: Real numbers and computers Abstract: Sometimes, people think that computers could compute correctly. Unfortunately, this is not true in general: Overflows, underflows, rounding errors and truncation errors can lead to grossly wrong results, even if the used algorithm is implemented with care. This can often be traced down to use of "double precision numbers" as a replacement for the "real numbers". In the talk we present how a computer can compute more precisely or even "exact", just using basic concepts of object-oriented programming. Additionally, we present some of the basic ideas that are used to get an efficient implementation of exact real arithmetic.

1 0

CTFM 2015 Call for Participation
by YOKOYAMA Keita 19 Aug '15

19 Aug '15

皆様、北陸先端大の横山です。参加登録期限が近づきましたので、研究集会 Computability Theory and Foundations of Mathematics 2015 (2015年9月7日(月)～9月11日(金)，東京工業大学大岡山キャンパス) の情報を再送致します。なお、研究集会のプログラムが http://www.jaist.ac.jp/CTFM/CTFM2015/timetable.html にアップされております。横山啓太 ---------- Forwarded message ---------- 皆様、北陸先端大の横山です。以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2015 (2015年9月7日(月)～9月11日(金)，東京工業大学大岡山キャンパス) を開催いたします．詳しい情報については、下記のホームページをご覧ください。 http://www.jaist.ac.jp/CTFM/CTFM2015/index.html 本研究集会では、田中一之先生の還暦を記念して、田中先生の研究にちなんだセッションも行う予定です。現在、参加登録を受付中です。参加登録の締め切りは8月21日となります。宜しくご参加をご検討ください。 ============================================================ Computability Theory and Foundations of Mathematics (Tokyo Institute of Technology, Tokyo, Japan, September 7-11, 2015) http://www.jaist.ac.jp/CTFM/CTFM2015/index.html ============================================================ 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. In honor of Professor Kazuyuki Tanaka's 60th birthday, this year's conference will include sessions covering areas in which Professor Tanaka has worked. This conference is held jointly with a workshop of Bilateral Joint Research Project sponsored by the Japan Society for the Promotion of Science and the National University of Singapore. See the previous workshop on this project JSPS-NUS Joint Workshop in Mathematical Logic and Foundations of Mathematics (March 6 - 8, 2015, Kanazawa, Japan). This is the fifth conference of CTFM conference series. See also the last year conference Computability Theory and Foundations of Mathematics 2014 (February 17 - 20, 2014, Tokyo, Japan). -------------------------------------------- Invited Speakers Ali Enayat (University of Gothenburg) Sy Friedman (Kurt Gödel Research Center) Leszek Kołodziejczyk (University of Warsaw) Alberto Marcone (The University of Udine) Nik Weaver (Washington University) Stephen Binns (King Fahd University of Petroleum and Minerals) Keng Meng Ng (Nanyang Technological University) Guohua Wu (Nanyang Technological University) Liang Yu (Nanjing University) Sakae Fuchino (Kobe University) Joel Hamkins (City University of New York) Dilip Raghavan (National University of Singapore) Hiroshi Sakai (Kobe University) Walter Dean (University of Warwick) Hidenori Kurokawa (Kobe University) Kengo Okamoto (Tokyo Metropolitan University) Toshio Suzuki (Tokyo Metropolitan University) Tin Lok Wong (Kurt Gödel Research Center) Keisuke Yoshii (Okinawa National College of Technology) -------------------------------------------- Programme Committee Chi Tat Chong (National University of Singapore, co-chair) Kojiro Higuchi (Chiba University) Makoto Kikuchi (Kobe University) Takako Nemoto (JAIST) Stephen G. Simpson (Pennsylvania State University, co-chair) Toshimichi Usuba (Kobe University) Andreas Weiermann (Ghent University) Takeshi Yamazaki (Tohoku Universigy) Yang Yue (National University of Singapore) Keita Yokoyama (JAIST / UC Berkeley) -------------------------------------------- Organising Committee Makoto Fujiwara (JAIST) Ryo Kashima (Tokyo Institute of Technology, local chair) Takayuki Kihara (UC Berkeley) Takako Nemoto (JAIST) Florian Pelupessy (Tohoku University) Takeshi Yamazaki (Tohoku University, co-chair) Keita Yokoyama (JAIST / UC Berkeley, co-chair) -------------------------------------------- どうぞよろしくお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

CTFM 2015 Call for Participation
by YOKOYAMA Keita 03 Aug '15

03 Aug '15

皆様、北陸先端大の横山です。以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2015 (2015年9月7日(月)～9月11日(金)，東京工業大学大岡山キャンパス) を開催いたします．詳しい情報については、下記のホームページをご覧ください。 http://www.jaist.ac.jp/CTFM/CTFM2015/index.html 本研究集会では、田中一之先生の還暦を記念して、田中先生の研究にちなんだセッションも行う予定です。現在、参加登録を受付中です。参加登録の締め切りは8月21日となります。宜しくご参加をご検討ください。 ============================================================ Computability Theory and Foundations of Mathematics (Tokyo Institute of Technology, Tokyo, Japan, September 7-11, 2015) http://www.jaist.ac.jp/CTFM/CTFM2015/index.html ============================================================ 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. In honor of Professor Kazuyuki Tanaka's 60th birthday, this year's conference will include sessions covering areas in which Professor Tanaka has worked. This conference is held jointly with a workshop of Bilateral Joint Research Project sponsored by the Japan Society for the Promotion of Science and the National University of Singapore. See the previous workshop on this project JSPS-NUS Joint Workshop in Mathematical Logic and Foundations of Mathematics (March 6 - 8, 2015, Kanazawa, Japan). This is the fifth conference of CTFM conference series. See also the last year conference Computability Theory and Foundations of Mathematics 2014 (February 17 - 20, 2014, Tokyo, Japan). -------------------------------------------- Invited Speakers Ali Enayat (University of Gothenburg) Sy Friedman (Kurt Gödel Research Center) Leszek Kołodziejczyk (University of Warsaw) Alberto Marcone (The University of Udine) Nik Weaver (Washington University) Stephen Binns (King Fahd University of Petroleum and Minerals) Keng Meng Ng (Nanyang Technological University) Guohua Wu (Nanyang Technological University) Liang Yu (Nanjing University) Sakae Fuchino (Kobe University) Joel Hamkins (City University of New York) Dilip Raghavan (National University of Singapore) Hiroshi Sakai (Kobe University) Walter Dean (University of Warwick) Hidenori Kurokawa (Kobe University) Kengo Okamoto (Tokyo Metropolitan University) Toshio Suzuki (Tokyo Metropolitan University) Tin Lok Wong (Kurt Gödel Research Center) Keisuke Yoshii (Okinawa National College of Technology) -------------------------------------------- Programme Committee Chi Tat Chong (National University of Singapore, co-chair) Kojiro Higuchi (Chiba University) Makoto Kikuchi (Kobe University) Takako Nemoto (JAIST) Stephen G. Simpson (Pennsylvania State University, co-chair) Toshimichi Usuba (Kobe University) Andreas Weiermann (Ghent University) Takeshi Yamazaki (Tohoku Universigy) Yang Yue (National University of Singapore) Keita Yokoyama (JAIST / UC Berkeley) -------------------------------------------- Organising Committee Makoto Fujiwara (JAIST) Ryo Kashima (Tokyo Institute of Technology, local chair) Takayuki Kihara (UC Berkeley) Takako Nemoto (JAIST) Florian Pelupessy (Tohoku University) Takeshi Yamazaki (Tohoku University, co-chair) Keita Yokoyama (JAIST / UC Berkeley, co-chair) -------------------------------------------- どうぞよろしくお願い致します。横山啓太 -- Keita Yokoyama y-keita(a)jaist.ac.jp

1 0

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml August 2015