昨日のエントリー「Haskell の構文に惑わされているね」を少し引っ張るんだけど； Haskellの関数定義／呼び出し*1構文は、誤解や混乱を招く危険もあるにはあるけど、やっぱり巧みに出来ているなー。誤解したまま使ってもツジツマがあうところが素晴らしい。…

先日、チェーンの某定食屋（大戸屋だけど）で、オーダーを聞きに来た女性店員とのやりとり：店員：「お決まりですか？」檜山：「えーとね、この野菜の…」店員：「いらっしゃいませー」これはおそらく、お客様がドアから入ってきたら必ず「いらっしゃいませ」…

さらにさらに「ラムダ計算、論理、圏」セミナーへの補足・応答： 今日中に他のエントリーにも一言二言。hiroki_fさん： 映画マトリックスは好きな映画の一つだ。 マトリックスの世界、ミニモイの国、ネバーランドなんかを妄想するのはいいよね、仮想の世界の…

さらに「ラムダ計算、論理、圏」セミナーへの補足・応答： rst76さんから絵を拝借：この絵で、E3, E2, E1が同じなの違うの？ ということを何人もの人が気にしていたようですから補足しておきます。このようなことを確認したかったら、型の“次元解析”をすれば…

2月21日に、rst76さんからトラックバックをいただきました。 「技術者／プログラマのためのラムダ計算、論理、圏」セミナー第2回 だいぶ遅くなってしまいましたが、口語体、つうかオシャベリ体でお応えします。こりゃカリー化つうより、コンビネータの利用じ…

石井君*1が、2月19日セミナーのツイン・ホワイトボードを撮影してくれていたので、ハイライト(?)部分を紙芝居にしました。紙と鉛筆の準備はいいかな -- では、はじまりはじまり。 g = <a, b, x| a*x + b> という関数があるとき、これを2回“ラムダ抽象”してみます。ラムダ抽象と</a,>…

メールでお願いしたアンケート（送信メールの一覧は http://www.chimaira.org/docs/sent-mails-20090219.html にあります）のお答えが返ってきているので、それを読んでいます。正直な感想を書いていただいて感謝します、いやマジで。遠慮されたりお世辞を書…

次男：「北極って一番北なんでしょう？」父親：「そうだよ。地球で一番北だな」次男：「じゃ、地球で一番東はどこなの？」ウーム、極東って言葉はあるけど、東極はないな。（他の方角関係エントリー）長男：「おとうさん、フフクって漢字、書ける？」父親：…

セミナーをやって良い点でもあり辛い点でもあるのは、終わった後で 「こういう説明ならもっと分かりやすかったのでは」 「あーいう順序で話すほうが合理的だった」 「あそこは省略すべきだった」 「駄洒落がスベッた」 「せっかく考えていたギャグを言い忘れ…

トラックバックをたどって、「スノーグローブとゲーデルとマトリックス」： とりあえず俺はペンローズ派だ。小さく主張しとこう。 アハハハハ。だいぶ笑った。なんでおかしいか、というと： ジョニー（a.k.a. hiroki_f）は、ハードボイルドな物理研究者を目…

2月19日セミナーのスライドは、http://www.chimaira.org/archive/20090219.html から取れます。

※ エントリーを、時間順に上に積み上げることにしてみた。僕は、他人の趣味嗜好をとやかく言う気は全然ない。男性が女装しても、女性がモヒカン頭でも、まーいいんじゃないの、と思う。だから、きつい香水にも難癖を付ける気はない、趣味嗜好の問題としては…

報告などは後日。以下、謝辞のみ。 gammeさん、懇親会・会場の情報、ありがとうございました（今回は「山ちゃん」行きませんでしたが）。 村岡さん、会場の情報、ラーメン屋さんへのご案内、どうもです。 たけをさん、懇親会・会場のご推薦、助かりました。 …

たけをさん http://d.hatena.ne.jp/bonotake/20090219/1235053277 ： お絵描き（ラムダ計算）の話がなんで計算可能性の話につながるの？... [snip]大きく外れてはいないと思ってるんですが。 まー気まぐれみたいなものです。が、 コード（関数）とデータ（値…

いつものようにコーヒーを飲んでいたら、若いお母さんと思われる女性*1が、タニシを飼っていて赤ちゃんが生まれてうれしいとか可愛いとか、そんな話をしていた。ははー、タニシ初心者だな。タニシはやたら生命力が強くて、ろくに世話しなくてもどんどん繁殖…

以前（2007年夏）、植物に水をやり忘れて枯れそうになった。それで、お詫びに名前を付けてあげた。 この植物の種類はいまだに知らないが、彼（だか彼女だかわかんない*1）はアレックスだ。冬はあんまり水をやらなくてもいいのだけど、つい油断していたらまた…

明日(19日）セミナーをやるので、今日になって話す内容を考え出した（毎度コレだよ、反省はしてない）。朝食の後、見出しをいくつかノートに書き並べていたら：長男：「コンビネータってなに？」次男：「おにいちゃん、コンビネータ知らないの」長男：「知ら…

http://d.hatena.ne.jp/m-hiyama/20090204/1233722560 の最後のリスト、懇親会参加予定者には◎を付けました。ご確認をお願いします。

なんか賞をもらったみたい。

「圏の余鎖複体：とりあえず単純（トリビアル？）なケース」の続きです。圏C上で一般化された係数を持つコチェーン、コバウンダリを定義します。コホモロジーを考えるというよりは、コバウンダリ条件を記述する等式自体を観察する感じです。G係数コチェーン…

不景気で経費節減を余儀なくされているのだとは思います。でも、なんか悲しいです。 すき焼き定食の肉が牛スジになってしまった。 カツ丼とミニ蕎麦セットが、ミニ・カツ丼とミニ蕎麦セットに。 讃岐うどん店の薬味、スダチがレモンに変わっていた。

http://d.hatena.ne.jp/m-hiyama/20090204/1233722560 の最後に、差し障りのない形でセミナー参加予定者リストを載せましたので、ご確認をお願いします。

（株）コムテックス主催「経済講演会」なる講演会があるそうで、講師は浜田幸一氏、んでそのお題は ハマコーの非常事態宣言！ 浜田さんは最近、千葉地裁より破産宣告を受け破産したとか。そりゃ確かに経済的に非常事態でしょうな。

テキストがセリンガーの絵算サーベイになりました。↓はセリンガーのサイトに置いてあった写真：右のオニイチャンがセリンガー、左のオジサンがアブラムスキー、まん中はパナンガデンだそうです。んで、id:nucさんにお会いしました。優秀で真面目（そう）な青…

次男：「おとうさん、チェ・ホンマンが進化すると何になるの？」父親：「えっ、チェ・ホンマン？ もう進化しないんじゃないの」次男：「じゃ、誰なら進化するの？」父親：「うーんと、あの、えと、柔道やっていた石井サトシだっけ」次男：「その人が進化する…

僕の観察によると、「ほとんど常に遅刻する人」と「ほとんど常に遅刻しない人」がいて、「遅刻したりしなかったりな人」とか「以前は遅刻していたが最近は遅刻しない人」とかはあんまりいない。

次男とウドン屋さんに入った。薬味として、ネギなどと一緒に自前で削ったらしき鰹節（削り節）が付いていた。次男：「おとうさん、ネギに鉛筆の削りカスがいっぱい入っているよ。お店の人に言って取り替えてもらって」 次男「氷点下マイナス10度ってすごく寒…

hiroki_fさんがゲージ理論との関連でファイバーバンドル（fiber bundle, fibre bundle、ファイバー束）の説明をしています。 一般相対性理論のゲージ理論的見方(1) 一般相対性理論のゲージ理論的見方(2) 勝手に説明のお手伝いをします。とはいえ、僕が書きか…

「技術者／プログラマのためのラムダ計算、論理、圏」セミナーの報告です。質疑応答の記録は後で追加します（まだ、まとまってないので）。最後に次回の告知があります。参加者参加表明くださった方27名、縁故およびスタッフ参加4名、当日風邪で欠席された方…

なんか、セミナーへのフォローばっかりやってる感じですが、質問も批判もウェルカムと公言してるから、全部対応します。http://d.hatena.ne.jp/superstring04/20090201/1233489026 ： もし私たちの世界のミニチュアが手元のスノーグローブに入っているとすれ…