計算 証明 検索 通信 ツール ゲーム 描画 シミュレーション アート 知能 生命 まだまだ面白い話がありそう!