このブログの更新は Twitterアカウント @m_hiyama で通知されます。 Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
昨日の記事「アイレンベルグ/ムーア圏 その3:Maybeモナドのとき」の注釈に次のように書きました。 型パラメータを明示的に書くプログラミング言語風の記法が、圏論の記述には向いてないのかも知れません。圏論に最適化された記法や絵図を使うと、もっと単純…
まるで「生きているみたい」な四足歩行ロボットがバージョンアップしたとか。横倒し状態から自力で起き上がれるってことですが、胴体を回転しやすくしている補助具がなんかズルイなー。スムーズすぎて愛嬌がないというか、あのモガク感じが良かったんだけど。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。