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

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

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

参照用 記事

2011-04-01から1ヶ月間の記事一覧

臨機応変

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

Catyのカインド: やたらに簡単な高階の型

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

連休にやること

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

二重スパイ

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

ありがとう、辞書引き代理人?

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

変数なしプログラミングとお絵描き圏論

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

お絵描き圏論を試したい人のために、Catyスナップショットを公開します

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

お絵描き圏論とCatyScriptの変数など

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

それじゃ困るよ、Firefox

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

だからイヤなんだよ

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

靴の値段

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

アドリブ

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

並列処理とホモトピーのGさん:プログラムと異空間の旅

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

圏とその他の代数構造

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

Windowsタスクマネージャーがのっぺらぼうに

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

震度4の地震のとき

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

募金に協力

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

いちパック5円のカイワレダイコンに関する次男の見解

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

プログラミング言語・算術のスーパーハッカーとしてのゲーデル

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

60年代フレンチ・ポップス

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

内田裕也さんとか尾藤イサオさんとか

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

アマゾンからのおすすめの本

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

ホモトピー型理論の追加資料

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

別にどうというコトもないが、少し気まずかったこと

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

「わたしはウソをつきません」と言い張る命題やプログラムを書けるのか?

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

目線でフォーカス切り替え

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

今日のひと言

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