前書きなど

#1 WebSocketとそのセキュリティ（大塚由奈）
クライアントからのリクエストに応じてサーバーがレスポンスを返すというHTTPの通信モデルは、双方向で継続的にやり取りが発生するチャットのようなアプリケーションでは不向きとされる。この課題に対し、HTTP通信を引き継いで同一のTCP上で双方がデータを送受信できる仕組みとして考案されたのがWebSocketである。Webにおける双方向通信を手軽に実現できる技術として、HTTP/2や3によって遅延や効率が改善された現在でも広く利用されている。
さまざまなアプリケーションで手軽に利用できるWebSocketだが、HTTPとは異なる通信モデルであることから、認証やセキュリティに関して固有の対応が求められる側面もある。本稿では、通信の様子をパケットキャプチャで観察しながらWebSocketの基本的な仕組みを確認したうえで、実践的なアプリケーションに欠かせない認証のための手法を整理する。さらに、WebSocketならではのセキュリティ上の課題とその対策についても紹介する。

#2 不変性から導くパッケージ管理とNix（大給知也）
多くのOSやプログラミング言語には、システムの構成や依存ライブラリを管理するために、それぞれ専用のツール（パッケージマネージャー）が整備されていることが多い。しかしそれらによるパッケージ管理には、導入直後には問題なかった依存関係が更新によって衝突するようになったり、別のマシンで動作させるための環境の再現が思うようにいかなかったりと、少なからず課題もある。
そうした既知の課題の多くを克服するパッケージマネージャーとして「Nix」がある。Nixでは、従来のパッケージ管理には「共有状態の破壊的変更」という構造的な課題があるとし、パッケージの一意性（分離性）、再現性、合成可能性（宣言性）、不可分性（可逆性）を満たした実装による根本的な解決が目指されている。
本稿では、まず「一度生成されたデータは変更しない」という不変性（イミュータビリティ）を公理として据えることで、理想のパッケージ管理に求められる上記の特性が論理的に導かれることを見る。そのうえで、それらがNixにおいてどのように実現されているかを解説する。さらに、nix shellやNixOSといった実践的なユースケースについても紹介する。

#3 現代の技術者から見たチューリングマシン（Takenobu Tani）
1930年代に数学の「決定問題」を解くための思考の道具として考案されたチューリングマシンは、現代の視点から見ると、極限まで簡素化されたディジタルコンピュータであるとも考えられる。特に、マシンの動作規則そのものを外部からデータとして読み込ませるという「万能チューリングマシン」のアイデアは、今日の「汎用」のソフトウェアプログラムの概念を鮮やかに先取りしたものだと言えるだろう。
本稿では、1936年にアラン・チューリングがこのアイデアを提起した原論文に立ち返り、現代のコンピュータアーキテクチャとソフトウェアプログラムの知見を活用しながら、チューリングマシンの自動計算機械としての側面に焦点を当てる。人間が手順化できる計算を「記録媒体に対する情報の読み書きと移動」というメカニズムだけで表現できることを示した原論文に触れることで、現代的なコンピュータの設計で暗に目指されている考え方を明らかにする。