フリーな静的解析ツール Splint Home Page Index of /projects/git-snapshots/sparse/ Free software tools for formal verification of computer programs (参考)有償 Source Code Analysis Tools for Security & Reliability | Klocwork Software Testing …

これはかなり便利です｡ コメントがないものを削除したり､それぞれまとめて日付でソートしたりや､マルチポストを削除したりいろいろカスタマイズできます｡silog - script/SBMCommentsViewer 対応SBM * はてなブックマーク * del.icio.us * ECナビ人気ニュース…

移動したディレクトリを表示し､番号で選択する｡ set autopushd alias gd='dirs -v; echo -n "select number: "; read newdir; cd +"$newdir"' サブディレクトリからgrep find-grep () { find . -type f -print | xargs grep -n --binary-files=without-match…

http://vimcolor.spiritloose.net/ Vimでハイライトされた結果をもとに､ソースのハイライト表示をすることができます｡結構見やすくなります｡ .zshrcの設定 - tsakaの日記 .vimrcの設定 - tsakaの日記そのままだと､キーワードの色は別の色になりますね｡via は…

Firefoxだけではなく､IE 7も対応している｡

批評しているだけでは､何も変わらない｡ 頭のいい人が成功するわけではない｡ ｢試す｣ことができるのはプログラマだけ｡ そして､失敗から学ぶことができる｡

試したところ､前回のTOEICの点数とほとんど同じでした｡結構精度いいかもしれないですね｡4択で20問｡

既存の環境からVMWare用のイメージを作成するツール｡後で試してみる｡

オペレータ(v|y|d) フラグ(a|i) 対象(p|b|B) vが選択｡yがヤンク｡dが削除｡aが含むを意味し､iがその中を意味する｡pはパラグラフ､bは括弧､Bは中括弧｡

原則としてidを使う、という発想 * ページ内のテキストやパーツそれぞれは本来、特定の役割を備えているはず。つまり、原則としてidを使い、他のものと役割が共通する場合や複数の役割を与えたい場合にだけ、例外的にclassを使うという発想が大切。

しかし、われわれが本当に知りたいのは、ScalixがLinuxへの円滑な移行をどう進めるかだ。「Exchange 5.5をScalixに切り替えても、すぐには何も変化しない。これがユーザーにとって一番良い。Outlookをそのまま使い続けることができ、投資が保護されるからだ…

Windows Firewall機能が停止すれば、悪意ある攻撃者が別の突破口を突いてくる可能性もある。だが、レグリー氏によると、そうした攻撃のシナリオは実現しそうにないという。その理由を同氏はこう説明する。 「そうした攻撃を行うにはLANの内部に侵入する必要…

絵を描くだけでなく､画像をアップロードして検索することもできます｡精度はこれからだと思います｡

Googleが今日(米国時間10/31)、wikiベースの会社Jotspotの買収を発表した。これによりGoogleのオフィス戦略はたちまちリッチになった。Jotspotのビジネス主導型サービスはカレンダー機能やフォト共有など山ほどある各種アプリを丸ごとwikiのフレームワークに…

Ctrl+aやCtrl+xで､true､falseの切り替え｡public､protected､privateの切り替えも可能｡他の組み合わせを追加することも可能｡Vimのデフォルトでは､数字の増減が割り当てられている｡ リンク先からスクリプトをダウンロードして､ ~/.vim/plugin 配下にコピーする｡

音楽いいので､つい見入ってしまいます｡

Gmailで､xls形式の添付ファイルが､Google SpreadSheetで開くようになったらしいです｡今のところ､一部のユーザだけみたいですね｡

「スケッチ・ファニチャー」は、空中に書いた家具を実現するというプロジェクトです。 専用のペンで空間に家具の形を書くと、その筆跡がモーションキャプチャーで画像としてコンピューターに取り込まれ、3Dイメージファイルとなります。 そして、レーザーで…

多重人格探偵サイコ (4) (角川コミックス・エース)作者: 田島昭宇,大塚英志出版社/メーカー: 角川書店発売日: 1999/07メディア: コミック購入: 2人 クリック: 10回この商品を含むブログ (15件) を見る多重人格探偵サイコ (5) (角川コミックス・エース)作者: …

また、日本のGoogleの利用者数が前年同月より約500万人増の1738万人となり、企業・グループ別ランキングで初のトップ10入りを果たした。ニュースや地図など、検索以外のサービスの利用者が増えた。

ロングテールの提唱者、クリス・アンダーソンが新しく言い出したことで、大筋としてはチープ革命から起きている現在の流れを示しているもの。いままでが"Scarcity Economics"で、これからが"Abundance Economics"。

4. if文は「===」を使う PHP勉強会で、Dinoのhnwさんに教わったことですが、'0.00' == '0'は真です。 もし、仮に、パスワード処理でデータ側でMD5などのハッシュ化してない場合に、上記が真になっては非常にまずいのではないでしょうか。 さらにいえば、もっ…

* Support for the latest Intel-based Macintosh computers * Easier partitioning using presets for popular sizes * Ability to install Windows XP on any internal disk * Support for built-in iSight cameras * Support for built-in microphones * …

たまにやってみようかな｡

PHP: PHP 5.2.0 Release Announcement セキュリティ改善､性能向上､バンドルライブラリのアップグレード､いくつかの拡張の追加､200以上のバグフィックス｡ すべてのPHP利用者(特にPHP 5の初期のバージョンを使っている場合)に､アップグレードを勧めています｡ T…

新機能として､以下の2点｡ 新しいインストールアシスタント Windows XPとVista用のインストールアシスタント機能が追加されました｡プロダクトキー等を事前に設定できるようです｡ 共有ネットワーク(NAT)モード 仮想マシンのネットワークオプションに共有ネット…

Vimのデフォルトよりいいらしい｡

Goole Mapの詳細画面が見やすくなった｡

日本人はYouTubeを「みんなでつくるハードディスクレコーダー」として活用しているのです。

Mac用に最適化されたFirefox｡公式ではないので､アイコンは違うものを使っている｡