著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL "西原, 清一",制約充足問題における相転移現象に関する研究,,[西原清一],2006,科学研究費補助金(基盤研究(B)(2))研究成果報告書,,,,https://cir.nii.ac.jp/crid/1130000797555892992