「JavaScriptには、クラスとその継承はないが、プロトタイプベースの継承をサポートしている」と、まー、これはよく言われる決まり文句です。がしかし、JavaScriptにおけるアレを継承と呼んでいいものかどうか？ 「継承」といえば、多くの人が通常の継承、つ…

[追記]： 関係のtotalityの定義が間違っていたので削除。これに関する話はまた改めてするかも知れません。しないかも知れません。昨日 正確には可逆性が本質ではありません。可逆性からinduceされる一意性の保存（変換の単射性）のほうが欲しかったことです …