おとうさんが子供に遊んでもらっていたわけだな。「最近のCaty:型システムとクリーネ代数」の続きです。今朝、型システム仕様の見落としを発見したりして。この機会に少し形式的にまとめておかないといかんなー、っと。雑記/備忘Catyはなんか潜伏状態です。活発に潜伏(?)しています。MITランセンスの公開部分を整備したり、解説文書を揃えたりする時間と余裕がなかなか取れないのですが、現実的なシステムのベースにCatyを使っています。正規表現の構文いろいろな場面で正規表現はほんとに役に立ちますよね。準備が済んだので、絵による計算を試してみましょう。a/bは、bの逆数1/bをaにかけ算したモノとみなせます。...2010-09-14RFCにアクセスするURIテンプレート雑記/備忘RFCはIETFに置いてありますね。雑記/備忘プログラマ/ソフトウェア技術者が(主にモナドを動機として)圏論を勉強することは、「普通」とは言えないまでも今では「たまにある」ことです。こんな事態は、20年前には考えも及ばなかったですね。20年後には、プログラマ/ソフトウェア技術者がホ...2010-09-13松本薫(まつもと・かおり)さん、とんでもなくカッコイイ日常9月11日・土曜の晩に、テレビで「柔道:世界選手権」の模様を放送していた。別に柔道に興味があるわけじゃないのだけど、女子57キロ級の松本薫(まつもと・かおり)さんの姿を見て目が釘付け。雑記/備忘ここ何日か、また圏論関係の小ネタをチマチマと書いています。algebra)を圏論的に理解したいからです。スライス圏/余スライス圏の代わりに、オーバー圏/アンダー圏という言葉を使います(「オーバー圏、アンダー圏」を参照)。「こんな簡単な×××があったなんて」というタイトル、けっこう人目を惹きそうでしょ。「×××」が「トレース付きモノイド圏」じゃねぇー、誰も集まってこないわな。自然...2010-09-07今朝言われたこと日常はー疲れた、今日はもう帰ろう。今朝、長男に言われた。長男:「おとうさん、半ズボンとサンダルはやめなよ。大人なんだから」着替えてから帰るべきか。一時期、COMETに飛びついた人は多いですよね。やってみた感想は、「これはやっぱりHTTPの裏技で、まっとうじゃないな」。最近の記事群で、「クライアント側の状態遷移を中心にしてWebサービスの設計をしたらいいよ」と僕は言っているわけで、実践もしているのですが、まー課題もありますね。両側テレオロジー圏は自己双対コンパクト閉圏とよく似た構造になります。テレオロジー圏とコンパクト閉圏には、親族的関連性があるのでしょう。見出しに「Webサービスの設計」という語を含む一連の記事において、「ハイパーリンクこそがWebなんだから、Webでハイパーリンクを使わないなんてあり得ないぞ、使いまくれよな」みたいな話をしてきました。ブログを報告する引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。