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

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

蔵書情報

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

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

書誌情報サマリ

書名	記号と再帰
著者名	田中久美子／著
著者名ヨミ	タナカクミコ
出版者	東京大学出版会
出版年月	2010.6

この資料に対する操作

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

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

この資料に対する操作

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

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

資料情報

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

No.	所蔵館	配架場所	請求記号	資料番号	資料種別	状態	個人貸出	在庫
1	西部図書館	一般書庫	0071/268/	1102221927	一般	在庫	可	○

書誌詳細

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

タイトルコード	1000002095921
書誌種別	図書
書名	記号と再帰
書名ヨミ	キゴウトサイキ
	記号論の形式・プログラムの必然
言語区分	日本語
著者名	田中久美子／著
著者名ヨミ	タナカクミコ
出版地	東京
出版者	東京大学出版会
出版年月	2010.6
本体価格	￥３６００
ISBN	978-4-13-080251-2
ISBN	4-13-080251-2
数量	6,259p
大きさ	22cm
分類記号	007.1
件名	記号
注記	文献:p243～252
内容紹介	自然言語と異なり整備された規則をもつプログラミング言語。その記号論的探求は、一方で自然言語に通底する知見をもたらす。再帰性の概念を軸に、人間の記号系の本質を再考する。
著者紹介	東京大学大学院情報工学専攻博士課程修了。同大学大学院情報理工学系研究科創造情報学専攻准教授。

内容細目

No.	内容タイトル	内容著者１	内容著者２	内容著者３	内容著者４
1	第1章人工言語と記号論
2	1.1 本書の目的
3	1.2 記号論の形式化
4	1.3 人工言語の必然性
5	1.4 関連研究
6	1.5 本書の構成
7	第2章情報記号
8	2.1 導入
9	2.2 二つのプログラム例
10	2.3 識別子
11	2.4 識別子の解釈層
12	2.5 汎記号主義
13	第Ⅰ部記号のモデル
14	第3章バビロンの混乱
15	3.1 二元論と三元論
16	3.2 二つの仮説
17	3.3 二つのパラダイムと記号モデル
18	3.4 二元論・三元論の対応
19	3.5 まとめ
20	第4章記号が一体化する時
21	4.1 記号の基本的性質
22	4.2 ラムダ計算
23	4.3 ラムダ項と記号のモデル
24	4.4 記号の再帰的定義
25	4.5 記号のモデルと再帰
26	4.6 ソシュールの差異
27	4.7 まとめ
28	第5章「である」と「する」
29	5.1 「である」と「する」
30	5.2 クラスと抽象データ型
31	5.3 「である」に基づく構成
32	5.4 「する」に基づく構成
33	5.5 「である」「する」と記号モデル
34	5.6 「である」と「する」の融合
35	5.7 まとめ
36	第Ⅱ部記号の種類
37	第6章文x:=x+1
38	6.1 三つの異なる記号
39	6.2 指示の曖昧性
40	6.3 イェルムスレウの記号の分類
41	6.4 パースの記号の分類
42	6.5 二つの記号分類の対応
43	6.6 まとめ
44	第7章三種類の項
45	7.1 三次性
46	7.2 定義文と式
47	7.3 カリー化
48	7.4 チャーチの変換
49	7.5 プログラム中の三次性
50	7.6 まとめ
51	第8章ある■・その■
52	8.1 是態
53	8.2 語りの自動化-ある実例
54	8.3 是態の種類
55	8.4 是態の復旧
56	8.5 その■の種類
57	8.6 まとめ
58	第Ⅲ部記号のシステム
59	第9章構造的・構成的
60	9.1 暴走する機械
61	9.2 記号と再帰
62	9.3 自然言語:構造的な記号系
63	9.4 情報記号系:構成的な記号系
64	9.5 構造的・構成的
65	9.6 まとめ
66	第10章記号と時間
67	10.1 インタラクション
68	10.2 状態遷移機械
69	10.3 参照透明性
70	10.4 副作用
71	10.5 記号の時間性
72	10.6 副作用と記号系
73	10.7 まとめ
74	第11章系の再帰と進化
75	11.1 自然言語系の再帰性
76	11.2 記号系の再帰性
77	11.3 言語系の再帰性の種類
78	11.4 情報記号系の再帰性
79	11.5 情報記号系の系の再帰性
80	11.6 まとめ
81	第12章結語