PSSJ Symposium - Logic-ml - fos.kuis.kyoto-u.ac.jp

16 Oct 2014


      各位
科学哲学会シンポジウムの宣伝を致します。
シンポジウム「数学を巡る思索」
日時：11月15日（土）14:15〜16:45
会場：南山大学名古屋キャンパスＢ棟B11教室
ウェブ：http://pssj.info/program/program.html
会費が1000円掛かります。
論理学の観点からは、
野本和幸氏のデデキントの数概念に関する講演があります。
数学としての話はありません。
計算機科学としては、蓮尾さんに会えます。
産総研
竹内泉
[email protected]