クラブのサイトを見たら、やはり。

c++でRubyインタプリタを書くことを考えると、コンパイルと実行の2つのフェーズで、SSAな実行と普通の動的言語の実行に分かれる。 それぞれについて最適な形式的定義と証明のプロセスを考える意味とは。 ...とかいうことを考えていた。

ビューティフルコード (THEORY/IN/PRACTICE)作者: Brian Kernighan,Jon Bentley,まつもとゆきひろ,Andy Oram,Greg Wilson,久野禎子,久野靖出版社/メーカー: オライリージャパン発売日: 2008/04/23メディア: 大型本購入: 30人 クリック: 617回この商品を含む…

投機家により流動性と市場価格の回帰性が期待されるが、極短期的なボラティリティは上がるかも知れない。 証拠金や引き当て金の決済といった非可逆なイベントを完全な時価会計に基づいて行うのは、利点を相殺してしまうかも。

緊急の用事で帰省先近所のマックに駆け込んだが、ワイヤレスゲートのソフトが最新版でなかったので繋がらず。 原因がわかったのは、ダイヤルアップで接続してからだった。 Yahoo BB mobile以外なら問題なかったのに。。

share browsers cache via P2P

もともと、2006年ごろに話題になった話で、いまさらすぎるんですけどメモ。 （要するに、使う文字コードを明示的に指定しとけばいいんですけど、デフォルトのまんまなら要らんことしないで欲しかったという愚痴） バージョン4.1以降のMySQL付属のmysqldumpコ…

mixiのサイクリスト関連のコミュで、こんな話題があった。結論として「サイクルショップの中にカフェがあれば」というオチ（でもないか 逆に言えば、気持ちのいいツーリングのコースの途中に気持ちのいいカフェがあって、そこがサイクルショップならいいよね…

いくつか記事が出てました（追記するかも） 冬期の長期休暇を控えて JPCERT-CC 高木浩光＠自宅の日記 - SSLを要するモバイル環境でのパスワードマネージャの使い方に注意, 日本航空のEV SSL導入のナンセンス 404エラーページ | 株式会社ラック←これはシステ…

バージョン1.0.6からアップグレードしたのだが、いろいろと勝手が違う。 どんな環境でも動くようにするためか、管理ツールはWebベースとなり、write-onceで済むJavaの特性を生かすためか、Tomcatをインストールしてくれます（汗 http://localhost:8222/sdk i…

KAWAMURA CYCLE NISHIKIブランドのPLAYというＭＴＢ 1986ごろ購入 タイヤは新品に変えてもらった（今年のＸmasプレゼントでもある）。 買ったのは、二子玉川のBig Oakというoutdoorショップだったと記憶している。4万円弱ぐらいか？（今はBig Oakも様変わり…

おれはprogramming bumのwannbeなんだなぁ 凍作者: 沢木耕太郎出版社/メーカー: 新潮社発売日: 2005/09/29メディア: 単行本購入: 2人 クリック: 41回この商品を含むブログ (95件) を見る 以前読んだ垂直の記憶―岩と雪の7章のギャンチュンカン登山のエピソー…

気づいたこと：俺ってスゲー字が下手だなぁ

FinePix4900Zoomだ。CCDが1x1.7サイズなのと、レンズが明るいので、今でも使える。 ただし、結構重いので、体力が落ちてくると持ち歩く気にならなかった。 少しは元気になったのだろうか？

ビバークしている彼らをおいて、本を置くことなんてできない相談だった。

市場リスク 暴落は必然か作者: リチャード・ブックステーバー,遠藤真美出版社/メーカー: 日経BP社発売日: 2008/05/22メディア: 単行本 クリック: 65回この商品を含むブログ (31件) を見る 非常に荒っぽい感想文を、他所に書きました。 プログラマとしては、…

Not Found | MDN セキュリティ関連の修正内容は下記参照のこと Firefox 3.0 セキュリティアドバイザリ

もうLivedoor Readerのピンの登録が99件になってしまった。ということで、まだ禄に読んでも居ないリンクたちよ、こんにちは。 Intel continues to sell VMware shares ガイトナー長官の誕生＆ＦＲＢの新たな買い取り策＝その他雑感など−そしてボルカー登場 S…

(Version 6 Update 11) の Javaになった。 JavaのコンソールやFirefoxのアドオンのpluginの項目をを見るとJava Plug-inは1.6.0_11になっていた。

看板が邪魔（笑 とか思うけれども、消すのは大人気無い。

現実にこれを使うことは無いと思うのだけれど、自分が関係するような開発チーム規模でこれを使いこなせるのかどうか、それを知りたいと思う。 Google App Engine Blog: Salesforce.com announces Force.com for App Engine Heroku | No such app Force.com +…

というわけで、Firefoxを一時的に離れてテスト中。 はてなのはてブ登録（古い奴も新しい奴も）とはてなリーダー登録のブックマークレットは機能した ライブドアリーダーは正常に動く うーん、仮名漢字変換のカーソルのアンダーバーが太すぎるな。これはフォ…

手作り、いや、手遊びのケーキ

fedora-announce-listに流れていた The Unofficial Fedora® FAQ 主な更新点は以下らしい。 Fedora10になって、RPMFusionのレポジトリを使っている限りは、yumの設定でfedorafaq.org用の設定は特に必要なくなった。（まだFAQの項目として残ってるそうだけど）…

コンパイラが行う最適化は、要するに計算の一部をコンパイル時に行うことになる。型の決定とか、定数の計算とか。 ある種の関数なら、実行前に結果がわかっていて、定数におきかえてもいいこともあるし。コードの一部分が副作用をしないものなら、コードを削…

トリグラフが国内で先頭切ってくれたので、まじめに調べる気になってきた。 ちょっとした用途ならば、電気代レベルで専用サーバが使える時代になった。回線コストは無し。実際のところは、アドミン業務のおままごとをしたい人向け、なのかもしれないが（汗 …