検索結果書誌詳細：蔵書検索システム

ログインの状態：ログインしていません。ログインすると利用状況の確認等のサービスを利用できます。		カート（予約候補） 0 登録されていません。

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数在庫数予約数などを確認できます。

所蔵数	1	在庫数	1	予約数	0

資料の状態

各蔵書資料に関する詳細情報です。

No.	資料番号	資料種別	請求記号	配架場所	状態	貸出
1	0009933623	一般図書	007.1/ﾀﾅ10/	書庫	貸出可	○

この資料に対する操作

カートに入れるを押すとこの資料を予約する候補として予約カートに追加します。

いますぐ予約するを押すと認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと電子図書館に移動しこの資料の電子書籍を読むことができます。

登録するリストログインメモ

書誌情報サマリ

タイトル	記号と再帰
人名	田中久美子／著
人名ヨミ	タナカクミコ
出版者・発行者	東京大学出版会
出版年月	2010.6

書誌詳細

この資料の書誌詳細情報です。

書誌種別	図書
タイトル	記号と再帰
サブタイトル	記号論の形式・プログラムの必然
タイトルヨミ	キゴウトサイキ
サブタイトルヨミ	キゴウロンノケイシキプログラムノヒツゼン
人名	田中久美子／著
人名ヨミ	タナカクミコ
出版者・発行者	東京大学出版会
出版者・発行者等ヨミ	トウキョウダイガクシュッパンカイ
出版地・発行地	東京
出版・発行年月	2010.6
ページ数または枚数・巻数	6,259p
大きさ	22cm
価格	￥３６００
ISBN	978-4-13-080251-2
ISBN	4-13-080251-2
注記	文献:p243〜252
受賞情報	サントリー学芸賞思想・歴史部門
受賞の回	第32回
受賞情報	大川出版賞
受賞の回	第19回
分類記号	007.1
件名	記号
内容紹介	自然言語と異なり整備された規則をもつプログラミング言語。その記号論的探求は、一方で自然言語に通底する知見をもたらす。再帰性の概念を軸に、人間の記号系の本質を再考する。
著者紹介	東京大学大学院情報工学専攻博士課程修了。同大学大学院情報理工学系研究科創造情報学専攻准教授。
言語区分	jpn
タイトルコード	1009811312971
目次	第1章人工言語と記号論
	1.1 本書の目的／1.2 記号論の形式化／1.3 人工言語の必然性／1.4 関連研究／1.5 本書の構成
	第2章情報記号
	2.1 導入／2.2 二つのプログラム例／2.3 識別子／2.4 識別子の解釈層／2.5 汎記号主義
	第Ⅰ部記号のモデル
	第3章バビロンの混乱
	3.1 二元論と三元論／3.2 二つの仮説／3.3 二つのパラダイムと記号モデル／3.4 二元論・三元論の対応／3.5 まとめ
	第4章記号が一体化する時
	4.1 記号の基本的性質／4.2 ラムダ計算／4.3 ラムダ項と記号のモデル／4.4 記号の再帰的定義／4.5 記号のモデルと再帰／4.6 ソシュールの差異／4.7 まとめ
	第5章「である」と「する」
	5.1 「である」と「する」／5.2 クラスと抽象データ型／5.3 「である」に基づく構成／5.4 「する」に基づく構成／5.5 「である」「する」と記号モデル／5.6 「である」と「する」の融合／5.7 まとめ
	第Ⅱ部記号の種類
	第6章文x:=x+1
	6.1 三つの異なる記号／6.2 指示の曖昧性／6.3 イェルムスレウの記号の分類／6.4 パースの記号の分類／6.5 二つの記号分類の対応／6.6 まとめ
	第7章三種類の項
	7.1 三次性／7.2 定義文と式／7.3 カリー化／7.4 チャーチの変換／7.5 プログラム中の三次性／7.6 まとめ
	第8章ある■・その■
	8.1 是態／8.2 語りの自動化-ある実例／8.3 是態の種類／8.4 是態の復旧／8.5 その■の種類／8.6 まとめ
	第Ⅲ部記号のシステム
	第9章構造的・構成的
	9.1 暴走する機械／9.2 記号と再帰／9.3 自然言語:構造的な記号系／9.4 情報記号系:構成的な記号系／9.5 構造的・構成的／9.6 まとめ
	第10章記号と時間
	10.1 インタラクション／10.2 状態遷移機械／10.3 参照透明性／10.4 副作用／10.5 記号の時間性／10.6 副作用と記号系／10.7 まとめ
	第11章系の再帰と進化
	11.1 自然言語系の再帰性／11.2 記号系の再帰性／11.3 言語系の再帰性の種類／11.4 情報記号系の再帰性／11.5 情報記号系の系の再帰性／11.6 まとめ
	第12章結語