坂部 俊樹

Articles:  1-1 of 1

  • A Tool for Designing Sudoku Problems by Interactive Fill-in Approach  [in Japanese]

    馬野 洋平 , 酒井 正彦 , 西田 直樹 , 坂部 俊樹 , 草刈 圭一郎 , UMANO Yohei , SAKAI Masahiko , NISHIDA Naoki , SAKABE Toshiki , KUSAKARI Keiichirou

    近年,論理式の充足可能性判定ツール(SATソルバ)の高速化が進み,これを利用した数独パズルの解法が提案されている.本稿では,この解法を応用して試作した,対話的に数独パズルの問題を作成するツールについて報告する.このツールでは,「セルに埋めても矛盾を生じない数字の表示」・「削除しても問題が一意性を保つセルの表示」・「問題を手筋のみで解ける範囲の図示」の三つの主要機能を実装している.前者二つの機能は, …

    電子情報通信学会技術研究報告SS, ソフトウェアサイエンス 107(392), 73-78, 2007-12

    IR 

Page Top