少数精鋭か?大量配置か?本物のアリたちと戦略ゲームを使って軍事理論を検証