評価 ▶ カーネル環境設定...
カーネル環境設定
カーネル設定を追加，削除，編集するためのダイアログを開く．
詳細
- 評価 ▶ カーネル環境設定を選ぶと，すでに定義されたカーネル接続がダイアログボックスにリストされる．「ローカル」はローカルマシンのWolfram言語カーネルへのデフォルトの接続である．"LinkSnooper"を使うと，フロントエンドとローカルカーネルの間のWSTP上のインタラクションを可視化することができる．
- 新しいカーネルを定義するには，評価 ▶ カーネル環境設定を選択し追加をクリックする．設定ダイアログボックスが現れるので，新しい接続を定義する．ダイアログボックスの上部にカーネル名を入力し，ローカルコンピュータ上で起動するかリモートコンピュータで起動するかを選ぶ．次にカーネルプログラム名を与える．これは通常"WolframKernel"である．OKをクリックしてカーネル接続を保存する．
- カーネル環境設定ダイアログのIn/Outプロンプトにカーネル名を付け足すがチェックされると，接続中に生成されたセルラベルにそのカーネル接続名が追加される．
- ここで定義されたカーネル名はカーネルを選択するたびにフロントエンドに表示される．