>>25
チューリングマシンの確定性や「いわゆるプログラム意味論」は
記号内容クラスを限定し、数学的に定義した上での話し。
そこでは、printf("erai!");とprintf("boke!");は、
String別の元を印字するという意味で異なるということを言う。

しかし、日常のコミュニケーションとの違いを考えるというのであれば、
"erai!"と"boke!"の日本語における意味の違いをとり扱える、
コミュニケーション一般を論じる枠組 -- 記号論的な枠組 -- 
で議論をする必要がある、ということ。