例えば、Ada的ガチガチデータ型文化圏プログラマなら、たまごを数えるのに『1たまごユニット』みたいな単位を作り出して考える事で、「『(hogehoge ml入り)牛乳1パック』とは別のものである」みたいにしてヒューマンファクタ上で（？）安全にするじゃん？＞＜
数学者って、「牛乳だろうが卵だろうが1は1であり6は6である」って発想の人が多いんじゃないの？＞＜