iPhone５がスゴすぎる－レーザーキーボード＆ホログラフィックディスプレイ

ここのサイト

iPhone５がスゴすぎる
http://blog.livedoor.jp/christmas1224/archives/5718456.html

より。


この薄さ



レーザーキーボード



ホログラフィックディスプレイ



そんなのがでてる、iPhone５コンセプトビデオ

iPhone 5 Concept Features
http://www.youtube.com/watch?v=lzsBwnv_dAg

coqのインストール

前に、coqについては、連続して書いたけど

　　http://blog.goo.ne.jp/xmldtp/e/ea096de40d332f573ca0b0480ca2afec
　　http://blog.goo.ne.jp/xmldtp/e/630d848cf81ebcfaf650a5be22a49068
　　http://blog.goo.ne.jp/xmldtp/e/ea23754a9d5e5775724850131aea0b37
　　http://blog.goo.ne.jp/xmldtp/e/0cefd1714b615f7d88489c0536d3db38
　　http://blog.goo.ne.jp/xmldtp/e/28567de025d398cc11ea737f36af1019

そのとき、インストールについて書かなかった。
ここに、coqのインストール方法があるらしい。
http://www39.atwiki.jp/fm-forum/pages/16.html

仕様書と実際のプログラムが合わないって、結局「ソフトウエア工学のバグ」といえないか？

仕様書と実際のプログラムが合わないっってことは、よくある。というか、「普通合ってない」って言って良いくらい、あってない。

　でも、これって、ある意味不思議だったりする。
　じゃあ、テストしたとき、何見てテストしたんだ？
　試験仕様書？じゃ、試験仕様書は、仕様書と合っていたのか、いなかったのか？

　試験仕様書みないでテストしたとしたら、検収したとき、何を確認したんだ？
　（試験仕様書＋テスト結果報告書と発注仕様書の確認ではなくて？）

　とすると、「仕様書と実際のプログラムが合わない」っていうのは、実は、

・テストを行う前に、テスト仕様書と、テスト仕様作成の元になった設計書、仕様書
　を確認し、差があったら、テスト仕様書か設計書を直すという工程を省いた
（たしかに、ソフトウエア工学で、この工程はない気がする）

・それらドキュメントの一貫性を確認し、保管しておくという作業が
　できていない

　のどちらかではないか？前者の場合は、「ソフトウエア工学のバグ」といえるんじゃないか？

NVIDIA、恒例となった高校生向けCUDAセミナーを開催

ＧＰＧＰＵを使いこなす、おそろしいスーパー高校生があらわれてくるのでしょうか？
（サオリンのコンピューター版とか・・・じゃ、世界一を目指さないと・・・）

NVIDIA、恒例となった高校生向けCUDAセミナーを開催
http://headlines.yahoo.co.jp/hl?a=20110829-00000003-impress-sci

いろんな、マウスがあるんですね！

かっこいいところ

Funny Stuff at Izismile.com


おお、こんなミニカーっぽいの

Funny Stuff at Izismile.com


これは、ないっす（－＿－；）

Funny Stuff at Izismile.com


これって、テンキーつきってこと？

Funny Stuff at Izismile.com