TimeConstrained

TimeConstrained[expr,t]

expr を評価し,t 秒経過すると停止する.

TimeConstrained[expr,t,failexpr]

制限時間を超過するとfailexpr を返す.

詳細

  • TimeConstrainedexpr の評価が指定された時間内に完了しなかった場合,この評価を中断する割込みを作成する.
  • TimeConstrainedは評価が放棄されたときに限りfailexpr を評価する.
  • TimeConstrainedは,この評価が中断され failexpr が指定されていない場合,$Abortedを返す.
  • TimeConstrainedは,$TimeUnit秒の粗さまでの精度しか持ち合せていない.
  • TimeConstrainedによる中断はAbortProtectによって無効にすることができる. »
  • TimeConstrained[expr,Infinity]は時間制限を課さない.
  • 同じセッション中であっても,例えば内部のシステムキャッシュが異なる場合等は,TimeConstrainedが異なる結果を返すこともある.
  • TimeConstrainedは内部の主Wolfram言語カーネルプロセスでかかったCPU時間だけを考慮する.付加的なスレッドやプロセスは考慮しない.

例題

すべて開くすべて閉じる

  (2)

計算が1秒より長くかかる場合は中止する:

計算が2秒より長くかかる場合は中止する:

デフォルトメソッドでは,制約時間内で解が(それほど正確ではないが)求まる:

スコープ  (2)

制約時間に達した場合に返す値を指定する:

TimeConstrained内でCheckAbortを使って制約時間に達した場合にどの部分を飛ばすかを指定する:

特性と関係  (5)

第3引数は制約時間に達したときにだけ評価される:

TimeRemaining[]は,囲んでいるTimeConstrainedが評価を中断するまでの秒数を与える:

ネストしたAbortProtectTimeConstrainedの動作がブロックできる:

包み込んでいるAbortProtectTimeConstrainedで無効になる:

TimeConstrained内のコードは終了されるがAbortProtectは完了するまで継続される:

TimeConstrainedCheckAbortの第1引数は制約できるが第2引数は制約できない:

Wolfram Research (1988), TimeConstrained, Wolfram言語関数, https://reference.wolfram.com/language/ref/TimeConstrained.html (2007年に更新).

テキスト

Wolfram Research (1988), TimeConstrained, Wolfram言語関数, https://reference.wolfram.com/language/ref/TimeConstrained.html (2007年に更新).

CMS

Wolfram Language. 1988. "TimeConstrained." Wolfram Language & System Documentation Center. Wolfram Research. Last Modified 2007. https://reference.wolfram.com/language/ref/TimeConstrained.html.

APA

Wolfram Language. (1988). TimeConstrained. Wolfram Language & System Documentation Center. Retrieved from https://reference.wolfram.com/language/ref/TimeConstrained.html

BibTeX

@misc{reference.wolfram_2024_timeconstrained, author="Wolfram Research", title="{TimeConstrained}", year="2007", howpublished="\url{https://reference.wolfram.com/language/ref/TimeConstrained.html}", note=[Accessed: 22-November-2024 ]}

BibLaTeX

@online{reference.wolfram_2024_timeconstrained, organization={Wolfram Research}, title={TimeConstrained}, year={2007}, url={https://reference.wolfram.com/language/ref/TimeConstrained.html}, note=[Accessed: 22-November-2024 ]}