プログラミングと論理思考

論理的思考の放棄
面白い.

以下は上のブログを読んだときの思い付きの断片(論理的ではない:)

  • もしソフトウェアロジックいうものがあったとして,それとCで書くプログラムとの間には大きな溝があるはずだ.ロジックは言明であり,Cで書くプログラムは手順書だから.
  • プログラミングはロジックをコードに変換する作業かというとそうではない.ソフトウェアの構想はロジックじゃないから.
  • プログラミングにロジカルシンキングが役にたたないわけではない.ソフトウェアの構想や意図を他人に伝達するときの言語はロジックだから.