@techreport{oai:tsukuba.repo.nii.ac.jp:00044135, author = {海野, 広志 and Unno, Hiroshi}, month = {}, note = {科学研究費助成事業 研究成果報告書:若手研究(B)2013-2015課題番号 : 25730035}, title = {ゲーム意味論に基づくリファインメント型の拡張とその応用}, year = {2016}, yomi = {ウンノ, ヒロシ} }