なんか読み返してて不安になってきたけど、 いかさんは 式1 演算子 式1 という式を「評価する(値を計算する)」話をしてるのかな???? これは、次のような命令と実行時スタックを使って push 式1 push 式2 演算処理 (スタックから 2 つの値を pop して、それらの演算結果を push する) という動作になります。これは一般的な「スタックマシン」という計算モデル。 この場合でも式 1+2 を評価して 3 になるってことを 「1+2 は 3 に収束する」 とは、日常会話でも数学でも情報工学でも言わないってのは、ご理解頂けただろうか?