Book List書籍一覧
近代科学社の取り扱ってる書籍一覧です
検索もご利用いただけます
-
ソフトウェア工学の基礎 XVIII (18)
日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会（FOSE)が主催する第18回ワークショップの論文集である。 -
ソフトウェア工学の基礎 XIII (13)
本書は日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会（ＦＯＳＥ：Ｆｏｕｎｄａｔｉｏｎ ｏｆ Ｓｏｆｔｗａｒｅ Ｅｎｇｉｎｅｅｒｉｎｇ）が主催する第１３回ワークショップの論文集である。 -
ソフトウェア工学の基礎 XII (12)
本書は日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会（ＦＯＳＥ：Ｆｏｕｎ‐ｄａｔｉｏｎ ｏｆ Ｓｏｆｔｗａｒｅ Ｅｎｇｉｎｅｅｒｉｎｇ）が主催する第１２回ワークショップの論文集である。 -
ソフトウェア工学の基礎 XI (11)
「ソフトウェア工学の基礎研究会」のワークショップの論文集である。 -
ソフトウェア工学の基礎 X (10)
本書は日本ソフトウェア科学会「ソフトウェア工学の基礎」研究会（略称ＦＯＳＥ：Ｆｏｕｎｄａｔｉｏｎ ｏｆ Ｓｏｆｔｗａｒｅ Ｅｎｇｉｎｅｅｒｉｎｇ）が主催する第１０回ワークショップの論文集である。 -
ソフトウェア工学の基礎 IX (9)
本書は、２００２年１１月に愛媛県松山市で開催される、日本ソフトウェア科学会「ソフトウェア工学の基礎研究会」（略称ＦＯＳＥ）第９回ワークショップの論文集である。 -
型理論
方理論の概説。基本的で代表的な5つの型理論、λ→、MLの型推論、ITTn、F、CCについて、具体的な理解のための形式体系の完全な定義を紹介し、推論の例を説明。また、様々な型理論の関係を整理して理解するためλ-cubeと、Girardの逆説を紹介する。