Rchr
J-GLOBAL ID:200901062637981491
Update date: Apr. 17, 2024
Masaru Shirahata
シラハタ マサル | Masaru Shirahata
Affiliation and department:
Job title:
Professor
Homepage URL (1):
http://www.fbc.keio.ac.jp/~sirahata/
Papers (7):
Books (3):
-
ゲーデルと 20 世紀の論理学第 3 巻
2007
-
J. バーワイズ & J. エチメンディ『論理学の基礎と演習〈CD-ROM 付〉』
慶應義塾大学出版会 2006
-
10日でおぼえるJavaScript入門教室
東京 翔泳社 2002 ISBN:4798101834
Lectures and oral presentations (4):
-
No-counterexample Interpretations of Logic and the Geometry of Interaction
(合宿型セミナー「相互作用の幾何、トレース付きモノイダル圏と非明示的計算量」 2009)
-
述語線形論理の圏論的モデル
(科学基礎論学会 2009)
-
Notes on the game semantics of Goedel's T
(Logic Colloquium 2001 2001)
-
線形論理とゲーム意味論
(日本数学会春季大会 2001)
Works (1):
-
The development of a logic education software using Java applet
HSHIRAHATA MASARU, HR
Education (3):
- 1989 - 1989 Kyoto University Graduate School, Division of Letters
- 1986 - 1986 Kyoto University Graduate School, Division of Letters
- 1984 - 1984 Kyoto University Faculty of Literature
Professional career (1):
Work history (4):
- 2001/10 - 現在 大学学生総合センター副部長(日吉支部)
- 1999/04 - 現在 大学助教授(商学部)
- 1997/10 - 1999/09 大学学生総合センター学生部門委員(日吉支部)
- 1996/04 - 1999/03 大学専任講師(商学部)
Return to Previous Page