>>246　ありゃ？わかってなかった人もいたｗ
ドジスンの例（日付変更線）などは
場所だけでなく時でも定義が変わるけど、
そこまで複雑じゃなくても問題はないっぽい。
ただし左辺型と右辺型の区別くらい必要だから、
「その省略記法が許される理由付きで」、つまり
『左辺型の１＝右辺型の２』を示した後で
（つまり、それを含む計算可能体系の例を挙げ）
さらにその省略記法としての『１＝２』においては
他に解釈の余地がないことまで示さないと…。

ま、ドジスン自身が発見した定義有効域問題と
　　比べたら簡単、簡単。数学者であっても
　　けっこうついていけなかった例が残ってるから。
以下、チャールズ・ラトウィッジ・ドジスンによる：
　・任意のＡとＢに対して、もしＡ＝ＢならばＢ＝Ａ、
　・任意のＡとＢとＣに対して、
　　　　もしＡ＝ＢかつＢ＝ＣならＡ＝Ｃ
…ただし、Ａの位置で定義された式が
　　Ｂの位置でも許可される為には
　　Ｂの位置において有効な保証が必要である。
※そして、「Ａの位置」での「許可有効性保証」が
　　「Ｂの位置」でも有効になるにはまた保証が必要。※
※〜※を繰り返す。仲の悪い国々や縦割りのお役所と
　　それぞれが出した許可の他での取り扱い的な関係。
大体、こんな感じだった（もっと厳密に書いてあった）。
　　この複雑さと比べたら、左辺と右辺の二箇所だけ
　　くらいは簡単に合理的な定義ができそうではあるが、
　　片方が１（乗法単位元？）ってのがきついな。

→桁数などの類《たぐい》では「良い定義」が不可能だし、
　　符号反転＆３の剰余あたりの姑息な手を使うか？