lean-ja / math-in-type-theory-ja

Xena の記事「Mathematics in type theory」の非公式日本語訳です.

Home Page:https://lean-ja.github.io/math-in-type-theory-ja/

Repository from Github https://github.comlean-ja/math-in-type-theory-jaRepository from Github https://github.comlean-ja/math-in-type-theory-ja

katex , mathjax が使えない問題

Seasawher opened this issue · comments

ローカルでプレビューする分には mdbook-katex が使えるのですが,GitHub Pages にデプロイする段階でうまくいかなくなります.

mdbook のデフォルトの mathjax サポートだと $ $ で囲ってもうまくいきません.

mdbook-katex の GitHub Action を使っているのですが,それが通らないようです.

Action がうまく通るようにするより,markdown ファイルにある数式の部分を全部書き換えたほうが早いかもしれません.

@aconite-ac 唐突にメンションしてすみません。解決策をご存知ないですか?

mdbookのデフォルトのMathJaxサポートを使う場合、
MathJax Support - mdBook Documentationによると$ ... $$$ ... $$の代わりに\\( ... \\)を使う必要があるようです。

ローカルで試したところ、デプロイで生成されたhtmlファイルではMathJaxにより正常に数式が表示されましたので、
KaTeXにこだわりがなければ、MathJaxサポートを使った上で、
ソースのmdファイル内の$ ... $\\( ... \\)に書き換えるのを試してみてください。

mdbook-katexを使った方法についてはよく分りません…が、
mdbook-katex 0.1.1 - Docs.rsによると、book.toml

[preprocessor.katex]
command = "mdbook-katex"

と書くことが必要のように見えます。

GitHub Actionの不備だった場合は自分には全く分からないですね…。
GitHub Actionに詳しい方がいるといいのですが…。

ご確認ありがとうございました。

book.toml の編集試してみます!

それでダメなら、$で囲っている部分を編集してmathjaxが効くようにして、とりあえず対処します

だめでした.mdbook-katex の利用は諦めることにします.(Action のメンテがされていないようなので,そのせいかもしれません)

訳文のチェックをお願いできませんか?

時間があるときに $ を置換する作業を進めておきます.

問題の切り分けのため、こちらのローカル環境にもmdbook_katexをインストールし、
このリポジトリのソースをダウンロードしてそのままビルドしてみました。
ビルド結果を確認したところ、数式はKaTeXにより正常に表示されていました。

以上より、問題の原因は、GitHub Actionの設定不備か、環境の問題だと思われます。
Rust本体、mdbookmdbook_katexの最新版がインストールされていれば環境としては十分だと思いますが、
GitHub Actionが実行される環境がこの条件を満たしていないのだと考えられます。

mdbookのActionを引っ張ってきているように見えるため、
個人的にはGitHub Actionが実行される環境にmdbook_katexがインストールされていないのではないか、と疑っています。

訳文のチェックはお引き受けいたします。
訳文チェック用のIssueを建ててくだされば、そこでフィードバックいたします。

ただ、進めたい別件があるため、取り掛かるまでに2日ほど掛かるかもしれませんが……、ご了承いただければと思います。

気合と根性で解決しました.

解決方法ですが,コミット内容をみていただければわかりますが,手動で mathjax のスクリプトをHTMLに入れて,デリミタの設定をするようにしました.

読み込みは遅いですが,一応数式がちゃんと表示されますし,$ で囲う記法もそのまま使えるようです.

調査してくださってありがとうございました.