商品の詳細
1982年 書き込みはありません.\r\r「数理情報学入門」\r中島玲二\r朝倉書店 数理科学ライブラリー\rA5判 170ページ\r\r1 序論\r2 関数型プログラム言語としてのλ論理\r3 データ領域と計算理論\r4 再帰データ領域① D∞モデル\r5 再帰データ領域② D∞モデル\r6 プログラム言語の表示的意味論\r付録 データ領域の加算基底性と連続性\r\rプログラム意味論 形式的意味論 表示的意味論 モデル理論 計算可能性 ラムダ計算 ソフトウェア科学 \r\r\r#中島玲二 #本 #コンピュータ/コンピュータ
カテゴリー: | 本・音楽・ゲーム>>>本>>>コンピュータ/IT |
---|---|
商品の状態: | やや傷や汚れあり |
配送料の負担: | 送料込み(出品者負担) |
配送の方法: | 佐川急便/日本郵便 |
発送元の地域: | 未定 |
発送までの日数: | 2~3日で発送 |
商品の説明
![数理情報学入門 : スコット・プログラム理論(中島玲二 著) / 古本 数理情報学入門 : スコット・プログラム理論(中島玲二 著) / 古本](https://www.kosho.or.jp/upload/save_image/12050620/20220706124810787223_5879c6140ecb5ec8454a7de3bb3105e4.jpg)
数理情報学入門 : スコット・プログラム理論(中島玲二 著) / 古本
![数理情報学入門 スコット・プログラム理論 (数理科学ライブラリー 3) 数理情報学入門 スコット・プログラム理論 (数理科学ライブラリー 3)](https://img.honto.jp/item/1/0/240/27030177_1.jpg)
数理情報学入門 スコット・プログラム理論 (数理科学ライブラリー 3)
最新のクチコミ
これは子供の寝かしつけに効きそうです!おすすめです。
- tomato8949
- 33歳
- アトピー
- クチコミ投稿 1件
購入品
書店で偶然見つけた「時の迷路」。その場で息子が夢中になってしまい、とりあえず1冊購入。迷路はもちろん、隠し絵やちょっとしたアイディアが満載で、大喜び。それならと楽天ブックスでシリーズまとめ買い。大人も一緒になってにらめっこの毎日です。子供のみならず、大人の脳も刺激してくれる1冊だと思います。
- avocat1962
- 21歳
- アトピー
- クチコミ投稿 1件
購入品
子供に見せるのに安心して見せることができるかわいい本です。
- ひろ60002218
- 29歳
- アトピー
- クチコミ投稿 1件
購入品
1年前の誕生日にプレゼントして、もうすぐ3歳になる姪っ子が最近全部を覚えて言えるようになりました。若干絵柄に差がありますが、色づかいといい子供には良いカードだと思います。
- ウルトラマン4868
- 37歳
- アトピー
- クチコミ投稿 1件
購入品
書店で偶然見つけた「時の迷路」。その場で息子が夢中になってしまい、とりあえず1冊購入。迷路はもちろん、隠し絵やちょっとしたアイディアが満載で、大喜び。それならと楽天ブックスでシリーズまとめ買い。大人も一緒になってにらめっこの毎日です。子供のみならず、大人の脳も刺激してくれる1冊だと思います。
- 購入者5446
- 25歳
- アトピー
- クチコミ投稿 1件
購入品
評判通りの絵本で、購入して良かったと思います。 今まで購入した中で、妻の評価が最も高い絵本です。
- マルちゃん2177
- 33歳
- アトピー
- クチコミ投稿 1件
購入品
言語療法の教材にもなっているこの本。 おすすめですよ。
- 野良ねこやん
- 41歳
- アトピー
- クチコミ投稿 1件
購入品
コンピュータ/IT
-
-
3
CLEAN RC-21L 防湿庫 デジタル
その他
¥5,525