ラムダ計算 ‐ 通信用語の基礎知識
関数を、文字「λ」を使って表記することからこの名がある。 計算機科学や数学など、様々な理論で応用された結果、関数型のプログラミング言語であるLispの基盤となった。 通常の関数は、「f(x)=x+1」のように書かれる。これは数式である。 ラムダ計算の式つまりラムダ式では、この関数fを「λx.x+1」のように書く。これを関数Aとする。 ここで関数に7を代入したf(7)を考えると、ラムダ式では「(λx.x+1)7」と書かれる。 また、引数が関数で、それに7を適用する関数を考えると、ラムダ式では「(λf.f7)」となる。これを関数Bとする。 関数Bに関数Aを適用すれば、「(λf.f7)(λx.x+1)」という式になる。この時、 (λf.f7)(λx.x+1) (λx.x+1)7 7+1 以上の三つの式は同値である。
ラムダ計算をちょっと勉強してみたので、忘れないうちに書いておく - Naoki_Rinの学習 - 補助記憶領域
なんとなく最近少し理論的な方面もやってみようかなと思い立って、今回はラムダ計算の基礎を勉強してみることにしました。 関数型言語の基盤らしいです。たしかにちょっと雰囲気はあります。 参考にしたページとしては Wikipedia ラムダ計算 - http://ja.wikipedia.org/wiki/%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97 Wikipedia 型付きラムダ計算 - http://ja.wikipedia.org/wiki/%E5%9E%8B%E4%BB%98%E3%81%8D%E3%83%A9%E3%83%A0%E3%83%80%E8%A8%88%E7%AE%97 カリー・ハワード同型対応入門 - http://ocw.kyoto-u.ac.jp/ocw-archives-jp/002-006/pdf/curryhoward
第16回 すべてのものは関数である
すべてのものは…である SmalltalkやRubyなど，いわゆる生粋のオブジェクト指向言語では，「すべてのものはオブジェクトである」（everything is an object）と言われることがある。JavaやC++などと異なり，整数の「123」や浮動小数の「4.56」といった，基本データ型の値もオブジェクトとして扱うことができるからだ（ちなみに，現在のJavaには自動ボックス化という機能があり，基本データ型からオブジェクト型への変換が自動で行われる場合も多い。しかし，両者の差異が全くなくなったわけではない。例えば123.toString()のようなメソッド呼び出しはできない）。 では，オブジェクト指向言語のまねをして，関数型言語において「すべてのものは関数である」と言うことはできるだろうか？ もちろん，オブジェクト指向と違って，関数型プログラミングはあくまで「数学的な（＝副作用のな
ラムダ計算入門
18. 嬉しいです • f(x, y) = x • … x と y の両方を渡す必要がある • f(x)(y) = x • … x だけ渡す、という操作が可能 • この操作を部分適用と言う 19. ついでに • λx. (λy. x) は λx. λy. x と表せる • どこがどの関数か自明 • λx. λy. x は λxy. x と表せる • ただの省略記法
ラムダ計算 - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2020年5月） ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論
【悲報】日本は今後スタグフレーションに陥ります : 哲学ニュースnwk
2014年10月06日08:00 【悲報】日本は今後スタグフレーションに陥ります Tweet 1: 以下、＼(^o^)／でVIPがお送りします 2014/10/05(日) 21:25:50.78 ID:21FSS0J70.net 立ったら書く 転載元：http://viper.2ch.sc/test/read.cgi/news4vip/1412511950/ 言うほどヒトラーって世界最大の悪か？ http://blog.livedoor.jp/nwknews/archives/4754863.html 2: 以下、＼(^o^)／でVIPがお送りします 2014/10/05(日) 21:26:50.80 ID:21FSS0J70.net 誰も経済の事とか興味無さそうだけど頑張って書く ていうか厳密に言うと既にスタグフレーション入りしてる 3: 以下、＼(^o^)／でVIPがお送りします 20
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
数学記号の表 - Wikipedia