記事へのコメント34

    • 人気コメント
    • 新着コメント
    sadness_ojisan sadness_ojisan 簡約の対応が分かりやすい

    2020/06/14 リンク

    その他
    jsstudy jsstudy ラムダ計算の式を項(term)と言います. 項は変数, 抽象, 適用のいずれかです. 関数を作る構文を抽象(abstraction)と言います.  ラムダ計算の式を実行することを簡約(reduction)と言います.

    2019/08/03 リンク

    その他
    nminoru nminoru Schemeで勉強しますた。

    2018/12/18 リンク

    その他
    yorisilo yorisilo 計算

    2015/02/24 リンク

    その他
    muto_masa muto_masa ラムダラムダ

    2015/01/05 リンク

    その他
    tuka_koto tuka_koto  単純に、記号論と新しい定義のような感じで読めば、いい感じですね。 Wikipediaのほうは、α同値の説明が不足している感じだったので、助かります。

    2012/07/19 リンク

    その他
    Hash Hash 勉強する

    2012/02/28 リンク

    その他
    choplin choplin reading / "ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記"

    2012/02/19 リンク

    その他
    udzura udzura 数学ガ~ルの三巻を熟読すればラムダ計算が分かる気がしてきた

    2011/11/18 リンク

    その他
    taki0313 taki0313 あとで読む

    2011/11/07 リンク

    その他
    iaskell iaskell なるほどわからん

    2011/05/21 リンク

    その他
    rakk rakk "参考 5. プログラミング言語の意味論(PDF)"

    2010/10/12 リンク

    その他
    Sin_K Sin_K もう一回勉強しなおそう…orz

    2010/03/25 リンク

    その他
    sukepyon sukepyon うーん、簡約の最後の例がどうも分からないな。どういう順番で変形してるんだろう。勉強不足です。

    2010/02/13 リンク

    その他
    imo_jo_chu imo_jo_chu うむ。わからん。わからんが何回も読む。

    2010/02/11 リンク

    その他
    tanakaBox tanakaBox コンビネータいろいろ

    2010/02/10 リンク

    その他
    ytel ytel ラムダ計算について学ぶときに後で見直す

    2010/02/10 リンク

    その他
    nitteru nitteru 学生時代を思い出した…けど今でも解ってない

    2010/02/09 リンク

    その他
    rin51 rin51 λ...

    2010/02/09 リンク

    その他
    JULY JULY ラムダ計算で来たか。

    2010/02/09 リンク

    その他
    ringtaro ringtaro 同じようなものが「入門Common Lisp」にあった。ような?あとで確認しよう。

    2010/02/09 リンク

    その他
    sakura-1 sakura-1 λかわいいよλ

    2010/02/09 リンク

    その他
    uva uva なるほど、やっぱり全然理解できてないな俺

    2010/02/09 リンク

    その他
    aont aont 「ラムダ計算基礎文法最速マスター」ラムダ式とか物理系の自分にはさっぱりだ…

    2010/02/09 リンク

    その他
    osiire osiire これは素晴らしい。ラムダ計算はもっと知られるべき。

    2010/02/08 リンク

    その他
    coppieee coppieee ラムダぁあああああ!

    2010/02/08 リンク

    その他
    nakag0711 nakag0711 1.「左(右)結合」というのは同一の演算子が続くときにどちらから結合するかの話ではなかったか 2.λxyz.x z (y z)の(y z)の意味がわからず/追記了解多謝

    2010/02/08 リンク

    その他
    nitoyon nitoyon 大学で最初見たときは何がなんやらさっぱりだったが、関数型言語を少しかじったおかげで理解しやすい。が、途中からわけわからなくなった。

    2010/02/08 リンク

    その他
    yagiey yagiey やっと出た!

    2010/02/08 リンク

    その他
    hakobe932 hakobe932 らむだかわいい

    2010/02/08 リンク

    その他

    人気コメント算出アルゴリズムの一部にヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

    関連記事

    ラムダ計算基礎文法最速マスター - 貳佰伍拾陸夜日記

    ラムダ計算は, 多くのプログラミング言語, とくに関数型言語の原形になっています. ラムダ計算について...

    ブックマークしたユーザー

    • nakaoka32020/09/27 nakaoka3
    • sadness_ojisan2020/06/14 sadness_ojisan
    • s12202382020/02/18 s1220238
    • peketamin2020/02/18 peketamin
    • l-_-ll2019/08/29 l-_-ll
    • jsstudy2019/08/03 jsstudy
    • sh199107112019/06/27 sh19910711
    • nminoru2018/12/18 nminoru
    • vanbraam2018/03/04 vanbraam
    • clavier2017/06/23 clavier
    • supermomonga2017/06/22 supermomonga
    • hyaknihyak2016/11/05 hyaknihyak
    • mooonymann2016/09/14 mooonymann
    • ref30002016/07/04 ref3000
    • hkdnet2016/05/27 hkdnet
    • kuy2016/05/27 kuy
    • tkatou1224info2016/03/23 tkatou1224info
    • yuyhiraka2015/12/05 yuyhiraka
    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

    同じサイトの新着をもっと読む

    いま人気の記事

    いま人気の記事をもっと読む

    いま人気の記事 - 暮らし

    いま人気の記事 - 暮らしをもっと読む

    新着記事 - 暮らし

    新着記事 - 暮らしをもっと読む

    効果ある口コミBBB評判

    1 user http://4648-antenna.net/

    野沢雅子(81)「だああありゃりゃりゃりゃりゃりゃりゃあああああああ!!!!」:MAG速

    1 user http://magsoku.blomaga.jp/