「Opera Mini for iPhone」が公開初日で100万ダウンロード突破(1/1)