評価 ▶ カーネルを終了

カーネルを終了

指定されたカーネルを終了する．

詳細

  • カーネルの接続はカーネル環境設定ダイアログボックスで定義される．一旦カーネルの接続がダイアログボックスで定義されると，そのカーネル名がこのメニューで表示される．
  • アクティブなカーネルはカーネル名の横にチェックマークが付いている．