関数型プログラミング・定理の証明・コンピュータビジョンなぜ関数型プログラミングで「型」と「証明」が語られるのか

HOT ! 関数型プログラミング・定理の証明・コンピュータビジョンなぜ関数型プログラミングで「型」と「証明」が語られるのか

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

ネット販売
価格（税込）

8120円

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

コメリポイントについて

購入個数

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

受け取り店舗：

お店を選ぶ

近くの店舗を確認する

納期目安：

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

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

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

カートに入れる

配送する

納期目安：

2026.07.20 2:38頃のお届け予定です。

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

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

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

関数型プログラミング・定理の証明・コンピュータビジョンなぜ関数型プログラミングで「型」と「証明」が語られるのかの詳細情報

なぜ関数型プログラミングで「型」と「証明」が語られるのか。関数型プログラミングの基礎｜リックテレコム。Modegramming Style: 関数型言語の技術マップ。なっとく！関数型プログラミング【PDF版】｜ SEshop｜翔泳社の本。コンピュータ・サイエンス研究書シリーズ 17「関数型プログラミング」著者: HENDRICKSONコンピュータ・サイエンス研究書シリーズ 27「コンピュータによる定理の証明」著者: Chin-Liang Chang, Richard Char-Tung Leeコンピュータ・サイエンス研究書シリーズ 29「コンピュータ・ビジョン」著者: Dana H. Ballard / Christopher M. Brown日本コンピュータ協会ハードカバーカバーに色あせがありますよろしくお願い致します。