@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00239136, author = {稲田, 太 and 多田, 好克 and Inada, Futoshi and Tada, Yoshikatu}, book = {第37回プログラミング・シンポジウム報告書}, month = {Jan}, pages = {189--195}, publisher = {情報処理学会}, title = {Cenju-3へのoccamの実装}, volume = {1996}, year = {1996} }