国防総省に属する高等計画局(DARPA=ダーパ)といえば、最先端の軍事兵器や諜報機器の先端開発に取り組む機関として有名だ。そのDARPAが最近、ゲームサイトの運営を始めて話題をよんでいる。 その名前はベリゲームス・ポータル(Verigames.com)。ホームページを覗いてみると、クラッシクなイラストとともにPC用やタブレット向けなど5つのゲームが並んでいる。 もちろん、米国防総省がゲーム・サイトを運営するには理由がある。ゲーマーが無料ゲームを楽しむうちに「ソフトウェアのバグ(プログラムのミス)探しに協力」させられていると言う・・・。 パズルゲームがソフトウェアの検証をする? ベリゲームスの正式名は「Crowd Sourced Formal Verification」という。日本語にすれば「大衆によるソース(コード)正規検証作業」プロジェクトとなるだろう。 同サイトの「ストーム・ボンド」「