開催日：2018年12月19日（水）

会場：東京都八王子市南大沢1-1　 首都大学東京南大沢キャンパス　6号館209

　下記の通り、来る12月19日（水）首都大学東京南大沢キャンパスで、佐藤雅彦先生の講演会を開催します。それに先立ち、竹内泉氏も講演して下さいます。また、さらに先立つ付随イベントとして、論理学・数学の哲学研究会も開催します。すべて参加は自由です。どうぞ奮ってご来場ください。

 

佐藤雅彦氏講演会

首都大学東京論理学・数学の哲学研究会

14：30-15:50 首都大学東京　論理学・数学の哲学研究会

14:30-個人発表  直観主義論理の線形論理への埋め込み－後件複数系を用いて

首都大学東京　　山﨑紗紀子

15:10-個人発表 概念系の数学的構造について：FCAとその周辺の研究から

首都大学東京　浅野将秀

 

16:00-18:00  佐藤雅彦氏講演会

16:00-基調講演  数学と変数

産業技術総合研究所　竹内泉

 

16:40-講演   Unification of the Lambda-Calculus and Combinatory Logic

京都大学名誉教授　佐藤雅彦

****************************************

日時　  平成30年 12月 19日（水） 14:30~18:00

会場　　東京都八王子市南大沢1-1　

首都大学東京南大沢キャンパス　6号館209

問い合わせ　岡本賢吾　mail: mihomiwa@tmu.ac.jp

****************************************

 

タグ：佐藤雅彦, 数学の哲学, 竹内泉, 論理学の哲学, 首都大学東京