ForHosting KIT · 開発者向けツール

連立一次不等式の計算機

連立一次不等式とは、座標平面上の半平面の集まりであり、それぞれは定数と比較した a x たす b y の形で書かれます。それらの共通部分が実行可能領域です。凸多角形、非有界な凸集合、あるいは切り合いが矛盾するときの空集合のいずれかになります。この連立一次不等式の計算機は、a x たす b y を c と比較する形の行を 2 行以上受け取り、すべての境界直線（垂直・水平の特別な場合を含む）を返し、閉じた実行可能領域の内部でそれらの直線が交わる頂点を列挙します。学習者はその頂点を塗りつぶしグラフの角として使い、線形計画のノートは同じ点を線形目的の候補最適解として使います。エンジンは純粋で決定的です。Fourier–Motzkin 消去が空かどうかを判定し、直線の対ごとの交点が候補頂点を作り、法線の角度検査が領域が有界多角形かどうかを決めます。無料のブラウザ経路と API は同一モジュールを共有するため、問題集の解答とパイプラインのフィクスチャが食い違うことはありません。検証失敗は課金されず、成功した呼び出しは $0.002 です。

● Beta無料・ブラウザ内で実行

無料で実行 API仕様を見る

ご利用方法ウェブAPIメールTelegramアプリ近日

使い方

上のフォームに値を入力してください。計算前に内容を確認し、同じページに結果を表示します。

入力内容の確認

各項目のラベルと単位に従って入力してください。不足や範囲外の値がある場合は、修正する項目をページ上で示します。

再計算または自動化

個別の確認にはWebツールを、同じ機能を自動処理に組み込む場合はAPIを使用できます。

活用例

今すぐ結果を確認

値を入力するだけで、表計算やスクリプトを用意せずに結果を確認できます。

条件を比較

値を1つずつ変えて再計算し、結果に影響する要素を確認できます。

繰り返し処理を自動化

同じ計算を製品やワークフローで繰り返す場合はAPIを利用できます。

よくある質問

この機能はどう使いますか？

上の項目を入力して、このページで実行します。修正が必要な入力はフォームで示されます。

開発者向け — APIアクセス

このページの機能はすべてAPIからも利用できます。自社システムに組み込みたいチーム向けのセクションです。それ以外の方は上のツールをそのままお使いください。

エンドポイント

POSThttps://api.kit.forhosting.com/algebra/system-of-inequalities

Bearerトークンで認証し、POST1回でタスクをキューに登録します。結果はWebhookまたは署名付きリンクで受け取れます。

お使いのスタックから呼び出す

curl -X POST https://api.kit.forhosting.com/algebra/system-of-inequalities \
  -H "Authorization: Bearer $KIT_KEY" \
  -H "Content-Type: application/json" \
  -d '{"inequalities":[{"a":1,"b":1,"op":"<=","c":6},{"a":1,"b":0,"op":">=","c":0},{"a":0,"b":1,"op":">=","c":0}]}'

const res = await fetch("https://api.kit.forhosting.com/algebra/system-of-inequalities", {
  method: "POST",
  headers: {
    "Authorization": `Bearer ${process.env.KIT_KEY}`,
    "Content-Type": "application/json"
  },
  body: JSON.stringify({
    "inequalities": [
      {
        "a": 1,
        "b": 1,
        "op": "<=",
        "c": 6
      },
      {
        "a": 1,
        "b": 0,
        "op": ">=",
        "c": 0
      },
      {
        "a": 0,
        "b": 1,
        "op": ">=",
        "c": 0
      }
    ]
  })
});
const { task_id } = await res.json();

import os, requests

res = requests.post(
    "https://api.kit.forhosting.com/algebra/system-of-inequalities",
    headers={"Authorization": f"Bearer {os.environ['KIT_KEY']}"},
    json={
    "inequalities": [
        {
            "a": 1,
            "b": 1,
            "op": "<=",
            "c": 6
        },
        {
            "a": 1,
            "b": 0,
            "op": ">=",
            "c": 0
        },
        {
            "a": 0,
            "b": 1,
            "op": ">=",
            "c": 0
        }
    ]
},
)
task_id = res.json()["task_id"]

<?php
$res = file_get_contents("https://api.kit.forhosting.com/algebra/system-of-inequalities", false, stream_context_create([
  "http" => [
    "method"  => "POST",
    "header"  => "Authorization: Bearer " . getenv("KIT_KEY") . "\r\nContent-Type: application/json",
    "content" => '{"inequalities":[{"a":1,"b":1,"op":"<=","c":6},{"a":1,"b":0,"op":">=","c":0},{"a":0,"b":1,"op":">=","c":0}]}',
  ],
]));
$task = json_decode($res, true);

body := bytes.NewBufferString(`{"inequalities":[{"a":1,"b":1,"op":"<=","c":6},{"a":1,"b":0,"op":">=","c":0},{"a":0,"b":1,"op":">=","c":0}]}`)
req, _ := http.NewRequest("POST", "https://api.kit.forhosting.com/algebra/system-of-inequalities", body)
req.Header.Set("Authorization", "Bearer "+os.Getenv("KIT_KEY"))
req.Header.Set("Content-Type", "application/json")
res, _ := http.DefaultClient.Do(req)

リクエスト例

{
  "inequalities": [
    {
      "a": 1,
      "b": 1,
      "op": "<=",
      "c": 6
    },
    {
      "a": 1,
      "b": 0,
      "op": ">=",
      "c": 0
    },
    {
      "a": 0,
      "b": 1,
      "op": ">=",
      "c": 0
    }
  ]
}

レスポンス例

{
  "task_id": "tsk_a1b2c3d4e5f6a1b2c3d4e5f6",
  "type": "algebra.system_of_inequalities",
  "status": "queued",
  "_links": {
    "result": "/tasks/tsk_…/result"
  }
}

非同期APIです。task_idは即時に返ります。ポーリングは1秒あたり1リクエストまでです。

料金

1リクエストあたり$0.002

単価はすべて公開しています。トークン換算や独自クレジットはありません。失敗したタスクは課金されません。

制限

`max_items`	16
`max_abs_coeff`	1000000000000

エラー

HTTP	コード	意味
`401`	`unauthorized`	APIキーが無効か、指定されていません。Authorizationヘッダーを確認してください。
`402`	`insufficient_balance`	残高が不足しています。チャージ後に再度お試しください。
`404`	`unknown_type`	指定されたタスクタイプは存在しません。タイプ名を確認してください。
`429`	`rate_limited`	リクエストが多すぎます。しばらく待ってから再度お試しください。

KITの完全なドキュメントを見る →