@article{
    pargoto,
    author = "河野 真治 and 伊波 立樹 and  東恩納 琢偉",
    title = {Code Gear、Data Gear に基づく OS のプロトタイプ},
    journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
    month = "May",
    year = 2016
}

@article{
    gearsOS2,
    author = "宮城　光希 and 桃原　優 and  河野真治",
    title = {Code Gear と Data Gear を持つ Gears OS の設計},
    journal = {第59回プログラミング・シンポジウム},
    month = "Jan",
    year = 2018
    }
@article{
    GearsOS,
    author = "小久保翔平 and 伊波立樹 and 河野真治",
    title = {Monad に基づくメタ計算を基本とする Gears OS の設計},
    journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
    month = "May",
    year = 2015
    }
@article{
    tauble,
    author = "下地篤樹 and 河野真治",
    title = {タブロー法を用いたContinuation based C プログラムの検証},
    journal = {日本ソフトウェア科学会第23回大会},
    year = 2006
    }
@article{
    CbC,
    author = "河野真治",
    title = {継続を持つCの下位言語によるシステム記述},
    journal = {日本ソフトウェア科学会第17回大会},
    year = 2000
    }
@article{
    tauble2,
    author = "比嘉 薫 and 河野真治",
    title = {タブロー法の負荷分散について},
    journal = {日本ソフトウェア科学会第18回論文集},
    year = 2001
    }