アルゴリズム講義ノートの目次へラムダ計算は,コンピュータ・サイエンスの重要な1分野。「λ」を使って各種の関数を記述し,λどうしの計算方法を習得すれば・・・HaskellやF#などの関数型言語を習得するために役立つ。プログラミングにおいて,関数についての理解を深めることができる。複雑なアルゴリズムを簡易に記述して,挙動や性質を予測することができる。計算機科学の,より深い専門的な話題を理解するための足がかりを得られる。下記に,独学でλ計算を勉強するための,入門レベルの講義ノートやWebページを掲載する。読みやすい便利なもの・わかりやすいものから,応用的なものへと並べてある。質の高いものだけを精選し,わかりづらい資料は除外してある。Wikipediahttp://ja.wikipedia.org/wiki/%E3%83%A...関数の定義と実行を抽象化した計算体系。すべてのものは関数である:ITprohttp://itpro.nikkeibp.co.jp/article/C...λ計算(ラムダ計算)という計算モデルは,関数型言語のモデルとなっている基礎理論その計算モデルでは、「すべてのものを関数で表す」ことができる。第1回目資料http://www.kurims.kyoto-u.ac.jp/~cs/c...8ページ。第3回目資料http://www.kurims.kyoto-u.ac.jp/~cs/c...8ページ。http://logic.cs.tsukuba.ac.jp/~kam/le...筑波大の講義ノート,57ページ。型のない場合と型のある場合に分けてラムダ計算を解説。復習のための問題(入門レベル)ラムダ計算における重要キーワードを下記に列挙した。それぞれについて,何を意味するのか,わかりやすく説明しなさい。関連する記事:「オペレーティングシステム論」の講義資料・ノートPDF。理論http://language-and-engineering.hatenablog.jp/entry/20140519/InformationTheor...「コンピュータ・アーキテクチャ」の講義ノートPDF。(gオプションを付けると部分文字列の抽出が無効)月別アーカイブはてなブログをはじめよう!language_and_engineeringさんは、はてなブログを使っています。ブログを報告するスターをつけました引用をストックしましたストック一覧を見る閉じる引用するにはまずログインしてくださいログイン閉じる引用をストックできませんでした。再度お試しください閉じる限定公開記事のため引用できません。