ようこそ！
マイページ
サイトトップ   eフレンズトップ
本 > コンピュータ > プログラミング > その他
出版社名：サイエンス社
出版年月：2011年7月
ISBN：978-4-7819-1285-1
１７６Ｐ　２１ｃｍ
プログラミング言語の基礎概念/ライブラリ情報学コア・テキスト　２４
五十嵐淳／著
 
組合員価格 税込 1,934円
(通常価格 税込 2,035円)
割引率 5%
在庫あり
生協宅配にてお届け
※ゴールデンウィーク前後は商品のお届けが通常より遅れる場合がございます。
内容紹介・もくじなど
もくじ情報：第１部　導出システム入門（自然数の加算・乗算・比較；メタ定理と帰納法による証明）；第２部　ＭＬの操作的意味論（整数・真偽値式の評価；定義、変数束縛と環境；関数と再帰；静的有効範囲と名前無し表現；リストとパターンマッチング）；第３部　ＭＬの型システム（単純型システム；多相的型システム；型推論）
もくじ情報：第１部　導出システム入門（自然数の加算・乗算・比較；メタ定理と帰納法による証明）；第２部　ＭＬの操作的意味論（整数・真偽値式の評価；定義、変数束縛と環境；関数と再帰；静的有効範囲と名前無し表現；リストとパターンマッチング）；第３部　ＭＬの型システム（単純型システム；多相的型システム；型推論）
著者プロフィール
五十嵐　淳(イガラシ　アツシ)
１９９５年東京大学理学部情報科学科卒業。２０００年東京大学大学院理学系研究科情報科学専攻博士課程修了博士（理学）。東京大学総合文化研究科助手。２００２年京都大学大学院情報学研究科講師。２００６年京都大学大学院情報学研究科助教授。現在、京都大学大学院情報学研究科准教授（本データはこの書籍が刊行された当時に掲載されていたものです）
五十嵐　淳(イガラシ　アツシ)
１９９５年東京大学理学部情報科学科卒業。２０００年東京大学大学院理学系研究科情報科学専攻博士課程修了博士（理学）。東京大学総合文化研究科助手。２００２年京都大学大学院情報学研究科講師。２００６年京都大学大学院情報学研究科助教授。現在、京都大学大学院情報学研究科准教授（本データはこの書籍が刊行された当時に掲載されていたものです）

同じ著者名で検索した本

アナトミー　２/もう一度確認したいインプラント臨床のための解剖
Ｌｏｕｉｅ　Ａｌ‐Ｆａｒａｊｅ／著
Ｘ－ガイドを用いたダイナミック３Ｄナビゲーションサージェリー/オーラル・インプラント・リハビリテーション・シリーズ　Ｖｏｌ．４インプラント埋入編
鈴木仙一／監著　五十嵐一／監著　松成淳一／監著　脇田雅文／監著　森本太一朗／著　安倍稔隆／著　長尾龍典／著　中島航輝／著　今井遊／著　毛利国安／著
アイスマン　キミ・ライコネンの足跡
ヘイキ・クルタ／著　五十嵐淳／訳
ゼロボーンロスコンセプト
ＴＯＭＡＳ　ＬＩＮＫＥＶＩ　ＩＵＳ／著　Ａｌｇｉｒｄａｓ　Ｐｕｉ　ｙｓ／共同研究者　Ｒｏｌａｎｄａｓ　Ａｎｄｒｉｊａｕｓｋａｓ／共同研究者　鈴木仙一／監訳　中居伸行／監訳　松成淳一／監訳　脇田雅文／翻訳統括　森本太一朗／翻訳統括　五十嵐一／翻訳統括　落合久彦／翻訳統括　新井聖範／翻訳統括
知られざるキミ・ライコネン
カリ・ホタカイネン／著　五十嵐淳／訳監修　和泉由妃／訳　川合遥香／訳
五十嵐淳／状態の構築
五十嵐淳／著
 
 
このサイトの利用に関しては、ご利用生協の宅配事業に関する約款等ならびにeフレンズ利用規約に基づきます。
このサイトについて
ご利用ガイド
利用規約
特定取引法に基づく表示
個人情報の取り扱いについて
eフレンズトップ
お問い合わせ
©COOP KINKI all rights reserved.