Amazon.co.jp: 計算論: 計算可能性とラムダ計算 (コンピュータサイエンス大学講座 24): 高橋正子: 本
仙台ロジック倶楽部 ラムダ計算ＡＢＣ 数学セミナー９２年８月号より Ａ. ラムダ計算とは 今から６０年程前、プリンストン大学の若手論理学者Ａ．チャーチが、関数の新しい表記法を提案しました。ラムダ記法と呼ばれるその表記法では、例えば二乗を計算する関数は λx.x^2 と表します。従来の"f(x)"という書き方は、それが関数を表すのか、関数のxにおける値を表すのかが曖昧なので、ラムダ記法では、関数fのxにおける値をfxで示し、xにおける値がf(x)となる関数fをλx.f(x)と表すのです。 "f(x)"という表記法の欠陥は、高校の数学までではほとんど表面化しませんが、大学に入ってから定義域や値域が関数の集合になるような高階関数（オペレータとか作用素とも呼びます）を扱いだすとすぐわかります。作用素などというとひどく特殊なもののようですが、関数f(x)にその導関数f'(x)を対応させる微分演算子Ｄ
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2020年5月） ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論
任意の4つの数を与えてパズルを解く「思考」スクリプト (2002-06-02) ラムダ関数――目覚めつつ夢みるもの (2002-06-02) Pig PGP: なんちゃって暗号 (2002-06-01) Pig PGP は、JavaScriptで書いたおもちゃの公開鍵暗号系で、ブラウザ上で動作します。本物のPGPではありませんが、PGP 2.x と同様に、RSA暗号と共有セッション鍵の組み合わせを利用し、それなりに本格的な作りになってます。公開鍵暗号については説明だけきいてもいまいちピンとこないこともあるかと思いますが、論より証拠で、実際にいじってみると、納得がいくかも 100-bit RSA by JavaScript (2002-05-31) 任意の4つの数を与えてパズルを解く「思考」スクリプト 2002年 6月 2日 記事ID d20602_1 「4つの4で遊ぼうよ」から発展して、任
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
