記事へのコメント33

    • 注目コメント
    • 新着コメント
    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 リンク

    その他
    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 リンク

    その他
    mattn
    mattn λλλλλλλλλλλλλλλλλλλλλλλλλλλλ ← レミングス

    2010/02/08 リンク

    その他

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

    アプリのスクリーンショット
    いまの話題をアプリでチェック!
    • バナー広告なし
    • ミュート機能あり
    • ダークモード搭載
    アプリをダウンロード

    関連記事

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

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

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

    • techtech05212023/10/12 techtech0521
    • gomiryo2022/06/07 gomiryo
    • siriusjack2022/05/30 siriusjack
    • mkusaka2021/11/14 mkusaka
    • 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
    • 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
    すべてのユーザーの
    詳細を表示します

    同じサイトの新着

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

    いま人気の記事

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

    いま人気の記事 - 暮らし

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

    新着記事 - 暮らし

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

    同時期にブックマークされた記事