Page History
...
6.10.3 必要な場合のみファンクションのコンパイルを行う
...
このオプションは、\[ファンクションのコンパイル\]が選択されている場合のみアクティブになります。 このオプションを選択して、コンパイルされる必要があるファンクションのみがコンパイルされるようにします。このオプションがデフォルトの設定です。
このオプションを選択して、コンパイルされる必要があるファンクションのみがコンパイルされるようにします。このオプションがデフォルトの設定です。
このオプションを選択していない場合は、選択したすべてのファンクションがコンパイルされます。