タグ

`Semantics(モデル)に関するaki03のブックマーク (1)

  • arbitrariness of naming

    名付けの恣意性 Daichi Mochihashi daiti-m@is.aist-nara.ac.jp April 4, 2001 I. プログラミング プログラムを書いていて、変数をどんな名前にするか、迷ったことはないでしょうか。 適切な変数名/関数名はプログラムを読みやすくし、ある場合には 'self-documenting' にすらします。しかし、たとえどんな名前を付けたとしても、 論理的にはプログラムの実行には何の影響もないのです。 大学で初めて私がプログラミングを学んだとき、最初に戸惑ったのはこの点でした。 変数や関数の名前はその内容と無関係に、勝手に決めることができる一方で、 一度付けた名前はその後は一言一句間違えずに使わなければならないのです。 何という自由と何という狭量!ここでは名前は一見言語のようでありながら、 言語の持つ意味的融通や曖昧性をすっかり奪い取られ、同一性を

  • 1