@techreport{weko_195521_1, author = "小林,靖明 and 末續,鴻輝 and 立木,秀樹 and 上原,隆平", title = "格子パズルの困難性", year = "2019", institution = "京都大学大学院情報学研究科, 国立情報学研究所, 京都大学大学院人間・環境学研究科, 北陸先端科学技術大学院大学情報科学系", number = "4", month = "may" }