Mercurial > hg > Papers > 2020 > ikkun-sigos

comparison paper/ikkun.bib @ 23:addf6965e5a7

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
fix paper
author ikkun <ikkun@cr.ie.u-ryukyu.ac.jp>
date Mon, 18 May 2020 20:10:53 +0900
parents 93e14a1e4d6a
children
comparison
equal deleted inserted replaced
22:93e14a1e4d6a 23:addf6965e5a7
1 @article{ 1 @article{
2 gears, 2 pargoto,
3 author = "河野 真治 and 伊波 立樹 and 東恩納 琢偉", 3 author = "河野 真治 and 伊波 立樹 and 東恩納 琢偉",
4 title = "Code Gear、Data Gear に基づく OS のプロトタイプ", 4 title = {Code Gear、Data Gear に基づく OS のプロトタイプ},
5 journal = "情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)", 5 journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
6 month = "May", 6 month = "May",
7 year = 2016} 7 year = 2016
8 }
9
8 @article{ 10 @article{
9 gears, 11 gearsOS2,
10 author = "宮城　光希 and 桃原　優 and 河野真治", 12 author = "宮城　光希 and 桃原　優 and 河野真治",
11 title = "Code Gear と Data Gear を持つ Gears OS の設計", 13 title = {Code Gear と Data Gear を持つ Gears OS の設計},
12 journal = "第59回プログラミング・シンポジウム)", 14 journal = {第59回プログラミング・シンポジウム},
13 month = "Jan", 15 month = "Jan",
14 year = 2018} 16 year = 2018
17 }
15 @article{ 18 @article{
16 gears, 19 GearsOS,
17 author = "小久保翔平 and 伊波立樹 and 河野真治" 20 author = "小久保翔平 and 伊波立樹 and 河野真治",
18 title = "Monad に基づくメタ計算を基本とする Gears OS の設計" 21 title = {Monad に基づくメタ計算を基本とする Gears OS の設計},
19 journal = 情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS) 22 journal = {情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS)},
20 month = "May", 23 month = "May",
21 year = 2015} 24 year = 2015
25 }
22 @article{ 26 @article{
23 gears, 27 tauble,
24 author = "下地篤樹 and 河野真治" 28 author = "下地篤樹 and 河野真治",
25 title = "タブロー法を用いたContinuation based C プログラムの検証" 29 title = {タブロー法を用いたContinuation based C プログラムの検証},
26 journal = 日本ソフトウェア科学会第23回大会, 30 journal = {日本ソフトウェア科学会第23回大会},
27 year = 2006} 31 year = 2006
32 }
28 @article{ 33 @article{
29 gears, 34 CbC,
30 author = "河野真治" 35 author = "河野真治",
31 title = "継続を持つCの下位言語によるシステム記述" 36 title = {継続を持つCの下位言語によるシステム記述},
32 journal = 日本ソフトウェア科学会第17回大会 37 journal = {日本ソフトウェア科学会第17回大会},
33 year = 2000} 38 year = 2000
39 }
34 @article{ 40 @article{
35 gears, 41 tauble2,
36 author = "比嘉 薫 and 河野真治" 42 author = "比嘉 薫 and 河野真治",
37 title = "タブロー法の負荷分散について" 43 title = {タブロー法の負荷分散について},
38 journal = 日本ソフトウェア科学会第18回論文集 44 journal = {日本ソフトウェア科学会第18回論文集},
39 year = 2001} 45 year = 2001
40 46 }
41