著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"近藤, 悟 and 酒井, 正彦 and 坂部, 俊樹 and 草刈, 圭一郎 and 西田, 直樹 and KONDO, Satoru and SAKAI, Masahiko and SAKABE, Toshiki and KUSAKARI, Keiichirou and NISHIDA, Naoki",プログラム生成系GeneSysにおける等式仕様への否定の導入,"電子情報通信学会技術研究報告SS, ソフトウェアサイエンス",09135685,一般社団法人電子情報通信学会,2007-12,107,392,43-48,https://cir.nii.ac.jp/crid/1050564288756912896,