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

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

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

参照用 記事

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

そんなにいらない

ティッシュ配りのオニイサンから、まとめて10個くらいのテッシュを手渡されそうになって、びっくりして手を引っ込めてしまった。

その日本語はどうなの

http://news.livedoor.com/article/detail/4796484/ 「吉本で(格下に)最強の武闘派! 島田紳助」 もう、批判が湯水のように湧き出る。しかし正論に聞こえなくもないので、否定派にとってはあまりにも心強い。 内容は置いといて(どうでもいい)、「湯水のよ…

はてなtrackbackモジュールが変になっている

サイドバーに入れている <hatena name="trackback" > の表示がまた変わっている。自分へのトラックバックは表示しないはずだったのに。バージョンアップしたハズミでこんなことになっているんだろうけど、直してくれや。[追記 time="16:07:06"]あっ、直っている。[/追記]</hatena>

Norton 360、仕事熱心なのはいいんだけどサ、それはヤメテ

Norton 360曰く: 侵入防止: 192.168.1.1 による侵入の試みを遮断しました。 それはルーターなんだけどなー。まーNorton 360には身内だって分からんからしかたないけど。ルーターから「PCの UDP 53(DNS)」へのアクセスが遮断されちゃったけど、実害はない…

Windowsのジャンクションを使ってファイルシステムを使いやすくする

「WindowsでHOMEをどこに設定すべきかか? あー悩む!」*1にて: [...] やっぱり、Windowsホームとは別なホームを用意したほうがいいのかなぁ。%HOME% = %USERPROFILE%\Work 方式だと、パス名が長くなるのも嫌だったんですよね。いっそ、C:\hiyama を環境変…

Catyの次回リリースについて

ここしばらくサブマリン状態で開発を継続してきたCatyですが、そろそろリリースします。以前とはだいぶ変わっています。もうプロトタイプではありません基本仕様や実装方式を決めるために発見的/試行錯誤的にいろいろやってみました。「何をどう作るか」に…

下ネタ

長男:「お父さん、下ネタやって」父親:「ええっ」次男:「下ネタ、下ネタ」父親:「下ネタはあんまり…」次男:「お父さん、下ネタ上手じゃん」父親:「…」長男:「お父さん、下ネタの天才*1」父親:「… … あのなー、君たち外でそんなこと言わないでくれよ…

1 と 1.0 が等しいかどうか? グロタンディーク構成で考えてみる

最近、「1 と 1.0 は等しいか?」という問題を考えました(ホント)。インデックス付き圏のグロタンディーク構成に基づいて考えて、答を出しました(作り話)。実話かどうかはともかくとして、「1 と 1.0 は等しいか?」をグロタンディーク構成を使って解く…

宮地眞理子さんの食いっぷりに感激

2010/05/22(土)TBS 『日立世界ふしぎ発見!』第1145回「広東美食紀行 珍味をめぐる冒険」、ミステリーハンター・宮地眞理子さんが凄かった。珍味・ゲンゴロウとかコブラとか、なんだかんだ言って結局ちゃんと食べていました。「蛇の姿蒸し」も食べていたけ…

開催国、開催クラブ

長男:「お父さん、ワールドカップのホスト国優勝ってどういうこと?」父親:「開催国が優勝することだな」長男:「今度のワールドカップなら、南アフリカが優勝すること?」父親:「そうそう。ちょっと無理そうだけどね」長男:「その次はブラジル開催だか…

あらためて東スポはえらい

http://twitter.com/nikkan_gendai/status/14204177431 : 夕刊紙「日刊ゲンダイ」公式ツイッターです。本日発売紙面(関東エリア発行版)の見出しをどんどんつぶやいていきます。 日刊ゲンダイ ・ 社会/東国原浮かれ知事に天罰 口蹄疫大被害と疫病神知事 お…

モダンな圏論の用語法に悩む

僕らがよく知っている圏の定義に基づく議論を、「古典圏論」とか「圏の古典論」とか呼ぶ人がいます。確かに、モナドとかクライスリ圏とか言ってみても半世紀ほども前に出来た理論ですから、古典なんかもしれません。じゃ、モダンな圏論とは何かというと、2つ…

お笑いタレント、俳優、アイドル

父親:「君が好きなタレントさんは高田純次さんとか関根勤さんなんだよね」長男:「そうそう、若手なら板尾創路さん」父親:「板尾さん、そんな若くないと思うけど、まーいいや」長男:「ベテランなら萩本欽一さん」父親:「うん、わかってる。みんな、お笑…

次男のすべらない話

次男に関するすべらない話じゃなくて、次男が語ったすべらない話(実話、と思われる*1)。次男:「お父さん、面白い話があるよ」父親:「ん」次男:「僕たちのサッカーの試合でね、審判が笛をなくしちゃったの」父親:「へー。それ、審判、カッコ悪いな」次…

ベクトル空間の圏のグロタンディーク構成

「インデックス付き圏のグロタンディーク構成」にて: インデックス付き圏(indexed category)の話をしても全くウケないのは承知でもう一回。 さらにもう1回か2回か。一人くらい(内海さん)にはウケるかもしれないので^^;「インデックス付き圏の3つの例」…

インデックス付き圏のグロタンディーク構成

インデックス付き圏(indexed category)の話をしても全くウケないのは承知でもう一回。 インデックス付き圏のインデックス付き圏 - 檜山正幸のキマイラ飼育記 インデックス付き圏の3つの例 - 檜山正幸のキマイラ飼育記 インデックス付き圏があると、それに…

そんな方法で騙されているのか? >Windows Live

FromとToを同じアドレスに偽装するのはスパム業者の常套手段だと思うのだけど、Windows Live Hotmail はこの方法には対処してないのかぁ? 「いくらなんでも、それくらい対処できるだろう」という気がするんだけど、、、現象としては、自アドレスには「この…

インデックス付き圏の3つの例

「インデックス付き圏のインデックス付き圏」にて: インデックス付き圏の事例はイッパイあります。また紹介する機会もあるでしょう。 3つの例を紹介します。図式Gを多重辺もループも許す有向グラフとします。Cは圏として、g:G→C が有向グラフの準同型である…

古いお金

次男:「僕、すごく古いお金持ってるよ」長男:「いつごろのお金?」次男:「すごく昔」長男:「江戸時代?」次男:「もっと昔だよ」長男:「戦国時代?」次男:「うん、そのくらい」長男:「戦国時代のお金なの」次男:「そう、そのころの五円玉」

インデックス付き圏のインデックス付き圏

CとDが圏のとき、ベキ(指数)DCを考えます。DCは、CからDへの関手の圏です。 圏の対象: Obj(DC) = Func(C, D) 圏のホムセット: F, G ∈Func(C, D) に対して、DC(F, G) = Nat(F, G) ここで、Func(C, D)は関手(functionじゃなくてfunctor)の集合、Nat(F, G…

わたし負けましたわ

ウチの子達はなぜか回文が好きだなー。 そんなことは憶えてません ハードすぎるしりとり 長男:「お父さん、回文言ってみて」父親:「新聞紙」長男:「平凡」父親:「まーそうだな。他思いつかん」長男:「わたし負けましたわ」父親:「それも平凡だろうが」…

それは駄洒落かも

5月1日のTV番組「世界ふしぎ発見 -- 第1142回 世界の屋根には何がある? アンデス天空大紀行」、場所はボリビア、ミステリーハンターは宮地眞理子(みやち・まりこ)さん。 参考 1:それは駄洒落じゃない 参考 2:それも駄洒落じゃない 宮地「アンデス山脈に…