関数プログラミング〈2〉JSSST'94(レクチャノートソフトウェア学〈10〉) [全集叢書]

販売休止中です

    • 関数プログラミング〈2〉JSSST'94(レクチャノートソフトウェア学〈10〉) [全集叢書]

    • ￥3,524106 ゴールドポイント（3％還元）
関数プログラミング〈2〉JSSST'94(レクチャノートソフトウェア学〈10〉) [全集叢書]
100000009001608629

関数プログラミング〈2〉JSSST'94(レクチャノートソフトウェア学〈10〉) [全集叢書]

価格：￥3,524（税込）
ゴールドポイント：106 ゴールドポイント（3％還元）（￥106相当）
日本全国配達料金無料
出版社：近代科学社
販売開始日： 1994/12/10
お取り扱い： のお取り扱い商品です。
ご確認事項：返品不可

  • 販売休止中です

お気に入りに登録する

お客様へのおすすめ【PR】

関数プログラミング〈2〉JSSST'94(レクチャノートソフトウェア学〈10〉) の 商品概要

  • 目次(「BOOK」データベースより）

    関数合成に基づく計算体系―定義と基本的性質
    Ｄｅｒｉｖｉｎｇ　Ｅｆｆｉｃｉｅｎｔ　Ｆｕｎｃｔｉｏｎａｌ　Ｐｒｏｇｒａｍｓ　ｂｙ　Ｃｏｎｓｔｒｕｃｔｉｎｇ　Ｍｅｄｉｏ‐ｔｙｐｅｓ
    グラフ構造上のストリクト性解析のリスト構造上のストリクト性解析への応用
    自由圏の構成と構成的論理における推論の並べ替えについて
    制約付き型理論の実現
    ファーストクラスな環境と多相型
    Ｍｏｎａｄｉｃ　ＳｔｙｌｅでのＭＬ風のｒｅｆオペレータに対する多重定義を用いた型付けについて
    総称関数のＰａｒａｍｅｔｒｉｃｉｔｙとＳｙｎｔａｃｔｉｃな性質の関係について
    Ａ“Ｆａｓｔ”Ｒｅｐｒｅｓｅｎｔａｔｉｏｎ　ｏｆ　ｔｈｅ　Ｌａｍｂｄａ　Ｃａｌｃｕｌｕｓ
    Ｋｌａｕｓ　Ｂｅｒｋｌｉｎｇ
    制約解消系を備えた関数・論理型言語の設計と実現〔ほか〕

関数プログラミング〈2〉JSSST'94(レクチャノートソフトウェア学〈10〉) の商品スペック

商品仕様
出版社名：近代科学社
著者名：武市 正人（編）
発行年月日：1994/12/10
ISBN-10：476490232X
ISBN-13：9784764902329
判型：B5
対象：専門
発行形態：全集叢書
内容：工学・工業総記
ページ数：247ページ
縦：26cm
他の近代科学社の書籍を探す

    近代科学社 関数プログラミング〈2〉JSSST'94(レクチャノートソフトウェア学〈10〉) [全集叢書] に関するレビューとＱ＆Ａ

    商品に関するご意見やご感想、購入者への質問をお待ちしています！