修論を無事提出し、働き始めました。会社の研修として２ヶ月ニューヨークを生き延びたことにより英語を話すことが前よりもずいぶん楽になりました。2012年はこの英語を生かしてもっとチームに貢献していろいろ知って頼られるようになります。あと趣味でのウ…

Haskellのプログラムの実行がGlasgow Haskell Compilerによるコンパイル後にどういう命令によって表現されているかに興味があったので調べてみました. 例えば関数がどのようにメモリ上に存在するかといった実装や, 数字がどうやって表現されているかをgdbを…

Yesterday I swam *1 40 minutes. *1:swæ'm

I go to swimming pool two times every week.Today, I swam 800m. 30 minutes.

As I forgot to bring goggle for swimming, I walked in the pool. 500 m in 30 minutes.I noticed my weight has reduced by 2 kg since last week.

Walked to Roppongi to get my bicycle, which I left yesterday. 30 minutes walking.

Haskell-platform includes ghc and cabal. When I install it into my Snow Leopard, I got an error "There's no software to install". The reason was the downloaded pkg file was corrupsed (smaller than real file). So I downloaded it again and s…

30 minutes around Ebisu and Daikanyama in the morning.I found the interesting sign of an crape shop.

I didn't bring my camera but I took many pictures with my Nexus S. Labor day is ending...

On Friday I ran to Central Park. It took 50 minutes in turnaround.Today I ran to Roosevelt Island where I couldn't get to the land; I was above the island. It took 60 minutes.

渋谷の郵便局までおうふく。

Livlisを運営しているKamado社で@camelmasaと@naoty_kとそれぞれ趣味プログラミング。いい日曜日でした。

40分ぐらい

はてな東京支社が近くにあることがわかったので、そこの前までランニング。３０分ぐらい。

横浜で開催しているLinuxConに参加したあとすぐに家に帰ったので時間がいっぱいあり、それを利用して渋谷まで歩きながらランニング。３０分。

片耳につけるタイプのJAWBONE社のICONというヘッドセットを買ったら、普通のヘッドセットとは少し違った。http://jawbone.com/headsets/icon/overviewサイト中の動画が西海岸のウェブベンチャーっぽい。Eye-fiほど感激はしなかったけれども、ハードウェアを…

ゴールデンウィークを利用して、復活したばかりの東北新幹線を使って北上と小岩井農場をを一泊二日で行ってきました。 東北新幹線 北上展勝地 屋台の鮎の塩焼き 小岩井農場 ジンギスカン 小岩井農場の一本桜 はやぶさ

ScalaでUTF-8な文字コードが設定されているIRCサーバ（のチャンネル）と通信したいときなど、エンコーディングが統一されていない場合はInputStreamReaderを頼って第二引数に文字コードを指定しましょう。 import java.io._ val in = new BufferedReader(new…

retrieve-cert.shはOpenSSL Command-Line HOWTOのものを使っています。 #!/bin/sh # # usage: retrieve-cert.sh remote.host.name [port] # REMHOST=$1 REMPORT=${2:-443} echo |\ openssl s_client -connect ${REMHOST}:${REMPORT} 2>&1 |\ sed -ne '/-BEGI…

SSLを使っているIRCのチャンネルに参加する。SSLを使っているのでtelnetでは通常のIRCコマンドを実行できない。そこでopenssl s_clientを用いる。 $ openssl s_client -connect example:6667 ... USER hoge hoge hoge hoge NICK suztomotest JOIN #channelと…

Public Key Infrastructureは通信している相手が「本物」であるかどうかを確かめるために行われる。X.509証明書は公開鍵証明書の標準(RFC3280)である。PKI（後編）---X.509証明書とPKIの仕組み | 日経 xTECH（クロステック） まず、サーバにCertification Au…

学科のIRCサーバに安全に接続するためにメモ。HTTPSなどで使われているSecure Socket LayerというのはTransport Layer Securityの別名。SSLは通信が傍受されても大丈夫なように行われる。SSL/TLS | 日経 xTECH（クロステック） サーバが公開鍵Aと秘密鍵A'を…

目黒川のほうへ４５分ぐらいウォーキング。スーパーは１０時に開くのでいけなかった。

こんなエラーが出る。 java.io.IOException: Keystore was tampered with, or password was incorrect at sun.security.provider.JavaKeyStore.engineLoad(JavaKeyStore.java:771) at sun.security.provider.JavaKeyStore$JKS.engineLoad(JavaKeyStore.java:…

良い気温だったので、部屋のまわりをランニング。でも15分だけ。

お洒落な街広尾をランニングしたり歩きつつ、自転車のための坂などを観察。木下坂が難所である。60時間だけど半分は歩いていた。

ホテルの横のHot Potドーナツ屋さん.Pike Place Marketの鮮魚．でかい． シアトルのダウンタウン脇を走る道路．シアトル図書館今回は一眼レフではあまり写真を撮らなかった．

今週シアトルで開催されていたPerComというカンファレンスで併設しているPerWareというワークショップで修士論文で扱った内容を発表してきました．発表自体はよかったと思いますが，英語でも日本語でも難しいのはdiscussion phaseで修士論文発表のときも今回…

From my hotel to Pike place market took about 20 minutes.