Capistranoのマニュアルをちらっと読んでみた。 ちょっと研究で、ソフトウェアのアップデートに関することに興味があるので、実際の現場ではどういう方法でソフトウェアの更新してるのかなーってことを、調べていたらこれの２３枚目のスライドとかこっちの５…

YouTubeでたまたま見つけたm-floの武道館ライブの映像、ほとんど見ちゃった。気づいたら１時間以上。。。 しっかし、いいなぁぁぁ。DVD欲しくなったよ。 Monday満ちるとかEMYLI、soweluとかのボーカルもいいけど、やっぱLisaだよ。全然違うぜ。

ビッグバン宇宙論 (上)作者: サイモン・シン,青木薫出版社/メーカー: 新潮社発売日: 2006/06/22メディア: 単行本購入: 2人 クリック: 51回この商品を含むブログ (133件) を見るやっと日本語訳が出た！！ この本は、去年の春休みにインドに旅行したときに、向…

Ajax 実装のための基礎テクニック作者: 増井雄一郎,深津貴之,川崎有亮,台場圭一,WINGSプロジェクト佐藤真介出版社/メーカー: 技術評論社発売日: 2006/04/25メディア: 単行本 クリック: 31回この商品を含むブログ (41件) を見る読んでみた。タイトルの通り基…

今日、学校の生協でぼんやり雑誌を眺めていたら、東洋経済の特集が「35歳以上のためのWeb2.0」となっていたので、パラパラっと読んでみた。 んで、その中にコネクティという会社の服部さんと言う方がSaas(＝ソフトウェア・アズ・ア・サービスらしい。聞いた…

ふと、昨日の記事に書いた論文読んでて思ったんだけど、この論文の著者の一人になってるBarbara Liskovさんって、もしや「リスコフの置換原則(Liskov Substitution Principle)」のリスコフさんか？？と思って調べてみたらやっぱりそうみたい。 ソフトウェア…

この論文は、分散システムを以下に動的にアップグレードするかと言う話。実際にシステムも作ったらしい。ファーストオーサーがGoogleの人だから、実際にGoogleで使われていたりするのかな。 以下、まとめ。 Introduction 分散システムを動的にアップグレード…

すでに、古い話かもしれませんが、このgSpaceというのは、Firefoxのエクステンションの一つで、Gmailをストレージとして使えるようになるというもの。拡張機能なので、インストールとかも簡単だし、お手軽に使えるかな。 それでいて、そこそこの機能はそろっ…

情報爆発という名前の特定科研費プロジェクトのキックオフミーティングというのに行って来てみた。 このプロジェクトに参加されている先生方の研究紹介みたいなやつだったのだが、何しろ今日明日で74個もの研究を紹介するらしく、一つのプレゼンは8分。。。 …

Google Web Toolkit AjaxTK について調べる。 ぱっと見では、GWTは、javaでウィジェットを組み合わせてアプリケーションを、普通に作る。それを、GWTのコンパイラを通すと、JavaScript + HTMLのソースにコンパイルしてくれるらしい。 ZimbraのAjaxTKの方は、…

これの続き。 動的パッチを実装する 動的パッチを実装する際に、基本的には二つの方法がある。 古いコードを動かしているコンピュータとは別のコンピュータを用意し、新しいコードをコンパイルして、そちらで稼動させる。そして、古い方にシグナルを送り、状…

ちょっと思ったんだけど、TAPLって型について勉強する際に有用なのはもちろんなんだけど、それ以外にもλ計算とか、帰納法を使った証明のやり方に始まり、{small-step, big-step} operational semantics、de BruignやらLogical Relationやらなんやらといった…

いかにしてシステムをとめることなくアップデートするかと言う研究。 そういったシステムでは、以下の四つの評価基準が満たされてる必要がある。 柔軟さ システムのどの部分もアップデートできるようにしたい 堅牢性(ロバストネス) アップデートによってクラ…

読んだ論文のまとめを書くのに、ブログを使ってみる。飽きたらやめるかもしれない。間違ってそうなところがあったら、どんどん突っ込みいれてみてくださいな。

どうも一行あたりの文字数が、前のデザインでは少なかったので、デザインのテンプレートを変えてみた。

ワイルド・ソウル〈上〉 (幻冬舎文庫)作者: 垣根涼介出版社/メーカー: 幻冬舎発売日: 2006/04メディア: 文庫購入: 7人 クリック: 54回この商品を含むブログ (86件) を見る日本の戦後の南米への移民政策を題材にした小説。と言っても、全然堅苦しいものじゃな…

JAISTのある先生の論文を読もうと思って、その先生の名前でググっても出てこない。おかしいなと思いつつも、www.jaist.ac.jpと打つのが面倒だったのでGoogleで"jaist"と検索しても出てこない。。。さらには、"北陸科学技術大学院大学 北陸先端科学技術大学院…

輪講でTAPLを読んでいる関係で、型が結構熱い。 と言うことで、Benjamin Pierceさんの型に関するサーベイの発表スライド、"Types and Programming Languages: The Next Generation"を読んでみた。 自分みたいに型をちょこっとかじった程度でも、様々な型の目…

時計じかけのオレンジ (ハヤカワ文庫 NV 142)作者: アントニイ・バージェス,Anthony Burgess,乾信一郎出版社/メーカー: 早川書房発売日: 1977/06メディア: 文庫 クリック: 16回この商品を含むブログ (27件) を見る読んでいて、手塚治虫の作品の世界観とすご…

うおー、なんだこれは。すごいところを狙ってきたな。 でも、一回はやってみたい。

iPodってデフラグできる事に気付いた。。 まあ、HDDだから当然といえば当然だけどね。

最近、デザインパターンの勉強しようかと思って、本を読んだりしてみている。その中で、Head Firstデザインパターン ―頭とからだで覚えるデザインパターンの基本作者: Eric Freeman,Elisabeth Freeman,Kathy Sierra,Bert Bates,佐藤直生,木下哲也,有限会社福…

以前、梅田望夫・英語で読むITトレンドで、高林哲さんが代打で記事を書いたことがあって、その時にソースコード検索エンジンのgonzuiについて書かれていた。 この記事を読んだときは、面白そうだなとか思っていたんだけど、全然使ってなくてすっかり忘れてい…

ふと、messengerってmessageを送る人・ものだからmessagerじゃないとおかしくない？とか思った。 そんで、ちょこちょこ調べてみたらこんな記事が見つかった。 ラテン語とフランス語の世界へ！ その４ これによると、英語は、フランス語を起源としていて、そ…

神宮のヤクルト巨人戦を見に行った。 行ったらいきなり亀田三兄弟の長男、亀田興毅が始球式してて、阪神ファンじゃないの？とか思ったりしたけど、試合自体はいい試合だった。 桑田が先発で、こりゃだめだと思ってたら案の定4点先行されたんだけど、二岡のソ…

最悪 (講談社文庫)作者: 奥田英朗出版社/メーカー: 講談社発売日: 2002/09/13メディア: 文庫購入: 12人 クリック: 198回この商品を含むブログ (187件) を見る東京物語が予想外に良い小説だったので、奥田英朗の他の作品も読んでみた。文体は、東京物語同様か…

東京物語 (集英社文庫)作者: 奥田英朗出版社/メーカー: 集英社発売日: 2004/09/17メディア: 文庫購入: 7人 クリック: 24回この商品を含むブログ (87件) を見るとっても気持ちの良い小説。今まで読んだ小説の中で一番好きな作品かもしれない。 80年代に20代だ…

Java言語で学ぶデザインパターン入門 マルチスレッド編作者: 結城浩出版社/メーカー: ソフトバンククリエイティブ発売日: 2002/06メディア: 単行本 クリック: 34回この商品を含むブログ (46件) を見るを読んでいる。この本、つい先月くらいに買ったのだが、…

WBCをまだ引っ張ってますが、今日ニュース見てたらプロ野球のオープン戦の様子を、流していた。そこで思ったんだけど、WBCの試合をしてる裏で行われていたオープン戦を球場に見に行ってる人って、結構マニアだなと思った。それだけ。

ほんとに感動してしまった。まさか本当に世界一になれるとは。王さんをはじめ、日本代表選手は、みんなすっごく嬉しそうで、見ててこっちも幸せな気持ちになったなぁ。 しかし、まさか野球がこんなにあつくなることが、またあるとは思わなかった。野球見てて…