プログラム意味論 (情報数学講座)

プログラム意味論 (情報数学講座)
お得情報
  • Amazonマーケットプレイス
    ¥ 2,210 より
  • 購入2
  • クリック57
  • 言及数17ブログ
  • ブックマーク5users
「プログラム意味論 (情報数学講座)」をAmazonで購入する
amazon.co.jp 詳細ページへ

「プログラム意味論 (情報数学講座)」を含むはてなダイアリーの人気ブログ この商品についてブログを書く

  • 先日のエントリで手続きを記述するという側面と、式を記述するという2つの側面があるということを書きました。プログラムの理論とはなにか そして、手続きの性質として代表的な、アルゴリズムについての勉強のしかたについてまとめてみました。アルゴリズムの勉強のしかた そこで、今回は、式を記述するという側面の勉強のしかたと、あとこの分野は自分でもまだ全然勉強してなかったので... 続きを読む

    ラムダ計算の勉強のしかた、プログラム意味論 - きしだのはてなnowokay2011/09/26140 users
  • Java8で関数が値として扱えるようになりました。このことが、「関数が渡せると便利だよね」という観点ではなく、プログラミング言語としての能力をどのようにあげるか考えてみます。 圏論からのテクニックが使いやすくなる集合論はどちらかというと値にたいする理論でしたが、圏論は関数呼び出しに関する理論です。プログラムには、関数呼び出しを連結させて値を変換していくという側面が... 続きを読む

    関数を扱えることはどのようにプログラミング言語の能力をあげるか - きし...nowokay2013/08/0792 users
  • このところScalaで言語を実装してみたりしてたんですが、何をしてたかというと、「プログラミング言語の基礎概念」という本に書いてあることを実装してみてたのです。 この「プログラミング言語の基礎概念」、博多駅のところの紀伊國屋に行ったときにたまたま目に入った本で、薄いし1800円だし、こいつはいいぜと思って買ってみたら、非常によい本でした。どのくらい気に入ったかというと... 続きを読む

    「プログラミング言語の基礎概念」という本が非常にお気に入り - きしだの...nowokay2011/12/2141 users

「プログラム意味論 (情報数学講座)」が好きな人は、こんな商品も購入しています

他の商品を探す