# 次の時代のシステムのいしずえを作る

> 少子高齢化に伴う超人手不足時代を支える高信頼システムプラットフォームを開発しています

株式会社ガーネットは、少子高齢化に伴う超人手不足時代を支える高信頼システムプラットフォームを開発しています。

### システムによる社会の維持

今後不可避に到来する超人手不足の時代に現代の利便性を維持するためには、社会の多くの部分を情報システムによって置換する必要があります。システムの故障や停止は社会機能の麻痺や重大事故に直結するようになります。

### 超人手不足、 Zero Human 時代

超人手不足の時代ではシステムの開発、運用、保守の全ライフサイクルにおいて、人間によるこまめな関与はもはや期待できません。そもそも壊れない、壊れても自動で復旧し可能な限り動き続けるという、堅牢性、抗堪性、自律性を持つシステムが必要になります。

### 形式的検証と設計による高信頼性

私達はこの問題に対して形式的検証と新しい設計に基づいて、Zero Human 時代を支える新しい高信頼システムプラットフォームを開発しています。計算、通信、トラストという現代のシステムの基礎となるコンポーネントを統合し、次の時代を委ねることの出来るシステムの基礎を築きます。


これは llmstxt.org 規約に基づくサイトインデックスです。


## Table of Contents

- [会社サイトを改装しました](https://www.kkgarnet.com//blog/renewal.md): この度、会社サイトを改装しました。
- [なぜ高信頼システムプラットフォームが必要なのか](https://www.kkgarnet.com//blog/why-high-reliability-platform.md): この記事では、なぜ私達が高信頼システムプラットフォームを開発しようとしているのか、
- [弊社社員が2026年3月に開催される国内学会で発表を行います](https://www.kkgarnet.com//blog/announce-academic-activity.md): 弊社社員が3月に開催される国内学会で発表を行います。
- [高信頼システムプラットフォームを支える3つの要素](https://www.kkgarnet.com//blog/three-components-for-high-reliability-platform.md): [以前の記事](/blog/why-high-reliability-platform)で、なぜ、どのような高信頼システムプラットフォームが必要なのかについて考えてみました。