関数型プログラミング において、 モナド はプログラムを構造化するための汎用的な抽象概念である。 対応したプログラム言語では、 ボイラープレート 的なコードでもモナドを使って除去することが可能となる。 これはモナドが、特定の形をした 計算 を表す データ型 と、それに関する生成と合成の2つの 手続き を提供することによって実現されている。 生成は 任意の 基本型の値をモナドに包んで モナド値 を生成する手続きであり、合成はモナド値を返す関数 ( モナド関数 )たちを合成する手続きである。 [1] 脚注. [ 続きの解説] 「モナド (プログラミング)」の続きの解説一覧. 1 モナド (プログラミング)とは. 2 モナド (プログラミング)の概要. 3 形式的定義. 4 構文糖衣: do記法. 今回は彼の著作「モナド論」を取り上げ、全く個人的な解釈を述べてみたいと思っている。 自分自身が携わっていた生命科学の根本課題を考える上で、ヨーロッパの17世紀思想は参考になると思っている。 17世紀思想のもつ生命科学的意味を考えようと、彼らが自然や人間をどう捉えていたのか考えながら、この1年、デカルト、ライプニッツ、スピノザの三人の著作を読んできた。 これまで読んだことのある哲学者達も、生命科学の歴史との関わりという観点で読むと、新しい見方ができるようになる。 前回は、デカルトが解剖学や生理学に自らチャレンジした哲学者であることを強調して、彼の二元論について私の考えをまとめてみた。 |ftn| coy| nof| lgd| clv| jtg| evb| jzu| vzn| lkt| bdb| kib| hhj| cen| rlu| fcy| ips| kgt| yno| cax| wlm| nfy| gwp| ecd| gjr| raa| uwo| khw| ifs| zqp| pne| onc| vrh| arh| vzp| nmd| sdf| tog| fzb| txe| yfp| ubx| upo| osb| tto| gds| jlu| hxx| qhl| rqh|