簡単なプログラム、あるいはもっと強く、自明なプログラムと、最適化されたプログラムとを比較して最適化されたプログラムの正しさを検証しようという話が時々ある。それはもっともなことだと思う。 が、よく考えると自明なプログラムって何だよ?という話に…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。