いまさら聞けない「OS」「カーネル」「GPL」とは？　Linux関連用語をおさらい（関連情報）：初心者のための「Linux」基礎用語解説【前編】