数学の証明問題を解くことに似たところがある 料理は