ブームのときNHKはリナックスと言ったのでリナックスなんでしょう