http://d.hatena.ne.jp/asa-ko/20090727/p1
(初等)算数では、4x3は、4*3でなくて、
for i:=1 to 3 do
x:=x+4*1
ということなので(イマ決めた。すぐ忘れる予定)、脳内のライブラリにコレをインストールしていると、負の計算に実感が沸かないかも。
(初等)算数では"x"の後ろには無次元数というか無名数を置き、上記のような操作を意味するっぽいが、可算な自然数でなく、正負の方向をもったベクトル(っぽい)量を基準とした、たとえば原点からの位置と時間、みたいなのを例にとって銘記し、脳内ライブラリを書き換えないとアレっぽい。
*1:xはゼロで初期化