Hi-QUBO ドキュメント¶ start up Hi-QUBOの特徴 クイックスタート(quick start) Windows（WSL）でのクイックスタート download/install C++: aptコマンドを用いたインストール C++: ダウンロードしてインストール(手動) Python: pipコマンドを用いたインストール license Trial ライセンスの取得 ライセンス管理 チュートリアル 最大公約数 数独 巡回セールスマン問題 分割・割当の最適化 基本的な文法、コードの書き方 変数の定義と式の作成 ソルバーについて ベクトル変数とベクトル関数 整数変数と連立方程式の解法 HUBO式による因数分解 範囲制約と整数線形計画問題の解法 より高度な書き方 変数と式 基本演算子と関数 ベクトルに対する基本演算子と関数 多次元の変数と式 比較演算子 式のクラス 式の評価 変数の置き換え 否定リテラル 多次元配列の和について Einsum: numpy 風のテンソル縮約 スライスと連結 ワンホットから整数への変換 探索パラメータ 高速化のための Tips ソルバーについて Easy Solver の使用方法 Exhaustive Solver の使用方法 ABS3 Solver の使用方法 Gurobi Optimizer の使用方法 Example 現実問題系 数学系