language_and_engineering https://blog.hatena.ne.jp/language_and_engineering/ 主に言語とシステム開発に関して https://language-and-engineering.hatenablog.jp/ 計算機科学 数学 関数型言語 プログラミング リンク集 講義ノート アルゴリズム 講義ノートの目次へ ラムダ計算は，コンピュータ・サイエンスの重要な１分野。 「λ」を使って各種の関数を記述し，λどうしの計算方法を習得すれば・・・ HaskellやF#などの関数型言語を習得するために役立つ。 プログラミングにおいて，関数についての理解を深めることができる。 複雑なアルゴリズムを簡易に記述して，挙動や性質を予測することができる。 計算機科学の，より深い専門的な話題を理解するための足がかりを得られる。 などのメリットがある。 下記に，独学でλ計算を勉強するための，入門レベルの講義ノートやWebページを掲載する。 読みやすい便利なもの・わかりやすいものから，応用的なものへと並べてあ… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Flanguage-and-engineering.hatenablog.jp%2Fentry%2F20130313%2FLambdaCalculusBasicNoteLinks" title="「ラムダ計算」を独学で学習するための，講義ノートやPDFのリンク集　（復習用の問題付き） - 主に言語とシステム開発に関して" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> http://ws-fe.amazon-adsystem.com/widgets/q?_encoding=UTF8&ASIN=4774169269&Format=_SL250_&ID=AsinImage&MarketPlace=JP&ServiceVersion=20070822&WS=1&tag=fugayahogeo-22 Hatena Blog https://hatena.blog 2013-03-13 00:00:00 rich https://language-and-engineering.hatenablog.jp/entry/20130313/LambdaCalculusBasicNoteLinks 1.0 100%