- 559 名前：デフォルトの名無しさん mailto:sage [2008/05/11(日) 12:43:39 ]
- 抽象代数の話題で、スレの趣旨からちょっとそれ気味だったんで話の方向を修正すると、
プログラミングと数学に共通して、抽象化ってのは大事。
「CPU の命令にboolがないんだからboolを考えない」ってのは、
具体的なんだけども、プログラマ自らが気をつけながらプログラミングしないといけない。
非0をtrueとするなら、1と2のANDはどうなるんだ、とかね。
true AND true だからtrueになってほしいけど、
Cで書くところの 1 & 2 とかくと当然0でfalseに。
x != 0 && y != 0 みたいなコードが論理ANDに相当するんだけど、それもいちいち書きたくない。
そこに、CPUの具体的な構造から離れて（抽象化して）、
boolを導入、面倒な決まり事はプログラマじゃなくてコンパイラが面倒みる。
