Googleの求人広告

Googleで「型推論」を検索すると、Googleの求人広告が出てくる。
関数型言語に型推論を持つものが多いけど、Googleではそういうのに興味を持つ人材が欲しいのだろうか。

Gmail メールアドレスの再利用

http://bb.watch.impress.co.jp/cda/special/15194.html　によると、六ヶ月間ログインしないとアカウントが休止状態になる。それから三ヶ月が過ぎるとアカウントが削除されて、そのメールアドレスを取得できるようになるらしい。

失敗学

NHKで｢知るを楽しむ　だから失敗は起こる｣の再放送を見た。
非常に興味深いです。
本も読んで見たい。
畑村洋太郎さんは｢直観でわかる数学｣の著者だったのかー。
気づかなかった。