[ニュース] 携帯向けブラウザアプリの新バージョン「Opera Mini 4」