「Catyプロジェクト／ソフトウェアについて」より： 「キティ」と発音が似ているので、「キティちゃんをロゴに採用しよう」と提案したら、Kuwataさんに「サンリオに怒られるからやめたほうがいい」と反対されました。「キティちゃんにインスパイアされたキャ…

昨日書いたエントリー「圏論：米田埋め込みと射の社会性」は、まったくのトンチンカンでした。ryoさんのご指摘のとおり、∀k.(k;f = k;g) を仮定するなら、kにidを入れれば即座に f = g が出るので、それ以上の議論は論理的には何の意味もありません。「論理…