Mercurial > hg > Papers > 2018 > nozomi-master

comparison paper/reference.bib @ 17:db2909ab202d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Add GearsOS
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Fri, 20 Jan 2017 12:40:43 +0900
parents 99a9be7e6bc9
children 415fa6d79d00
comparison
equal deleted inserted replaced
16:3ffd17f96e06 17:db2909ab202d
89 title = {The Agda wiki}, 89 title = {The Agda wiki},
90 howpublished = {\url{http://wiki.portal.chalmers.se/agda/pmwiki.php}}, 90 howpublished = {\url{http://wiki.portal.chalmers.se/agda/pmwiki.php}},
91 note = {Accessed: 2015/02/17(Tue)} 91 note = {Accessed: 2015/02/17(Tue)}
92 } 92 }
93 93
94 @techreport{weko_142109_1,
95 author = "小久保,翔平 and 伊波,立樹 and 河野,真治",
96 title = "Monadに基づくメタ計算を基本とするGears OSの設計",
97 year = "2015",
98 institution = "琉球大学大学院理工学研究科情報工学専攻, 琉球大学工学部情報工学科, 琉球大学工学部情報工学科",
99 number = "16",
100 month = "may"
101 }
102
94 % TODO : 会長さんの修論 103 % TODO : 会長さんの修論