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