モナド教
前提知識：モナド モナドを理解せずともモナド教を信ずることは出来ますが，理解していればより深く納得できるでしょう． 操作 :: 型 -> 型 は，"型"から"型"へ写す"操作"の存在を表します． モナドの文脈 m が必要とする2つの操作： return :: a -> m a で，値を保ちつつ文脈 m の中に入れ込むことが出来ます． (=<<) :: (a -> m b) -> (m a -> m b) で，「値を文脈に入った別の値へ写す操作」を「文脈に入った値を同じ文脈に入った別の値へ写す操作」に変換します． id :: a -> a は値をそのまま返す操作です． id を =<< で変換して得られる操作 join :: m (m a) -> m a で，二重に文脈に入った値を一重の文脈に入った値に戻すことが出来ます． 文脈の値から生の値を取り出す型 m a -> a を持つ操作は，一般
仏教の悟りを解説したDr.苫米地の動画が凄い
日常でも頻繁に使う「悟った」って言葉。深く理解した時や何となく洞察した時なんかに使います。語源は恐らく釈迦の悟りなんでしょうが、釈迦は何を悟ったの?悟りってなに?と、いろいろ悟りについて調べ始めると、調べれば調べるほど訳が分からなくなります。 仏教は宗教なんですが、他の宗教みたいに神を信じましょう!じゃなく、哲学なんですね。 釈迦の悟りについて、仏教については、マッドサイエンティストDr.苫米地の説明が凄く分かりやすい。エンジニアとか理系の人には特に腑に落ちる説明で、数学的でアルゴリズミック。 『超天才Dr.苫米地のスピリチュアルのウラ』では、あのスピリチュアリストの江原さんが批判されてるので、見る人によっては不快かもしれないし「江原さんはいい話沢山してくれて役立つのにDr.苫米地は自慢っぽい!」って人格的なとっつきにくさ、あるかもしれないですが、天才なんでしょうね。慣れると笑えます。 超
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
