恒例のように噂が出ては消えていた『ハーフライフ3』がデータマイニングで新たな証拠、よりオープンエンドでプローシャル生成になる