昔はTop500の中に1つか2つWindowsがあったけど完全に無くなったのかな