nonica
クラウドネイティブ/インフラ/低レイヤの分野を学んでいる大学3年生です。
Updated 2026-09-23
クラウドネイティブ/インフラ/低レイヤの分野を学んでいる大学3年生です。
Updated 2026-09-23
慶應義塾大学 環境情報学部に在籍しています。これまで OS・コンパイラ・ハイパーバイザなどのシステムソフトウェアをRustで実装しながらを理解するスタイルで学んできました。最近はその経験を実際のサービスやインフラに活かすことに関心が広がり、Kubernetes・ネットワーク・クラウド・SRE を中心に学んでいます。
現在は Go でユーザ空間の TCP/IP スタック を自作しながら、TerraformをはじめとしたIaCについて学んでいます研究会では言語処理系をテーマに、TAPL を読みつつ単純型付きラムダ計算とその拡張を Haskell で実装することを目標に取り組んでいます。
記事の置き方と frontmatter の項目のメモ。動作確認用のサンプル記事です。