PDFのみの提供です 紙書籍も必要な場合は、こちらからお得なセットをお求めください 紙書籍のみを差額等でお求め頂くことはできません 型システムがようやくわかった！ 遠藤侑介 著 184ページ A5判 ISBN：978-4-908686-20-7 2025年4月15日 第1版第1刷 本書の解説で利用しているコード（GitHubリポジトリ） 現代の開発環境では、エディタ上でコードを書いている最中から、実行もせずにエラーが判明することがあります。コードの補完でも、文脈に適した候補が魔法のように提示されてきます。こうした機能で中心的な役割を果たすのが「型システム」です。 では、なぜ型システムはプログラムのエラーを早期に発見したり、適切な補完候補を絞り出せたりするのでしょうか？　背景となる数学の理論を教科書で学ぶ以外に、型システムで何ができるのか、どのように機能するかを知る道はないのでしょうか？ 本

PDFのみの提供です 紙書籍も必要な場合は、こちらからお得なセットをお求めください 紙書籍のみを差額等でお求め頂くことはできません 本PDF版を他の紙書籍と同時に購入いただく場合には、他の紙書籍について送料がかかります 計算機好きのための技術解説情報誌 エヌゲッカンラムダノート（不定期刊行） 96ページ A5判 紙書籍は1色刷 2024年7月23日 第4巻第2号／通巻8号 発行 n月刊ラムダノートは、nヶ月ごとに刊行される、計算機好きのための技術解説情報誌。コンセプトは「いろんなIT系技術書から1章ずつ選んできた解説記事の集まり」です。今号は3本の記事をお送りします。 目次 #1 SMTP、どうしてこうなった（梶原龍） Eメールの仕組みに不可欠なプロトコル、SMTPが登場した 40年前は、2024年現在とはインターネットの規模や利用方法が大きく異なる。そのため、SMTPの登場時には存在しな

ソフトウェアは複雑さを増すばかりですが、人間の脳は限られた複雑さしか扱えません。ソフトウェアが思い通りに動くようするには、脳に収まり、人間が理解できるコードを書く必要があります。 本書は、拡張を続けても行き詰ることなくコードを書き、複雑さを回避するための実践的な方法を解説します。最初のコードを書き始めるところから機能を追加していくところまでを解説し、効率的で持続可能なペースを保ちながら、横断的な問題への対処やトラブルシューティング、最適化を行なう方法を説明します。自分のチェックリストからチームワーク、カプセル化から分解、API設計から単体テストまで、ソフトウエア開発の重要な課題に対する考え方やテクニックを紹介します。サンプルプロジェクトで使うコードは、Gitリポジトリの形で入手でき、試しながら学べます。 有効に機能するプロセスを選び、効果のない方法論から脱却する方法。チェックリストを使うこ

『プログラミング文体練習 ―Pythonで学ぶ40のプログラミングスタイル』 Cristina Videira Lopes　著、菊池 彰　訳 2023年6月14日発売予定 316ページ（予定） ISBN978-4-8144-0022-5 定価3,300円（税込） レーモン・クノーの『文体練習』から着想を得て執筆された本書は、1つの課題を異なるプログラミングスタイルで実装し、さまざまなスタイルの特性やスタイルが生まれた歴史的経緯などを解説します。本家の『文体練習』は、「バスの中で起きた諍いと、その張本人を後で目撃した」という内容を、公的文書風、宣伝風、業界用語風など、99の異なる文体で表現したものですが、本書は、「単語の出現頻度をカウントして多いものから出力する」という課題を、40のスタイルで実装しています。リソース制約が大きかった時代の方法から、オブジェクト指向、純粋関数型、リフレクション

1960年代から2000年にかけて、日本の半導体やコンピュータ技術は飛躍的に進歩し、技術雑誌がそれに貢献しました。　　デジタル化して絶版をなくし、誰もの手に届く所に置き、後世に伝えることが、本プロジェクトの目的です。 【このサイトは出版社、著者など、関係者との連絡用です】 目標 1. 電子図書館、Amazon等で販売可能な古い雑誌を出版社(者)と協力してデジタル化します。 ​　透明テキスト(粗いOCR)付きの画像PDFには正しい「しおり(書籍の目次)」を設定します。 デジタルでの復刊/販売と著者許諾を並行して行います。 2. 雑誌の目次を横断的に検索できるように、既存サービスにデータを提供します。 ​3. 研究機関とともに、画像版面を構造化されたテキストへの変換を目指します。 ​ 概要 ・数年かけて4、5誌程度の電子復刻を目指しています。 ・8割の大学に普及している「大学電子図書館」、2割

概要 職業ソフトウェアエンジニアを目指す方々にオススメしたい書籍トップ10です 以下の観点から選定しました 10年後でも変わらない、流行にとらわれず長く役に立つ、ソフトウェアエンジニアリングにおいて普遍的な知識 特定のプログラミング言語やプラットフォームやツールに精通するのではなく、現代のソフトウェア開発の哲学・文化の全体像が把握できることを優先 200～300ページくらいで初心者でも読破できる 400～500ページくらいの本もあるが、それらは辞書的に使うのがいい あえて10冊に絞り込んだので、ここに含められなかった書籍も当然あります CI/CDやDevOpsに関する本も入れたかった… デザインパターンに関する本も入れたかった… DDDやClean Architectureなどシステム設計に関する本は意図的に入れていない 真・プログラミングスクールに通うくらいならこの本を読め10選を書きま

こちらは改訂前の旧版のページです。改訂改題版『事業をエンジニアリングする技術者たち ― フルサイクル開発者がつくるCartaの現場』の商品ページをご覧ください ウェブシステム＝ソフトウェア技術＋ビジネス 株式会社VOYAGE GROUP 監修、和田卓人 編 224ページ A5判 ISBN：978-4-908686-09-2 2020年8月7日 第1版第1刷 発行 株式会社VOYAGE GROUPによる紹介ページ 正誤および補足情報 ともすれば、互いに相反する関心を追っているとさえ捉えられる「ビジネス」と「ソフトウェアエンジニアリング」。しかし現実のウェブシステムで事業を成り立たせるためには、両者を分け隔てることなく、技術力と洞察力と調整力をもって課題に取り組む必要があります。 本書は、和田卓人氏による株式会社VOYAGE GROUPのソフトウェア技術者11人へのインタビューに補足解説を添え

「文章を書く」とは、「自分の考えを伝える。意見を言う。主張を述べる」ことに尽きる。 長年にわたりベストセラーを多数書き上げた作家・野口悠紀雄が、自らの「書くことについて」を解き明かした新時代の文章読本。 書くために必要となる基本的なスキルからアイディアの着想法まで、書く全技術を初公開。 「日々の継続」を「驚くべき成果」に変える文章法がここに… ◎分かりやすく正確に力強く伝える「論述の構造」とは ◎アイディアが浮かびやすい環境の作り方 ◎思いついたアイディアを逃さずに捉えておく仕組み ◎テーマに関する需要と供給の法則 ◎「構造を作る」のが難しいのは「内容が多次元」だから ◎「頭を整理する」のでなく「外部脳を活用する」 ◎同時並行的な仕事の処理のための３層システム　ほか 【本書の目次】 第１章　文章を書くための仕組みを作る 第２章　テーマをどう見つけるか？ 第３章　アイディアの材料を集める 第

序文 目次 まえがき－第2版に向けて 第1版のまえがきより 第1章　達人の哲学 1 あなたの人生 2 猫がソースコードを食べちゃった 3 ソフトウェアのエントロピー 4 石のスープとゆでガエル 5 十分によいソフトウェア 6 あなたの知識ポートフォリオ 7 伝達しよう！ 第2章　達人のアプローチ 8 よい設計の本質 9 DRY 原則? 二重化の過ち 10 直交性 11 可逆性 12 曳光弾 13 プロトタイプとポストイット 14 専用の言語 15 見積もり 第3章　基本的なツール 16 プレインテキストの威力 17 貝殻（シェル）遊び 18 パワーエディット 19 バージョン管理 20 デバッグ 21 テキスト操作言語 22 エンジニアリング日誌 第4章　妄想の達人 23 契約による設計（DbC） 24 死んだプログラムは嘘をつかない 25 表明を用いたプログラミング 26 リソースのバラ

本書は、2017年に発行し好評を得ている『Real World HTTP』のエッセンスを凝縮した、無料の電子書籍です。 HTTP/1.0、HTTP/1.1、HTTP/2と、HTTPが進化する道筋をたどりながら、ブラウザが内部で行っていること、サーバーとのやりとりの内容などについて、プロトコルの実例や実際の使用例などを交えながら紹介しています。 ミニ版のため、一部の内容を割愛していますが、「ウェブアプリケーション」に関する新章と、HTTPのステータスコードとヘッダーをまとめた付録を追加しています。 ミニ版の使用について ミニ版の図版やテキストは、著作権法で認められている引用の範囲に加えて、有志での勉強会、自社の社員向けの研修に用いるプレゼンテーション資料のために、全体の10～20%程度のテキストと図版や表を利用することができます。 具体的には引用部分の明記を求める条件、引用だけを用いた資料作

あなたのシステムはきちんと動いていると言えますか？　本書は、システムのどの部分をどのように監視すべきか、また監視をどのように改善していくべきかについて解説する書籍です。 前半で監視のベストプラクティス、デザインパターン／アンチパターンを示して、監視の基本原則を詳しく説明し、後半でフロントエンド、アプリケーション、サーバ、ネットワーク、セキュリティの各テーマで強力な監視の基盤を設計して実装するための方法を示します。 監視対象が変化し、システムアーキテクチャが進化する中で、従来から変わらない監視の基本を示しながら、時代に合った監視の実践を解説する本書は、監視についての理解を深めたいエンジニア必携の一冊です。日本語版では、松木雅幸（@songmu）氏による監視SaaSの導入や活用方法を付録として収録しています。 正誤表 書籍発行後に気づいた誤植や更新された情報を掲載しています。お手持ちの書籍では

配列、リスト、木、グラフ、それぞれの理論的な特性を知り、実装まで理解するためのガイドブック Pat Morin 著、堀江 慧・陣内 佑・田中 康隆 共訳 288ページ A5判 電子書籍の形式：PDF ISBN：978-4-908686-06-1 2018年7月20日 第1版第1刷 発行 データの格納方法を工夫するだけで、魔法みたいにアルゴリズムが導出できる。うまくデータを整頓するだけで、画期的に計算が速くなる。仕事で直面している問題がなかなか解決しないのは、問題に対する適切なデータ構造を知らないから、というだけかもしれません。 計算機科学の授業で当たり前のように学ぶさまざまなデータ構造。学部生向けの教科書としてはもちろん、理論を学ぶチャンスがないまま業務でプログラムを開発しているエンジニアや、そもそも学ぶ機会がまだ訪れていない高校生プログラマが、その考え方の基本を学ぼうとするときに手に取る