科学的方法は証明可能なプログラムという制約の中で行われなければならない