プロビジョニングが胡散臭い（『「知」の欺瞞』的な意味で）。が、そう言ってるだけでは建設的ではないので：状態空間Sを固定するとして、Partial(S, S)は部分写像の結合でモノイドになる。M⊆Partial(S, S) は部分モノイドとする。Mも固定する。(S, M)の組は…

最近のBob Coecke教授の勇姿を見たいと思ったが、 lecture-1 https://www.youtube.com/watch?v=7Fvjpjhimic lecture-2 https://www.youtube.com/watch?v=p0GreuBC2FM 残念、lecture-1の冒頭（1:10くらい）に一瞬見えるだけ。メガネかけて太った？ lecture-2…

ベキ等性のインチキ - 檜山正幸のキマイラ飼育記 メモ編 の話。「ベキ等性は安全」は嘘八百だが、他もアヤシイ、危うい所がある。経験と雰囲気から色々言ってるんじゃないのかな？過剰適用の問題を避けるには、トランザクショナルガード（安全に正しく失敗す…