2014-05-03 IE IEの修正追加プログラムが公開された。一応ダウンロードした。が、なんかgoogle chromeの方が使いやすい気がしてきた。だから、とうぶんgoogle chromeを使うことにした。