Theorem Worker のダウンロードとインストール
Theorem Worker をダウンロードしてインストールするには、次の手順に従います。
2. Theorem バージョン 20.0 以降のソフトウェアは CD イメージではなく .msi によって配布されます。
3. .msi を起動します。Theorem Solutions のインストールウィザードが開きます。ライセンス契約に同意し、インストール場所を選択します。
4. 必要なコンポーネントを選択します。
5. 「Install」をクリックして、デフォルトをそのまま使用してインストールを開始します。
6. 「Theorem Solutions Product Configuration」ページが表示された後 (次の図を参照)、プロパティの「Host」フィールドにライセンスのホストを入力し、「OK」をクリックします。
7. 「Finish」をクリックしてインストールを完了します。