• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

SHIRAHATA Masaru  白旗 優

ORCIDConnect your ORCID iD *help
… Alternative Names

白旗 優  シラハタ マサル

Less
Researcher Number 00286618
Affiliation (Current) 2025: 慶應義塾大学, 商学部(日吉), 教授
Affiliation (based on the past Project Information) *help 2012: 慶應義塾大学, 商学部, 准教授
2007 – 2008: 慶應義塾大学, 商学部, 准教授
2006: 慶應義塾大学, 商学部, 助教授
1997 – 1998: 慶應義塾大学, 商学部, 専任講師
1996: 慶應大学, 商学部, 講師
Review Section/Research Field
Principal Investigator
計算機科学
Except Principal Investigator
Philosophy/Ethics / Algebra
Keywords
Principal Investigator
Java / GUI / プログラム意味論 / 集合論 / 線形論理
Except Principal Investigator
圏論 / 国際研究者交流(英国 Oxford) / 量子論の基礎 / 非標準論理 / 不完全性 … More / ゲーデル宇宙 / 量子力学の基礎 / 元始宇宙 / ゲーデル宇宙と宇宙背景放射 / 国際情報交換 / 科学法則の改訂可能性 / モノイダル・カテゴリー / 古典現象 / 物理法則と経験データ / 不完全性定理 / 圏論の応用 / 量子論理 / 量子力学の 基礎 / 部分構造論理 / 時空 / 宇宙論 / 宇宙物理 / 国際研究者交流 / 哲学 / デジャヴュ / 時間論 / 生の哲学 / semantic conception of the theories / 線型論理 / 粘菌 / 精神病理学 / 時間 / 数学の哲学 / 意義 / 意味 / 文脈原理 / スコット領域 / プロセス / 反実在論 / ブラウワー / プラトニズム / ラッセル / ゲーデル / 精神医学 / シーケント計算 / ウィトゲンシュタイン / ダメット / 計算 / てんかん / スコーレム / カント / フレーゲ / 形而上学 / 生命 / 計算の哲学 / フィボナッチ数列 / 超越数 / ヤコビ・テ-タ関数 / Mahler関数 Less
  • Research Projects

    (4 results)
  • Research Products

    (9 results)
  • Co-Researchers

    (21 People)
  •  Logic of Quantum Fluctuation Described in Terms of Category Theory : Investigation of the Origin of Space-Time

    • Principal Investigator
      NAKATOGAWA Koji
    • Project Period (FY)
      2008 – 2012
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Philosophy/Ethics
    • Research Institution
      Hokkaido University
  •  Philosophy of Computation-developments and explorations

    • Principal Investigator
      MIYOSHI Hiroyuki
    • Project Period (FY)
      2005 – 2008
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Philosophy/Ethics
    • Research Institution
      Kyoto Sangyo University
  •  線形論理上の集合論のプログラム記述と検証への応用Principal Investigator

    • Principal Investigator
      白旗 優
    • Project Period (FY)
      1997 – 1998
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      Keio University
  •  Mahler関数の超越性理論とその応用

    • Principal Investigator
      西岡 久美子
    • Project Period (FY)
      1996
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Algebra
    • Research Institution
      Keio University

All 2010 2008 2007 2006 Other

All Journal Article Presentation Book

  • [Book] ゲーデルと20世紀の論理学第3巻不完全性定理と算術の体系2007

    • Author(s)
      田中一之, 白旗優
    • Total Pages
      284
    • Publisher
      東京大学出版会
    • Data Source
      KAKENHI-PROJECT-17320009
  • [Journal Article] 無反例解釈についての覚え書き2007

    • Author(s)
      白旗優
    • Journal Title

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

      Pages: 541-553

    • Data Source
      KAKENHI-PROJECT-17320009
  • [Journal Article] The Dialectica interpretation of first-order classical affine logic2006

    • Author(s)
      Masaru Shirahata
    • Journal Title

      Theory and Applications of Categories Vol.17, No.4

      Pages: 49-79

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-17320009
  • [Journal Article] The Dialectica interpretation of first-order classical affine logic

    • Author(s)
      Masaru Shirahata
    • Journal Title

      Theory and Applications of Categories (to appear)

    • Data Source
      KAKENHI-PROJECT-17320009
  • [Presentation] Toward a categorical NCI,2010

    • Author(s)
      白旗優
    • Organizer
      CSCAT 2010, Workshop on Computer Science and Category Theory
    • Place of Presentation
      キャンパスプラザ京都
    • Year and Date
      2010-03-19
    • Data Source
      KAKENHI-PROJECT-20520002
  • [Presentation] Toward a categorical NCI 、CSCAT 20102010

    • Author(s)
      白旗優
    • Organizer
      Workshop on Computer Science and Category Theory
    • Place of Presentation
      キャンパスプラザ京都
    • Year and Date
      2010-03-19
    • Data Source
      KAKENHI-PROJECT-20520002
  • [Presentation] The subobject classifier in the category of presheaves over an so-monoid2008

    • Author(s)
      Masaru Shirahata
    • Organizer
      SLACS/ALGI 2008
    • Place of Presentation
      鹿児島大学
    • Data Source
      KAKENHI-PROJECT-17320009
  • [Presentation] The subobject classifier in higher-order affine logic2007

    • Author(s)
      Masaru Shirahata
    • Organizer
      第18回 ALGI 研究集会
    • Place of Presentation
      鹿児島大学
    • Year and Date
      2007-09-03
    • Data Source
      KAKENHI-PROJECT-17320009
  • [Presentation] The subobject classifier in higher-order affine logic2007

    • Author(s)
      Masaru Shirahata
    • Organizer
      第18回ALGI研究集会
    • Place of Presentation
      鹿児島大学
    • Year and Date
      2007-09-03
    • Data Source
      KAKENHI-PROJECT-17320009
  • 1.  西岡 久美子 (80144632)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 2.  西岡 啓二 (10228158)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 3.  小宮 英敏 (90153676)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 4.  渡部 睦夫 (30080493)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 5.  光 道隆 (30056296)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 6.  MIYOSHI Hiroyuki (60286135)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 7.  KANEKO Youji (60191988)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 8.  OKAMOTO Kengo (00224072)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 9.  TODAYAMA Kazuhisa (90217513)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  GUNJI Gunji (40192570)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 11.  DEGUCHI Yasuo (20314073)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 12.  HIGAKI Tatsuya (70242071)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 13.  FUKAO Kenjiro (60359817)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  NAKATOGAWA Koji (20237316)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 15.  TANAKA Hajime (50000716)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  ARAI Asao (80134807)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  HABE Asao (90180926)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 18.  NAGATA Hiroyasu (70000875)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  KATO Kiyoshi (20109416)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  FUJIMOTO Tadashi (40411277)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  UCHII Soshichi (60027539)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi