「総称高階関数計算の練習：積モナドの乗法を書き下す」にて： 次の定義を総称高階関数計算の記法に翻訳しましょう。 τ := (ν*L)・(EE*μ)・(E*γ*L) τ := (E*μ)・(ν*LL)・(E*γ*L) いや、これは宿題にしよう、っと。計算練習にやってみてください。解答はたぶ…

ウチの長男、次男はホントに四六時中けんかをしている。原因は実にさまざまだが、どれも些細でくだらない。ふざけているうちに本気になってしまったり、弟が兄を小馬鹿にしたような口をきいて、兄がそれに反応して怒りだしたり。子供だから、こんなもんだと…

Catyの意味論を少しずつ書いていきます（あんまりタラタラはしてられないけどね）。 タラタラはしてられないので、やれるところまで今日やっちゃいますよ、意味論。「Catyのインタプリタ＝評価関数の表示的意味論」において、Catyスクリプトの表示的意味論と…

ソフトウェアの意味論は何のため／誰のために必要か 型チェックと型推論 という事情で、Catyの意味論を少しずつ書いていきます（あんまりタラタラはしてられないけどね）。こういう話は作り側に関わることで、使う人には何の関係もありません -- 次の記事を…

僕とKuwataさんの連絡は、口頭を除けば公開チャンネルを流れる状況になってしまいました*1（最近は内部ドキュメント書いてないっす）。それで、そろそろ型推論のやり方を（公開で）書かないとなー、と思うのです。が、気になることがあるので、ちょっと愚痴…

http://return0.dyndns.org/log/2009/11/01#s_1 : [diagrammatic order記法は]まあ檜山さんしか使わないだろうし、 そんなことはないだろうよ。diagrammatic orderだと、すべてが左から右へと流れていく感じがとても気持ちいいよ。普通の記法のほうが、左右…

長男：「昔さ、さんま祭りの目黒川ライブにさ、」父親：「んん」長男：「マイケル・ジャクソン来てなかったっけ？」父親：「来ないよ、目黒川ライブには」長男：「そうかなー。俺、生で見たような気がするんだけど」父親：「なんかの勘違いだよ」長男：「マ…

今朝、NHKニュース見ていたら、id:ogijunさんが出てた、読書家代表みたいな感じで。

昨日10月30日(金曜)の夜、BPStudy#26にて、Kuwataさんと一緒にCatyについて発表しました。みなさん、お疲れさまでした。けっこう空席があるなー、と思ったのですが、もともと80席用意されていたので、60人ほど集まったとのことです。かなりヘンテコリンでま…

2007年5月のエントリー「ベックの法則と複合モナド」のコメント欄で、[1..100]>>=pen さんと次のようなやり取りがありました。 [1..100]>>=pen (2009/10/23 22:34) el_flatten(elel) := e_map(l_flatten, e_flatten(e_map(combinations, elel))) ではないで…

1週間のなかで、最高気温25度（9月なみ）と14度（12月なみ）があるなんて、、、もうイイカゲンにしてくれよ。そういうことされると死んじゃうよ、僕は。

「プレBPStudy」または「やっぱりパスタの会」 参加者： hiroki_f さん tMiya さん publichtml さん sugi さん ardbeg1958 さん たけを さん 村岡 さん hiratara さん Kuwata さん 檜山 ありがとうございました。以下、雑多なメモですが、昨日印象に残ったこ…

昨日話題にした型推論とかの関係で、最近また、ソフトウェアの設計・実装に論理をどう応用できるか、とか考えています。まー、応用できるのは当然、つうか、現在のコンピュータシステム自体が論理（数学基礎論）の応用みたいなもんですが、もう少し日常的な…

今朝のNHK教育の子供番組で、皇帝円舞曲という曲をやっていた。長男：「おとうさん、この曲いいよね」父親：「そうか」長男：「この曲はお酒にいいよ」父親：「？」長男：「皇帝円舞曲、お酒にあうでしょ、やっぱり」父親：「？？」長男：「あー、おとうさん…

鼻の頭 お尻 ベルトライン付近 ベスト3と書いたけど、甲乙付けがたい（って言わねーよ）ので、番号はない。実は、現状僕は、上記3箇所のひとつにオデキができていて、気になってしかたない。ちょっと痛いし。

「ソフトウェアの意味論は何のため／誰のために必要か」において、意味論（モデル）は精神衛生上の理由で必要だ、みたいなことを書きました。そればっかり強調すると、また変に誤解されかねないので、技術的／実用的な観点からの意味論の必要性についても敷…

今日は外出が多く、メールのチェックとかはできません。明日リプライします。月曜早朝時点（メール到着順）： hiroki_f さん oto-oto-oto さん tMiya さん publichtml さん 当初予定ではもう1名。部屋のキャパ的には、あと4,5名。なんだかわかんない集まり＠…

インフルエンザではなかったし、医者から薬ももらったのでだいぶ快復した*1。が、やっぱり元気ないんだよね。なんなんですか、この気温は。だいたいね、街ゆく人を眺めると、Tシャツのニイチャンとダウンジャケットのネイチャンがいるってのは何事よ！ これ…

Catyと言えば：BPStudy#26 にて、Catyをご紹介します。僕は、事の発端とかドウデモイイコトはしゃべりますが、実質の内容はKuwataさんのプレゼンとなるでしょう。リリース2は、今週は間に合いません。予想より作業量が多かったのと、Kuwataさんも僕も、なぜ…

Catyを素材／具体例として、表題のような話をします。 Catyの用途はWebフレームワークだけど、構造としてはCatyスクリプトのインタープリタの形になっています。スキーマ言語だのテンプレート言語だのもあるんですが、これらの言語もCatyスクリプトを補助す…

ちょうど3年前（2006年10月28日）のエントリー「古典論理は可換環論なんだよ」へのトラックバック、「なんだろな」とか病み上がりのモンヤリ頭でたどってみました。ンガッ。id:tri_iro さん、この書きっぷり、こりゃ基礎論のプロですよね -- 「ゲーデルの不…

インフルエンザじゃなかった。風邪、直ってきた。けど、温度差過敏体質の僕には、みなさんが快適と感じる10度から20度の気温が鬼門だから、しばらくは要注意。つうか、7月末から8月（気温≧25度）を除いて年中要注意。四季のある国には、ほんとに向いてないわ…

次男：「あの人、大臣なんでしょ？」父親：「うん。前原 …えーと、国土交通大臣かな」次男：「あの大臣さ、ラクダに似てるよね」うん、よく似てる。

本格的に風邪ひいたようだ。

喉痛いし、ダルイし。

「フローチャートからマゾ・テストまで」に対してKuwataさん曰く： なんだかんだいって檜山さんあなたこの事が書きたくて書きたくて仕方がなかったんじゃないんですか えっ、アハハハハハ。… と、笑う以外の反応はしない。えー、それはさておき、くだんのマ…

気温の変化は苦手なのよ、ホントに。昨日の夜（今日の朝か）、妙にあったかかったでしょ。汗をかいてその後冷えた。ヘタするとこのまま風邪ひくかもしれない。

http://twitter.com/ckuwata/status/4939817655 : 檜山さんとのミーティングは半分〜 1/4ぐらいは計算機科学の講義なのだが、今日は圏論とデータフローダイアグラムと「真のフローチャート」と「真の goto」についてだった。関連する論文を見つけたので読ん…

そろそろCatyの次のリリース。もう週末なので来週前半になりそうですが、「自分でWebサイトを作ってみる」ことが（proto1-0.1.1 よりは）容易になります。僕も説明しやすくなるでしょう。Catyの設計方針や内部構造に関しては、たいして悩んだことはありませ…

父親：「車に気を付けろよ」長男：「うん」父親：「自転車にもな」長男：「はーい。あと荷車ね」父親：「荷車は走ってねーから」長男：「歯車か」父親：「歯車、関係ない」長男：「それと…」父親：「いいから、もう行け」 子供にデザートのサービスがある飲…