早稲田大学 高等研究所・慶應義塾大学 論理と感性のグローバル研究センター 共催：
「論理と数学の哲学」 Workshop “Logic and Philosophy of Mathematics”（7/14-15）
日時・会場 / Date & Time, Venue
- 2017年7月14日（金） / Friday, July 14, 2017
13:00～18:00
慶應義塾大学 三田キャンパス 東館6階 G-Lab
Keio University (6th Floor, G-SEC Lab, East Research Bldg., Mita Campus)
- 2017年7月15日（土） / Saturday, July 15, 2017
13:00～18:00
早稲田大学 早稲田キャンパス 9号館 5階 第一会議室
Waseda University (Meeting Room #1, 5th Floor, Bldg. 9, Waseda Campus)
プログラム / Schedule
- 7月14日 / July 14 ( 慶應義塾大学 三田キャンパス / Mita campus of Keio University)
13:00-18:00
(* Please click here for the workshop information held at Keio University on July 14th.)
- 7月15日 / July 15 ( 早稲田大学 早稲田キャンパス / Waseda campus of Waseda University )
13:00-14:00 Ryoma Shinya (The University of Tokyo)
新屋良磨（東京大学）
Title：Almost every simply typed λ-term has a long β-reduction sequence
14:00-15:00 Taishi Kurahashi (National Institute of Technology, Kisarazu College)
倉橋太志（木更津工業高等専門学校）
Title：On partial disjunction properties of theories containing PA
Presentation Slides: click here
15:00-15:20 Break 休憩
15:20-16:20 Naosuke Matsuda (Kanagawa University)
松田直祐（神奈川大学）
Title: Some extensions of de Jongh’s theorem
Presentation Slides: click here
16:20-17:20 Masahiko Sato (Kyoto University)
佐藤雅彦（京都大学）
Title: A common notation system for lambda calculus and combinatory logic
Presentation Slides: click here
発表要旨/Abstracts
※詳細についてはこちらをご覧ください。Please click here for the abstracts of talks.
言 語/ Languege
日本語・英語 Japanese & English
共 催 / Co-host
慶應義塾大学 論理と感性のグローバル研究センター
Global Centre for Advanced Research on Logic and Sensibility, Keio University
