KONO Shinji

Affiliation and department：
Homepage URL (1)： http://kaken.nii.ac.jp/ja/r/10284952

Research field (1)： Electronic devices and equipment

Research keywords (2)：ハードウェア・ソフトウェア協調設計 , システムLSI

Papers (7)：

ｍore...

MISC (128)：

河野真治. AgdaによるZornの補題の証明. 情報処理学会プログラミング・シンポジウム予稿集. 2023. 64th
大蔵海斗, 河野真治. Rakuのサーバーを用いた実行. 情報処理学会プログラミング・シンポジウム予稿集. 2023. 64th
IMAMURA Hikaru, KONO Shinji, GENKAWA Takuma. Non-destructive Evaluation of the Ice Fraction of Frozen Pork during Thawing by Near-infrared Spectroscopy. Transactions of the Japan Society of Refrigerating and Air Conditioning Engineers. 2021. 38. 3. 235
比嘉健太, 河野真治. Verification Method of Programs Using Continuation based C. 情報処理学会論文誌プログラミング(PRO). 2017. 10. 2. 5-5
比嘉健太, 河野真治. 形式手法を学び始めて思うことと,形式手法を広めるには. ウィンターワークショップ2015・イン・宜野湾論文集. 2015. 2015. 49-50

ｍore...

Books (1)：

Professional career (1)：

Work history (1)：

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page