研究者
J-GLOBAL ID:200901011785624823   更新日: 2020年08月31日

小方 一郎

オガタ イチロウ | Ogata Ichiro
所属機関・部署:
ホームページURL (1件): http://www.aist.go.jp/RESEARCHERDB/cgi-bin/worker_detail.cgi?call=namae&rw_id=I74042475
研究分野 (4件): 応用数学、統計数学 ,  数学基礎 ,  ソフトウェア ,  情報学基礎論
研究キーワード (1件): CPS計算 証明論 古典論理 カテゴリー意味論
競争的資金等の研究課題 (1件):
  • Proof theoretical analysis of programming languages
MISC (4件):
所属学会 (4件):
日本ソフトウェア科学会 ,  情報処理学会 ,  IEEE Computer Sciety ,  ACM: Association for Computing Machinery
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る