現在の所属組織 【 表示 ／ 非表示 】

現在の所属組織 【 表示 ／ 非表示 】

取得学位 【 表示 ／ 非表示 】

取得学位 【 表示 ／ 非表示 】

職歴 【 表示 ／ 非表示 】

職歴 【 表示 ／ 非表示 】

研究キーワード 【 表示 ／ 非表示 】

研究キーワード 【 表示 ／ 非表示 】

研究分野 【 表示 ／ 非表示 】

研究分野 【 表示 ／ 非表示 】

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

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

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

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

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

MISC（その他業績・査読無し論文等） 【 表示 ／ 非表示 】

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月   

全件表示 >>