02 / プロジェクト

制約を後付けの課題としてではなく、設計の一部として組み込んだ厳選されたエンジニアリング・プロジェクト。

これまで取り組んだプロジェクト。

基板、回路、自律型機械の枠を超え、精密なエンジニアリングと「システムが何を可能にすべきか」という大きな問いの間を行き来しながら開発に取り組んでいます。

PCB設計

高密度ルーティングと柔軟なフォームファクタ。

期間 / 役割

2025年夏 / ハードウェアラボ

層構成のプランニング、HDIルーティング、微小フットプリントにおける複雑な物理的制約の管理に焦点を当てた、ハードウェア設計のインターンシップ。

高い歩留まり率の実現HDI ブラインド/ベリードビア微小フレキシブル基板レイアウト

期間 / 役割

2025年夏 / ハードウェアラボ

公開プロジェクト概要を読む

回路設計

あらゆる角度から検証されたスイッチング動作。

ワイドバンドギャップ・スイッチと磁気部品を使用したパワーマネジメントのシミュレーション。過渡、AC、DCの各条件下で厳密にテストを実施。

Cadence Virtuoso包括的なシミュレーション効率の最適化

期間 / 役割

2025年夏 / CADENCE VIRTUOSO

自律システム

水中車両の推進とナビゲーション。

自律型水中探査のためのプロペラ設計、推力テスト、ナビゲーション・プログラミングを組み合わせたエンジニアリング・プロジェクト。

プロペラ設計推力最適化自律ナビゲーション

期間 / 役割

2024年 — 現在 / 大学での研究

ブラウザーシステム

光を通じた正確なファイル転送。

ローカル処理、明示的なプロトコル境界、デジタル上の証拠とカメラを使う物理試験を分離した、ブラウザー・ネイティブの光転送システム。

ブラウザー・ネイティブプロトコルWeb Workers + ローカル処理物理経路は未検証

期間 / 役割

2026 — 現在 / プロダクト研究

RUST / WASM

記録を正直に保つ postflop solver。

Rust/WASM による heads-up postflop 分析ワークベンチ。正確なハンドリプレイ、ローカルキャッシュ、相手の証拠が不足した場合に閉じる推奨境界を備える。

Rust/WASM workerHeads-up postflop証拠を意識した結果

期間 / 役割

2026 — 現在 / プロダクト研究

プライバシーシステム

恒久的な受信箱を持たない一時的な通信。

短時間の招待、検証済みの直接 WebRTC、明示的なフォールバック状態を中心にした一対一のブラウザー通信システム。

直接 WebRTC を優先アプリケーション層暗号見える通信状態

期間 / 役割

現在 / 実験的プロダクト

データ / 証拠

証拠を示す意思決定支援。

学位、プログラム、スキル、学習場所を対象に、署名付きレシートと範囲を限定したライブ探索を備えたソース対応型インテリジェンス基盤。

ソース別プロヴェナンス署名付きレシート + ハッシュ範囲限定ライブ探索

期間 / 役割

現在 / プラットフォーム研究

ML システム

モデル計算のためのブラウザ顕微鏡。

モデルのトレースを測定し、観測テンソル、介入、経路、再現されたメカニズムを分離するローカルブラウザー計測器。

ONNX WebGPU / WASM測定済みテンソル証拠でゲートされたトレース

期間 / 役割

現在 / 研究プロダクト

コンパイラー / ランタイム

観測可能な状態を失わない疎な実行。

証明付きイベント状態実行のための制限付きコンパイラー／ランタイム。測定済みの密なフォールバックを保持する。

制限付き状態カーネル証明書 + checker密なフォールバック

期間 / 役割

現在 / ソフトウェア研究

プライバシー / システム

隠れた入力をネイティブ動作に結び付ける。

宣言された monitor model の範囲で、非公開の外部入力を認証済みネイティブ実行へ結び付ける RISC-V attestation 研究。

RISC-V 実行選択的 ZK 証拠限定された Phase 1 完了

期間 / 役割

現在 / 研究

プロジェクトが公開可能な状態になり次第、さらに多くの実績がここに追加されます。

研究・実験へ進む