53ningen.com

@gomi_ningen's Website

ラムダ計算について調べた(前編)

<p>関数プログラミングとその背景にある数学的なお話を理解する上でラムダ計算の知識が必要そうなので,確認していきます. というかなんかよくよく調べていくと,「計算機科学の理論としては常識」とか書いてあったりするので,あせって基礎をさらいました. まずは型なしのラムダ計算まで. 間違ったところがあったらご指摘頂けると嬉しいです.</p> <h1>ラムダ計算とは何か?</h1> <p>Wikipediaによるとラムダ計算とは次のようなものとされています.</p> <p>ラムダ計算(lambda calculus)は、計算模型のひとつで、計算の実行を関数への引数の評価(evaluation)と適用(apply)としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。</code></p> <p>ラムダ計算では,関数をラムダ抽象を使って記述します. たとえば f(x)=2x+1 なる関数は f=λx.2x+1 というように書きます. こうすることにより,関数を返す関数などを定義することができるようになります. また名前をつけずに値のように関数を取り扱えるようになりました.</p>...Read More

Copyright © 53ningen.com