河野 真治 (コウノ シンジ)

Kono Shinji

写真a

職名

准教授

科研費研究者番号

10284952

ホームページ

http://ie.u-ryukyu.ac.jp/~kono/

現在の所属組織 【 表示 / 非表示

  • 専任   琉球大学   工学部   工学科知能情報コース   准教授  

取得学位 【 表示 / 非表示

  • 東京大学 -  博士(工学)  その他 / その他

職歴 【 表示 / 非表示

  • 1996年04月
    -
    継続中

      琉球大学 工学部 情報工学科 准教授  

  • 2003年
     
     

      琉球大学  

研究キーワード 【 表示 / 非表示

  • 検証,ネットワーク

  • ハードウェア・ソフトウェア協調設計

  • システムLSI

研究分野 【 表示 / 非表示

  • 情報通信 / ソフトウェア

主たる研究テーマ 【 表示 / 非表示

  • ネットワーク、特に、リアルタイム・ゲームに関係した研究

  • プログラミング言語の設計

  • ハードウェア・ソフトウェアに関する検証と合成

MISC(その他業績・査読無し論文等) 【 表示 / 非表示

  • AgdaによるZornの補題の証明

    河野真治

    情報処理学会プログラミング・シンポジウム予稿集   64th   2023年

     

    J-GLOBAL

  • Rakuのサーバーを用いた実行

    大蔵海斗, 河野真治

    情報処理学会プログラミング・シンポジウム予稿集   64th   2023年

     

    J-GLOBAL

  • Continuation based Cを用いたプログラムの検証手法

    比嘉 健太, 河野 真治

    情報処理学会論文誌プログラミング(PRO)   10 ( 2 ) 5 - 5   2017年02月

     

  • 形式手法を学び始めて思うことと,形式手法を広めるには

    比嘉 健太, 河野 真治

    ウィンターワークショップ2015・イン・宜野湾 論文集   2015   49 - 50   2015年01月

     

  • 形式的手法を広めるためには

    河野 真治

    ウィンターワークショップ2015・イン・宜野湾 論文集   2015   47 - 48   2015年01月

     

研究発表等の成果普及活動 【 表示 / 非表示

  • Cassandraを使ったスケーラビリティのあるCMSの設計

    玉城将士,谷成雄,河野真治

    情報処理学会システムソフトウェアとオペレーティング・システム研究会  2011年04月  -  2011年04月   

  • ゲームフレームワークCerium TaskManagerの改良

    金城裕,河野真治,多賀野海人,小林佑亮

    情報処理学会システムソフトウェアとオペレーティング・システム研究会  2011年04月  -  2011年04月   

  • 動的なコード生成を用いた正規表現マッチャの実装,

    新屋良磨,河野真治,

    第52回プログラミング・シンポジウム  2011年01月  -  2011年01月   

  • 動的なコード生成を用いた正規表現評価器の実装,

    新屋良磨,河野 真治 ,

    日本ソフトウェア科学会第 27 回大会(2010 年度)論文集  2010年09月  -  2010年09月   

  • Cassandra を使ったCMSのPCクラスタを使ったスケーラビリティの検証,

    玉城 将士,河野 真治

    日本ソフトウェア科学会第 27 回大会(2010 年度)論文集  2010年09月  -  2010年09月   

全件表示 >>