検索するカテゴリーを選択します。丁寧な検品、迅速な発送を心がけます。◆簡易クリーニング済。◆基本ゆうメール配送。無く、良好な状態です。Amazonコンディションガイドに従い「良い」には書き込み・シミ・ヨレがある場合もございます。コード等は付属いたしません。※万が一検品漏れがございましたらご一報ください。オーディオエディションのサンプルをお聴きいただいています。フォローおすすめの著者+++他のおすすめ商品を見る何か問題が発生しました。後で再度リクエストしてください。単行本"もう一度試してください。最大5%ポイント還元中。最大5%ポイント還元中。まとめて買うと最大15%ポイント還元。Amazon.co.jp。まとめて買うと最大15%ポイント還元。Amazon.co.jp。¥8,0853点ともカートに入れるこれらの商品のうちのいくつかが他の商品より先に発送されます。¥2,035残り6点(入荷予定あり)この商品は、Amazon.co.jpが販売および発送します。¥2,530残り13点(入荷予定あり)この商品は、Amazon.co.jpが販売および発送します。¥3,520残り12点(入荷予定あり)この商品は、Amazon.co.jpが販売および発送します。1このショッピング機能は、Enterキーを押すと商品を読み込み続けます。このカルーセルから移動するには、見出しのショートカットキーを使用して、次の見出しまたは前の見出しに移動してください。端末は必要ありません。本をお読みいただけます。AppleAndroidAndroid無料アプリを入手するには、Eメールアドレスを入力してください。無料読書アプリを表示Kindle化リクエストこのタイトルのKindle化をご希望の場合、こちらをクリックしてください。お持ちでない場合、こちらから購入いただけます。無料アプリのダウンロードはこちら。1このショッピング機能は、Enterキーを押すと商品を読み込み続けます。このカルーセルから移動するには、見出しのショートカットキーを使用して、次の見出しまたは前の見出しに移動してください。トップレビューレビューのフィルタリング中に問題が発生しました。後でもう一度試してください。単行本Amazonで購入プログラムの動作を記述することでプログラムに意味を与えるという操作的意味論のアプローチを用いて、「プログラムの動作を数学的に厳密に記述するための意味論」と、「プログラムの誤りをプログラムを実行する前に検知するための枠組みである型システム」と意味論との関係について書かれた本です。具体的なプログラミング言語としてはML(の方言であるOCaml)の中核部分が取り上げられています。OCamlはオープンソースの関数型言語です。MLの意味論・型システムを定義するための枠組みである導出システムを徐々に拡大しながら段階的に定義し、導出システムについてのいろいろな定理(メタ定理)が証明されていきます。プログラムの評価結果を証明するためのオンライン演習システムが用意されており、演習をおこなうことで導出システムについて理解を深めることができます。演習問題は全部で150問用意されています。(^_^)定理の証明を完全に理解するには数学的な基礎が要求されますが、オンラインの演習問題を解きながら導出システムについて理解するだけでもこの本を読む価値は十分にあります。学部生の輪講用に、操作的意味論と型理論のさわりのために購入しました。日本語の類書が少ないので助かります。TAPLは厚すぎる...という我々にも安心です。無名関数の操作的意味論が書き換えでなくクロージャなので、簡単な入門書を求めていた我々としてはやや煩雑に感じました。逆に、関数型言語(や、インナークラスなどこクロージャ機構を持つオブジェクト指向言語)の実装までしっかり理解したい人にとっては一層良い本であります。単行本OCamlという関数型プログラミング言語を用いて、関数型言語がどのようにプログラムを実行(計算)しているかを学びます。この本に書かれていることを学ぶことで、関数型言語および関連知識(継続や参照など)の理解が深まります。この本は説明にOCamlという言語を用いているので、OCamlの基礎(基本型,リスト、パターンマッチ)を知っているとスムーズに読めると思います。数学的な表記が所々あるので、そういったものに慣れているとより良いと思います。この本の最大の特徴は、web上で演習問題が解けるということです。̅igarashi/CoPL/です。演習問題は本を読まなくてもなんとか解けるので、興味を持たれた方は解いてみると良いと思います。特定の言語で書かれたプログラムが、パーサによって構文解析された後、どのように解釈実行されるかを実践によって学ぶことができるすばらしい教科書。オンラインの学習システムがよくできており、本を読んだだけで「わかったつもり」になっていた自分がどれほどわかっていなかったか、ちゃんと理解しながら学習を進められる。「修行」っぽい演習問題もあるが、正解をもらった時の達成感もうれしい。C言語では、ポインタを使ってメモリ上のデータを参照、操作するイメージを掴むことが必須だったが、関数型言語を勉強している人には、クロージャや再帰関数の実行イメージをしっかりと自分の中に根付かせることが必要になってくると思われる。この本は、そのあたりの「ぼんやりした理解」を、しっかりとした自信にまで進めてくれる力があると思う。単行本Amazonで購入やや難易度が高目かなぁ。基礎というには子供でも掴みやすいものを期待してしまう。基礎の基礎とでも言うべきかもしれませんが。一定の知識と理解が無いと参考にならないかも。違反を報告すべてのカスタマーレビューを見る(5)カスタマーレビューを書くAmazonプライム会員ならお急ぎ便、日時指定便が使い放題さらに、映画もTV番組も見放題。200万曲が聴き放題。クラウドに好きなだけ写真も保存可能。プライムを無料で試す現時点ではこのメニューの読み込みに問題があります。プライムの詳細はこちら。プライム商品の返品・交換コンテンツと端末の管理Amazonアシスタントヘルプ日本語ショッピングのための言語を選択します。日本ショッピングのための国/地域を選択します。Audible(オーディブル)本は、聴こう。Now好きな時間が選べる。affiliates。