Film
Before University
Electron · React
CUEFORM
AI エージェント（Codex / Claude Code）でモーショングラフィックスを作るデスクトップアプリ。音楽の解析、構成と演出の指示、デザインと動きの生成、MP4 の書き出しまでを 1 つのアプリで行う。
Electron / React / Remotion / three.js / OpenCV.js / Claude Code / Codex CLI / FFmpeg
- 研究分野
- 分散システムセキュリティORAMBFT コンセンサス
- 言語
- Go
- HTML / CSS
- Python
- TypeScript
- C++
- 技術
- DockerLinuxAnsibleTerraform
Research
RG Delight Group · 2026〜
ORAM（Oblivious RAM）の研究
クラウドに置いたデータを、どこにいつアクセスしたかから中身を推測されないようにする技術（ORAM）を研究している。
Projects
enigmap-go — ORAM 上の秘匿キーバリューマップ（先行実験）
研究の先行実験として Go で書いた、アクセスパターンを隠すキーバリューマップ。AVL 木を Path ORAM の上に載せ、連続する段を 1 つの大きなバケットにまとめて保存する。Intel SGX（EGo）のエンクレーブ内で、挿入や検索にかかる時間を測った。
Go / Path ORAM / AVL 木 / AES-GCM / Intel SGX（EGo）
分散システムの実験用に、研究室のサーバー 10 台を設置から構築した。VM の作成から実験の実行、結果の回収までを Terraform と Ansible で自動化した。今は研究室で実験をしたい人に貸し出している。
Terraform / Ansible / VLAN / VM / Linux
Byzantine Generals Problem から PBFT・SBFT までの論文を、何を解決しようとしたかで分けて時系列に並べたマップ。roadmap.sh で公開している。
分散システムにおける論理時計（ORF 2025 ポスター発表）
SFC Open Research Forum 2025 のポスター発表。複数のコンピュータの時計は必ずずれるので、物理時間では出来事の前後を決められない。この問題と、Lamport の論理時計（1978）の仕組みを図で説明した。
輪読
Snoopy研究室輪読会（B2）
Snoopy（SOSP 2021）。Oblivious Storage は、プロキシとデータサーバーが 1 台ずつのところで性能が頭打ちになっていた。クエリを固定長のバッチにまとめ、アクセスパターンを隠したまま複数台に広げる方法を整理した。
BFT Protocol Forensics研究室 LT（B1）
BFT Protocol Forensics（CCS 2021）。合意が壊れたときに、原因になったノードを、やり取りするメッセージを増やさずに特定する手法。署名を使わない BFT でも同じことができるかなど、疑問に思った点もまとめた。
Time, Clocks, and the Ordering of Events in a Distributed System研究室輪読会（B1）
Lamport の論理時計の論文（Communications of the ACM, 1978）。物理時計を使わずに出来事の「happened before」の関係を定義し、それを守る時計のアルゴリズムを示している。論理時計では表せないことも整理した。
TLA+ / PlusCal研究室輪読会（B1）
分散システムや並行システムの設計を検証する TLA+ について、基本の考え方と、安全性をどう書いてどう検査するかを発表した。
※ 輪読の資料は勉強中に作ったもので、簡単にした箇所や誤りが含まれている可能性があります。
Certifications
- Lv.1ITパスポート中学3年
- Lv.2情報セキュリティマネジメント高校1年
- Lv.3基本情報技術者高校1年
- Lv.4応用情報技術者高校2年
- Lv.5情報処理安全確保支援士大学1年 春
