Mercurial > hg > Papers > 2018 > hamase_midterm

comparison midterm/reference.bib @ 1:ecb5281ed1a9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
2nd commit
author hamase
date Thu, 08 Nov 2018 16:47:47 +0900
parents c9b5432397b7
children 3a41130a00bd
comparison
equal deleted inserted replaced
0:c9b5432397b7 1:ecb5281ed1a9
1 @Misc{Yasutaka:2016, 1 @misc{oculus,
2 author = "{比嘉 健太, 河野 真治}", 2 title = {Oculus Rift DK2 Setup — LeapMotion documentation},
3 title = "{メタ計算を用いた Continuation based C の検証手法}", 3 howpublished = {\url{https://developer.leapmotion.com/vr-setup/dk2}}
4 journal = "琉球大学工学部情報工学科平成 28 年度学位論文",
5 year = 2016
6 } 4 }
7
8 @Misc{Tatsuki:2016,
9 author = "{伊波 立樹, 東恩納 琢偉, 河野 真治}",
10 title = "{Code Gear 、Data Gear に基づく OS のプロトタイプ}",
11 journal = "{情報処理学会システムソフトウェアとオペレーティングシステム研究会}",
12 year = 2016
13 }
14
15 @Misc{kaito:2015,
16 author = "{徳森 海斗, 河野 真治}",
17 title = "{LLVM Clang 上の Continuation based C コンパイラ の改良}",
18 journal = "{琉球大学工学部情報工学科平成 27 年度学位論文}",
19 year = 2015
20 }
21
22 @misc{agda,
23 title = {The Agda wiki},
24 howpublished = {\url{http://wiki.portal.chalmers.se/agda/pmwiki.php}},
25 note = {Accessed: 2017/10/24(Tue)}
26 }
27
28
29 @misc{agda-documentation,
30 title = {Welcome to Agda’s documentation! — Agda 2.6.0 documentation},
31 howpublished = {\url{http://agda.readthedocs.io/en/latest/index.html}},
32 note = {Accessed: 2017/10/24(Tue)}
33 }