Kisoron-ml

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

599 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:kozono@waseda.jp > ---------------------------------------------------------------------- --------------------------------- > > .....分科会メーリングリストの皆様 > > 拝啓 > > 時下益々ご清祥のこととお喜び申し上げます． > > 数学会から次回の秋季総合分科会プログラム > > ”数学連携ワークショップ” > ---金融・経済学に使われる数学--- > > の開催日時の変更を周知する様に依頼がありましたので，分科会の皆様に > お知らせいたします． > > 変更前：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

秋の学会（京都産業大学）に関する連絡
by ikeda＠hosei.ac.jp 27 Jun '15

27 Jun '15

数学基礎論および歴史分科会会員の皆様，連絡責任評議員の池田です．今回は多くの方々に秋の学会（２０１５年９月１３日−１６日，京都産業大学）の一般講演にお申込みいただきありがとうございました．なお，秋の学会では，本分科会に関連する特別講演として，・企画特別講演：菊池誠氏（神戸大学）・分科会特別講演：根元多佳子氏（北陸先端科学技術大学院大学）を予定しております．日程・題目など詳細がわかり次第，追ってご連絡いたします．どうぞ奮ってご参加ください．池田宏一郎（連絡責任評議員，法政大学）

1 0

CTFM2015 Call for abstracts
by YOKOYAMA Keita 20 Jun '15

20 Jun '15

皆様、北陸先端大の横山です。締め切りが近づきましたので、下記の研究集会の情報を再送致します。横山啓太 ---------- Forwarded message ---------- From: YOKOYAMA Keita <y-keita(a)jaist.ac.jp> Date: 2015-05-14 22:49 GMT-07:00 Subject: Fwd: CTFM2015 Call for abstracts To: logic-ml(a)fos.kuis.kyoto-u.ac.jp, kisoron-ml(a)fos.kuis.kyoto-u.ac.jp ****************************** 以下の要領で研究集会 Computability Theory and Foundations of Mathematics 2015 (2015年9月7日(月)～9月11日(金)，東京工業大学大岡山キャンパス) を開催いたします．詳しい情報については、下記のホームページをご覧ください。 http://www.jaist.ac.jp/CTFM/CTFM2015/index.html 講演の募集の締め切りは6月15日となっております。また、講演受理の連絡は6月25日までにお送りする予定です。宜しく参加・講演をご検討ください。 ============================================================ 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). -------------------------------------------- Submission deadline for Presentations: June 15, 2015 -------------------------------------------- Invited Speakers Ali Enayat (University of Gothenburg) Sy Friedman (Kurt Gödel Research Center) Alberto Marcone (The University of Udine) Nik Weaver (Washington University) Guohua Wu (Nanyang Technological University) Stephen Binns (King Fahd University of Petroleum and Minerals) Liang Yu (Nanjing University) Sakae Fuchino (Kobe University) Joel Hamkins (City University of New York) Dilip Raghavan (National University of Singapore) Hidenori Kurokawa (Kobe University) Kengo Okamoto (Tokyo Metropolitan University) Toshio Suzuki (Tokyo Metropolitan University) Tin Lok Wong (Kurt Gödel Research Center) -------------------------------------------- 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 1

秋の数学会一般講演申込みの件
by ikeda＠hosei.ac.jp 15 Jun '15

15 Jun '15

数学基礎論および歴史分科会　会員の皆様，連絡責任評議員の池田です．秋の学会（2015年9月13日-9月16日，京都産業大学）の一般講演申込みの件です．まもなくオンライン申し込み締切日（6月19日）となりますが，まだ講演申込み人数がかなり少ない状況です．多くの方々に発表をしていただけると幸いです．よろしくお願いいたします． https://app.mathsoc.jp/ 池田宏一郎（分科会連絡責任評議員，法政大学）

1 0

CCA 2015 と併設ワークショップの御案内
by Akitoshi Kawamura 06 Jun '15

06 Jun '15

皆様計算可能解析学の国際会議　　Twelfth International Conference on Computability and Complexity in Analysis (CCA 2015) 　　平成27年7月12～15日　明治大学駿河台キャンパス（東京都千代田区）　　http://cca-net.de/cca2015/ の参加登録を受付けておりますので御案内申し上げます。 http://www.graco.c.u-tokyo.ac.jp/~kawamura/cca2015-local/ こちらのページより御登録下さい（参加費12000円（懇親会ナシの場合2000円）は当日受付にてお支払い下さい）。早期・晩期の参加費の違いは設けておりませんが、準備の都合上なるべく早めに登録頂けますと幸いです。特に懇親会参加の場合は今月中の御登録をお願い致します。初日である7月12日（日）には　　日独ワークショップ「実数計算の理論と実際」を開催します。こちらは計算理論と数値計算の協働的発展を目指し、双方の専門家が基礎から最近の話題まで紹介するワークショップで、この日だけなら参加無料・申込不要です。詳しくは上記ウェブページを御覧下さい。皆様の御参加をお待ち申し上げます。 -- 河村彰星東京大学大学院総合文化研究科広域科学専攻広域システム科学系 2015-02-03 11:39 GMT+09:00 Hajime Ishihara <ishihara(a)jaist.ac.jp>: > First Call for Papers: > > Twelfth International Conference on > > Computability and Complexity in Analysis (CCA 2015) > http://cca-net.de/cca2015/ > > July 12-15, 2015, Tokyo, JAPAN > > ______________________________________________________________ > > > Scientific Program Committee > > * Andrej Bauer (Ljubljana, Slovenia) > * Stephen A. Cook (Toronto, Canada) > * Guido Gherardi (Munich, Germany) > * Daniel Graça (Faro, Portugal) > * Hajime Ishihara (Ishikawa, Japan) > * Ker-I Ko (Hsinchu, Taiwan) > * Timothy McNicholl (Ames, USA) > * André Nies (Auckland, New Zealand) > * Mariko Yasugi (Kyoto, Japan) > * Martin Ziegler, chair (Darmstadt, Germany) > > > Organizing Committee > > * Naohi Eguchi (Chiba University, Japan) > * Kojiro Higuchi (Chiba University, Japan) > * Akitoshi Kawamura, chair (University of Tokyo, Japan) > * Kenshi Miyabe (Meiji University, Japan) > * Ryuhei Mori (Tokyo Institute of Technology, Japan) > * Hideki Tsuiki (Kyoto University, Japan) > > > Submissions > > Authors are invited to submit 1-2 pages abstracts in PDF format > by March 31st via https://easychair.org/conferences/?conf=cca2015 > > > Conference Web Page > > http://cca-net.de/cca2015/ > > > > _______________________________________________ > Kisoron-ml mailing list > Kisoron-ml(a)fos.kuis.kyoto-u.ac.jp > http://www.fos.kuis.kyoto-u.ac.jp/cgi-bin/mailman/listinfo/kisoron-ml

1 0

← Newer
1
...
38
39
40
41
42
43
44
...
60
Older →

Jump to page:

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml