2005-09-10 最近の趣味の変化 2002年 L2-VPN ○○overSSH 2003年 無線LAN VPN VoIP 図示、イラスト化 2004年 状態遷移 手書き スクリプティング ハードウェア記述 プロセスモデルと(プロセスモデルを使わない場合という、対立する意味での)ケーパビリティモデル 2005年 形式検証 時相論理 PSL lint LISP FORTH 上記の中では血肉になったものもあれば、深度1メートルぐらいの感覚のものもあり、今もマイブームというか、自分の中でブレイク中のものもある。