科学技術と共に歩む

プログラムがコンピュータで動く仕組み - ハードウェア記述言語・CPUアーキテクチャ・アセンブラ・コンパイラ超入門 -

• 中野 浩嗣 広島大教授 著
• 伊藤 靖朗 広島大准教授 著

本書の目的は，プログラムがどのような仕組みでコンピュータで動作するのかという疑問に簡潔に答えることである．そのためにVerilogを用いて小さなCPUを設計し，それをターゲットとするアセンブラとコンパイラを作成する。

電子通信情報系コアテキストシリーズ C-1

実践コンパイラ構成法

• 滝本 宗宏 東京理科大教授 著

本書は，実践的にコンパイラを学ぶことができる教科書である。コンパイラを記述するプログラミング言語にはOCamlという関数型言語を採用した。また，目的コードには多くのPCで動作確認ができるようにx64コードを採用した。

オートマトン・形式言語理論

• 広瀬 貞樹 富山大名誉教授・顧問 著

大学，短大，高専等におけるオートマトン・形式言語理論に関する講義のテキストである。本書が扱うのは理論であるが，証明は一切でてこない。多くの例とわかりやすい解説で直観的に考え方を理解できるよう心がけた。

応用オートマトン工学

• 西野 哲朗 電通大教授 著
• 若月 光夫 電通大助教 著
• 後藤 隆彰 電通大特任助教 著

有限個の状態間遷移を表現するモデルである有限オートマトンについて，その理論に基づく，コンパイラ，機械学習，機械翻訳，情報検索，画像圧縮，暗号などへの応用を「応用オートマトン工学」と呼び，その理論と応用の一部を解説。

コンピュータサイエンス教科書シリーズ 4

プログラミング言語論

• 大山口 通夫 元三重大教授・名大招聘教員 著
• 五味 弘 独立行政法人情報処理推進機構 著

本書はプログラミング言語に関する最も基本的事項であるプログラミングパラダイムと構文および意味論について概説し，特にＣ言語とJavaについてのプログラミング言語の意味論に焦点を当て，その有効性に重点をおいて解説した。

コンピュータサイエンス教科書シリーズ 8

コンパイラ

• 中田 育男 筑波大名誉教授 監修
• 中井 央 筑波大准教授 著

本書はコンパイラの構成方法について，Yacc/Lexによる実際に動作可能なプログラムを用いて解説。字句解析，構文解析，意味解析，実行時環境，コード生成を説明の後，簡単なコンパイラの作成例について具体的に述べている。

コンピュータ数学シリーズ 20

超並列処理コンパイラ

• 村岡 洋一 早大教授 著

超並列処理計算機のために，プログラムをコンパイルするためのアルゴリズムと，その理論的背景について，基本から応用まで詳しく説明した。

コンピュータ数学シリーズ 10

コンパイラの理論

• 大山口 通夫 三重大教授 著

コンピュータプログラム変換に必要なコンパイラを普遍的かつ一般的な事項に焦点をおいて記述。また，目的コードをつくる際の説明については，Algol系の言語を想定して解説した。

パソコンプラクティカルシリーズ 1

簡易言語の選び方／使い方

• 矢矧 晴一郎 矢矧コンサルタント（株）代表取締役 著

パソコン用の簡易言語は，数多く市販されている。この簡易言語を総合的な広い視野で比較し，その特色を解説した。またそれぞれの簡易言語をとりあげて，入力，出力，処理内容などの使い方も説明している。

情報処理入門講座 6

プログラム作成技術

• 金田 弘 日本電気（株） 著

初心者が良いプログラムを作るため必要な技術を平易に記述。特にプログラムを実際に電算機にかけて実行する場合の手順を詳述し，実用上問題のないプログラムの作り方を示している。

プログラム理論

• 伊藤 貴康 東北大教授 著

計算機のプログラムに関する理論的方法を記述した最初の成書。情報工学，ソフトウェア技術に携わる人達に新しい理論と手法を提供。〔内容〕プログラムの表現法・正当性・意味論・自動作成・代数的手法ほか