-
型システム入門 : プログラミング言語と型の理論 电子书下载
型システムを理解するうえでの定番書を翻訳! 型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“ ...
06-27 [ None ]
-
統辞構造論 付『言語理論の論理構造』序論 电子书下载
生成文法による言語研究の「革命」開始を告げる記念碑的著作。句構造や変換構造などの抽象的な言語学的レベル、言語の一般形式に関する理論、文法の単純性の概念などが、人間言語に対する深く透徹した洞察を与えることを立証する。併録の論考および訳者解説では本書の知的背景を ...
06-27 [ None ]