数独とは何か