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

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

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

参照用 記事

2006-08-01から1ヶ月間の記事一覧

次男の質問

(新幹線のなかで外を見ながら)「新幹線は駅が嫌いなの?」 (テレビを見ながら)「『おひさしぶり』って、僕に言ったの?」

ドメイン名

10代の(と思われる)女の子が「私もドメイン取ろうと思ってぇ」とか話しているのを耳にすると、うーむ、やはり隔世の感がありますなー。「自分の名前のイニシャルがよかったんだけどぉ…」(注:comドメインらしい) -- そりゃ無理でしょ、アンタ。

圏論番外:同期/非同期の結合

「はじめての圏論」を書きはじめたので、愚痴みたいな話も書きやすくなったね。背景とか予備知識とかがより多くの人に共有されれば、「何をワケワカンナイ繰り言をいってんだ?」と思う人が少し減って、「なるほど、それは確かに問題だな」とか「こうすれば…

Euclideanな検索語

ユークリッド聖域 字がちょっと違いますね。 ユークリッド精液 もっと違う。

旅行に持っていくもの

長男(小学生)は、2歳からトムヤムクン・スープを飲んでいたほどの辛いもの好きだ。で、韓国辛いものツアーに行きたいという。それを聞いていた弟(園児)、「ぼくも行く。」だが、次男は辛いもんが全然ダメ。「君は無理だと思うぞ。」「ウィダー持って行く…

はじめての圏論 第6歩:有限変換キューと半圏

第5歩で変換キューを紹介しましたが、そのとき次の仮定を置きました。 バッファ容量に制限(上限)はない。 変換は、プログラムの内部状態に依存しないで行う。 2番目の仮定を取り除いて「状態に依存した複雑な変換」を許しても、ハナシが面倒になるだけで、…

はじめての圏論 中間付録A:絵を描いてみた

もし、説明の場にホワイトボードがあれば必ず描くであろう絵をノートに描いてみました。以前の回(第2, 3, 4, 5歩)に埋め込もうかとも思ったのですが、面倒だからココにまとめて載せます。絵を眺めて内容を思い出すなり、確認するなりするといいと思います…

はじめての圏論 その第5歩:変換キューの圏

しりとりの圏HShiriは単なる“お遊び”だし、行列の圏Matは所詮(高校の)“数学”だし、やっぱり現実離れしているじゃん -- と思ってます? そうでもないのよね。多くの物理現象/計算現象、電気回路のような工学的な対象までも圏で定式化できるんですよ。例え…

はじめての圏論 その第4歩:部分圏

「第4歩」と書いたからと言って続くかどうかはわからない -- というセリフはもうやめよう。はじめの何歩かは進んだから、もう、いつ中断してもいいからな。で、第4歩のネタなんですが、もっともっと実例を出すか、一般的な議論をするか悩みました(少しだけ…

はじめての圏論 その第3歩:極端な圏達

「第3歩」と書いたからと言って続くかどうかはわからない。だけど、3回書けば既に続きものだとも言えるので、第1歩をハブエントリー(目次ページ)にしておきました。第1歩からリンクをたどれます。さーて第3歩だけど、そろそろ関手ですかね? いやっ、まー…

バカの上塗り -- 艶笑コマンド

( unzip; strip; touch; finger; mount; gasp; yes; umount; sleep ) この件なんですが、問題がある点を改良する試みを: いきなりunzipでいいのか→ wine; talk; unzip; ... (wineって一般的なの?) 盛り上がりが足りないのでは→ gasp; yes; comm; ... (…

はじめての圏論 その第2歩:行列の圏

「第2歩」と書いたからと言って続くかどうかはわからない、なにしろ僕は気まぐれだからね。とりあえず第1歩で、手でいじれる圏の例が1つは手に入りました。圏論のような抽象的/一般的な理論を納得するには、具体的な例をたくさん知って、具体例に一般論を…

そう来ましたか

本日書いた、圏論のエントリーですが、これで劣情をもようしてくださった方もいるようで、、、実に素晴らしい感性だ!いったいどこらへんがエロいのかって? 僕も気が付きませんでしたよ。 H={ぁ, あ, ぃ, い, ..., ん, ー}。 次のコマンドの並びもエロいぞ…

はじめての圏論 その第1歩:しりとりの圏

全体目次: 第1歩:しりとりの圏 (このエントリー) 第2歩:行列の圏 第3歩:極端な圏達 第4歩:部分圏 第5歩:変換キューの圏 第6歩:有限変換キューと半圏 第7歩:アミダの圏 第8歩:順序集合の埋め込み表現 第9歩:基本に戻って、圏論感覚を養うハナシと…

Xion/Java:チュートリアル原案 その1

現在、Xion ver 0.1は次のURLから取得できます。 Xion-0.1 : http://www.chimaira.org/tmp/Xion-0.1.tgz 基本的仕様はだいたい固まったので、大きな変更や拡張はもうしません。が、使い勝手が悪い所などはチマチマと変えていきます(ver 1.0になるまで)。…

お盆と夏休み

ひとなみにお盆帰省をして夏休みだったのですが、どうも段取りが悪くて、休み中に連絡取れなくて迷惑をかけてしまったようです。ごめんなさい。

この名前はなんて読むのだろう?

sumiiさんのダイアリーのなかで、IT Proの記事 - sumiiの日記 とかギリシャ人の名前 - sumiiの日記とか灯台下暗し - sumiiの日記とか、外国人名の読み(カタカナ書き)の話題が登場していますが、これ、難しいというか、結局本人にでも聞かないとわからない…

スターバックスの新メニュー

リモーネカスタードフリッターがちくわにしか見えない。食べてみるとわりとウマイんだけどね。

新幹線乗る機会が多い

関西方面に行ってきました、新幹線で。お盆の帰省でも新幹線乗るし。

Xion/Java:バージョン0.1リリース(つうか放置)

ショウ君が復活してXion-0.1を送ってくれました。それと、なんばさんがXML to Xion変換のXSLTスクリプトを書いてくれたのでこれも一緒に置きます。 Xion-0.1 (http://www.chimaira.org/tmp/Xion-0.1.tgz) XML to Xion (http://www.chimaira.org/tmp/xml2x…

お父さんごっこ

ウチの子達が「お父さんごっこ」をしていた。兄が子供役で弟がお父さん役。ほほえましい…って、そうかぁ?兄(子供役):「お父さん、気に入らない友達がいるんだけど。」弟(父の役):「誰?」兄(子供役):「×××君。」弟(父の役):「殺そう。」兄(子…

オオアリクイはスパム新時代を切り開く

例のオオアリクイ問題なのですが、「オオアリクイって、そんなに評判だったの」を書いた後で、マジメ(?)に考えてみました。「餅空 blog / Nucleus支店」では: いつまでたってもオオアリクイのスパムが届かなくて落胆している今日この頃 なんて書いてありま…

オオアリクイって、そんなに評判だったの

酒井さんのヒビルテ(http://www.tom.sfc.keio.ac.jp/~sakai/d/)の2006-07-29に、「主人がオオアリクイに殺されて1年が過ぎました」が載っていて、「あー、これならウチにもきてたな」と思ったわけですが(わざわざforwardしてくれる知人もいたし)、ずいぶ…

はてなダイアリーの見出しカテゴリーを一括置換ってできる?

はてなダイアリーのヘルプではなんか見つからない -- はてなブックマークのカテゴリーは一括で変更できるのにぃ、、、本来備わった機能はないにしても、なんらかの工夫でゴソッとカテゴリー名を置換する方法ってありますでしょうか? -- と甘ったれて聞いて…

Xion/Java:そろそろリリース

業務連絡くらいは書かないとね。しかし、金曜にこんなこと書くってことは、週末にやれってこと…… ひどいヒト>わたし。晒す準備中途半端でもなんでもいいから、とりあえずリリース(晒し)しましょ。zipでもtar.gzでも、とにかく塊を一個作ります。Xion-0.1/…

女性アナウンサーをアタフタさせた亀田くん

亀田興毅くん、騒動らしいですね。それで、http://www.youtube.com/watch?v=Sdu4zb-DxE4&NR 見ました。亀田くん本人には、さしたる感慨もないのだけど、上記動画の中盤あたりで、女子アナの一人が亀田発言に大喜びで「対戦相手の方がいたいけな感じでねぇ」…

暑い

人並みに「アヂー」とか騒ぐわけだが、実は暑さではたいしてダメージ受けない。夏が一番体調いいかな。

夜は無駄にリラックス

という事情で、夜に仕事場に来てみたら、単にダラダラしているだけでした。生活のリズムを変えるのは難しいね。

朝がつぶれている

ここ2,3週間、生活パターンが変わってしまって、朝から出かけたり、午前中アタフタしていたり、、、子供が寝た後で事務所に来るってテもあるけど、そういうことはあんまりしたくないしなぁー。