Waseda Institute for Advanced Study (WIAS)早稲田大学 高等研究所

News

早稲田大学 高等研究所・慶應義塾大学 論理と感性のグローバル研究センター 共催: 「論理と数学の哲学」 Workshop “Logic and Philosophy of Mathematics”(7/14-15)

早稲田大学 高等研究所・慶應義塾大学 論理と感性のグローバル研究センター  共催:
「論理と数学の哲学」 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)
プログラム / 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

Dates
  • 0714

    FRI
    2017

    0715

    SAT
    2017

Place

早稲田大学9号館5階 第1会議室

Tags
Posted

Tue, 04 Jul 2017

Page Top
WASEDA University

早稲田大学オフィシャルサイト(https://www.waseda.jp/inst/wias/)は、以下のWebブラウザでご覧いただくことを推奨いたします。

推奨環境以外でのご利用や、推奨環境であっても設定によっては、ご利用できない場合や正しく表示されない場合がございます。より快適にご利用いただくため、お使いのブラウザを最新版に更新してご覧ください。

このままご覧いただく方は、「このまま進む」ボタンをクリックし、次ページに進んでください。

このまま進む

対応ブラウザについて

閉じる