研究者
J-GLOBAL ID:200901062637981491   更新日: 2020年05月27日

白旗 優

シラハタ マサル | Masaru Shirahata
所属機関・部署:
職名: 教授
ホームページURL (2件): http://www.fbc.keio.ac.jp/~sirahata/http://www.fbc.keio.ac.jp/~sirahata/
論文 (7件):
もっと見る
書籍 (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 アプレットを使った論理学教育ソフトの作成
    白旗 優
学歴 (3件):
  • 1989 - 京都大学
  • 1986 - 京都大学
  • 1984 - 京都大学
学位 (2件):
  • Ph.D. (スタンフォード大学)
  • Ph.D. (スタンフォード大学)
経歴 (4件):
  • 2001/10 - 現在 大学学生総合センター副部長(日吉支部)
  • 1999/04 - 現在 大学助教授(商学部)
  • 1997/10 - 1999/09 大学学生総合センター学生部門委員(日吉支部)
  • 1996/04 - 1999/03 大学専任講師(商学部)
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る