Benjamin C. Pierce

住井 英二郎

遠藤 侑介

酒井 政裕

今井 敬吾

黒木 裕介

今井 宜洋

才川 隆文

今井 健男

型システムを理解するうえでの定番書を翻訳! 
型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages"を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。

内容紹介

Pierce,Benjamin C.
Pennsylvania大学計算機・情報科学科教授(Salvatori Professor)。主な研究分野はプログラミング言語、静的型システム、ソフトウェアセキュリティ、並行・分散プログラミング、および同期技術。多くの一般ユーザを持つファイル同期ソフトウェアUnisonのメイン設計者でもある 

住井/英二郎
1998年東京大学理学部情報科学科卒業。2000年Pennsylvania大学Visiting Scholar。2001年東京大学大学院情報理工学系研究科コンピュータ科学専攻助手(同情報学環流動教員)。2003年Pennsylvania大学Research Associate。2004年東京大学大学院博士(情報理工学)。2005年東北大学大学院情報科学研究科助教授(2007年同准教授)。日本学術振興会賞、日本IBM科学賞、マイクロソフトリサーチ日本情報学研究賞等受賞(本データはこの書籍が刊行された当時に掲載されていたものです)

著者略歴 (「BOOK著者紹介情報」より)

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

川合 史朗

秋葉 拓哉

中嶋 謙互

木村 廉

ninjinkun

渡辺 訓章

WEB+DB PRESS編集部

<b>17年間が、この1冊に。</b>

ご好評をいただいたVol. 100記念号を収録した『WEB+DB PRESS』の総集編。
今回は「17年分の記事PDF」をまとめました。

付属DVD(+パスコードでデータダウンロードも可能)にはVol.1~102のPDFに加え、
総集編第1弾~第5弾の書き下ろし記事のPDFも一挙収録。
驚きの107冊分です。

合わせて、「記憶に刻む、あのコード」と題し、
7名のTOPエンジニアの方々に特別寄稿いただいた記念企画をお届けします。
続けた先に見えてくる新たな発見や楽しさが伝わってくる、総集編ならではのスペシャルエッセイです。

WEB+DB PRESS総集編[Vol.1~102] (WEB+DB PRESS plusシリーズ)

Daniel Jackson

中島 震

片岡 欣夫

形式手法は、高度な信頼性が求められるソフトウェアの開発で利用されてきた、数学に基づく開発技術です。Alloy(アロイ)は、形式手法を誰もが実践できることを目指したツールであり、テストでは排除できないソフトウェアの欠陥について検証するためのものです。 本書は、"Software Abstractions: Logic, Language, and Analysis"の翻訳書です。Alloyによるさまざまな事例のモデリングを通じ、「アジャイルで軽量な形式手法」ともいえる技術を学びます。

内容詳細

抽象によるソフトウェア設計−Alloyではじめる形式手法−

著者：酒井 政裕の検索結果

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

WEB+DB PRESS総集編[Vol.1~102] (WEB+DB PRESS plusシリーズ)

抽象によるソフトウェア設計−Alloyではじめる形式手法−

著者：酒井政裕の検索結果