Mercurial > hg > Papers > 2020 > ikkun-sigos

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