@techreport{oai:tsukuba.repo.nii.ac.jp:00043878, author = {亀山, 幸義 and KAMEYAMA, YUKIYOSHI}, month = {}, note = {科学研究費助成事業 研究成果報告書:基盤研究(B)2013-2015課題番号 : 25280020}, title = {信頼性の高いコード生成のためのプログラミング言語の実現}, year = {2016}, yomi = {カメヤマ, ユキヨシ} }