浅井 健一

プログラミングの基礎 ((Computer Science Library))

A.V. エイホ

R. セシィ

J.D. ウルマン

M.S. ラム

Alfred V. Aho

Jeffery D. Ullman

Ravi Sethi

Monica S. Lam

原田 賢一

コンパイラ解説書として国際的に高い評価を得ている“ドラゴンブック”が、コンパイル技術に関する最新の研究成果と話題を盛り込み全面改訂。コンパイラ設計への徹底した入門的な解説からスタートし、ソフトウェアの設計と開発における諸問題へのコンパイル技術の応用へ至るまで、広範囲に及ぶ話題をカバー。本書の前半は学部レベルでのコンパイラの授業用に、後半はコード最適化に重点を置いて大学院レベルでの授業用に構成。

内容詳細

コンパイラ―原理・技法・ツール (Information & Computing)

寺田 文行

坂田 【ヒロシ】

基本演習微分積分 (基本演習ライブラリ (2))

J. ホップクロフト

J. ウルマン

R. モトワニ

John E. Hopcroft

Jeffrey D. Ullman

Rajeev Motwani

野崎 昭弘

町田 元

高橋 正子

山崎 秀記

オートマトン、言語および計算論の入門書。演習問題も掲載する。基礎的な部分の直観的な理解を確実にすることをめざして説明を詳しくした、84年刊の第2版。

内容（「MARC」データベースより）

野崎/昭弘
1959年東京大学理学部数学科卒業。1961年東京大学大学院修士課程修了。現在、大妻女子大学教授。理学博士 

高橋/正子
1962年お茶の水女子大学理学部数学科卒業。1972年ペンシルバニア大学大学院博士課程修了。現在、国際基督教大学教授。Ph.D.(ペンシルバニア大学) 

町田/元
1970年東京大学理学部数学科卒業。1974年東京大学大学院修士課程修了。現在、一橋大学教授。博士(数理科学) 

山崎/秀記
1972年東京大学教養学部基礎科学科卒業。1975年東京大学大学院修士課程修了。現在、一橋大学教授。理学博士(本データはこの書籍が刊行された当時に掲載されていたものです)

著者略歴 (「BOOK著者紹介情報」より)

オートマトン言語理論 計算論〈1〉 (Information & Computing)

久保 真人

「燃え尽き」の中の心理構造を分析・解説する

バーンアウトの心理学―燃え尽き症候群とは (セレクション社会心理学)

丸岡 章

丸岡/章
1965年東北大学工学部通信工学科卒業。1971年東北大学大学院博士課程修了。1985年東北大学教授。2006年石巻専修大学教授。東北大学名誉教授。工学博士(本データはこの書籍が刊行された当時に掲載されていたものです)

やさしい計算理論―有限オートマトンからチューリング機械まで (Information & Computing)

皆本 晃弥

講義での利用あるいは独学の読者向き入門書

C言語による数値計算入門―解法・アルゴリズム・プログラム (UNIX & Information Science)

A. V. エイホ

J. D. ウルマン

内容（「BOOK」データベースより）

エイホ,A.V.
コロンビア大学、計算機科学Lawrence Gussman講座教授。Society of Columbia Graduatesにおける2003年度Great Teacher Award,IEEEのJohn von Neumann Medalをはじめとする数々の賞を受ける。NAEのメンバであり、ACMおよびIEEE特別研究員 

ラム,M.S.
スタンフォード大学、計算機科学教授、Tensilicaの主席研究員であり、moka5設立の主席管理役員(CEO)。研究用コンパイラの作成で最も有名なプロジェクトの1つであるSUIFを統率し、企業で採用されている多数にのぼるコンパイル技法の開発に当たる 

セシィ,R.
Avayaの研究組織を設立し、Avaya研究所所長に就任。ベル研究所における主席副所長、Lucent Technologiesにおける通信ソフトウェアに関する最高技術責任者を歴任した。また、ペンシルバニア州立大学およびアリゾナ大学で教鞭をとり、プリンストン大学およびラトガーズ大学では講義を担当した。ACM特別研究員 

ウルマン,J.D.
Gradiance社の最高経営責任者であり、スタンフォード大学、計算機科学Stanford W.Ascherman講座名誉教授。専門は、データベース理論、データベース統合、データマイニング、および情報インフラを利用した教育にまで及ぶ。NAEのメンバー、ACM特別研究員。Karlstrom AwardおよびKnuth Prizeを受賞 

原田/賢一
1964年慶應義塾大学工学部管理工学科卒業。1966年慶應義塾大学大学院工学研究科修士課程修了。現在、慶應義塾大学名誉教授(工学博士)(本データはこの書籍が刊行された当時に掲載されていたものです)

コンパイラ―原理・技法・ツール〈1〉 (Information & Computing)

コンパイラ―原理・技法・ツール〈2〉 (Information & Computing)

玉井 浩

明解COMPーX&CAPーX (第1種・第2種情報処理技術者試験対策)

E.W.ダイクストラ

C. A. R. ホーア

O.-J. ダール

野下 浩平

構造化プログラミング (サイエンスライブラリ情報電算機 32)

浦 昭二

プログラミング原論―いかにしてプログラムをつくるか (サイエンスライブラリ―情報電算機)

五十嵐 淳

関数型言語MLの一種Objective Camlを題材としてプログラミング言語の意味論，型システム，プログラミング言語の基礎概念，これらの概念間の数学的な関連を学ぶ．
オンライン演習システムを用いて，「証明」を解答とする演習問題の正誤をWeb上で自動判定することもできる．

内容紹介

五十嵐/淳
1995年東京大学理学部情報科学科卒業。2000年東京大学大学院理学系研究科情報科学専攻博士課程修了博士(理学)。東京大学総合文化研究科助手。2002年京都大学大学院情報学研究科講師。2006年京都大学大学院情報学研究科助教授。現在、京都大学大学院情報学研究科准教授(本データはこの書籍が刊行された当時に掲載されていたものです)

プログラミング言語の基礎概念 ((ライブラリ情報学コア・テキスト))

柴山允瑠

重点解説ハミルトン力学系 2016年 12 月号 [雑誌]: 数理科学 別冊

出版社：サイエンス社の検索結果

プログラミングの基礎 ((Computer Science Library))

コンパイラ―原理・技法・ツール (Information & Computing)

基本演習微分積分 (基本演習ライブラリ (2))

オートマトン言語理論計算論〈1〉 (Information & Computing)

バーンアウトの心理学―燃え尽き症候群とは (セレクション社会心理学)

やさしい計算理論―有限オートマトンからチューリング機械まで (Information & Computing)

C言語による数値計算入門―解法・アルゴリズム・プログラム (UNIX & Information Science)

コンパイラ―原理・技法・ツール〈1〉 (Information & Computing)

コンパイラ―原理・技法・ツール〈2〉 (Information & Computing)

明解COMPーX&CAPーX (第1種・第2種情報処理技術者試験対策)

構造化プログラミング (サイエンスライブラリ情報電算機 32)

プログラミング原論―いかにしてプログラムをつくるか (サイエンスライブラリ―情報電算機)

プログラミング言語の基礎概念 ((ライブラリ情報学コア・テキスト))

重点解説ハミルトン力学系 2016年 12 月号 [雑誌]: 数理科学別冊

出版社：サイエンス社の検索結果

プログラミングの基礎 ((Computer Science Library))

コンパイラ―原理・技法・ツール (Information & Computing)

基本演習微分積分 (基本演習ライブラリ (2))

オートマトン言語理論 計算論〈1〉 (Information & Computing)

バーンアウトの心理学―燃え尽き症候群とは (セレクション社会心理学)

やさしい計算理論―有限オートマトンからチューリング機械まで (Information & Computing)

C言語による数値計算入門―解法・アルゴリズム・プログラム (UNIX & Information Science)

コンパイラ―原理・技法・ツール〈1〉 (Information & Computing)

コンパイラ―原理・技法・ツール〈2〉 (Information & Computing)

明解COMPーX&CAPーX (第1種・第2種情報処理技術者試験対策)

構造化プログラミング (サイエンスライブラリ情報電算機 32)

プログラミング原論―いかにしてプログラムをつくるか (サイエンスライブラリ―情報電算機)

プログラミング言語の基礎概念 ((ライブラリ情報学コア・テキスト))

重点解説ハミルトン力学系 2016年 12 月号 [雑誌]: 数理科学 別冊

オートマトン言語理論計算論〈1〉 (Information & Computing)

重点解説ハミルトン力学系 2016年 12 月号 [雑誌]: 数理科学別冊