関数型プログラミング・定理の証明・コンピュータビジョン Amazon.co.jp: なっとく！関数型プログラミング : Michał Płachta

関数型リアクティブプログラミング (Programmer's SELECTION

Coq/SSReflect/MathCompによる定理証明:フリーソフトではじめる数学の

HOT ! 関数型プログラミング・定理の証明・コンピュータビジョン Amazon.co.jp: なっとく！関数型プログラミング : Michał Płachta

※TEMIABIAGOM.COM 限定モデル
YouTuberの皆様に商品の使い心地などをご紹介いただいております！
紹介動画はこちら

ネット販売
価格（税込）

8120円

コメリカード番号登録、コメリカードでお支払いで
コメリポイント： 2ポイント獲得

コメリポイントについて

購入個数

お店で受け取る
（送料無料）

受け取り店舗：

お店を選ぶ

近くの店舗を確認する

納期目安：

13時までに注文→17時までにご用意

17時までに注文→翌朝までにご用意

受け取り方法・送料について

カートに入れる

配送する

納期目安：

2026.07.16 8:8頃のお届け予定です。

決済方法が、クレジット、代金引換の場合に限ります。その他の決済方法の場合はこちらをご確認ください。

※土・日・祝日の注文の場合や在庫状況によって、商品のお届けにお時間をいただく場合がございます。

欲しいものリストに追加されました

関数型プログラミング・定理の証明・コンピュータビジョン Amazon.co.jp: なっとく！関数型プログラミング : Michał Płachtaの詳細情報

Amazon.co.jp: なっとく！関数型プログラミング : Michał Płachta。JavaScriptで学ぶ関数型プログラミング - O'Reilly Japan。Amazon.co.jp: なっとく！関数型プログラミング : Michał Płachta。JavaScriptで関数型プログラミングを体験しよう｜kenpapa。コンピュータ・サイエンス研究書シリーズ 17「関数型プログラミング」著者: HENDRICKSONコンピュータ・サイエンス研究書シリーズ 27「コンピュータによる定理の証明」著者: Chin-Liang Chang, Richard Char-Tung Leeコンピュータ・サイエンス研究書シリーズ 29「コンピュータ・ビジョン」著者: Dana H. Ballard / Christopher M. Brown日本コンピュータ協会ハードカバーカバーに色あせがありますよろしくお願い致します