λに関するtaninswのブックマーク (3)
-
﹁JavaScriptによるテンプレート・モナド、すっげー簡単!﹂にて‥ 紙と鉛筆でラムダ計算を実行できることは必要だな、やっぱり。 なんて強調したので、ラムダ計算の入門、いってみよう。 [追記]練習問題集を追加しました。説明を読みながら、あるいは読んだ後で是非やってみてください。→﹁JavaScriptで学ぶ・プログラマのためのラムダ計算 問題集﹂[/追記] ※印刷のときはサイドバーが消えます。 内容‥ JavaScriptの関数リテラル ラムダ式ってなんだ ラムダ計算の体系と適用操作 ラムダ式の例をいくつか β変換 -- ラムダ計算のキモ! β変換を何度か実行してみる 中間まとめ、まだ続きがあるよ JavaScriptの関数リテラル 最初に、JavaScriptに関する知識を確認しておきましょう。なお、JavaScriptの対話的実行環境については﹁もっともお手軽な対話的JavaScr
-
﹁JavaScriptで学ぶ・プログラマのためのラムダ計算﹂は、1回では述べ切らなくて、一段落付いたところで区切りました。これはかえって良かったですね、ブックマークやトラックバックでフィードバックが得られたので。 そのフィードバックなどをかんがみて、﹁残り=次回の話題﹂として予告した内容とは食い違ってしまうのだけど、今回は、文章では伝わりにくい︵前回うまく伝わらなかったと思える︶ラムダ計算の大事なツボを、なんとか表現してみようと思います。 ﹇このエントリーの内容はだいぶ前にほぼ出来上がっていたのだけど、ココに書いてある事情で、“お絵描き”がなかなか出来なかったのです。﹈ ※印刷のときはサイドバーが消えます。 内容‥ 知っていて損はない 計算は身体的に理解しよう ラムダ項のツリー表示‥準備 ラムダ項のツリー表示‥描く! β変換に対応するツリーの描き換え もっとβ変換をやってみよう 計算現象を
-
1
キーボードショートカット一覧
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
設定を変更しましたx