# HG changeset patch # User ikkun # Date 1588861792 -32400 # Node ID 93e14a1e4d6ad01f66541e2962738337254150b8 # Parent 5e2ebae9a4a78a7ec589aeeabb441f92892ecf40 ebibsample.bib diff -r 5e2ebae9a4a7 -r 93e14a1e4d6a paper/ikkun.bib --- a/paper/ikkun.bib Thu May 07 22:55:05 2020 +0900 +++ b/paper/ikkun.bib Thu May 07 23:29:52 2020 +0900 @@ -12,3 +12,30 @@ journal = "第59回プログラミング・シンポジウム)", month = "Jan", year = 2018} +@article{ + gears, + author = "小久保翔平 and 伊波立樹 and 河野真治" + title = "Monad に基づくメタ計算を基本とする Gears OS の設計" + journal = 情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS) + month = "May", + year = 2015} +@article{ + gears, + author = "下地篤樹 and 河野真治" + title = "タブロー法を用いたContinuation based C プログラムの検証" + journal = 日本ソフトウェア科学会第23回大会, + year = 2006} +@article{ + gears, + author = "河野真治" + title = "継続を持つCの下位言語によるシステム記述" + journal = 日本ソフトウェア科学会第17回大会 + year = 2000} +@article{ + gears, + author = "比嘉 薫 and 河野真治" + title = "タブロー法の負荷分散について" + journal = 日本ソフトウェア科学会第18回論文集 + year = 2001} + +