Mercurial > hg > Papers > 2020 > ikkun-sigos

changeset 22:93e14a1e4d6a

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
ebibsample.bib
author ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
date Thu, 07 May 2020 23:29:52 +0900
parents 5e2ebae9a4a7
children addf6965e5a7
files paper/ikkun.bib
diffstat 1 files changed, 27 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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}
+
+