n月刊ラムダノートは、nヶ月ごとに刊行される、計算機好きのための技術解説情報誌。コンセプトは「いろんなIT系技術書から1章ずつ選んできた解説記事の集まり」です。今号は3本の記事をお送りします。

双方向のウェブ通信について理解を深める「WebSocketとそのセキュリティ」（大塚由奈 著）
環境構築という難題に関数型プログラミングのアプローチで挑む「不変性から導くパッケージ管理とNix」（大給知也 著）
数学的な概念をコンピュータシステムとして楽しむ「現代の技術者から見たチューリングマシン」（Takenobu Tani 著）
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 参考文献