構造、量、そして厳密な証明。
お使いのブラウザーには、この言語で読み上げる音声がありません。
Linux では、Chromium 系のブラウザー(Chrome、Brave、Edge)は --enable-speech-dispatcher オプションを付けて起動した場合にのみ音声を提供します。Firefox は最初から提供します。
サイトを聞く方法 →