プログラミング言語の基礎概念ライブラリ情報学コア・テキスト ★ 五十嵐淳 ◆ 意味論型システム概念間の数学的な関連導出システム入門拍卖-51maijp【ymi.cn】

当前位置:首页 > 书 > 计算机 > 语言 > 其他 > プログラミング言語の基礎概念ライブラリ情報学コア・テキスト ★ 五十嵐淳 ◆ 意味論型システム概念間の数学的な関連導出システム入門

收藏该商品

プログラミング言語の基礎概念ライブラリ情報学コア・テキスト ★ 五十嵐淳 ◆ 意味論型システム概念間の数学的な関連導出システム入門

收藏该商品

プログラミング言語の基礎概念ライブラリ情報学コア・テキスト ★ 五十嵐淳 ◆ 意味論型システム概念間の数学的な関連導出システム入門: 商品编号：n1077548016 【浏览原始网页】

当前价：RMB 301

加价单位：250日元

日元：5980.00円

出价：0次

账户升级，享受无限制出价！《会员制说明》

商品件数：1

商品成色：其他

日本邮费：买家承担

可否退货：不可以

开始时间：2025-10-13 01:40:31

结束时间：2025-10-19 22:40:31

自动延长：有可能

提早结束：有可能

商品详情参考翻译下标记录新手必读

划词翻译上线，鼠标选择文字自动翻译,翻译内容仅供参考，如有疑问请咨询小觅翻译。

＋＋＋ご覧頂ありがとうございます＋＋＋

≪ご入札する場合は以下の内容を【必ず】お読み下さい≫

♪

商品説明

●タイトル：プログラミング言語の基礎概念ライブラリ情報学コア・テキスト　

●著者：五十嵐淳

●ページ数：176ページ

●出版社：サイエンス社

中古の為、外観にキズ、ヤケ、剥げ、ヨゴレ、使用感があります。

天・小口・地にヨゴレ、ヤケがあります。

本文には使用感がありますが、書き込み等はなくご利用頂く上では問題ございません。

キズや汚れなど気になさる方、完璧を求める方、神経質な方、心配性な方はご遠慮下さい。

中古品ですので、ご理解出来る方のみ入札をお願いします。品質をこだわる方は入札をしないで下さい。

付属品・付録等については入札前に質問欄からお問い合わせください。通常、付属品・付録等がある場合には記載しております。記載がない場合付属しておりません。

商品によっては、非売品・限定品・製造終了・絶版・入手困難・品薄・貴重品・人気商品・希少アイテムの為定価よりも高額となっているものがありますので、予め御了承下さい。

【定価をこだわる方、出品価格が高いと感じる方は入札をしないで下さい。】

商品１つ１つに対して定価よりも高額であるか否かは記載しておりませんので、出品提示価格にご理解・ご納得頂けた方のみご入札をお願い致します。

内容
関数型言語MLの一種Objective Camlを題材としてプログラミング言語の意味論，型システム，プログラミング言語の基礎概念，これらの概念間の数学的な関連を学ぶ．オンライン演習システムを用いて，「証明」を解答とする演習問題の正誤をWeb上で自動判定することもできる。目次第1部導出システム入門 1 自然数の加算・乗算・比較 2 メタ定理と帰納法による証明第2部 MLの操作的意味論 3 整数・真偽値式の評価 4 定義,変数束縛と環境 5 関数と再帰 6 静的有効範囲と名前無し表現 7 リストとパターンマッチング第3部 MLの型システム 8 単純型システム 9 多相的型システム 10 型推論

★

支払方法

『支払い方法』欄をご確認下さい。

切手によるお支払いには対応しておりません。

◆

発送方法

『配送方法』欄をご確認下さい。

日本郵便又はヤマト運輸にて発送致します(※)。

※商品内容・発送タイミング等の理由により、運送会社・発送方法のご指定はできませんので予めご了承ください。

発送規定サイズ内にする為、簡易包装となりますので、梱包状態をこだわる方は入札しないで下さい。

クリスタルパック又はクッション梱包にてお届けします。

■

コメント

【埼玉県公安委員会許可　古物商許可証取得済み】です。

落札後はノークレーム・ノーリターンでお願い致します。

【至急商品が必要な方、早急な発送をご希望の方はご入札をご遠慮下さい。】

【ご入金確認後から商品到着迄１週間程度かかる】場合もございます。

仕事の影響により取引手続き・連絡・入金確認・商品発送等の対応が遅くなりますので、ご理解頂ける方のみご入札をお願い致します。

至急発送して欲しいという方は、【ご入札前に】質問欄より発送期限をご連絡ください。

対応可否についてご回答致します。

入札後のキャンセルは対応できません。

トラブル多発により、【 ≪評価がご新規の方≫、≪悪い評価がある方≫、≪キャンセル履歴がある方≫のご入札はご遠慮ください。】

入札を取り消す場合もございます。

トラブルになるケースが多い為、オークション終了直前に入札しないで下さい。

オークション終了後、5日以内にお手続き(又はご連絡)がない場合、ご購入の意志が無いと判断させて頂きまして、ご落札の取り消しをさせて頂きます。

評価が不要の方は【最初】のご連絡時にお知らせください。

他にも出品しています。よろしければご覧ください。

トラブル多発の為、以下に該当する方はご入札をご遠慮下さい。

・ヤフオク利用方法がわからない方
・悪い評価がある方、評価がご新規の方
・完璧を求める方、神経質な方、心配性な方
・急ぎの対応を要求する方、至急商品が必要な方
・オークション終了直前に入札する方
・定価をこだわる方（出品商品の中には生産終了・入手困難等により定価よりも高い商品がございます）

template byカラフル*オークションPlus