プログラミング言語を数学的に解釈していると思われる。
cは関数mensekiで定義される・・・とかかんがえてるんじゃなかろーか。

この手の説明をキチンとするには、プログラミングの代入ってどんなんとか、
関数は定義と呼び出しがあるんだとか、順番だとか、副作用だとか。のーみそがおかしくなる。