著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
姜 帆 and 田辺 良則 and 本位田 真一,Coqを使用したMapReduceアプリケーションの検証とScalaコードの抽出,"電子情報通信学会論文誌. D, 情報・システム = The IEICE transactions on information and systems",18804535,東京 : 電子情報通信学会情報・システムソサイエティ,2014-03,97,3,625-634,https://cir.nii.ac.jp/crid/1520290882067964032,