Rchr
J-GLOBAL ID：200901011785624823
Update date: Aug. 31, 2020
Ogata Ichiro
オガタ イチロウ | Ogata Ichiro
Affiliation and department：
National Institute of Advanced Industrial Science and Technology
About National Institute of Advanced Industrial Science and Technology
Search "National Institute of Advanced Industrial Science and Technology"
Homepage URL (1)：
http://www.aist.go.jp/RESEARCHERDB/cgi-bin/worker_detail.cgi?call=namae&rw_id=I74042475
Research field (4)：
Applied mathematics and statistics
, Basic mathematics
, Software
, Information theory
Research keywords (1)：
CPS計算 証明論 古典論理 カテゴリー意味論
Research theme for competitive and other funds (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
Association Membership(s) (4)：
日本ソフトウェア科学会
, 情報処理学会
, IEEE Computer Sciety
, ACM: Association for Computing Machinery
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in
researchmap
.
For details, see here
.
Return to Previous Page
TOP
BOTTOM
