2014-06-23から1日間の記事一覧

2014-06-23

「形式手法」（形式仕様）に入門するためのYoutube動画

情報科学 Youtube

TOPSE2010（日立製作所）さんによる講義：形式仕様記述part1 - YouTube https://www.youtube.com/watch?v=tB-k8... 2010/12/17 にアップロード, by TOPSE2010 形式仕様記述part2 - YouTube https://www.youtube.com/watch?v=3LBFE... 2010/12/17 にアップロ…

2014-06-23

「ウィルスセキュリティZERO」は安いだけで評判が悪い。軽いだけで検知力が低く，誤検知も多い

セキュリティ評判ウイルス対策

セキュリティ・ウイルス対策まとめTOPへ PC向けアンチウイルスソフトの「ウィルスセキュリティZERO」の悪評判について。安いだけで評判が悪い。更新料はOS変更しなければ無料。ウイルスセキュリティ ZEROを実際に使ってみた正直な感想と評価 http://www.ウ…