名前はどうでもいい

人間がしゃべる言葉や書く文章は、ある数学的構造を表現するために、
名前というものを使うだけだ。
プログラミングにおける変数名のように、どんな名前に変えようが、
コンパイルしたバイナリの中身は一緒なのだ。