仕組み
混沌から計画へ、わずか数秒
「解く」を押してから、トラブルを起こしてみてください。変わる範囲の小ささが分かります。
エディション： School ·
違反—
トラブル後の変更—
ブロックがばらばらです。解くを押してください。
エディション
エンジンはひとつ。業界ごとに最適化。
業界のルール、用語、作業画面はそれぞれ専用。エンジンと品質は共通です。
SCHOOL提供中小・中・高校
授業、教室、SanPiN衛生基準、代講の調整も1分で。
エディションを開く →CAMPUS近日公開専門学校・大学
学生グループ、講義室、キャンパスの棟。
KIDS近日公開幼稚園
クラス、活動、保育士。
CREW近日公開航空会社
乗務員、飛行時間、休息、資格。
SHIFT近日公開飲食・サービス
来客の波に合わせたシフト。
FLEET · ROUTE調査中物流・ルート
空走行を最小に、配送時間枠を守り、多数の地点をめぐる最短ルート。
エンジン
すべてのエディションに備わる力
発見下限
ギャップ0% · 証明済み
証明された最適解
「たぶん良い」ではなく、これ以上の案はないという証明です。
T-12：授業数32
空き枠30
→「1限なし」を緩和：+2
できない理由を説明
どのルールが邪魔をしていて、何なら譲れるかを示します。
最小限の修正
トラブルで変わるのは数マス。全体を組み直すことはありません。
山田 太郎T-07
個人情報なし
エンジンが見るのはコードだけ。氏名はお手元に残ります。
鵜呑みにしないでください
世界の標準ベンチマークで検証
内容
照合先
計測方法一般的なノートPCでの複数回実行の中央値
API
エンジンを自社プロダクトに組み込む
全エディション共通のAPI。変わるのはルールセットだけです。
POST/solve作成して評価POST/validate既存の計画を検証POST/repairトラブル後に再計算POST/explain解がない理由POST /v1/repair · crew
{ "edition": "crew",
"event": { "absent": "C-07" },
"policy": { "minimize_changes": true } }
// → 180 ms
{ "status": "optimal", "changed": 1,
"changes": [{ "flight": "HY-603", "to": "C-12" }] } よくある質問
要点をひとことで
エディションとエンジンは何が違いますか？
エンジンはひとつです。エディションは、業界ごとのルール、用語、入力フォーム、作業画面をまとめたものです。
うちの業界は載っていません。使えますか？
時間軸の上で、ルールに従って人・設備・車両を割り当てる課題であれば、多くの場合お使いいただけます。お申し込みの際に課題をお書きください。
「最適性を証明」とはどういう意味ですか？
ご指定の基準で、これより良い案は存在しないことをエンジンが証明した、ということです。時間内に証明できない場合は、見つかった案が最良案からどれだけ離れうるかを示します。
ほかのエディションはいつ登場しますか？
現在ご利用いただけるのは学校向けです。ほかはパイロット導入を通じて立ち上げます。各業界の最初のお客様が、その業界のルールを形づくります。