• 人気のコメント(0)
  • 全てのコメント
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 リスト

mattn mattn λλλλλλλλλλλλλλλλλλλλλλλλλλλλ ← レミングス

2010/02/08 リスト

関連記事

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

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

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

  • 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
  • yasuharu5192015/07/05 yasuharu519
  • krrrr2015/07/04 krrrr
すべてのユーザーの
詳細を表示します

いま人気の記事

いま人気の記事 - 暮らし

新着記事 - 暮らし

同じサイトの新着

効果ある口コミBBB評判

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

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

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