昨日の記事「アイレンベルグ／ムーア圏 その3:Maybeモナドのとき」の注釈に次のように書きました。 型パラメータを明示的に書くプログラミング言語風の記法が、圏論の記述には向いてないのかも知れません。圏論に最適化された記法や絵図を使うと、もっと単純…

まるで「生きているみたい」な四足歩行ロボットがバージョンアップしたとか。横倒し状態から自力で起き上がれるってことですが、胴体を回転しやすくしている補助具がなんかズルイなー。スムーズすぎて愛嬌がないというか、あのモガク感じが良かったんだけど。