ReplaceRepeated

expr//.rules

expr がこれ以上変わらなくなるまで,繰り返し置き換えを行う.

ReplaceRepeated[rules]

式に適用可能なReplaceRepeatedの演算子形である.

詳細とオプション

  • expr//.rules は,効果的に,この結果が変わらなくなるまで,/.を繰り返し実行する.
  • 式に対して/.を使用してひと通り完全な手続きを実行した上で,次の手続きに移行する.
  • 演算子//.を使用するときには,無限ループを避けるように十分気を付けること.例えば,コマンドx//.x->x+1は,無限ループに陥る.
  • ReplaceRepeatedは,与えられた規則を適用する最大の回数を指定するオプションMaxIterationsを取り込む.このデフォルト設定はMaxIterations->65536である.MaxIterations->Infinityの設定では制限がない.
  • ReplaceRepeated[rules][expr]ReplaceRepeated[expr,rules]に等しい.

例題

すべて開くすべて閉じる

  (3)

実数の対数についてベキと積の法則に関する規則を繰り返し適用する:

ReplaceAllは置換を1回だけ行う:

ネストしたものも含め,出現したすべての頭部を削除する:

ReplaceAllは一番外側の頭部のみを削除する:

ReplaceRepeatedを演算子形で使う:

スコープ  (3)

マッチする規則がないと,入力式が返される:

f1と厳密に1個の整数が続いたものを置換する:

f1と1つまたは複数の整数が続いたものを置換する:

f1と0個以上の整数が続いたものを置換する:

ReplaceRepeatedはホールドされた式の中で使うことができる:

置換の前に規則の右辺は評価しない:

置換の前に右辺を評価する:

アプリケーション  (1)

関数の引数の「カリー化」をやめる:

特性と関係  (5)

空リストはマッチする規則を持たないとみなされる:

置換にリストのリストが使われた場合,結果は同じ長さのリストになる:

置換してホールドされた式になる場合は,評価は強制されない:

ReplaceRepeatedは,事実上,ReplaceAllFixedPointの組合せである:

ReplaceRepeatedは式の上から複数回スキャンする:

ReplaceAllは可能な限り最大の部分式を置換し,そこで停止する:

レベル指定がAllReplaceは,すべての部分式を厳密に1回置換しようとする:

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

テキスト

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

CMS

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

APA

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

BibTeX

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

BibLaTeX

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