Catyの話。まずスキーマの例を挙げます。 type personProfile = {"name" : string, "age" : integer};この定義だと、{"name": "坂東トン吉"} はageプロパティがないので非妥当になります。ageを省略可能とするなら次の定義です。 type personProfile = {"nam…

find . -name '*.tmp' のように要らないファイルを列挙することが多いですね。それで、要らないフィルは消すわけですが、 find . -name '*.tmp' -exec rm {} \; これでも消せますが、rmプロセスが毎回起動されるのでうれしくないし、そもそもこのコマンドラ…

スターバックスでコーヒーを飲んでいたら、小さな女の子の声で、「ママ、おじぞうさま」声のほうに眼を向けると、言ったその女の子もママもクスクス笑っていた。「ごちそうさま」をふざけて言っていたわけね。最近僕（父親）は子供と遊ぶ機会が減って切ない…

Catyの主たるデータ構造はXJSONです。XJSONは、JSONにわずかな拡張を加えたものです。データ構造としての拡張はタグが付けられる点だけです。例えば、@mony @yen 1200 とか、@person {"name" : "坂東トン吉", "gender" : "MALE"} などがタグ付きデータの例で…

Bitbucket.orgのエラーページがだいぶましになった。以前はnginxの出したテキストのメッセージをそのまま表示するだけだったからな。って、エラーすんなよ。

今でも、オウム真理教・菊地直子の指名手配ポスターが地下鉄に貼ってあったりします。次男に事情を説明したわけです。最近、道路脇に自民党・小池百合子議員の講演会のポスターが貼ってあったのですが：次男：「あの人も指名手配なの？」違うと説明したら、…

「トレース付き対称モノイド圏とはこんなモノ」で、長谷川真人さんの "Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi (1997)" http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.52.31 からコピ…

「絵算で見る「カザネスク／ステファネスク／ハイランド／長谷川の定理」」にて： トレースについて今は説明しませんが、次のような公理で特徴付けられます。 バニッシング（アクション性） タイトニング（自然性） スライディング スーパーポージング（強度…

Caty/Python リリース8か9か（バージョン Public-Preview 1.0.0）をまたコソッと公開します。リリース番号の管理がいいかげんで、実はこれが9回目のリリースですが、前回はリリース7とか書いてしまいました。バージョン番号の区切りがいいことには何の意味も…

twitter上で忘却関手の話が出てたのでコッチで反応します。バエズがどこかで言ってました、「『忘却』のちゃんとした定義は難しい」と。関手の充満性／忠実性を使うとか、自由と忘却の随伴（自由 -| 忘却）に根拠を求めるとかありますが、それで全てかどうか…

必要があって、今日の午前中スターバックスで絵算。長谷川真人（はせがわ・まさひと）さん等による定理を確認しただけですが、なんか疲れましたねー。なんに必要か？とか背景とかは全部割愛。スンマセン。以下に予備知識あるいは関連するエントリー。 ホップ…

twitterの画像がずっと卵（デフォルト）なんだけど、顔の絵に差し替えようかと。長男がナプキンペーパーに描いた落書きでもいいかと思ったのだけど：次男に描いてもらうとコレ（下）だった。ついでに、@hiyama_on_caty向けの絵。これは長男。

誰かさんのツィートから「テキストエリアの入力を普段使っているテキストエディタなどで行なえるFirefox拡張『It's All Text!』」http://veadardiary.blog29.fc2.com/blog-entry-2063.html という記事を拝見しました。コレ、使ってみようかな、と。 アドオン…

次男：「水星って寒いの？」長男：「寒くないよ。暑いよ、すごく暑いよ」次男：「でも、もうすぐ冬でしょ」

さんざん話題にされてましたが、万が一の消滅を危惧して画面スナップショットを取りました。新垣結衣さんは、こんな感じの女の子らしいです。来年2011年の新垣結衣さんのカレンダーの表紙では、印象が変わっています。化粧とか写真の撮り方の影響でしょうか…

id:oto-oto-otoさんのつぶやき：http://twitter.com/#!/oto_oto_oto/status/27348602667 リー群とかリー代数とかファインマンダイアグラム(?)を絵算をヘビーに使ってやってる本。というかPDF。分量的にも読める気がしない。だれか印刷製本して僕にiPadくださ…

「ディレクトリを再帰的にコピーするには」において、2つのディレクトリーの内容をだいたい一致させる方法を示しました。でも、この方法は単なるコピーで、完全な同期を取るものではありません。origin/ の内容を target/ にコピーしたとき、状況は次のよう…

「cp, mvコマンドとcopy, moveコマンドの微妙な違い：実例とまとめ」と似たような話。Linux/UnixコマンドとDOS/Windowsのコマンドによる再帰的なコピー。2つのディレクトリ origin/ と target/ があるとします。origin/ にあるファイルを全て、target/ の下…

まずは事の発端を説明します。/etc/passwdファイルは、ユーザー情報が1行に1ユーザー分ずつ書かれたテキストファイルです。1行はコロンで区切られた7つのフィールドからなります。僕は、最初のフィールドであるユーザー名と、最後（7番目）のフィールドであ…

「echoで連続するファイル出力 （サラトガIT日記）」（http://www.dollpaper.com/info/252.html）という記事を目にしまして： $ echo "hello"; echo "world" > greeting.txt↑これじゃダメ。 $ echo "hello" > greeting.txt; echo "world" >> greeting.txt↑こ…

昨日僕が、クロスカップリング・ロゴのパートナーエージェントのトップページ http://www.p-a.jp/ にアクセスしてリダイレクトされた先のURLは次のようでした。 http://www.p-a.jp/index_top.html?aff_id=%3C?php%20echo%20$aff_id;%20?%3E パーセントエスケ…

パートナーエージェントという結婚情報サービスがあります： http://www.p-a.jp/ 。この会社のロゴマークは 。方向を変えてみると： とか とか。このマークを電車内の広告で見て僕は、「これは可換性の絵だよな、見る方向により余可換性とも取れる」と思いま…

http://twitter.com/hiyama_on_caty でゴニョゴニョ言っていた（http://twitter.com/hiyama_on_caty/status/26596332016 の前後）の件を解説してみます。Catyのデータ型自動変換のメカニズム次のようなデータ型を考えます。 /** ピザの注文のデータ型 */type…

「ホップ代数の絵算」シリーズの第3回（いちおう完結）です。 ホップ代数の絵算 1：準備編 ホップ代数の絵算 2：割り算と逆元 「ホップ代数の絵算 2」の最後に次のように書きました。 もう1回くらい続きます。次はたぶん ∇;S = X;(S×S);∇ を示します。 とい…

twitterは伝達や表現の手段だから、ある種のメディアと言っていいのでしょう。で、メディアとの“相性”というのはヤッパリあるよね。僕はつぶやきメディアとはあんまり相性が良くない。メディアに乗せる文言なら、なるべく筋が通って理解可能な文章にしたい、…

長男はサッカーユニフォームのレプリカを普段着にしている。このレプリカが高い。僕は1000円くらいのTシャツを着ているのに、その10倍以上。シャツ（ジャージ）の本体がある程度の値段なのはまーしょうがないかな、と思う。納得いかないのがマーキング、選手…

わけわからないSNS（を装ったスパム業者）から、「Terence Carrさんはあなたのお友達ですよね？」みたいなメールが来た。Terence Carrさんと僕は、まったく接点がないわけでもない。このブログ内で、"Terence Par"に何度か言及している。 Terence Par Terenc…