About

Activities

• ISUCON12 - 本戦にて freee 賞受賞
• 技術書典 16 - SSHの通信の中身を見てみよう
• 技術書典 13 - コンテナ技術の自作/攻撃/防御
• SECCON CTF - 2023 Domestic 第6位 / 2022 Domestic 第7位
• SECCON Beginners CTF 2023 - crypto 作問
• SECCON Beginners Live 2023 - crypto 発表
• Security Camp - '23 暗号解読クラス チューター / '22 脅威解析クラス
• SecHack365 '18 - IoT向けプログラミング言語開発
• traP LT 2022 - 脆弱性を自動発見してみたい
• JOI夏季合宿 - 量子コンピュータライブラリ開発
• 水中ロボコンinJAMSTEC - 優勝（芝浦工業大学附属高校）
• 言語学オリンピック - アジア太平洋言語学オリンピック2020出場

Works

• 自作プログラミング言語 SecHack365

  LLVMベースのIoT向け言語。C++で開発、ライフタイム機能を実装。

• ELF解析ツール Rust

  静的/動的解析ツール。tui-rsでTUI表示、ptraceで動的デバッグ機能を実装。

• 自作シンボリック実行エンジン Rust

  x64アーキテクチャ向け。z3 SMTソルバーを使用。

• 量子コンピュータライブラリ C++

  qasmトランスパイラと古典コンピュータ上でのシミュレーション。IBM Q演算対応。

• レイトレーシングエンジン Rust

  Ray Tracing in One Weekendを参考に実装。

• Splash Royal Unity

  pixiv社協賛ハッカソンにて製作。色塗りをテーマとした2人制ターン制陣取りゲーム。デザイン賞受賞。

• 競プロ/CTFコンテスト運営 Rust, React, Ansible

  開発・作問・運営を担当。Crypto分野を中心に作問。

• その他自作

  OS, シェル, CPU, RDBMS, SSHプロトコルスタック, ゲームエンジン, 将棋AI(Chainer)など

Timeline

• 2025.12
  

  Security Intern NTT株式会社
• 2025.4 - Present
  

  東京科学大学 大学院 理学院物理学系 上妻研究室

  冷却原子を用いた量子センシングを目指す。

• 2024.2 - Present
  

  Web App Engineer 株式会社ナンバーナイン

  Next.js/Go/RustでのWebアプリ開発、オブザーバビリティ等。

• 2024.2 - 2024.5
  

  Security Researcher 株式会社リチェルカセキュリティ

  AI × Securityに関するリサーチ。最新カンファレンス・論文の調査分析。

• 2023.8 (5days)
  

  Security Intern 株式会社FFRIセキュリティ

  RISC-Vエミュレータを実装し、Shadow Stack・Landing Pads等のCFI機構を実装。

• 2021.8 - 2024.2
  

  Backend Engineer 株式会社ソニーコンピュータサイエンス研究所

  Music Excellence Academyのバックエンド開発。TypeScript/RustでAPI開発を担当。

• 2021.4 - 2025.3
  

  東京工業大学

  理学院物理学系 / traP 所属

• 2015.4 - 2021.3
  

  芝浦工業大学附属中学高等学校

Contact