ウィリアムのいたずらの、まちあるき、たべあるき

ウィリアムのいたずらが、街歩き、食べ物、音楽等の個人的見解を主に書くブログです(たま~にコンピューター関係も)

iPhone5がスゴすぎる-レーザーキーボード&ホログラフィックディスプレイ

2011-08-29 21:05:05 | Twitter
ここのサイト

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

より。


この薄さ



レーザーキーボード



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



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

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



  • X
  • Facebookでシェアする
  • はてなブックマークに追加する
  • LINEでシェアする

coqのインストール

2011-08-29 18:36:50 | そのほか
前に、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


  • X
  • Facebookでシェアする
  • はてなブックマークに追加する
  • LINEでシェアする

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

2011-08-29 15:11:57 | Weblog
仕様書と実際のプログラムが合わないっってことは、よくある。というか、「普通合ってない」って言って良いくらい、あってない。

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

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

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

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

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

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



  • X
  • Facebookでシェアする
  • はてなブックマークに追加する
  • LINEでシェアする

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

2011-08-29 13:54:21 | Weblog
GPGPUを使いこなす、おそろしいスーパー高校生があらわれてくるのでしょうか?
(サオリンのコンピューター版とか・・・じゃ、世界一を目指さないと・・・)

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


  • X
  • Facebookでシェアする
  • はてなブックマークに追加する
  • LINEでシェアする

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

2011-08-29 01:03:01 | Weblog
かっこいいところ
See cool images at Izismile.com
Funny Stuff at Izismile.com


おお、こんなミニカーっぽいの
See cool images at Izismile.com
Funny Stuff at Izismile.com


これは、ないっす(-_-;)
See cool images at Izismile.com
Funny Stuff at Izismile.com


これって、テンキーつきってこと?
See cool images at Izismile.com
Funny Stuff at Izismile.com


  • X
  • Facebookでシェアする
  • はてなブックマークに追加する
  • LINEでシェアする