Shirahata, Masaru

写真a

Affiliation

Faculty of Business and Commerce (Hiyoshi)

Position

Professor

Related Websites

Career 【 Display / hide

  • 1996.04
    -
    1999.03

    大学専任講師(商学部)

  • 1997.10
    -
    1999.09

    大学学生総合センター学生部門委員(日吉支部)

  • 1999.04
    -
    Present

    大学助教授(商学部)

  • 2001.10
    -
    Present

    大学学生総合センター副部長(日吉支部)

Academic Background 【 Display / hide

  • 1984.03

    Kyoto University, Faculty of Literature

    University, Graduated

  • 1986.03

    Kyoto University, Graduate School, Division of Letters

    Graduate School, Completed, Master's course

  • 1989.03

    Kyoto University, Graduate School, Division of Letters

    Graduate School, Withdrawal after completion of doctoral course requirements, Doctoral course

Academic Degrees 【 Display / hide

  • Ph.D., スタンフォード大学, 1994.06

 

Books 【 Display / hide

  • ゲーデルと 20 世紀の論理学第 3 巻

    SHIRAHATA MASARU, 2007

  • J. バーワイズ & J. エチメンディ『論理学の基礎と演習〈CD-ROM 付〉』

    SHIRAHATA MASARU, 慶應義塾大学出版会, 2006

  • 10日でおぼえるJavaScript入門教室

    SHIRAHATA MASARU, 東京 翔泳社, 2002.05

Papers 【 Display / hide

  • 無判例解釈についての覚え書き

    SHIRAHATA MASARU

    慶應義塾大学商学部五十周年記念日吉論文集  2007

    Research paper (conference, symposium, etc.), Single Work

  • J. マックレーン(三好博之・高木理訳)『圏論の基礎』

    SHIRAHATA MASARU

    数学 (日本数学会)  59 ( 2 )  2007

    Research paper (scientific journal), Single Work

  • The Dialectica interpretation of first-order classical affine logic

    SHIRAHATA MASARU

    Theory and Applications of Categories 17   49-79 2006

    Research paper (scientific journal), Single Work, Accepted

  • Phase-valued models of linear set theory

    SHIRAHATA MASARU

    Proceedings of the 7th and 8th Asian Logic Conferences    377-397 2003

    Research paper (conference, symposium, etc.), Single Work, Accepted

  • Geometry of interaction explained

    SHIRAHATA MASARU

    数理解析研究所考究録  ( 1318 ) 160-187 2003

    Research paper (bulletin of university, research institution), Single Work

display all >>

Presentations 【 Display / hide

  • No-counterexample Interpretations of Logic and the Geometry of Interaction

    SHIRAHATA MASARU

    合宿型セミナー「相互作用の幾何、トレース付きモノイダル圏と非明示的計算量」 (関西セミナーハウス) , 

    2009.08

    Oral presentation (general), 京都大学数理解析研究所

  • 述語線形論理の圏論的モデル

    SHIRAHATA MASARU

    科学基礎論学会 (大阪市立大学) , 

    2009.06

    Oral presentation (general)

  • Notes on the game semantics of Goedel's T

    SHIRAHATA MASARU

    Logic Colloquium 2001 (Wien) , 

    2001.08

    Oral presentation (general), European Association of Symbolic Logic

  • 線形論理とゲーム意味論

    SHIRAHATA MASARU

    日本数学会春季大会 (慶應義塾大学) , 

    2001.03

    Oral presentation (general)

Works 【 Display / hide

  • The development of a logic education software using Java applet

    SHIRAHATA MASARU

     

    Other

 

Courses Taught 【 Display / hide

  • PRACTICES IN CALCULUS

    2023

  • LINEAR ALGEBRA

    2023

  • INTERMEDIATE CALCULUS

    2023

  • GENERAL EDUCATION SEMINAR (S)

    2023

  • CALCULUS 1

    2023

display all >>