１万円札にICタグ入れるのは？

ちょっと古いけど、ここのニュース
エクスパック悪用詐欺　証拠残らず、限度額なし　昨年から福岡県内被害
http://news.goo.ne.jp/article/nishinippon/nation/20080510_evn_002-nnp.html

郵便局のエクスパック（定型のこづづみ）にお金をいれて、送金させる
振り込め詐欺が増えているらしい・・・

これって、１万円札にICタグを埋め込めば、検出できるのでは？


・・・と思ったけど、そっか、金属（銀紙とか）でラップされちゃうと、
遮蔽されて、通らないから、だめなのかな・・・

形式手法、とくにVDMがらみの話

また、組み込みシステム開発技術展の話。

形式仕様に関しては、豆蔵が、教育やってるという話もあったけど、やっぱ、
CSKシステムズっす。
Folha（ふぉーら）というのを、だしているらしい。
（Folhaは、SRAでもやってるみたいよ・・）

で、形式仕様あたりで、今度、形式手法の技術講座 ソフトウェアトラブルを予防するっていう本が、４月にでたばっかっていう話をしてた（まだ入荷してないのかしら・・・）

　ちなみに、CSKシステムズは、これ以外にも、VDMの推薦図書をまとめているんだけど、そこに挙がっている本は(上記の本以外では）こんなかんじ。

プログラム仕様記述論

ソフトウェア開発のモデル化技法

Validated Designs For Object-oriented Systems

オブジェクト指向入門 第2版 原則・コンセプト (IT Architect’Archive クラシックモダン・コンピューティング)

事前／事後条件とDBCのからみでらしい・・・
ただし、プログラム仕様記述論の場合は、話をHoareから持ってきてるけどね。

サイバー防衛研：ＮＡＴＯと７カ国が設立覚書に署名

ここのニュース
サイバー防衛研：ＮＡＴＯと７カ国が設立覚書に署名
http://mainichi.jp/select/today/news/20080515k0000e030031000c.html
によると（以下斜体は上記サイトより引用）


北大西洋条約機構（ＮＡＴＯ、加盟２６カ国）とエストニアなど加盟国のうち７カ国は１４日、コンピューターを標的とするサイバーテロに対処するための「サイバー防衛研究所」をエストニアの首都タリンに設立する覚書に署名した。


防衛研究所がでくるくらいってことは、
そのうち、サイバー防衛大とかできるのかなあ・・

なこたーねーか（＾＾；）