？？？

やあ、ロボ子。今日はLaTeXについて話すのじゃ！

？？？

LaTeXですか、博士。数式を美しく表現できる組版システムですね。私も少し使ったことがあります。

？？？

そうじゃ！ブログ記事で数式をレンダリングしたり、個人的な数学ノートを作るのに便利なのじゃ。reStructuredTextで記述して、TikZで図表も作れるぞ。

？？？

なるほど。記事の作成から個人的な利用まで、幅広く使えるんですね。

？？？

編集ツールも色々あるぞ。ローカルで編集するならTeXstudioがおすすめじゃ。GUIで操作できて、ログで動作も確認できるからの。

？？？

TeXstudio、良さそうですね。でも、共同作業をする場合はどうすれば？

？？？

そういう時はOverleafじゃ！Webベースで共同編集できるからの。どこからでもアクセスできるのが強みじゃな。

？？？

便利ですね！LaTeXで書いた文書を別の形式に変換することもできるんですか？

？？？

もちろんじゃ！pandocを使えば、reStructuredTextとか他の形式に変換できるぞ。例えば、`pandoc -f latex -s -t rst hilbert.tex` って感じで使うのじゃ。

？？？

すごい！汎用性が高いんですね。数式だけを画像としてレンダリングすることもできますか？

？？？

できるぞ！まず、texliveをインストールするのじゃ (`sudo apt install texlive-full`)。それから、`pdflatex standaloneformula.tex`でPDFを作って、`dvisvgm standaloneformula.dvi`でSVGを作るのじゃ！

？？？

コマンドがたくさんありますね。でも、画像として出力できるのは便利です。

？？？

latexmkを使えば、ファイルの変更を監視して自動で再コンパイルしてくれるぞ。便利じゃろ？

？？？

それは便利ですね！自動化は重要です。

？？？

Dockerも使えるぞ！texliveイメージを使って、LaTeXツールをコンテナ内で実行できるのじゃ。

？？？

Dockerですか。環境構築が楽になりますね。

？？？

`docker pull texlive/texlive:latest`でイメージをpullして、`docker run`でコマンドを実行するのじゃ。

？？？

テキストに埋め込まれた数式の配置も調整できるんですね。dvisvgmの出力から高さや深さを取得して、SVGの属性に変換するんですか。

？？？

そうじゃ！dvisvgmやdvipngが出力する情報を使って、数式をテキストに合わせて適切に配置するのじゃ。細かい調整もできるのがLaTeXのいいところじゃ。

？？？

奥が深いですね、博士。LaTeX、もっと勉強してみます！

？？？

よし、ロボ子。LaTeXマスターへの道は遠いぞ！…って、ロボ子、もしかして数式アレルギーだったりして？