# HG changeset patch # User Tatsuki IHA # Date 1445843397 -32400 # Node ID 81268be687e6626b636e9b9cf6381bd06c7922c7 # Parent 0c15ef224a108e127865b76760f23a5fa5ee62eb Add pdf diff -r 0c15ef224a10 -r 81268be687e6 midterm.pdf Binary file midterm.pdf has changed diff -r 0c15ef224a10 -r 81268be687e6 midterm.tex --- a/midterm.tex Mon Oct 26 05:58:07 2015 +0900 +++ b/midterm.tex Mon Oct 26 16:09:57 2015 +0900 @@ -156,17 +156,12 @@ を用いた分散フレームワークの設計,日本ソフトウェア科学会第28回大会論文集 (2011). - \bibitem{cell} - {Sony Corporation}: {Cell broadband engine architecture} (2005). - \bibitem{segment} 河野真治,杉本 優:Code Segment と Data Segment によるプログラミング手法,第54回プログラミング・シンポジウム (2013). - \bibitem{cbc-llvm} - 徳森海斗,河野真治:Continuation based C の LLVM/clang 3.5 - 上の実装について,情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS) - (2014). + \bibitem{cell} + {Sony Corporation}: {Cell broadband engine architecture} (2005). \bibitem{monad} Moggi, E.: Computational lambda-calculus and monads, {\em Proceedings of the Fourth Annual Symposium on Logic in computer science} (1989). @@ -176,6 +171,11 @@ Cプログラムの検証,情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS) (2007). + \bibitem{cbc-llvm} + 徳森海斗,河野真治:Continuation based C の LLVM/clang 3.5 + 上の実装について,情報処理学会システムソフトウェアとオペレーティング・システム研究会(OS) + (2014). + \bibitem{opencl} {Aaftab Munshi, Khronos OpenCL Working Group}: {\em {The OpenCL Specification Version 1.0}} (2007).