Portalの利用規約

発効日: 2026-05-09

本規約は、Hi-QUBO User Portal (https://qubo-plus.github.io/portal/) を通じ て作成された Hi-QUBO ユーザーアカウント（以下「アカウント」）、および アカウントに紐づく Hi-QUBO ライセンスキーの利用に適用されます。本規約は、 Hi-QUBO ソフトウェア全般に適用される Hi-QUBO 利用規約 を補足 するものです。

1. 同意

アカウントを作成した時点、またはアカウントの下で発行された任意のライセンス キーをアクティベートした時点で、本規約に同意したものとみなします。同意でき ない場合は、アカウントを作成しないでください。

2. アカウントについて

Hi-QUBO ユーザーアカウントは、ライセンスキーを個人に紐づけるための個人識別 情報です。アカウント作成時には自動的に Trial ライセンス が 1 本付与され ます。当方は当方の裁量により、Unlimited ライセンス等、別途取り決めた追加の ライセンスをアカウントに紐づけることがあります。種別にかかわらず、アカウン トに紐づくすべてのライセンスは、本規約および各ライセンス発行時に通知される 個別条件の双方に従います。

3. ライセンス許諾

アカウントに紐づく各ライセンスについて、当方は、ポータルのダッシュボードに 表示される期間・変数数上限・その他の条件の範囲で、Hi-QUBO を利用するための 限定的・非独占的・譲渡不能・取消可能なライセンスを許諾します。

Trial ライセンスは、評価・研究・教育目的に限定して 提供されます。 その他の種別のライセンスは、発行時または別途の契約で個別に定める条件に 従います。

4. 個人につき 1 アカウント

個人は、同時に 1 つのみ の Hi-QUBO ユーザーアカウントを保有・運用できま す。以下の行為は禁止されます。

  • メールエイリアス・別アドレスの使用、または同僚・親族の名義による登録を含 む、複数アカウントの作成・運用（追加ライセンスの取得、その他アカウント 単位の制限の回避を目的とするもの）

  • 他者に対するアカウント認証情報の共有、またはアカウントの譲渡

当方は、当方の合理的な判断において本条に違反すると判断したアカウントを停止 または閉鎖し、紐づくライセンスを取り消すことができます。

5. 禁止事項

以下の行為は禁止されます。

  • Hi-QUBO のバイナリ・ライブラリ・ライセンスキーの再配布またはサブライセンス

  • バイナリのリバースエンジニアリング・逆コンパイル、またはソースコード導出 の試み

  • Trial ライセンスの下で Hi-QUBO を本番用途に使用すること

  • アクティベーション・マシンバインディング・検証・レート制限の各機構（特に 非アクティベーション cooldown および更新ウィンドウを含むがこれに限られな い）の回避

6. 取得する情報

当方は、アカウント作成時にメールアドレス・氏名・所属・役職・国・利用目的を 取得します。

また、ライセンスをアクティベートまたは検証する際に、ご利用環境に関する技術 情報を取得します。具体例として、マシンフィンガープリント・ホスト名・OS ユー ザー名・OS・CPU/GPU 情報・RAM サイズ・IP アドレス、および実行環境のバージョ ン情報（Hi-QUBO 本体、実行フロントエンド〈C++ か Python か、Python の場合は そのバージョン〉、システムライブラリ〈glibc〉、GPU ドライバ等）が含まれます。 これらは、ライセンスの管理、ならびに互換性・サポート方針（旧バージョンのサ ポート終了時期の判断等）のためにのみ利用します。

当方は、以下の情報を 一切取得・送信しません:

  • 利用者が作成したプログラムのソースコードおよびコンパイル済みバイナリ

  • 利用者が扱う問題インスタンス・入力データ

  • 利用者が構築したモデルの内容（目的関数・制約・係数・変数名等）

  • 計算結果・解・エネルギー値・その他の出力

  • 利用者のファイルの内容やファイルパス

ライセンス検証通信には、本節冒頭に記載した技術メタデータのみが含まれます。

利用者がユーザーポータルから任意でライセンスに付与したメモは、当該ライセ ンスと共に保管され、Hi-QUBO 管理者が閲覧可能です。機微な個人情報や秘密 情報、第三者の機密情報を当該メモに入力しないでください。

当方は、アカウント作成時に取得した情報（メールアドレス、氏名、所属、 役職、国、利用目的）を記録するほか、Hi-QUBO および関連ソフトウェアに 関する情報提供の目的で、協力先に開示することがあります。 ライセンス検証時に取得される情報（マシンフィンガープリント、IP アド レス、ハードウェア構成等）は、これらの目的では開示されません。

利用者は、Hi-QUBO ウェブサイトに記載された問い合わせ窓口を通じて、 協力先への情報開示の停止をいつでも申し出ることができます。当該 停止は、利用者が現在保有するライセンスの稼働には影響しません。

7. 無保証

Hi-QUBO は 「現状有姿」 で提供され、商品性・特定目的への適合性・非侵害を 含むいかなる明示または黙示の保証もありません。

8. 終了

当方は、理由の有無を問わず、また予告なく、ライセンスを停止・取り消し、 またはアカウントを閉鎖できます。利用者はいつでも User Portal からアカウント を削除できます。アカウント削除時には、紐づくすべてのライセンスは停止されま す。

9. 規約の変更

当方は、本規約を随時更新することがあります。重要な変更については、メール またはポータルへの掲示により通知します。

以下の数学問題をPyQBPPを用いて解きます。

数学問題： 各桁の積が252である3桁の奇数をすべて求めてください。

\(x\)、\(y\)、\(z\) をそれぞれ百の位、十の位、一の位の数字とします。 より具体的には：

  • \(x\) は \([1, 9]\) の整数、

  • \(y\) は \([0, 9]\) の整数、

  • \(t\) は \([0, 4]\) の整数、

  • \(z = 2t + 1\)（\(z\) は奇数）。

3桁の整数 \(xyz\) の値 \(v\) は

\[ \begin{aligned} v&=100x+10y+z \end{aligned} \]

以下を満たすすべての解を求めます：

\[ \begin{aligned} xyz &= 252 \end{aligned} \]

PyQBPPプログラム

以下のPyQBPPプログラムですべての解を求めます：

three-digit-program1.py
import pyqbpp as qbpp

x = qbpp.var("x", between=(1, 9))
y = qbpp.var("y", between=(0, 9))
t = qbpp.var("t", between=(0, 4))
z = 2 * t + 1
v = x * 100 + y * 10 + z

f = (x * y * z == 252)

f.simplify_as_binary()
solver = qbpp.ExhaustiveSolver(f)
result = solver.search(best_energy_sols=0)
s = set()
for sol in result.sols:
    s.add(sol(v))
for val in sorted(s):
    print(val, end=" ")
print()

このプログラムでは、x、y、t を上記の範囲の整数変数として定義します。 次に z、v、f を式として定義します。 f に対するExhaustive Solverインスタンスを作成し、すべての最適解を result.sols に格納します。

x、y、t は複数のバイナリ変数でエンコードされるため、異なるバイナリ割り当てが同じ整数値を表す場合があります。 その結果、同じ数字の組 (x,y,z) が result.sols に複数回現れる可能性があります。 そのため、結果の整数値 v のみを収集する Python 組み込みの set 型 s を使って重複を除去しています。

s 内の整数は以下のように出力されます：

479 497 667 749 947