ようこそ！
マイページ
サイトトップ   eフレンズトップ
本 > コンピュータ > プログラミング > その他
出版社名：共立出版
出版年月：2019年8月
ISBN：978-4-320-12450-9
２７２Ｐ　２１ｃｍ
プログラミング言語の基礎理論　新装版
大堀淳／著
 
組合員価格 税込 4,807円
(通常価格 税込 5,060円)
割引率 5%
在庫あり
生協宅配にてお届け
※お盆前後は商品のお届けが通常より遅れる場合がございます。
内容紹介・もくじなど
もくじ情報：第１章　プログラミング言語のモデル；第２章　型付きラムダ計算；第３章　型付きラムダ計算の拡張；第４章　型推論システム；第５章　多相型言語のモデル；第６章　レコード計算系の理論
もくじ情報：第１章　プログラミング言語のモデル；第２章　型付きラムダ計算；第３章　型付きラムダ計算の拡張；第４章　型推論システム；第５章　多相型言語のモデル；第６章　レコード計算系の理論
著者プロフィール
大堀　淳(オオホリ　アツシ)
１９５７年生まれ。１９８１年東京大学文学部哲学科卒業。１９８９年ペンシルバニア大学大学院計算機・情報科学科博士課程修了。１９８１年沖電気工業株式会社勤務。１９９３年京都大学数理解析研究所助教授。２０００年北陸先端科学技術大学院大学教授。２００５年東北大学電気通信研究所教授（本データはこの書籍が刊行された当時に掲載されていたものです）
大堀　淳(オオホリ　アツシ)
１９５７年生まれ。１９８１年東京大学文学部哲学科卒業。１９８９年ペンシルバニア大学大学院計算機・情報科学科博士課程修了。１９８１年沖電気工業株式会社勤務。１９９３年京都大学数理解析研究所助教授。２０００年北陸先端科学技術大学院大学教授。２００５年東北大学電気通信研究所教授（本データはこの書籍が刊行された当時に掲載されていたものです）

同じ著者名で検索した本

プログラミング言語Ｓｔａｎｄａｒｄ　ＭＬ入門
大堀淳／著
コンパイラ　原理と構造
大堀淳／著
ＳＭＬ＃で始める実践ＭＬプログラミング
大堀淳／著　上野雄大／著
計算機システム概論　基礎から学ぶコンピュータの原理とＯＳの構造/ライブラリ情報学コア・テキスト　５
大堀淳／著
 
 
このサイトの利用に関しては、ご利用生協の宅配事業に関する約款等ならびにeフレンズ利用規約に基づきます。
このサイトについて
ご利用ガイド
利用規約
特定取引法に基づく表示
個人情報の取り扱いについて
eフレンズトップ
お問い合わせ
©COOP KINKI all rights reserved.