2002年 L2-VPN ○○overSSH 2003年 無線LAN VPN VoIP 図示、イラスト化 2004年 状態遷移 手書き スクリプティング ハードウェア記述 プロセスモデルと（プロセスモデルを使わない場合という、対立する意味での）ケーパビリティモデル 2005年 形式検証 時相論理…

ちょっと最近気になってる。仕事では主にDefensiveなことが求められそうに思えるかもしれないが、実は職場や環境によっては積極的にOffensiveなことがしばしば求められる。

どうやら50件がMAXらしい。

そろそろ使い始めるかも。。 ↑ほんと、検索エンジン使いの人から見るとブログらしいノイズだな。

splint DebianとMsys環境に入れてみるMsysでもほぼ問題なくビルドできる。（テストは日本語フォルダ名の部分で通らなかったけれど。） flawfinder 容量が小さいのが良い。あとソースも読める規模（なので持ち歩いて読んでる最中）。Secure-Programs-HOWTOの…

ocamlが必要とのことなので、学習用にはcamllightにしてみたのに、と思いつつ、ocamlを入れてみた。しかし、makeしてみると、msysであることが判別され、msysのPerlではなくcygwinのPerlかActivePerlを入れてくれと表示され、後回し。（というかLinuxでやっ…

I am a geek.を翻訳してあげて。。。 → ワタシ ワ オタクデス。 なんどか発音失敗しながらも、最後には堂々とした「ワタシワ オタク デス」。。。 洋楽オタクのようだった。（あんま聞き取れなかったので本当に彼が洋楽オタクだったのかどうか確信が持てない…

どういうことかというと、外国人向けコンテンツ？が充実しているということ。先週の土曜日の午前中には中国のポップミュージックランキングがあっていたり、（DJは中国人）中国と日本の架け橋的エピソードをわざとらしく説明してくれたり。（いや、これが清…

http://www.zip.com.au/~akpm/ 他にも面白いコンテンツがある。

知人の代わりにi pod nanoを注文してみたり、先輩からNOMAD MUVO NXを譲ってもらってみたり。先輩、MUVO NXありがとうございます。いや、MUVOいいです。自分からはCREATIVE MEDIAの製品はあんま買わないけれど。（ENCORE2とか持ってたな。LinuxでDVD見たくて…

今日は近況報告特集ということで。。

試用中。ちょっと業務内容に変化がでて精神的にはともかく、時間的にはちょっと余裕がでてきたのと、スキル維持のために。独身時代はスキル維持を目的に繁忙期以外はCISCOのルータとか買っていたわけで、結婚して丸くなったと自分自身でも思ってみたり見なか…

http://www.sac-home.org 考え方はすごく面白い。スライドもかなり読んでしまった。ダウンロードページかどこかを見ると、商用利用は連絡願う、非商用フリー。とのこと