Mercurial > hg > Papers > 2017 > ryokka-midterm
comparison midterm/midterm.bbl @ 2:ead50a89470f
fix midterm
| author | ryokka |
|---|---|
| date | Wed, 25 Oct 2017 17:35:36 +0900 |
| parents | |
| children |
comparison
equal
deleted
inserted
replaced
| 1:d12b2800af6a | 2:ead50a89470f |
|---|---|
| 1 \begin{thebibliography}{1} | |
| 2 | |
| 3 \bibitem{Yasutaka:2016} | |
| 4 {比嘉 健太, 河野 真治}. | |
| 5 \newblock {メタ計算を用いた Continuation based C の検証手法}, 2016. | |
| 6 | |
| 7 \bibitem{agda} | |
| 8 The agda wiki. | |
| 9 \newblock \url{http://wiki.portal.chalmers.se/agda/pmwiki.php}. | |
| 10 \newblock Accessed: 2017/10/24(Tue). | |
| 11 | |
| 12 \bibitem{Tatsuki:2016} | |
| 13 {伊波 立樹, 東恩納 琢偉, 河野 真治}. | |
| 14 \newblock {Code Gear 、Data Gear に基づく OS のプロトタイプ}, 2016. | |
| 15 | |
| 16 \bibitem{kaito:2015} | |
| 17 {徳森 海斗, 河野 真治}. | |
| 18 \newblock {LLVM Clang 上の Continuation based C コンパイラ の改良}, 2015. | |
| 19 | |
| 20 \bibitem{agda-documentation} | |
| 21 Welcome to agda’s documentation! ― agda 2.6.0 documentation. | |
| 22 \newblock \url{http://agda.readthedocs.io/en/latest/index.html}. | |
| 23 \newblock Accessed: 2017/10/24(Tue). | |
| 24 | |
| 25 \end{thebibliography} |