論理的思考の放棄 面白い．以下は上のブログを読んだときの思い付きの断片(論理的ではない:) もしソフトウェアロジックいうものがあったとして，それとＣで書くプログラムとの間には大きな溝があるはずだ．ロジックは言明であり，Ｃで書くプログラムは手順書…