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

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

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

[参照用 記事]

2010-10-01から1ヶ月間の記事一覧

未定義をちゃんと扱おうと思っている

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

findコマンド、一番よく使う形

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

おじぞうさまでした

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

構文解析木とタグ付きJSON

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

Bitbucketのエラーページ

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 Public-Preview 1.0.0 ï¼  Chimaira.org

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

さまざまな忘却関手

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

絵算で見る「カザネスク/ステファネスク/ハイランド/長谷川の定理」

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

檜山の顔とCaty猫の絵

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

Firefoxアドオン It's All Text! と Emacs を一緒に使う

誰かさんのツィートから「テキストエリアの入力を普段使っているテキストエディタなどで行なえる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くださ…

Pythonを使ってみた -- あっち側にだけあるファイルをリストする

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

ディレクトリを再帰的にコピーするには

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

Linux/Unixコマンドラインでちょっとした事をするには

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

echoで複数行を書き出す

「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/ 。この会社のロゴマークは 。方向を変えてみると: とか とか。このマークを電車内の広告で見て僕は、「これは可換性の絵だよな、見る方向により余可換性とも取れる」と思いま…

Catyとデータ型: だれががんばるの?

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

ホップ代数の絵算 3:対蹠が反準同型射であること

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

@hiyama_on_caty でつぶやくかも

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

¥315×6 + ¥1,440×2

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

あなたのお友達ですよね

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