プログラミング言語の基礎概念を学んでる - はこべにっき ♨
プログラミング言語の基礎概念 (ライブラリ情報学コア・テキスト) 作者: 五十嵐淳出版社/メーカー: サイエンス社発売日: 2011/07メディア: 単行本購入: 6人 クリック: 60回この商品を含むブログ (12件) を見る この本を読んで学んでる。まだ半分くらいで関数の定義とかについて勉強してる。 プログラミング言語の動作を数学的に厳密に記述する方法を順番に教えてくれるという内容で、記述には導出システムが用いられてる。基本的な算術式からはじまって、変数の定義や関数の定義、パターンマッチや型システムなど、様々な言語の機能を推論規則によって定義する方法を教えてくれる。与えられた規則が意味的に意図したものを表しているかの証明だけでなく、証明のやり方もくわしく説明されていて丁寧でたすかる。 おもしろいのはこの本のためのオンラインの演習システムというのがあって、本の中で与えられた導出システムに
overlasting.net
overlasting.net 2019 Copyright. All Rights Reserved. The Sponsored Listings displayed above are served automatically by a third party. Neither the service provider nor the domain owner maintain any relationship with the advertisers. In case of trademark issues please contact the domain owner directly (contact information can be found in whois). Privacy Policy
『グレート･ワークスの世界』／神奈川県立図書館・電子図書館
＊この電子版は、2003年3月に刊行した図書を元にデジタル化したものです。 この電子版を見るためには、Adobe Readerが必要です。 ダウンロードサイトはこちらです。
チラ速 - FC2 BLOG パスワード認証
管理人からのメッセージ チラ速は閉鎖しました。 更新停止したまま放置しておくのも悪いので、 完全に閉鎖しました。 みなさんありがとうございました。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
