Ngôn ngữ
Không có dữ liệu
Thông báo
Không có thông báo mới
モナドノック山(Mount Monadnock)が典型であるために残丘のことをモナドノック(英:monadnock)ともいう。 北米での呼称である「モナドノック(英:monadnock)」は、ニューハンプシャー州南部にあるモナドノック山(Mount
数学の一分野である圏論において、モナド(英語: monad)とは、モノイドに似た構造を備えた自己関手である。モナドは半順序集合上の閉包作用素の一般化や、双圏(英語: bicategory)上のモノイドに似た構造として捉えられ、随伴関手(または随伴1-セル)と強い関係を持つ。双対概念はコモナド(英語版)である。
デダルス・ユメノ(Daedalus Yumeno) 声 - 小林沙苗 ロムド市民厚生局主任の少年。リルの担当医でもある。イギー曰く「リルの王子様」。極秘研究施設での研究者としてモナド・プラクシーの観察を行っていた。プラクシーの謎を知ることは人間にとって大いなる力となるという考えから、彼もリル同様プラクシーの謎を解くことに興味をもっている。
の返り値にうつす関数である。すなわちunit 関数は型 x の値をモナド型 M x の値へうつす多相な関数である。引数値変換の有無は定義されない(一般には値を変換せずに保持する(例:入力 1 =>出力 Maybe(1))。 bind関数( >>= とも)は「モナド的値」と「値をモナド的値
は、ライプニッツが案出した空間を説明するための概念である。ギリシア語 μονάς monas モナス(個、単一)、μόνος monos モノス(単一の)に由来する。単子と翻訳される場合もある。 ライプニッツは、現実に存在するものの構成要素を分析していくと、それ以上分割できない、延長を (ひろがりも形も) 持たない実体に到達すると考えた