利用規約・免責事項
この規約は、Structure Computer のサイト（以下「本サイト」）と、本サイトで計算する機能（以下「計算サービス」）を使うときの条件を定める。本サイトを使った時点で、この規約に同意したものとする。
計算結果について
- 計算サービスは、入力された系と状態について計算し、確かさの種類と証明書を付けて答えを返す。
- 「確定」の答えは、独立の検査器と、Lean で証明した定理にもとづく。ただし、検査器が定理の定義を正しく写していることなど、証明していない部分がある（「証明書と検査」）。「統計」の答えは定理ではない。
- 運営者は、計算結果・証明書・文書の内容が正しいこと、特定の目的に合うことを保証しない。安全にかかわる判断などに使うときは、利用者自身の責任で確かめること。
計算サービスの使い方
- 1 つの問いの計算には時間の上限（10 分）がある。
- 自動化した大量の送信など、計算サーバーに過度の負荷をかける使い方をしてはならない。
- 運営者は、予告なく計算サービスを止めたり、変えたり、利用を制限したりすることがある。
入力する内容
入力（系、状態、体、問いの設定）は、計算のために計算サーバーへ送られ、保存されることがある（「プライバシーポリシー」）。秘密にすべき情報は入力しないこと。
知的財産
- Structure Computer は特許出願中である。
- 本サイトの文章・図・例題・ソフトウェアの権利は、運営者または正当な権利者に帰属する。
- 計算サービスが返した答えと証明書は、利用者が自由に保存・共有・検査してよい。
禁止事項
- 本サイトや計算サーバーへの攻撃、不正なアクセス、運営を妨げる行為
- 法令または公序良俗に反する行為
責任の制限
本サイトを使ったこと、または使えなかったことによって生じた損害について、運営者は、運営者の故意または重大な過失による場合を除き、責任を負わない。
規約の変更
運営者は、必要に応じてこの規約を変えることがある。変えた規約は、本サイトに載せた時点から効力を持つ。
準拠法
この規約は日本法に準拠する。
お問い合わせ
この規約についてのお問い合わせは、「お問い合わせ」のページから受け付ける。