研究者
J-GLOBAL ID:200901062637981491
更新日: 2024年04月17日
白旗 優
シラハタ マサル | Masaru Shirahata
所属機関・部署:
慶應義塾 商学部
慶應義塾 商学部 について
「慶應義塾 商学部」ですべてを検索
機関情報を見る
職名:
教授
ホームページURL (1件):
http://www.fbc.keio.ac.jp/~sirahata/
論文 (7件):
H白旗 優, HR. 無判例解釈についての覚え書き. 慶應義塾大学商学部五十周年記念日吉論文集. 2007
H白旗 優, HR. J. マックレーン(三好博之・高木理訳)『圏論の基礎』. 数学. 2007. 59. 2
H白旗 優, HR. The Dialectica interpretation of first-order classical affine logic. Theory and Applications of Categories. 2006. 17. 49-79
H白旗 優, HR. Phase-valued models of linear set theory. Proceedings of the 7th and 8th Asian Logic Conferences. 2003. 377-397
H白旗 優, HR. Geometry of interaction explained. 数理解析研究所考究録. 2003. 1318. 160-187
もっと見る
書籍 (3件):
ゲーデルと 20 世紀の論理学第 3 巻
2007
J. バーワイズ & J. エチメンディ『論理学の基礎と演習〈CD-ROM 付〉』
慶應義塾大学出版会 2006
10日でおぼえるJavaScript入門教室
東京 翔泳社 2002 ISBN:4798101834
講演・口頭発表等 (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件):
Java アプレットを使った論理学教育ソフトの作成
H白旗 優, HR
学歴 (3件):
1989 - 1989 京都大学 文学研究科
1986 - 1986 京都大学 文学研究科
1984 - 1984 京都大学 文学部
学位 (1件):
Ph.D. (スタンフォード大学)
経歴 (4件):
2001/10 - 現在 大学学生総合センター副部長(日吉支部)
1999/04 - 現在 大学助教授(商学部)
1997/10 - 1999/09 大学学生総合センター学生部門委員(日吉支部)
1996/04 - 1999/03 大学専任講師(商学部)
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM