12/07/17 18:46:35.58 EaKQaeWb
>>782
数式で表すのは演算結果を求めるような計算式だけかい？
恒等式がその中で表している概念のようなものは、手続きとして記述するのには
馴染まないだろう。
尚、ここで計算式だけの話に限定しているんだという言い逃れはできない。
なにしろ、プログラミング言語厨は>>487で、その続きとして、
「数式系、幾何系、人工言語系のそれぞれは等価。 」
とまで言い切っている。
その次のパラグラフを見ると、単に演算させる場合しか想定できてないようで、
そもそもの意味付けを絶望的に誤っているだけだとは思うがｗ