1年たって、手書きから自動描画へ

雑記／備忘 Caty

今から1年と少し前に「Webサービスを設計するための単純明快な方法」という記事を書きました。そのなかで次のような手書きの絵を出しました。「Webサービスの設計：Webの状態遷移図の描き方」では、図に関する説明を追加しました。上の図で番号が付けられて…

2011-08-30

秘密基地：長男の場合

日常

次男の場合：増員計画の失敗その後の秘密基地父親：「K(次男)は秘密基地の話をしてたけど、君はそんなこと言ったことなかったよな」長男：「いやいや、俺もね、若い頃は秘密基地作ってたよ」父親：「聞いたことねーな」長男：「俺にも守秘義務があったか…

2011-08-29

圏のデカルト構造と足し算構造

雑記／備忘

「アーベル圏わかりませーん」において、アーベル圏の特徴は「足し算と完全列」だと述べました。完全列のほうは馴染みがないのですが、足し算はよく使っています。足し算の話をごく手短にします。圏のデカルト構造圏Cがデカルト圏であるとは、終対象とデカル…

2011-08-25

アーベル圏わかりませーん

雑記／備忘

首都圏におけるワケワカンナイ勉強会の主催者としての名声をほしいままにしているbonotakeさん（id:bonotake）が、「スタート表現論にいそしむ貴方のための圏論」という、メビウスバンド的にひねくれた、いや、ひねった発想のイベントを企画しました。「スタ…

2011-08-23

雑談の効能：スピノールとか

雑記／備忘

表現論復習会での雑談のなかで、「スピノール」という言葉が出ました。僕はスピノールに関して何も知らなかったのですが、おぼろげながらイメージを持てるようになりました。もちろん、正確には理解できてませんが、雰囲気が掴めるだけでも雑談の効能なのだ…

2011-08-23

Windows上のPythonでグラフ描画： PyGraphvizインスールで一苦労

雑記／備忘

事情があって、Pythonで使えるグラフ描画ツールを探しました。いくつか候補があるのですが、NetworkX（http://networkx.lanl.gov/）が良さそうに思えました。NetworkXは、グラフ描画が主たる目的ではなくて、グラフの操作や解析のためのライブラリです。描画…

2011-08-22

スタート表現論復習会＠CLTT読書会の感想など

雑記／備忘

8月14日に「スタート表現論」が開催されたのですが、僕は結局お盆帰省で参加できませんでした。8月20日の「CLTT (Categorical Logic and Type Theory)読書会」のご好意により（あるいは僕の無理強い・ゴリ押しにより）、「スタート表現論」の復習ができまし…

2011-08-18

JavaScript: 文字列のreplaceメソッドの第3引数

雑記／備忘

次のJavaScript断片を実行すると： var s = "私が塾長である。私が江田島平八である。"; alert(s.replace("私","ワシ")) 「ワシが塾長である。私が江田島平八である。」と表示されます。二箇所の「私」を「ワシ」に置き換えるには、g（global）オプションが…

2011-08-12

豊饒圏と似たナニカが定義できた

雑記／備忘

豊饒圏を一般化しようと思ってゴニョゴニョしているうちに、なんだか最初の目論見とは違うナニカになってしまいました。それでも、いちおうは豊饒圏と同じように扱えるシロモノなので、結果をメモしておきます。実際の計算はすべて絵算でやってますが、テキ…

2011-08-12

はてなブックマークのbookmarklistがなんか変だ

雑記／備忘

この「キマイラ飼育記」に付いたはてなブックマークを列挙するには、http://b.hatena.ne.jp/bookmarklist?url=http%3A%2F%2Fd.hatena.ne.jp%2Fm-hiyama%2F というURLにアクセスすればいいのです。が、なんか変です。 http://b.hatena.ne.jp/bookmarklist?url…

2011-08-11

XJSONのセレクター式／パス式

雑記／備忘

Catyでは、JSONにタグを許したXJSONというデータ形式をいたるところで使っています。タグ付きのデータとは、@tel "03-1234-5678", @YEN 1200, @person {"name": "m-hiyama", "gender": "male"} とかです。XJSONデータの一部を抜き出すセレクター式／パス式に…