-
Affiliation
-
Faculty of Business and Commerce (Hiyoshi)
-
Position
-
Professor
-
Related Websites
Shirahata, Masaru
|
|
|
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
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
Papers, etc., Registered in KOARA 【 Display / hide 】
-
The development of the on-line educational system calqid for mathematics.
Shirahata, Masaru
学事振興資金研究成果実績報告書 (慶應義塾大学) 2020
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
2025
-
LINEAR ALGEBRA
2025
-
INTERMEDIATE CALCULUS
2025
-
GENERAL EDUCATION SEMINAR (S)
2025
-
CALCULUS 1
2025