2011-03-01から1ヶ月間の記事一覧
バタリアンのタールマンが出てきてしまったわけですが*1、tarのmanページで何を調べていたかっていうと、ファイル抽出(extract)時に新ファイルを上書きしないオプションとか、なにやら。ファイルのコピーというと、cp, copy, xcopyなどのコマンドを多く使…
https://twitter.com/#!/kskszk/status/52945308551884800 → http://www.hiroburo.com/archives/51449760.html 経由で知った動画。 双子の赤ちゃんの激論。オシャべリするのは楽しいね :-)Part1 Part2
3月22日に「キング・カズ」なんてエントリーを書いたのですが、その三浦カズ選手が、2011年3月29日、大震災の復興を支援するチャリティー試合@大阪にて、ゴールを決めてくれましたね(アシストは闘莉王選手)。長男は「カズ選手はもうなにやっても記録にな…
アーカイブを作るツールtarのマニュアルページを探そうとしたら、バタリアンのタールマン(tarman)が引っかかってしまった。(オリジナル画像は http://zacpac.ne.jp/pic-labo/amok-batarian2.jpg)
計算科学やソフトウェア工学で次に流行るもの、それはホモトピーでしょう。そのキザシがありましたよ、先日。id:ranhaさんと僕(檜山)が、同時刻に別な文脈で偶然にもホモトピーの話をしていた、と。ranhaさんにいたっては、なんだかワケワカンナイ挿絵いっ…
「Dumas, Duval, Reynaud はこう発音する(らしい)」で、フランス人三人組の発音を調べた話をしました。既にこのブログのなかでカタカナ書きした人名が、ホントにいいのかな? と気になったので調べてみました。名前の発音が気になる人々とは、僕が私淑した…
夜の街が暗い。節電で照明が消えちゃっているからね。もともとが明るすぎた、という気もするが、照明のない夜の街を歩くとやはり沈んだ気分になる。「明るい/暗い」という言葉は、物理的には照度に関する形容詞だろうが、「明るい未来」とか「暗い世相」と…
世間の嫌われ者を、あえて擁護したり偏愛するつもりはないのですけど、goto文や大域変数は面白いし、好きだなー。過去の記事を参照しながら、goto文や大域変数の面白さについてナニヤラごたごたと書いてみます。内容: gotoの棲み家 大域変数と例外の扱い方 …
長男:「カズはすごいよなー」父親:「サッカーの三浦カズ選手のこと?」長男:「うん、もう44歳だよ。それで『やめないよ』って本出したんだって」父親:「読んではいないけど、その本が出てるのは知ってる」長男:「カズはもうなにやっても記録になるから…
「ホーア論理の圏論的な定式化」において、インスティチューションとホーア論理を一緒にしたようなナニカができないかなぁ、とか言ったので、もう少し考えてみることにします。ただし、最初のステップだけで、インスティチューションを使う段階には至ってま…
雨降っているし、3日も休みたくもないし、街は静かすぎるし。ところで、次のCM映像。うまく紹介も解説もできない。たった60秒なのに、途中で2,3回止めないと見続けられない。僕の主義に反する言葉だが*1: Don't think. Feel!関西電力CM 「15才の君へ」[追…
松山千春(下のオジサン)と新山千春(下のオネイサン)を、同一人物だと思っていた。(「新」を「松」と思い込み空目。)なんか文脈的に腑に落ちない点があったのだが。
おはようございます。「こんな場合に仕事なんてしてられねー」という人、「じゃー、なにすんだ?」と。今日は土曜だから働かんでもよろしいが、月曜 じゃなくて火曜か、火曜からは被災してない人は普通に働きましょうよ。停電とか交通機関とかの問題は残って…
不純な計算のモデルとしてモナドは強力ですけど、万能ってわけではないですね。例えば、オブジェクト指向風の計算は状態概念を伴います。状態付き計算にモナドを使えますが、あんまり適切じゃない気がするのです。もっと直接的に状態を更新する計算を定式化…
この「キマイラ飼育記」の読者は、コンピュータ屋さんが多いと思うので、今回の記事の内容に関して「なにも今さらそんなことを」と感じるでしょうが、掛け算もしない人が実際にいそうなので、あえて書いたものです。文系だ理系だとか、そんなことじゃなくて…
「デカルト作用圏が面白い」という記事で、Cartesian effect categories are Freyd-categories (PDF, 23pages) という論文を紹介しました。3人の著者Dumas, Duval, ReynaudをDDRと略したりしたのですが、どんな発音か気になる。外国の人名や訳語がない技術用…
まったくひどい状況ですが; 昨日(日曜)書いた事と似たような話をもう一度します。現状では、テレビ放送は情報を提供するための報道番組が圧倒的です。しかし、報道が「必要なことの全て」ではない、と思うのです。と言うと不謹慎に聞こえるでしょうが、報…
昨日(3月12日・土曜)のことを話します。夕食時に子供たちが「TVで録画した番組を見たい」と言い出しました。福島原発がどうなっているか分からない時だったので、「まったくこんなときに」という気もしましたが、まー結局録画した「探偵ナイトスクープ」を…
昨日夕刻のTVニュースを見るまで、ことの深刻さをまったく理解してなかった。こんなコトとは; 言葉が出ない、涙が出る。今、積極的には何も出来ない。何もしないことで、救援に必要なリソースを消費しないことにしよう。最低限の安否確認はできたので通信手…
LinuxとWindowsにnode.jsをインストールしてみたので、少し使ってみました。JavaScriptにおいて、機能が欠けていて困る事って何でしょう。クラスがないとかはさしたる問題じゃないと思うのですが、モジュール機構がないのはホントに辛いです。node.jsには、…
ソフトウェアについて考えていると、それは結局「人間が作り、人間が使うものである」ことに思い至る。まー、別に考えなくてもそんなことは当たり前ですが。それで、コンピュータに比べて人間が劣っているところ/ダメなところを押さえておいて、ソコに注意…
「Catyの国際化をどうしようか」と話していたとき、Kuwataさんが面白いアイディアを出してくれたので、それを以下に書きます。Catyでは、この方式を採用するつもりです。内容: 前提 例題と使い方 原理 問題点と改善案 完全グラフと部分写像 前提対象となる…
Google Chromeに搭載のJavaScript処理系であるV8エンジンを使ってみたいな、と思いました。ここんところ巷で評判のnode.jsにもREPL(Read-Eval-Print Loop; 対話的シェル)があるようなので(http://nodejs.org/docs/v0.3.1/api/repl.html)、node.jsを入れ…
RAC1プログラム サンプルページを少しだけ更新しました。 RAC1プログラム サンプルページ サンプルを2つ追加しました。 サブルーチンを使って x22 + y22 を計算する fact(j) + fact(k) を計算する このサンプル・タイトルからもわかるように、サブルーチン呼…