コンテナオーケストレーション、クラスタ運用。

シングルボードコンピュータ、組み込み Linux。

Rust 言語、所有権、型システム。

TypeScript、型システム、型レベルプログラミング。

スキーマバリデーション、ランタイム型検証。

自宅サーバー、自作インフラ、実験環境。

メモリ管理、アロケーション、パフォーマンス。

Rust の borrow checker とライフタイム。

型理論、型レベルプログラミング、型安全。