数独をいろいろな手法で解いてみる