https://b.hatena.ne.jp/yaotti/lambda/ lambdaに関するyaottiのはてなブックマーク (2) https://www.kb.ecei.tohoku.ac.jp/~sumii/class/keisanki-software-kougaku-2005/lambda.pdf yaotti 2011-04-27T14:49:23Z lambda 47 <blockquote cite="https://www.kb.ecei.tohoku.ac.jp/~sumii/class/keisanki-software-kougaku-2005/lambda.pdf" title="ラムダ計算入門"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fwww.kb.ecei.tohoku.ac.jp%2F~sumii%2Fclass%2Fkeisanki-software-kougaku-2005%2Flambda.pdf" alt="" /> <a href="https://www.kb.ecei.tohoku.ac.jp/~sumii/class/keisanki-software-kougaku-2005/lambda.pdf">ラムダ計算入門</a></cite><p><a href="https://www.kb.ecei.tohoku.ac.jp/~sumii/class/keisanki-software-kougaku-2005/lambda.pdf"><img src="" alt="ラムダ計算入門" title="ラムダ計算入門" class="entry-image" /></a></p><p></p><p><a href="https://b.hatena.ne.jp/entry/s/www.kb.ecei.tohoku.ac.jp/~sumii/class/keisanki-software-kougaku-2005/lambda.pdf"><img src="https://b.hatena.ne.jp/entry/image/https://www.kb.ecei.tohoku.ac.jp/~sumii/class/keisanki-software-kougaku-2005/lambda.pdf" alt="はてなブックマーク - ラムダ計算入門" title="はてなブックマーク - ラムダ計算入門" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/www.kb.ecei.tohoku.ac.jp/~sumii/class/keisanki-software-kougaku-2005/lambda.pdf"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote> https://en.wikipedia.org/wiki/De_Bruijn_index yaotti 2011-04-27T14:30:05Z logic lambda 4 <blockquote cite="https://en.wikipedia.org/wiki/De_Bruijn_index" title="De Bruijn index - Wikipedia"><cite><img src="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fen.wikipedia.org%2Fwiki%2FDe_Bruijn_index" alt="" /> <a href="https://en.wikipedia.org/wiki/De_Bruijn_index">De Bruijn index - Wikipedia</a></cite><p><a href="https://en.wikipedia.org/wiki/De_Bruijn_index"><img src="https://cdn-ak-scissors.b.st-hatena.com/image/square/ae7ef2a8a9d7a92ecb595558ff847f7ebe3840a9/backend=imagemagick;height=90;version=1;width=120/https%3A%2F%2Fupload.wikimedia.org%2Fwikipedia%2Fcommons%2Fthumb%2Fa%2Fa8%2FDe_Bruijn_index_illustration_1.svg%2F208px-De_Bruijn_index_illustration_1.svg.png" alt="De Bruijn index - Wikipedia" title="De Bruijn index - Wikipedia" class="entry-image" /></a></p><p>This article is about a method for avoiding naming bound variables in lambda calculus. For an alternative syntax for lambda expressions, see De Bruijn notation. In mathematical logic, the de Bruijn index is a tool invented by the Dutch mathematician Nicolaas Govert de Bruijn for representing term...</p><p><a href="https://b.hatena.ne.jp/entry/s/en.wikipedia.org/wiki/De_Bruijn_index"><img src="https://b.hatena.ne.jp/entry/image/https://en.wikipedia.org/wiki/De_Bruijn_index" alt="はてなブックマーク - De Bruijn index - Wikipedia" title="はてなブックマーク - De Bruijn index - Wikipedia" border="0" style="border: none" /></a> <a href="https://b.hatena.ne.jp/entry/s/en.wikipedia.org/wiki/De_Bruijn_index"><img src="https://b.st-hatena.com/images/append.gif" border="0" alt="はてなブックマークに追加" title="はてなブックマークに追加" /></a></p></blockquote>