メールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。記事]2010-05-01から1ヶ月間の記事一覧2010-05-31そんなにいらない日常ティッシュ配りのオニイサンから、まとめて10個くらいのテッシュを手渡されそうになって、びっくりして手を引っ込めてしまった。批判が湯水のように湧き出る。正論に聞こえなくもないので、否定派にとってはあまりにも心強い。表示がまた変わっている。自分へのトラックバックは表示しないはずだったのに。バージョンアップしたハズミでこんなことになっているんだろうけど、直してくれや。time="16:07:06"]あっ、直っている。よる侵入の試みを遮断しました。それはルーターなんだけどなー。360には身内だって分からんからしかたないけど。Windowsホームとは別なホームを用意したほうがいいのかなぁ。方式だと、パス名が長くなるのも嫌だったんですよね。環境変...2010-05-26Catyの次回リリースについて雑記/備忘ここしばらくサブマリン状態で開発を継続してきたCatyですが、そろそろリリースします。以前とはだいぶ変わっています。プロトタイプではありません基本仕様や実装方式を決めるために発見的/試行錯誤的にいろいろやってみました。等しいか?」という問題を考えました(ホント)。インデックス付き圏のグロタンディーク構成に基づいて考えて、答を出しました(作り話)。珍味をめぐる冒険」、ミステリーハンター・宮地眞理子さんが凄かった。珍味・ゲンゴロウとかコブラとか、なんだかんだ言って結局ちゃんと食べていました。長男:「お父さん、ワールドカップのホスト国優勝ってどういうこと?」父親:「開催国が優勝することだな」長男:「今度のワールドカップなら、南アフリカが優勝すること?」父親:「そうそう。夕刊紙「日刊ゲンダイ」公式ツイッターです。本日発売紙面(関東エリア発行版)の見出しをどんどんつぶやいていきます。僕らがよく知っている圏の定義に基づく議論を、「古典圏論」とか「圏の古典論」とか呼ぶ人がいます。確かに、モナドとかクライスリ圏とか言ってみても半世紀ほども前に出来た理論ですから、古典なんかもしれません。父親:「君が好きなタレントさんは高田純次さんとか関根勤さんなんだよね」長男:「そうそう、若手なら板尾創路さん」父親:「板尾さん、そんな若くないと思うけど、まーいいや」長男:「ベテランなら萩本欽一さん」父親:「うん、わかってる。次男に関するすべらない話じゃなくて、次男が語ったすべらない話(実話、と思われる*1)。次男:「お父さん、面白い話があるよ」父親:「ん」次男:「僕たちのサッカーの試合でね、審判が笛をなくしちゃったの」父親:「へー。category)の話をしても全くウケないのは承知でもう一回。category)の話をしても全くウケないのは承知でもう一回。インデックス付き圏の事例はイッパイあります。紹介する機会もあるでしょう。3つの例を紹介します。図式Gを多重辺もループも許す有向グラフとします。雑記/備忘CとDが圏のとき、ベキ(指数)DCを考えます。DCは、CからDへの関手の圏です。G...2010-05-06わたし負けましたわ日常ウチの子達はなぜか回文が好きだなー。長男:「お父さん、回文言ってみて」父親:「新聞紙」長男:「平凡」父親:「まーそうだな。ボリビア、ミステリーハンターは宮地眞理子(みやち・まりこ)さん。ブログを報告する引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。