プログラミングの本質とは - 射撃しつつ前転 改

プログラミングの本質は、条件分岐と繰り返し（と連接）だけでチューリング完全が実現できることであると考えている。つまり、いわゆる構造化定理である。 プログラミングの勉強を始めた頃は、一体どこまで勉強すれば自分はプログラミングが出来るといえるのか、まったくわからなかった。構造化定理を知ったとき、ああ、これだけ知っていれば全てのプログラムが書けるのか、と感動したし、振り返ってみても、あの瞬間はプログラマとして一つの到達点であったと思う。もちろん、そこから先の道のりは、まだまだ長かった訳だけれども。 構造化定理の良い点は、チューリングマシンというなんだか抽象的かつ重要そうなものと、自分がいつも書いているプログラムの間をシンプルに結びつけてくれる点であると思う。実際にプログラミングをする際の道具立てとしては便利なものが色々とある（高階関数だとかクロージャだとかね）訳だけれど、精神を支えているという点

[t_f_m]

"プログラミングの本質は、条件分岐と繰り返し（と連接）だけでチューリング完全が実現できることであると考えている。つまり、いわゆる構造化定理である"

[starpos]

はじめの3行で全てが言い表されている。この概念には「構造化定理」っていう名前があったのね。。。知らんかった。

[suginoy]

「C言語のコードがどういう風に機械語になるのかある程度推測がつくようになった頃」

[hiromark]

僕もコンパイラは書いたことないけどすごく納得できる。似たような遠回りの経験もあるし。