私は頭の回転がチョット可哀想なカンジです。コンビニで買い物するときに、お釣りを計算することができません。だって、足し算と引き算のコラボレーションなんて難しすぎ。それに、人の話しを聞いても、半分くらいしか理解していません。直感で返事をしています... 続きを読む
My Extension Modules: php_calias-0.1.0, php_cgthumbnail-071026, php_continuation-0.2.0, php_dcomplex-0.1.2, php_epeg-0.2.0, php_gdextra-0.2.0, php_iovm-0.5.0, php_jpegtransform-0.2.0, php_mecab-0.3.0, php_opendogs-0.6.1, php_qiq-0.6.0, php_qr... 続きを読む
できあがりますた。会場で配ろうかと思っていたけれど、原価の分のお金をもらうと物品販売なのでNG、ということを直前に指摘されて orzよく考えれば当然だけど、ノリだけでよく考えずに作ってしまったものはしょうがない。そんなわけで、個人的にゆるゆると売っ... 続きを読む
雑記/備忘 | 16:23 | 「JavaScriptで学ぶ・プログラマのためのラムダ計算」は、1回では述べ切らなくて、一段落付いたところで区切りました。これはかえって良かったですね、ブックマークやトラックバックでフィードバックが得られたので。そのフィードバックな... 続きを読む
ClosureさえあればLambda Calculusは実現できるので、当然Javascriptでも出来る。 にも関わらず、検索してもあまり実例がなかったので一つ作ってみた。 Source: // define var zero = function(f){ return function(x){ return x}}; var succ = function(n){ re... 続きを読む
仙台ロジック倶楽部 ラムダ計算ABC 数学セミナー92年8月号より A. ラムダ計算とは 今から60年程前、プリンストン大学の若手論理学者A.チャーチが、関数の新しい表記法を提案しました。ラムダ記法と呼ばれるその表記法では、例えば二乗を計算する関数... 続きを読む
ラムダ計算(lambda calculus)は、理論計算機科学や数理論理学における、関数の定義と実行を抽象化した計算体系である。ラムダ算法とも言う。 [編集] 概要 関数を文字ラムダ (λ) を使った式によって表記する。アロンゾ・チャーチとスティーヴン・コール・クリ... 続きを読む
雑記/備忘 | 12:38 | 「JavaScriptによるテンプレート・モナド、すっげー簡単!」にて:紙と鉛筆でラムダ計算を実行できることは必要だな、やっぱり。なんて強調したので、ラムダ計算の入門、いってみよう。[追記]練習問題集を追加しました。説明を読みながら、... 続きを読む