『プログラミング英語教本』を書きました : IT翻訳者Blog
『プログラミング英語教本』という本を書きました。本日5/1にその電子版が発売されています。 プログラミング時に触れる英語のドキュメント4種類（ソースコードのコメント、APIリファレンスなど）について解説しています。「プログラミング必須英単語600+」についても詳しく紹介しています。 また、本書はプログラミング英語検定の学習用書籍にもなっています。 書籍ページ： https://globalization.co.jp/publication/programming-english-textbook/ （試し読みがこちらから可能） 現在、電子版を購入できるのは、達人出版会とGoogle Play書籍です（後日Kindleも予定）。 なお紙版は7月中旬の発売を予定しています。アマゾンや楽天ブックスではすでに予約を受け付けているようです。 お読みいただけると幸いです。
型システム入門 プログラミング言語と型の理論 | オーム社eStore(β)
型システムとは、プログラミング言語の安全性や効率を高めるうえで重要な理論・手法です。本書は、その型システムについて基礎的な話題を網羅し、実装例を交えて丁寧に解説したThe MIT Press発行の解説書“Types And Programming Languages”（TAPL）を翻訳したものです。言語設計者や学生だけでなく、静的型付言語を深く理解して活用したいプログラマーにとっても貴重な情報となっています。
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
