河野真治

河野 真治（こうの しんじ、1959年 - ）は、日本の情報工学者。琉球大学工学部工学科知能情報コース准教授。博士（工学）（東京大学）。

 経歴 
東京工業大学理学部化学科を卒業後、東京大学大学院工学系研究科情報工学専攻にて博士課程を修了し、博士（工学）の学位を取得した。博士論文の題目は「ファイングレイン並列計算機のためのプログラミング言語」である学位論文要旨詳細 - 東京大学。

ソニーコンピュータサイエンス研究所（Sony CSL）での勤務を経て、1996年4月より琉球大学工学部情報工学科の准教授に着任し、現在に至る研究者詳細 - 河野 真治 - 琉球大学
。また、1999年から2002年には科学技術振興事業団さきがけ21「機能と構成」の研究員を兼任した「機能と構成」研究領域 領域活動・評価報告書 - 科学技術振興機構。

 研究・業績 
専門はプログラミング言語の設計と実装、プログラム検証（Agda、時相論理）、オペレーティングシステム、並列処理、オブジェクト指向プログラミング、ネットワーク（リアルタイム・ゲーム）、ハードウェア・ソフトウェア協調設計、システムLSIなど多岐にわたる研究者詳細 - 河野 真治 - 琉球大学。

主要な業績としては、nkf (Network Kanji Filter)の主要開発者・メンテナンス担当者としての貢献が挙げられるShinji Kono's Home Page。また、ゲームフレームワーク「Cerium TaskManager」の開発にも携わっているShinji Kono's Home Page。近年はAgdaを用いた形式検証やツォルンの補題の証明など、理論的な研究にも注力している研究者詳細 - 河野 真治 - 琉球大学。

2002年にはICFP Programming Contestで優勝「機能と構成」研究領域 領域活動・評価報告書 - 科学技術振興機構、2024年度には情報処理学会システムソフトウェアとオペレーティング・システム研究会功績賞を受賞するなど、その功績は高く評価されている。日本のOS研究および関連コミュニティの活性化にも大きく貢献している2024年度受賞者 - 情報処理学会。

著書に『入門Perl』（アスキー、1994年）があるKONO Shinji - マイポータル - researchmap。

 趣味・その他 
趣味はテルミンとSFであるShinji Kono's Home Page。また、ニュースグループ「fj」での活動でも知られているShinji Kono's Home Page。
自身のXにて、かけ算の順序問題に関する積極的な発言を行っている。

 著書 
 『入門Perl』アスキー、1994年7月。ISBN 978-4756102843。

 脚注 

 外部リンク 

公式ページ 
researchmap 吉村哲彦
教員ページ
研究者情報

Category:日本の情報工学者
Category:琉球大学の教員
Category:東京大学出身の人物
Category:東京工業大学出身の人物
Category:Perlプログラマ
Category:1959年生
Category:存命人物