照沼志帆,李陽,崎山一男,宮原大輝,”数独に対するカードベース別解検証プロトコル,”2026年暗号と情報セキュリティシンポジウム(SCIS’26),3A3-3,7pages,(Jan.,2026).