関数型プログラミングをゼロからわかりやすく実用的に幅広い視点。Accenture による AWS Transform for mainframe 検証結果と活用。JCV、認証アクセス制御サービス「JCV SPARK」を正式に提供開始。CollaboGate JapanとNR-Power Lab、分散型IDでVPPシステムの革新。コンピュータ・サイエンス研究書シリーズ 17「関数型プログラミング」著者: HENDRICKSONコンピュータ・サイエンス研究書シリーズ 27「コンピュータによる定理の証明」著者: Chin-Liang Chang, Richard Char-Tung Leeコンピュータ・サイエンス研究書シリーズ 29「コンピュータ・ビジョン」著者: Dana H. Ballard / Christopher M. Brown日本コンピュータ協会ハードカバーカバーに色あせがありますよろしくお願い致します