The Middle East Media Research Institute (MEMRI) explores the Middle East through the region’s media. MEMRI bridges the language gap which exists between the West and the Middle East, providing timely translations of Arabic and Farsi media, as well as original analysis of political, ideological, intellectual, social, cultural, and religious trends in the Middle East. According to statistics from D

MacBook Proを買った初日にsvkがインストールできるかどうか試してみたら、DarwinPortsからあっさりインストールできました。 今までsvnを使っていましたが、svkに乗り換えた方が良さそうです。 svkを使っていて便利だなと思ったことは、以下の通りです。 インターネットに接続していない環境でもバージョン管理できる。かなり便利。 grepが使いやすくなった。 % grep -rn "foo" . | grep -v svn とかやらなくて済む。 svnよりコマンドが高機能。 % svk desc r123 でリビジョン123の差分をコミット時のコメント付きで見られる。 svk addが賢い。 svk descのトリックはSix Apartの宮川さんにこの前コメントで教えて頂きました。ありがとうございました。もっと早くsvkを試しておけば良かったのですが、Linuxでうまくイ

本文600ページ、参照文献数約1900件。だいたいラグランジュからクワインに至る数学基礎論の歴史を概観したもの。この分野の第一人者による壮大なまとめ。歴史家の著述は中立的であるべきと考えているらしく(p.572)、個々の立場の評価は控えられている。*1だがそれは逆にポイントがどこにあるのかよく分からない記述にもなる。結果として、壮大なレジュメ集のようになる。この論文にはこういうことが書いてあり、この時にはこんなことがあり・・・というのがひたすら続く。 基本的にレジュメなので（この人の論文はだいたいどれもそうだが）、知らないとよく分からない。ところが知っていると、どこからどうやってそう言えるのかよく分からない記述に出会う。だが細かな歴史的事項や個々のつながりなどの記述は役に立つ。途中で飽きてくるので読むのはなかなか大変だった。 印象的な言葉を訳して引用しておこう。 様々なパラドクスについて言

シェルで打った直前のコマンドをクリップボードにショートカットでコピーとかできたら作業メモとかとるのにえらいベンリだと思った。.zsh-hitory をうまく使ってとかでも。誰か作ってそう。 naoyaの日記より このネタで、初めてのzshカスタマイズプログラミングをしてみました。案外簡単にできてしまいました。 クリップボードへのコピーにpbcopyを使っているのですが、これは多分Mac OS Xにしかないと思います。ですので、このカスタマイズはMac OS X限定です。Linuxでも同等の機能を持ったコマンドがあれば、少しの改造で動くようになるはずです。 .zshrcに以下のコードを貼付けておけば、naoyaさんのご要望通り動くはずです。コードはちょっとダサイですが、動きます、、。Ctrl + kでクリップボードに直前にうったコマンドが入ります。キーバインドは好みに応じて変更して下さい。

When it comes to making sense of the overwhelming volume of data that’s been unleashed upon the world over the past ten years, no company has had more of an impact than Mountain View, Calif.-based Google Inc. Anyone who had the misfortune of using Alta Vista as their primary search engine in the early 1990s can attest to that. But as much as Google has insinuated itself into the very fabric of Int

It was set to be the world's first flight test for an aerospike rocket engine, but the MIRA I prototype crashed on takeoff before the most innovative part of its propulsion system could fire. Undeterred, Polaris is building two bigger prototypes.