Linux
- No
- 191
- Cate
- 科学
- Route
- 存在証明のオートマトン（5）
1991年に、汎用OS「Unix」の互換OSとして作られたソフトウェア。 日本語での読みは統一されておらず、リナックス、リヌックス、ライナックス、ライナクスなどと呼称されている。 当時商用のUnixは大変高価で、簡単に入手出来るものではなかったため、大学生だったリーナス・トーバルズが趣味で互換OSであるLinuxを開発した。 コードはオープンソースとして配布され、世界中のプログラマーが開発に参加し、商業で利用されるレベルにまで成長した。 現在では多くのWebサーバーでLinuxが使用されている。