DOCUMENTATION CENTER SEARCH
Mathematica > 方程式の解法 >
Mathematica 組込みシンボルチュートリアル »|関連項目 »|その他 »

FindInstance

FindInstance[expr, vars]
expr がTrueとなる vars の例を求める．
FindInstance[expr, vars, dom]
領域 dom における例を求める．通常 dom はComplexes，Reals，Integers，Booleansのいずれかである．
FindInstance[expr, vars, dom, n]
n 個の例を求める．
  • FindInstance[expr, {x1, x2, ...}]はSolveにおけるのと同形の結果を返す．例が存在する場合は{{x1->val1, x2->val2, ...}}，存在しない場合は{}である．
  • expr は方程式，不等式，領域指定および量限定子をReduceにおけるのと同じ形で持つことができる．
  • 厳密な記号入力を与えると，FindInstanceは厳密な結果を返す．
  • たとえ2つの入力が同じ数学的な集合を定義しても，FindInstanceは別々の例を選んで返すことがある．
  • FindInstanceが返す例は通常集合中の特殊なあるいは興味深い点に対応する．
  • FindInstance[expr, vars]はデフォルトにより不等式に代数的に現れる数量は実数であり，その他の数量は複素数であると推定する．
  • FindInstance[expr, vars, Integers]はディオファントス(Diophantus)方程式の解を求める．
  • FindInstance[expr, vars, Reals]は，vars だけでなく，expr におけるすべての関数の値も実数であると推定する．FindInstance[expr&&varsReals, vars]は vars のみが実数であると推定する．
  • FindInstanceはReduceが完全に簡約できなくても例を見付けられる可能性がある．
  • 与えられた入力について実行するたびに，FindInstanceは同じ出力を返す．
  • オプションRandomSeed->s の設定が異なると，異なる例の集合が返される可能性がある．
  • FindInstance[expr, vars, dom, n]は，例の総数が n よりも小さいときは短いリストを返す．
例題すべて閉じる
例   (5)
方程式系の解の例を求める：
In[1]:=
Click for copyable input
Out[1]=
 
方程式と不等式の系の実数解の例を求める：
In[1]:=
Click for copyable input
Out[1]=
 
整数解の例を求める：
In[1]:=
Click for copyable input
Out[1]=
 
式を満足するブール値を求める：
In[1]:=
Click for copyable input
Out[1]=
 
いくつかの例を求める：
In[1]:=
Click for copyable input
Out[1]=
バージョン 5 の新機能
© 2008 Wolfram Research, Inc. japanese.gif
Ask a question about this page  |  Suggest an improvement  |  Leave a message for the team