型システム入門 : プログラミング言語と型の理論

このページのQRコード

種類:

図書

責任表示:

Benjamin C. Pierce著 ; 遠藤侑介 [ほか] 共訳

出版情報:

東京 : オーム社, 2013.3

著者名:

Pierce, Benjamin C. <DA05815373>

ISBN:

9784274069116 [4274069117]

注記:

その他の訳者: 酒井政裕, 今井敬吾, 黒木裕介, 今井宜洋, 才川隆文, 今井健男
監訳: 住井英二郎
参考文献: p[451]-484

所蔵情報

子書誌情報

タイトルが類似している資料

詳細

その他の標題:	TAPL Types and programming languages
主題:	プログラミング用言語
分類・件名:	NDC8 : 007.64 NDC9 : 007.64 NDLC : M159 BSH : プログラミング(コンピュータ) NDLSH : プログラミング用言語
タイトルのヨミ、その他のヨミ:	カタシステムニュウモン : プログラミングゲンゴトカタノリロン
TTLL:	jpn
著者名ヨミ:	スミイ, エイジロウエンドウ, ユウスケサカイ, マサヒロイマイ, ケイゴクロキ, ユウスケイマイ, ヨシヒロサイカワ, タカフミイマイ, タケオ
言語:	日本語
形態:	xxi, 503p ; 26cm
書誌ID:	BB12112636

内容紹介

目次情報

1

2

3

4

5

6

7

8

9

10

11

12

1 図書版と型の美岡村, 吉右衛門(1916-) 美術出版社	7 図書 LATEX2ε美文書作成入門奥村, 晴彦(1951-), 黒木, 裕介(1982-) 技術評論社
2 図書知の文化と型の文化鹿毛, 誠一創文社	8 図書被服学概論今井, 政三(1920-) 化学同人
3 図書栗今井, 敬潤法政大学出版局	9 図書実践型クリティカルシンキング佐々木, 裕子(1973-) ディスカヴァー・トゥエンティワン
4 図書柿渋(かきしぶ) 今井, 敬潤法政大学出版局	10 図書実践型クリティカルシンキング佐々木, 裕子 (1973-) ディスカヴァー・トゥエンティワン
5 図書柿今井, 敬潤法政大学出版局	11 図書ヒト型モデル動物井上, 達, 野田, 哲生, 野本, 明男シュプリンガー・フェアラーク東京
6 図書 LATEX2ε美文書作成入門奥村, 晴彦(1951-), 黒木, 裕介(1982-) 技術評論社	12 図書創られた「日本の心」神話 : 「演歌」をめぐる戦後大衆音楽史輪島, 裕介(1974-) 光文社