Foundation of Software: Winter Semester 2004
講義内容(シラバスより) 数理論理学的手法を用いたソフトウェア科学の基礎理論について講述する．特に、 プログラミング言語の形式化と意味論、形式化を用いてプログラムの性質 (型システムとプログラムの安全性など)に関する議論する． お知らせ 10/19までの分の配布資料を置きました (10/19) 休講予定が 1/18 から 1/11 に変更になりました (10/20) 10/26までの分の配布資料を置きました (10/27) 11/9までの分の配布資料を置きました (11/15) 11/16の配布資料を置きました (11/18) 中間レポート課題を出しました．締切は 11/30 です．(11/18) 12/7までの分の配布資料を置きました (12/8) 1/18までの分の配布資料を置きました (1/19) 試験問題に誤りがありましたので，設問5は20点中一律5点加えます． Subject R
Lambda tutorial
These web pages provide a practical introduction to lambda reduction, with a few pointers to more esoteric issues. I'm a linguist, and I have linguists in mind for my audience, so linguistic issues will be emphasized (e.g., a discussion of the interaction of lambda with other binding operators such as ∃ "exists" and ∀ "forall"). Browser issues: If your browser can handle JavaScript 1.2, and if you
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Asynchronous Programming, Monads and Continuations in C#, F# and Scala | Lambda the Ultimate
