123=123であるが、
123==123がtrueであるとして、
123==0123や
123==１２３がtrueであるかfalseであるかは処理系や設定に依存する。
プログラムを書けば一発で理解できるとは思うんだが、そういえば戸籍なんかもそうだった。
住所が戸籍に "百二十三番地"と書かれていたとして、郵便とか宅配なら"１２３番地"で到着するが、公式な書類だと跳ねられることがあるという。
子どもの頃は『なんで？おなじやん』と思っていたが、同一性は対象に内在するのではなく処理系に外在する（こともある）のだな。
