n月刊ラムダノート Vol.6, No.2(2026) [単行本]

n月刊ラムダノート Vol.6, No.2(2026) の 商品概要

• 目次

  1. WebSocketとそのセキュリティ
  　1.1 WebSocketの概要
  　1.2 WebSocketの挙動を動かして確認する
  　1.3 Webセキュリティの要素技術とWebSocket
  　1.4 WebSocketアプリケーションで利用できる認証方式
  　1.5 WebSocketに対する典型的な攻撃
  　1.6 まとめ
  
  2. 不変性から導くパッケージ管理とNix
  　2.1 なぜ環境は「可変な状態」によって壊れるのか
  　2.2 不変性から導かれる、理想のパッケージマネージャーに求められる特性
  　2.3 Nixによる宣言的パッケージ管理の概要
  　2.4 より実践的なNixのユースケース
  　2.5 おわりに
  　2.6 参考文献
  
  3. 現代の技術者から見たチューリングマシン
  　3.1 チューリングマシンとは
  　3.2 チューリング論文の概要
  　3.3 物理的な構成
  　3.4 チューリングマシンの「プログラミング」
  　3.5 現代のコンピュータとの比較
  　3.6 万能チューリングマシン
  　3.7 まとめ
  　3.8 参考文献

• 内容紹介

  n月刊ラムダノートは、nヶ月ごとに刊行される、計算機好きのための技術解説情報誌。コンセプトは「いろんなIT系技術書から1章ずつ選んできた解説記事の集まり」です。今号は3本の記事をお送りします。
  
  双方向のウェブ通信について理解を深める「WebSocketとそのセキュリティ」（大塚由奈 著）
  環境構築という難題に関数型プログラミングのアプローチで挑む「不変性から導くパッケージ管理とNix」（大給知也 著）
  数学的な概念をコンピュータシステムとして楽しむ「現代の技術者から見たチューリングマシン」（Takenobu Tani 著）

• 著者について

  大塚 由奈 (オオツカ ユナ)
  2005年生まれ。2025年2月にGMO Flatt Security株式会社に長期インターンのセキュリティエンジニアとして入社。2026年4月に新卒入社予定。学生時代にはセキュリティ・キャンプやSecHack365、CODE BLUEなど数多くのイベントに参加しており、講師やチューターの経験も持つ。Webセキュリティ領域に強い興味を持ち、日々CTFや情報のキャッチアップに取り組んでいる。
  
  大給 知也 (オオタビ トモヤ)
  株式会社アットマークの機械学習エンジニア。AIベンチャーにて機械学習システムの社会実装に従事した後、現職ではデータ解析のほか、Rust/TypeScriptを用いたWebサービス開発やLLMを活用した機能開発に携わる。NixOS/nixpkgsのコミッターでPythonチームに所属。社内ではNixによる開発環境の標準化やビルドフローの改善にも取り組む。国内での普及を目指しNix日本語コミュニティでも活動している。
  
  Takenobu Tani (タケノブ タニ)
  CPU関連のハードウェアエンジニア。性能と消費電力を重視するCPUの設計および応用開発に携わる。ソフトウェアの性能と電力改善の支援も担う。一番好きなプログラミング言語はHaskell、次はアセンブリ。著書に『プログラマーのためのCPU入門 ― CPUは如何にしてソフトウェアを高速に実行するか』（ラムダノート）

n月刊ラムダノート Vol.6, No.2(2026) の商品スペック