プロビジョニングの文脈で言っているベキ等性（idempotence）がインチキくさい。おそらくインチキだろう。僕の感覚では、ベキ等に出来るわけがない。感覚でなくてちゃんと示したい。状態空間があって、その上の自己射（endomorphism）からなるモノイドを、遷…

「ブランチ」の凶悪で忌まわしき多義性は、もうGitは怖くない： 自信を持って使いたいあなたへ - 檜山正幸のキマイラ飼育記 で、まーなんとか説明した。「ヘッド」が困る。HEADはラベルとして説明した。カーソル、ニードル、あるいはカレント・ポインターだ…

fletを使っていたが、もう古いそうだ。代替にcl-fletとかあるそうだが、もう局所関数使うのやめようかな。そもそも、ELispと局所関数は相性が良くない。無理矢理感がある。気持ち悪さが抜きがたい。単発使用の小さい関数で名前を使うのは、それはそれでイヤ…

もうGitは怖くない： 自信を持って使いたいあなたへ - 檜山正幸のキマイラ飼育記 に書いて、https://github.com/m-hiyama/git-quest-kit/blob/master/git-inspect-functions.nohelp.sh で使っているコマンド。いや、使ってないのもあるか。 git rev-parse # …