サイトのTOP→理系インデックス 極限・連続性 1 極限 ( はさみうちの原理等 ) 2 極限の計算 3 関数の連続性・微分可能性 4 ダランベールの判定法 5 コーシーの判定法 6 イプシロン-デルタ論法 ( ε-δ論法 ) 7 イプシロン-エヌ論法 ( ε-N 論法 ) Topic 極限のパラドックス Topic 三角形のパラドックス Topic アキレスと亀のパラドックス Theorem 極限・実数の連続性 (定義・定理一覧) 1変数に関する微分 8 逆三角関数 9 双曲線関数 10 逆双曲線関数 11 高階導関数 12 ロピタルの定理 13 テイラー展開・マクローリン展開 14 ニュートン法 15 ライプニッツの公式 1変数に関する積分 16 漸化式による不定積分の解法 17 ガンマ関数 18 ベータ関数 19 回転体の体積・側面積 20 サイクロイド ( 面積・
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。(2020年5月) ラムダ計算(ラムダけいさん、英語: lambda calculus)は、計算模型のひとつで、計算の実行を関数への引数の評価(英語: evaluation)と適用(英語: application)としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を(否定的に)解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く