「確実なプログラム」は「最も効果的なプログラム」ではない