kuwadgi https://blog.hatena.ne.jp/kuwadgi/ 嫌われプログラミングの代弁者 https://kuwadgi.info/ どの様な話？ 懐疑論（懐疑主義 Wikipedia 日本語版）からたどっていくと、 基礎付け主義 相対主義 と言う考え方が有り、ポストモダンは後者であるのに対し、前者では「基礎を公理としてそれ自体は疑わない」態度の数学が代表例として有ると思います。 しかし、ソフトウェアシステムでは、 公理が常にゆらぎ続けている 状態に有ると思います。常に仕様に対して懐疑的になる必要が出ると思います。だからかも知れませんが、公理型プログラミングは全く鳴かず飛ばずでした。 具体的には？ 具体的には、 ソフトウェアシステムには「自動で動作する」という要求が有り、 プログラム１つ１つをいじると、 自動で動作するという… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fkuwadgi.info%2Fentry%2F2024%2F05%2F17%2F200052" title="懐疑論を持ち出す必要がある　１ - 嫌われプログラミングの代弁者" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2024-05-17 20:00:52 rich https://kuwadgi.info/entry/2024/05/17/200052 1.0 100%