記号と再帰 新装版(キゴウトサイキ)
記号論の形式・プログラムの必然
プログラミング- 著者:
- 田中 久美子(タナカ クミコ)
- 出版社:
- 東京大学出版会
- 出版日:
- 2017年04月25日頃
- ISBN:
- 9784130802567
- 在庫:
- 在庫あり
なぜ注目されているか
書籍紹介
「 x:=x+1 」のような命令をはじめ,プログラミング言語を仔細にみてゆくと,人間の自然言語とは異なる再帰性,記号系の自己言及が見られる.人工言語の記号論を企て,人間の記号系の本質を再考し,サントリー学芸賞,大川賞に輝いた名著を改訂してペーパーバックに.
1 章 人工言語と記号論
2 章 情報記号
第 1 部 記号のモデル
3 章 バビロンの混乱
4 章 記号が一体化する時
5 章 「である」と「する」
第 2 部 記号、対象の種類
6 章 文 x:=x+1
7 章 三種類の項
8 章 ある■・その■
第 3 部 記号のシステム
9 章 構造的・構成的
10 章 記号と時間
11 章 系の再帰と進化
12 章 結 語
Semiotics of Programming
Kumiko Tanaka-Ishii
技書の森解説
「 x:=x+1 」という一行は、数学の等式として読めば成り立ちませんが、プログラムの命令としては明確な意味を持ちます。この見慣れた記号列を手がかりに、プログラミング言語という人工言語を記号論の視点から解剖するのが本書です。著者は田中久美子氏。サントリー学芸賞と大川賞に輝いた著作を改訂し、東京大学出版会から 2017 年 4 月にペーパーバックの新装版として刊行されました。英題は Semiotics of Programming です。
構成は「記号のモデル」「記号、対象の種類」「記号のシステム」の 3 部立てで、変数や識別子といったプログラムの構成要素を記号として捉え直し、「である」と「する」の対比や三種類の項、記号と時間、系の再帰と進化といった主題を掘り下げます。自然言語には見られない形の再帰性や自己言及がプログラミング言語のどこに現れるのかという問いが全体を貫いており、工学書と人文書のどちらの棚にも収まらない学際的な内容です。
コードの書き方がうまくなる本ではありません。求められる前提は特定言語の熟達ではなく、抽象的な議論を腰を据えて追う読解体力です。言語設計や型の意味論に興味が湧いてきたエンジニア、情報学と記号論の接点を探す学生や研究者が、プログラムを書くという行為そのものを別の角度から捉え直すきっかけになる著作です。
この本に興味がある方におすすめ
この本に関連
関連記事
改訂版 / 新版 / 改訂新版の違いとは - 技術書は買い直すべきかの判断基準
改訂版 / 第 2 版 / 新版 / 改訂新版の違いを整理。改訂版は「変更したこと」、第 2 版は「何回目か」、新版は「作り直したこと」を表し、改訂新版はその組み合わせです。何が変わったかを 5 分で確認する手順と、買い直し判断の基準をまとめました。
JavaScript / TypeScript 本ガイド - 入門から型で守る実務コードまで
JavaScript と TypeScript を 1 本の学習ルートとして捉えた技術書の選び方。JavaScript の入門書、言語の背骨を通す体系書、TypeScript の型システムを設計の武器にする本、React/Next.js の実践書まで 2026 年 8 月時点の定番で案内します。
プログラミング言語の入門書ガイド - 最初の言語を本で学ぶ
プログラミング言語の入門書の選び方と、動画教材との使い分け、言語選びの判断基準を紹介します。