このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2011-10-04から1日間の記事一覧

図式順記法について少し

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

起き上がれるロボット

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