証明問題はプログラミングの足しになると思うかい?