小佐古敏荘氏が「場当たり的だ」と政府を批判、てことだが； テレビのニュースで「臨機応変で場当たり的」って言っていたのが分かった。「臨機応変＝機に臨んで変に応ず」って、むしろ褒め言葉として使う用法が多いと思うのだけど。小佐古さんの言動の内容的…

KuwataさんがCatyのカインドの話を書いています。Catyのカインド（kind、種）は「型の型」ですが、高階の型としてはやたらに簡単な定義になっています。Catyでは、JSONデータからなるデータ領域Dを固定して、Dの部分集合を型と考えています（Sets-as-Types解…

連休ですか。そうですか。もともと僕は長く休むのが好きじゃない（いつでも、短く頻繁に休んでますが）。去年の夏くらいから、僕が生まれた土地にはもう家族は一人もいないので、帰省する気も起きない。以前の連休といえば子供たちの相手で疲労困憊していた…

長男：「おとうさん俺ね、将来は二重スパイになろうかと」父親：「はぁー。おまえ、二重スパイって意味わかって言ってるの？」長男：「わかってるよ。例えば、俺がホントはコカコーラの味方だと」父親：「うん」長男：「それで、ペプシに雇われて、わざと偽…

Q&Aサイトの質問に対して、「Wikipediaに次のように書いてあります。引用： … 」なんて回答があって、しかもその回答に対して「ベストアンサー」とか「参考になった」とかの評価。まったく理解できないのですけど、、、？

「お絵描き圏論とCatyScriptの変数など」において、データフロー・ベースの（より正確にはデカルト圏ベースの）プログラミングでは変数なんて要らないのだ、という話をしました。しかし現実には、変数なしプログラミングは辛い、とも言いました。このへんの…

CatyScriptの背景は、ボックス＆ワイヤー方式のお絵描き圏論です。しかし、Catyで絵が描けるわけじゃなくて、絵は紙の上に手書きしてください。それをCatyコンソールシェルのコマンドラインか、またはスクリプトコードとしてテキスト表現します。テキスト表…

久しぶりにCatyScriptとそのモデル（意味論）の話。（[追記]実際にソフトウェアを動かしてみたい方はコチラを参照。[/追記]）ここのところずっとCaty上のアプリケーションを作る作業をしてまして、Caty本体の開発がサクサク進んでいるわけじゃないのですが、…

もうひとつFirefoxネタ。最近のFirefox、脆弱なんじゃないの？ Google Chromeに比べると、死んじゃうことが多いように思う。JavaScriptが暴走していることがよくあるみたい。それでスクリプト走行を制御するダイアログボックスが出るのですが：ダイアログボ…

「ユーザーインターフェースは難しい：依存関係がある設定項目をどう取り扱うべきか」に書いたように、僕はブラウザのタブを何ヶ月も開きっぱなしのこともあります。 僕はコンピュータの電源をつけっぱなしでソフトウェアを終了しないので、Firefoxの起動と…

長男：「おとうさん、靴買って。スパイク」父親：「またかよ。このあいだ買ったばっかりなのに」長男：「だって、小さくなっちゃったんだもん」父親：「まーしょうがないか、足がグングン大きくなる時期だからな」長男：「おとうさん、俺、安いのでいいから…

次男：「今度くる映画の『名探偵コナン』ではね」父親：「うん」次男：「東京都知事に脅迫状が届いてね」長男：「（いきなり来て）ええー、石原都知事に脅迫状？」父親：「違うよ、映画の話をしているの」長男：「なーんだ（去っていく）」父親：「…」次男：…

ヴォエヴォドスキーやアウディ達がホモトピー・ラムダ計算／ホモトピー型理論*1を開発しています。 ホモトピー・ラムダ計算とホモトピー型理論 ホモトピー型理論の追加資料 この新しい動きはここ数年のことです。実はもっとずっと以前から、計算科学とホモト…

以下、パランパランとしたとりとめもない話。よく知られている代数系を圏にまで拡張すると面白いことが起きることがあります。例えばモノイド圏は、モノイドのベースを圏にしたものですが、とても役に立ちます。「僕がエフイチにハマる打算的理由（と、ステ…

僕は、Windowsタスクマネージャーやリソースモニターをたいてい起動しているのですが、あるときフト見ると、Windowsタスクマネージャーのウィンドウがのっぺらぼうに。ウィンドウのタイトルバーもステータスバーもない。メニューもタブも何もない。どう操作…

今朝8時8分の震度4程度（東京）の地震、驚きました。地震そのものも怖いのだけど、今朝驚いたのは皆さんの「慣れ」です。そのとき僕は朝一番のコーヒーをスターバックスで飲んでいたのですが、けっこう大きなゆれでも、お客も店員も誰一人あわてないのです。…

次男と外出していて：父親：「君も自分の小遣いで募金しなよ」次男：「ぼく、募金したもーん。二回したもん」父親：「何回やってもいいだろう」次男：「おとうさんがお金出してよ」父親：「んん、まー、いいか」次男：「おとうさん、今いくらお金持ってる？…

子供たちは、春休み中はおばあちゃんちに“疎開”していたのですが：次男：「おばあちゃんちのほうのスーパーに、いちパック5円のカイワレダイコンがあったんだよ」父親：「ひえーっ、それムチャクチャ安いな」次男：「10パック買っても50円」父親：「1000パッ…

「「わたしはウソをつきません」と言い張る命題やプログラムを書けるのか？」に概略を書いたような枠組み、そのアイディアはゲーデルによるものです。ゲーデル以前にも同じようなことを考えた人はいたかもしれませんが、明白に確実に自己言及の構造を把握し…

尾藤イサオさんと同年代のシルヴィ・バルタン（1944年生まれ）も現役かぁー。「「わたしはウソをつきません」と言い張る命題やプログラムを書けるのか？」において、不動点を探せという見出しを入れたのですが、そんときシルヴィ・バルタンの「アイドルを探…

昨日4月6日、内田裕也さんが、宮城県石巻市でピザとミネストローネの炊き出しを行ったそうです。こんなとき裕也さんはなにかやるんだろうな、とは思ってました。内田裕也さんはご近所に住んでいるのか、あるいはお仕事の関係か、お見受けする機会があります…

アマゾンから次のような題名のメールが来ました。 題名: Amazon.co.jp: やめないよ (新潮新書) サッカーに関する本のカテゴリで何かお探しですか? 次のような商品はいかがでしょうか。 やめないよ (新潮新書) 三浦知良 おすすめ度:☆☆☆☆（3.5） 価格: ￥ 777 …

先日の「ホモトピー・ラムダ計算とホモトピー型理論」という記事で、ヴォエヴォドスキーやアウディがやっている（らしき）ことをちょっと紹介しました。ヴォエヴォドスキーの以前の覚え書きが今はリンク切れになっているのですが、ブックマークコメントでid:…

キャバクラや風俗店が配っているティッシュを受け取った。 ティッシュをポケットに入れた。 ある日ある所で、鼻水が出そうになる。 ポケットに手を入れるとティッシュがあった、ラッキー。 そのティッシュの袋をテーブルの上に置いた。 なぜか手元は見ずにテ…

エイプリルフールに「わたしはウソをつきません。」と書きました。たいした意味はなくて、すぐにウソだと分かるようなひと言のつもり。そしたら、id:sasa2718さんに、 「この文は証明可能である」という命題を構成するとその命題は証明可能でしょうか？ とい…

目線の移動に伴ってウィンドウのフォーカスを切り替えてくれる眼鏡デバイスがあったらいいな（もうあるかもしれないけど）。ブラウザにフォーカスがあるのに、エディタを見てるとつい勘違いして Ctrl-N だの Ctrl-P を押してしまう。すると、新しいウィンド…

エイプリルフールとかに乗る気になれないのだけど、まー、ひと言書いておくなら： わたしはウソはつきません。