モナド (プログラミング) とは?

Mazii

Trải nghiệm ứng dụng Mazii

Tra cứu

Từ vựng Hán tự Mẫu câu Ngữ pháp

Nhật - Nhật

Kết quả tra cứu tiếng Nhât của từ モナド (プログラミング)

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

の返り値にうつす関数である。すなわちunit 関数は型 x の値をモナド型 M x の値へうつす多相な関数である。引数値変換の有無は定義されない（一般には値を変換せずに保持する（例:入力 1 =>出力 Maybe(1)）。 bind関数（ >>= とも）は「モナド的値」と「値をモナド的値

Từ điển Nhật - Nhật

Các từ liên quan tới モナド (プログラミング)

プログラミング

〖programming〗

モナド

〖monad〗

残丘

モナドノック山（Mount Monadnock）が典型であるために残丘のことをモナドノック（英：monadnock）ともいう。北米での呼称である「モナドノック（英：monadnock）」は、ニューハンプシャー州南部にあるモナドノック山（Mount

関数型プログラミング

関数型プログラミング（かんすうがたプログラミング、英: functional programming）とは、数学的な意味での関数を主に使うプログラミングのスタイルである。 functional programming は、関数プログラミング（かんすうプログラミング）などと訳されることもある。関数型プログラミング言語（英:

Rust (プログラミング言語)

Rust（ラスト）は、性能、メモリ安全性、安全な並行性を目指して設計されたマルチパラダイムのプログラミング言語である。C言語、C++に代わるシステムプログラミング言語を目指しており、構文的にはC++に似ているが、「ボローチェッカー」(borrow checker)

モナド (圏論)

数学の一分野である圏論において、モナド（英語: monad）とは、モノイドに似た構造を備えた自己関手である。モナドは半順序集合上の閉包作用素の一般化や、双圏（英語: bicategory）上のモノイドに似た構造として捉えられ、随伴関手（または随伴1-セル）と強い関係を持つ。双対概念はコモナド（英語版）である。

Ergo Proxy

デダルス・ユメノ（Daedalus Yumeno）声 - 小林沙苗ロムド市民厚生局主任の少年。リルの担当医でもある。イギー曰く「リルの王子様」。極秘研究施設での研究者としてモナド・プラクシーの観察を行っていた。プラクシーの謎を知ることは人間にとって大いなる力となるという考えから、彼もリル同様プラクシーの謎を解くことに興味をもっている。

進化的プログラミング

進化的プログラミング（しんかてきプログラミング、Evolutionary Programming）は、4つの主要な進化的アルゴリズム方法論の1つである。人工知能の生成を意図した学習過程として、シミュレーションされた進化を使った Lawrence J. Fogel が1960年に最初に使った用語である。Fogel