思い立って iPad mini を iOS 7 にしてみる。動作がもっさりしていることを除けば、悪くない。日本語入力がさらによくなったように思う。あと、入力が引っかかってアプリケーションが突然落ちるということがなくなったのは大きい（引っかかっても待っていた…