すべては「式」であるとは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > すべては「式」であるの意味・解説 

すべては「式」である

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/09 07:13 UTC 版)

Mathematica」の記事における「すべては「式」である」の解説

Mathematicaは「すべては式である (Everything is an expression.)」という思想のもとに設計されている。ここで言う「式 (Expression)」とは、アトム関数である。 Mathematicaにおいて、数式・リスト・グラフィックスを含むすべてのオブジェクトhead[e1, e2, ...] という共通の基本構造を持つ。そして、この構造入れ子にできる(つまり、e1e2 もまたこの構造持てる)。したがってどんなに複雑なオブジェクトでも、この基本構造とその再帰的繰り返し表現できる例えば、x^4+1 という式を入力すると、出力は以下のように表示される。 In[7]:= x^4 + 1Out[7]= 1+x4 FullForm を使うと、この式の完全形Mathematica における内部表現)を見られる。 In[8]:= FullForm[x^4 + 1]Out[8]= Plus[1, Power[x, 4]] 上記の例では、Plushead であり、Power[x, 4] が入れ子になっている。x のような記号も実は Symbol["x"] という構造持っているリストListhead とする同様の構造である。例えば、x^4+1 と {1, x^4} という2つの表現は、外見はまった異なるが、完全形見れば headPlusList かの違いしかない。 この基本構造により、リストとは無関係の普通の式をリスト演算子処理できる。 In[9]:= Expand[(Cos[x] + 2 Log[x^11])/13][[2, 1]]Out[9]= 2/13 逆も同様で、リストを普通の式のように扱える。 In[10]:= Map[Apply[Log, #]&, {{2, x}, {3, x}, {4, x}}]Out[10]= {Log[x]/Log[2], Log[x]/Log[3], Log[x]/Log[4]} ここで、Apply第二引数head第一引数指定されたものに置換する関数である。また、Map関数型言語によく見られる高階関数 map である。 Mathematica では、数学的オブジェクトリスト構造等価であるため、組み込み関数いくつかは「スレッディング」可能であり、特に指定しなくてもリスト上の各要素マップされるときにマルチスレッド化される実際Apply次のような場合マルチスレッド化される。 In[11]:= Apply[Log, {{2, x}, {3, x}, {4, x}}, 1]Out[11]= {Log[x]/Log[2], Log[x]/Log[3], Log[x]/Log[4]} 第三引数 1 により、Apply によって置換するのがリスト最初レベルであることが指定され、これは前述の例と等価である。

※この「すべては「式」である」の解説は、「Mathematica」の解説の一部です。
「すべては「式」である」を含む「Mathematica」の記事については、「Mathematica」の概要を参照ください。

ウィキペディア小見出し辞書の「すべては「式」である」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「すべては「式」である」の関連用語

すべては「式」であるのお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



すべては「式」であるのページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、WikipediaのMathematica (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS