Youtube 言語 音声. 日本大分交通. Restore conference 2026 Faith Matters. Formal verification notes pdf.