Chapter4 構造化プログラミング in『Clean Architecture　達人に学ぶソフトウェアの構造と設計』

Chapter4 構造化プログラミング

• 機能分割がベストプラクティスと結論付けている。
• 当たり前のことだと思われるが、順序付けて説明すると次のようになる。

1. 科学的な証明は、反証可能性にある。つまり、命題が真であることを証明するのではなく、命題が真でないことが証明されないことに依拠している。
2. 科学的な証明をプログラミングに適用するならば、反証可能なプログラムであることが必要である。
3. 反証可能なプログラムは、（外部に依拠しない）構造化されたプログラムである。

参考

『Clean Architecture　達人に学ぶソフトウェアの構造と設計』