close
1.

図書

図書
R. バード, P. ワドラー共著 ; 武市正人訳
出版情報: 東京 : 近代科学社, 1991.4  xiii, 317p ; 22cm
所蔵情報: loading…
2.

図書

図書
Richard Bird著 ; 山下伸夫訳
出版情報: 東京 : オーム社, 2012.10  xii, 433p ; 21cm
所蔵情報: loading…
目次情報: 続きを見る
基本概念
単純なデータ型
数値
リスト
リスト処理の例
効率
抽象データ型
無限リスト
モナド
構文解析
自動運算器
基本概念
単純なデータ型
数値
3.

図書

図書
Richard Bird著 ; 山下伸夫訳
出版情報: 東京 : オーム社, 2014.11  x, 267p ; 21cm
所蔵情報: loading…
目次情報: 続きを見る
最小自由数
上位者問題
鞍型探索の改良
選択問題
組和の整列
小町算
最小高さ木の構築
分解の貪欲アルゴリズム
セレブを探せ
重複の除去〔ほか〕
最小自由数
上位者問題
鞍型探索の改良
4.

図書

図書
Richard Bird著 ; 山下伸夫訳
出版情報: 東京 : ドワンゴ , 東京 : KADOKAWA (発売), 2017.2  333p ; 24cm
所蔵情報: loading…
目次情報: 続きを見る
第1章 : 関数プログラミングとは何か
第2章 : 式、型、値
第3章 : 数値
第4章 : リスト
第5章 : 単純な数独ソルバー
第6章 : 証明
第7章 : 効率
第8章 : プリティプリント
第9章 : 無限リスト
第10章 : 命令的関数プログラミング
第11章 : 構文解析
第12章 : 単純等式運算器
第1章 : 関数プログラミングとは何か
第2章 : 式、型、値
第3章 : 数値
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼