遠藤 侑介

hirekoke

RubyでつくるRuby ゼロから学びなおすプログラミング言語入門

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著者紹介情報」より)

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

Chris Okasaki

稲葉 一浩

関数型データ構造の設計と実装を学ぶ。

内容詳細

純粋関数型データ構造

実用性を追求するだけでは出会えない、ちょっぴり不思議なプログラミングの世界で一緒に遊んでみませんか?

「役に立たないプログラムには価値がない?」
「プログラミングは仕事以外でやりたくない?」
本書には、アスキーアート化、自己生成、縛りのあるプログラミングなど、実用性を追求するだけでは出会えないテクニックが満載。プログラミングが好きな方はもちろん、プログラミングが苦手な方でも楽しめる遊びをIOCCC入賞常連の著者が紹介します。ちょっぴり不思議なプログラミングの世界をのぞいてみませんか。
【特別寄稿】序文:まつもとゆきひろ

内容（「BOOK」データベースより）

遠藤/侑介
超絶技巧プログラミング提唱者。技巧的だが役に立たないプログラムを多数開発し、公開している。C言語プログラムの難読化で競うプログラミングコンテストInternational Obfuscated C Code Contest(IOCCC)に通算8回入賞(入賞数歴代2位)。Rubyの難読化で競うプログラミングコンテストTranscendental Ruby Imbroglio Contest for RubyKaigi(TRICK)主催(本データはこの書籍が刊行された当時に掲載されていたものです)

あなたの知らない超絶技巧プログラミングの世界

Daniel Jackson

中島 震

片岡 欣夫

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

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

西村 宗晃

杉山 俊春

monii

まつもとゆきひろ

村田 賢太

柴田 博志

国分 崇志

常松 伸哉

髙石 諒

高谷 雄貴

穴井 宏幸

神野 真彦

近藤 宇智朗

牧 大輔

桑原 仁雄

中西 豪

水音 ぴね

のざき ひろふみ

うらがみ

ひげぽん

池田 拓司

はまちや2

竹原

WEB+DB PRESS編集部

■特集1
体験! 脆弱性の見つけ方&ふさぎ方 ── Webアプリもスマホアプリも
Webサービスに潜む脆弱性への対策方法を解説する特集です。脆弱性の発見と対策を専門にしているエンジニア陣が、今の現場に即した解説を行います。脆弱性を含んだサンプルのWebアプリケーションとスマートフォンアプリを利用し、脆弱性を突かれると何が起こるのか、そしてどのように対策すればよいかを解説します。頻繁に攻撃対象になる脆弱性を厳選して取り上げていますので、本特集でセキュリティの最新知識を身に付けられるはずです。

■特集2
Ruby最前線 ── [コミッター直伝]新機能の活かし方
2017年12月25日にRuby 2.5がリリースされました。本特集では、Ruby 2.5の新機能の解説を筆頭に、Rubyの最新事情をRuby言語の開発に携わるコミッターの方々自らが解説します。2.5で新しく搭載された新しい書き方、標準添付ライブラリのGem化、パフォーマンス向上、カバレッジ測定機能の強化、データサイエンスのための機能など、実際に実装した開発者だからこそわかるノウハウ満載です。

■特集3
今こそ始めるOpenStack ── プライベートクラウドの世界標準! 
本特集では、OpenStackによるプライベートクラウドの設計、構築、運用について説明します。Amazon WebServiceといったパブリッククラウドに比べ、プライベートクラウドはランニングコストの面で優れています。また、企業のポリシーや制約によってパブリッククラウドが利用できないこともあるでしょう。そんな中OpenStackは、ここ数年で導入事例が増え、プライベートクラウドのデファクトスタンダードとなりつつあります。にもかかわらず、OpenStackの運用に関する情報は多くはありません。そこで本特集では、実例を踏まえながら、運用に関する情報も含め徹底解説していきます。

WEB+DB PRESS Vol.103