ニコラ・ブルバキ
ニコラ・ブルバキ（ニコラ・ブルバキ Wikipedia 日本語版）という「架空の」数学者が居るそうで、実際には数学者集団のペンネームだったそうですが、
圏論は無視していたそうです。
数学教育への影響
余りに当たり前過ぎて、話題にもならなくなる程、ブルバキの影響は現代の数学教育にとって大きいそうです。
すると、現代の数学教育では、圏論は無視する事になると思います。
詳細設計書の代替を実現するには
詳細設計書の代替を実現するには、
- 因果ダイアグラムは良いと思う
- その基礎としては、集合論を出発点とするのでは無く、圏論を出発点とするべきでは無いか？
- すると、現代の数学教育のみに特化した人間の言う事は、詳細設計書の代替を考える上で、原理的に必然的に失当になってしまうのでは無いか？
と言う現象に対処する必要が有ると思います。
結論
これからも「詳細設計書の代替」の不在が原因で、プログラミングが嫌いになる人は存在し続けることでしょう。
