|
プログラミング言語StandardML入門
|
|
大堀 淳
共立出版
ISBN: 4320120248
紀伊國屋,
Amazon,
WebCat
|
カテゴリ |
|
評 価 |
|
コメント |
cs :
|
フォーマルメソッドの入り口。
|
@tk :
|
これが関数型言語との出会いでした。TeXで論文調なところがまたいい。
|
|
他の本棚 |
p-his, cs, it-main, rero, @tk, kunishi
|
最終更新 : 2005-04-02 18:41:53 +0900
|
カテゴリ |
|
評 価 |
|
コメント |
|
|
|
 大崎公園 披露山公園 源氏山公園 しおさい公園 城ヶ島公園
 真鶴 逗子 熱海 下田 伊東
|