|
Title |
Associate Professor |
|
Researcher Number(JSPS Kakenhi) |
10284952 |
Kono Shinji
|
|
|
Current Affiliation Organization 【 display / non-display 】
-
Duty University of the Ryukyus Faculty of Engineering School of Engineering_Computer Science and Intelligent Systems Program Associate Professor
Academic degree 【 display / non-display 】
-
The University of Tokyo - Doctor of Engineering
External Career 【 display / non-display 】
-
1996.04
University of the Ryukyus, Faculty of Engineering, Department of Information Engineering, Associate Professor
-
2003
University of the Ryukyus
Research Interests 【 display / non-display 】
-
検証,ネットワーク
-
ハードウェア・ソフトウェア協調設計
-
システムLSI
Other Papers 【 display / non-display 】
-
Verification Method of Programs Using Continuation based C
比嘉 健太, 河野 真治
情報処理学会論文誌プログラミング(PRO) 10 ( 2 ) 5 - 5 2017.02
-
How to promote formal method?
河野 真治
ウィンターワークショップ2015・イン・宜野湾 論文集 2015 47 - 48 2015.01
Presentations 【 display / non-display 】
-
Implementing Continuation based language in GCC
Shinji Kono
Continuation Festa 2008 2008.04 - 2008.04
-
Global Unique ID Framework for Copyright Material
LATE Florence,Shinji KONO,Akira KAMIZATO
日本ソフトウェア科学会第22回大会論文集 2005.09 - 2005.09
-
Semantic Web: Global Unique ID for all Copyright Material
LATE Abran Kra Florence, 河野真治
情報処理学会システムソフトウェアとオペレーティング・システム研究会 2005.05 - 2005.05
-
Implementation and Evaluation of Front-End Protocol of Network Game Infrastructure
ラテ アブラン クラ フローレンス,河野 真治
日本ソフトウェア科学会第21回大会論文集 2004.09 - 2004.09
-
A Continuation based Programming Language for Embedded Systems
Shinji Kono
IPSJ Computer System Symposium 2000.11 - 2000.11