- 711 名前：デフォルトの名無しさん mailto:sage [2011/01/23(日) 17:50:11 ]
- >>708
お前頭おかしいだろｗ
www.amazon.co.jp/dp/4320122178
＞是非とも日本の多くの『学生や研究者』に,著者のアルゴリズムデザインの世界観を紹介したい,むしろ,しなければならない,という気持ちで,日本語訳の許可を著者に依頼して快諾されたのである。
guppy.eng.kagawa-u.ac.jp/2006/AdvProg/
＞参考書に挙げた、中島玲二・長谷川真人・田辺誠 著 「コンピュータサイエンス入門 ? 論理とプログラム意味論」のホームページです。 ここからラムダ計算やD∞に関する補足資料が入手できます。
