ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
インストール
ブラウザよりも高速アクセス!
 

モナド

索引 モナド

モナド (英:monad).

7 関係: ノン・スタンダードモナド (圏論)モナド (プログラミング)モナド (哲学)ゼノブレイド超準解析英語

ノン・スタンダード

ノン・スタンダード(NON-STANDARD)は1984年7月24日に細野晴臣とテイチク株式会社(当時)が業務提携して設立したレコードレーベルである。1987年まで機能していた。ここでは同時期に細野とテイチクが設立し実質的に細野の個人レーベルとなったモナド(MONAD)についても述べる。.

新しい!!: モナドとノン・スタンダード · 続きを見る »

モナド (圏論)

数学の一分野である圏論において、モナド(monad)あるいはトリプル(triple)とは(自己)関手と2つの自然変換の三つ組である。モナドは随伴関手の理論で使われ、半順序集合上の閉包作用素を任意の圏の上へ一般化する。モナドという名前は、対応する圏を一般化するというモナドの動作に注目して、ソーンダース・マックレーンが哲学用語である「モナド」を借用した。.

新しい!!: モナドとモナド (圏論) · 続きを見る »

モナド (プログラミング)

関数型プログラミングにおいて、モナド(monad)は計算を表現する構造であり、計算ステップの列からなる。つまり、型がモナド構造をもつというのは、命令を繋げるやり方、言い換えるとその型をもつ関数をネストさせる規則が定まっていることをいう。これはプログラマがパイプラインを作ることを可能にする。パイプラインでは入力データを1ステップずつ処理するが、モナドは各アクションに追加の処理規則を上乗せすることができるO'Sullivan, Bryan; Goerzen, John; Stewart, Don.

新しい!!: モナドとモナド (プログラミング) · 続きを見る »

モナド (哲学)

モナド (Monad) は、ライプニッツ が案出した空間を説明するための概念である。ギリシア語 μονάς monas モナス(個、単一)、μόνος monos モノス (単一の) に由来する。単子と翻訳される場合もある。.

新しい!!: モナドとモナド (哲学) · 続きを見る »

ゼノブレイド

『ゼノブレイド』(Xenoblade、Xenoblade Chronicles)は、任天堂より2010年6月10日に発売されたWii用コンピュータRPG。開発はモノリスソフト。.

新しい!!: モナドとゼノブレイド · 続きを見る »

超準解析

は、あるいは無限小数の意味および論理的妥当性に関する哲学的論争を孕んでいる。これらの論争の標準的な解決策は、微分積分学における操作を無限小ではなくイプシロン-デルタ論法によって定義することである。超準解析(nonstandard analysis)は代わりに論理的に厳格な無限小数の概念を用いて微分積分学を定式化する。Nonstandard Analysisは直訳すれば非標準解析学となるが、齋藤正彦が超準解析という訳語を使い始めたため、そのように呼ばれるようになった。無限小解析(infinitesimal analysis)という言葉で超準解析を意味することもある。 超準解析は1960年代に数学者アブラハム・ロビンソンによって創始せられた。 彼は次のように記述している: 無限に小さいあるいは無限小の量という概念は我々の直観に自然に訴えかけるように見える。何れにせよ、無限小の使用は、微分学・積分学の黎明期において、広く普及した。相異なる2つの実数の差が無限に小さくなることはないという 異論に対して、ゴットフリート・ライプニッツは、無限小の理論は理想的数――それは実数と比較して無限に小さかったり無限に大きかったりするものであるが、後者(訳注:実数)と同じ性質を有する――の導入を含意するものであると主張した。 ロビンソンはこのライプニッツのはの先駆けであるとしている。ロビンソンは次のように続ける: しかしながら、彼も、彼の弟子たちや後継者たちも、このようなシステムに繋がる合理的な進展(訳注:そのような原理を合理化するもの)を得なかった。その結果、無限小の理論は徐々に評判を落としてゆき、最終的には古典的な極限の理論に取って代わられた。Robinson, A.: Non-standard analysis.

新しい!!: モナドと超準解析 · 続きを見る »

英語

アメリカ英語とイギリス英語は特徴がある 英語(えいご、)は、イ・ヨーロッパ語族のゲルマン語派に属し、イギリス・イングランド地方を発祥とする言語である。.

新しい!!: モナドと英語 · 続きを見る »

ここにリダイレクトされます:

モナッドモナド (曖昧さ回避)

出ていきます入ってきます
ヘイ!私たちは今、Facebook上です! »