Wolfram Research製品ご購入サービスとリソース会社概要その他のWolframサイト
Mathematica > スコープ構文 >

With

With[{x=x0, y=y0, ...}, expr]
expr のシンボル x, y, ... を x0, y0, ... で置き換えるように指定する.
  • Withは,局所定数を定義することができる.
  • Withは,expr においてスコープ構文の内側で局所変数として現れないシンボルだけを置き換える.
  • 条件付きの変換規則の右辺としてWith[{vars}, body/;cond]を使用することができる.
  • With構成は,任意のネストが可能である.必要に応じて内側の変数が改名される.
  • Withは,読取り専用の辞書的な変数を実装するスコープ構成である.
バージョン 2 の新機能
© 2008 Wolfram Research, Inc. japanese.gif
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team