@inproceedings{weko_141197_1, author = "鈴木,拡 and 湊,真一", title = "ZDDを用いた立体ペントミノパズルの解の列挙", booktitle = "全国大会講演論文集", year = "2010", volume = "第72回", number = "「情報爆発」時代に向けた新IT基盤技術", pages = "245--246 ", month = "mar" }