Kisoron-ml January 2011

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

2 participants
2 discussions

(no subject)
by Kazuma Ikeda 30 Jan '11

30 Jan '11

数学基礎論および歴史分科会の皆様本橋先生からのご依頼により投稿いたします．下記URLに本橋先生が最近お書きになられた「形式論理学の誤謬」がございます．よろしくお願いいたします． https://docs.google.com/document/d/13pLLH81Jo7kbvFiPWupR7oY7GUtw7zhbYvHSatA… 本橋先生はメールをご利用されていないようですので，コメントご質問などは私までお送り頂ければ，プリントアウトして本橋先生に郵送致します．　　　　　　　　　　　　　　　　　　　　　　　　聖徳大学　　　　　　　　　　　　　　　　　　　　　　　　池田一磨 -- Kazuma Ikeda <ikedak(a)seitoku.ac.jp>

1 0

「計算による数理科学の展開 2011」のお知らせ
by SAKAI Hiroshi 04 Jan '11

04 Jan '11

皆様：神戸大学の酒井拓史と申します．神戸大学で開催される研究集会「計算による数理科学の展開 2011」のお知らせをさせていただきます：計算による数理科学の展開 2011 日時：１月７日(金)〜８日(土) 場所：神戸大学理学部 B428 教室 Web page： http://www.math.kobe-u.ac.jp/cm/koen/2011-01-07.html この研究集会は，"計算の理論と実践", "計算による発見と検証" をキーワードに, 招待講演者の講演を中心として年に一度開催されます．今年は，京都大学の佐藤雅彦先生が招待講演者の一人になっておられ，７日(金)の午後2時40分から "Formalization of Mathematics" と題してご講演をされます．ご興味をお持ちの方は是非お越しください． ----------------------------------- 酒井拓史神戸大学大学院システム情報学研究科講師 e-mail: hsakai(a)people.kobe-u.ac.jp tel: 078-803-6242 -----------------------------------

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

Kisoron-ml January 2011