Hakkadaikon Hakkadaikon

MoQ Meetup Japan 登壇メモ: MoQ Optimization in Point-cloud Streaming

八谷航太（Kota Yatagai）
2026-10-02 / docomo R&D OPEN LAB ODAIBA
元は英語。音声認識の誤変換（mock=MoQ、truck=track、mocked bus=Moqtopus）は補正済み。

この登壇の結論

点群の視野適応配信は、毎フレーム購読を切り替える。解除（STOP_SENDING）で切ると、QUIC がストリームをリセットし、リレーの送信待ちに残っていた末尾フレームまで捨てる。予測は 150ms 先を見ているので、捨てられた末尾こそ今から描くフレームだった。

コピー用に、用語を先に置いた完全版です。

MoQ Meetup Japan 登壇メモ: The Art of The Switch

Ali C. Begen（MOQtail 実装者）
2026-10-02 / docomo R&D OPEN LAB ODAIBA
元は英語。音声認識の誤変換（mock=MoQ、quick=QUIC、pop=GOP、ADR=ABR）は補正済み。

この登壇の結論

映像の画質切り替えは、次の独立再生点まで待てないと、帯域が落ちた瞬間に再生が止まる。MoQ ではその再生点がグループである。グループを長くすると画質は良いが切り替えが遅く、短くすると切り替えは速いが画質が落ちる。

開発合宿 - 成果

音声SNS / ライブ配信アプリを試す

ANOYO
ぽっと通話
spoon

jevに触れる

vercelからAPIキー払い出して、jevで話している内容から話題カテゴリを抽出してみる
askjevで遊ぶ

wired のパフォーマンス改善の記録

wired は、libc に依存しない C で書かれた自前実装の QUIC サーバー SDK である。 QUIC は TLS による暗号化を組み込んだ、UDP 上のトランスポートプロトコルで、HTTP/3 の土台になっている。 wired は暗号（TLS ハンドシェイク、楕円曲線署名、パケット暗号化）も標準ライブラリなしで自前実装し、システムコールを直接呼ぶ。

この文書は、これまでに行われたパフォーマンス改善を、症状、原因、対策、効果の順で追えるようにまとめたものである。数値はすべて当時の作業台帳と教訓集に記録された実測値で、それぞれの作業日のベースラインに対する比較として読む（日をまたいだ絶対値には、同時に入った他の改善や測定ノイズ分の揺れがある）。

測定に使う指標は次の 4 つである。

wired tree

Level: 1

src  
├── app  
├── common  
├── crypto  
├── tls

Lessons — 性能改善(QUIC ハンドシェイク 4.6s → 17ms)

curl の HTTP/3 ハンドシェイクが appconnect ≈ 4.6 秒かかっていたのを 17ms まで落とした一連の流れ。再現したい「診断の順序」と「やってしまった遠回り」を残す。

結果サマリ

段階	appconnect	何を直したか	倍率
初期	4.6 s	—	—

QUIC RFC 実装カバレッジ

各 RFC の機能要素ごとに実装状況をチェックボックスで示す。判定は実コードとテストを照合した結果(2026-06 時点)。

凡例:

[x] 実装済み(コードあり + テストで検証)
[~] 部分実装(コードはあるが簡略 / 一部のみ / 未検証)
[ ] 未実装

形式検証の効果レポート — 優先度付き信頼性メッセージキュー

対象: src/ の Rust 実装(reliable_queue) 検証層: TLA+(設計のモデル検査)+ Lean 4(実装の数学的証明) このレポート自体と tasks/ 配下は git 管理外の裏方成果物。

要約

形式検証ふりかえり — WebSocket プロトコルスタック SDK

libc 非依存(freestanding C23)の RFC 6455 WebSocket SDK を作る過程で、TLA+ による設計検証と Lean 4 による数学的証明を実際に使った。その体験を、効いた点・摩擦・改善に分けて記録する。

数字で見ると、最終的に次の検証資産が残った。

TLA+: WsLifecycle(接続ライフサイクル、INV1–6)と WsStream(ストリーミング driver、SINV1–8)の 2 spec。後者は 109 distinct states を網羅探索。
Lean 4: Basic.lean(P1–P7、マスキング・長さ・opcode・close コード)と Utf8.lean(P8、UTF-8 健全性)。すべて sorry 無し、依存公理は標準 3 つのみ。
実装は三層の性質を橋渡しテストで固定する TDD で駆動した。

	$ tree src Tue 30 Jun 2026 08:29:16 PM JST
	src
	├── app
	│ ├── datagram
	│ │ ├── datagram
	│ │ │ ├── datagram.c
	│ │ │ ├── datagram.h
	│ │ │ ├── dgcc.c
	│ │ │ ├── dgcc.h
	│ │ │ ├── dgcheck.c