アルト インカラ博士の「世界で一番難しい数独」を解いてみた（I solved Dr. Arto Inkala's "The World's Most Difficult Sudoku."）