回路を数学的に解析することで，仕様が正しく回路として実装されているか検証するツール。仕様と回路をそれぞれ順序付き二分決定グラフ(OBDD：ordered binary decision diagram)に変換して比較するくだりが非常に面白い。 フォーマル・べリファイア - EDA用…

山のように出ている電子辞書、あれは各々が独自のデータ形式を使っていると思っていたが、実は標準化されたデータ形式EPWINGがあり、多くの電子辞書はそれを使っている。また、独自のデータ形式を採る電子辞書であっても、熱心なユーザによってデータ形式が…

デフォルト状態では表示されない。 いずれのバージョンでも、デフォルトではNTFSのアクセス権を隠蔽するようにセットされている。そのため従来のWindows NT／2000のように、エクスプローラなどでファイルやフォルダの「プロパティ」ダイアログで詳細（「セキ…

http://blog.threetree.jp/一時的なものなのかな。

さすがに良いことを言うものだ。 一般に重要なる問題は難しく解決はなかなか困難である。従って初心の研究者がかような問題に遭うと二三年を経ても解決できないでぐづぐづしている間に他の学者が同じ問題を解決して発表することもあり研究者は失望してさらに…

javascript:document.cookieブラウザのアドレス欄に入れるとcookieの中身が表示される。