評価 ▶ カーネルを起動

カーネルを起動

指定されたカーネルを起動する．

詳細

  • カーネルの接続はカーネル環境設定ダイアログボックス（評価 ▶ カーネル環境設定）で定義される．一旦カーネルの接続がダイアログボックスで定義されると，そのカーネル名がこのメニューで表示される．