研究者
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件):
A Proof Theoretical Account of Continuation Passing Style. Springer Lecture Notes in Computer Science CSL '02. 2002. LNCS 2471 pp.490-505
Ichiro Ogata. Constructive classical logic AS CPS-calculus. International Journal of Foundations of Computer Science. 2000. 11. 1. 89-112
Ichiro Ogata. A CPS-transform of constructive classical logic. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 1999. 1742. 266-280
Cut Elimination for Classical Proofs as Continuation Passing Style Computation. Springer Lecture Notes in Computer Science Asian '98. 1998. LNCS 1538 pp.61-78
所属学会 (4件):
日本ソフトウェア科学会
, 情報処理学会
, IEEE Computer Sciety
, ACM: Association for Computing Machinery
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM