TeX64は無料ですか？

はい。TeX64の基本エディタ機能（直感的な数式入力・ビルド・SyncTeX・PDFプレビュー）は完全無料で使えます。AI執筆機能 Axiomや画像からの数式OCR変換はオプションの有料機能です。Basicプラン月額$12でAI執筆とOCR変換が利用可能、Proプラン月額$25で全機能フルアクセスです。

既存のLaTeX環境（TeX Live等）をTeX64で使えますか？

はい。TeX64はお使いのTeX環境（TeX Live、MacTeX、BasicTeX）をそのまま利用します。独自フォーマットやロックインは一切ありません。既存のLaTeXプロジェクトをそのまま開いてビルドできます。

TeX64のAI執筆機能 Axiomとは何ですか？

Axiomは、TeX64に搭載されたAI執筆支援機能です。自然言語で「フーリエ変換の定義式を書いて」「この証明の続きを補完して」と伝えるだけで、LaTeXコードの下書きを即座に生成します。「提案→差分確認→適用→Undo」のワークフローで、AIの出力を常に安全にコントロールでき、意図しない変更が入ることはありません。

TeX64の直感的な数式入力とは？

TeX64の直感的な数式入力は、LaTeXの構文を暗記していなくても、視覚的なパレットから記号（分数、積分、行列、ベクトル等）を選びながら数式を組み立てられる機能です。入力結果はリアルタイムでプレビューされ、即座にLaTeXコードに変換されます。従来のLaTeX入力に比べて大幅に高速で、初学者から熟練者まで活用できます。

TeX64で画像から数式をLaTeXに変換できますか？

はい。TeX64の画像からの数式OCR変換機能を使えば、手書きノートの写真、PDF内の数式、教科書のスクリーンショットなど、あらゆる数式画像を編集可能なLaTeXコードに自動変換できます。スクリーンショットを撮るだけで変換が始まり、結果はそのままエディタで編集・ビルドしてPDFに出力できます。

TeX64はオフラインで使えますか？

はい。TeX64はローカルファーストのmacOSネイティブアプリで、エディタ・ビルド・PDFプレビュー・SyncTeXは完全にオフラインで動作します。データはMac上に保持され、外部サーバーに送信されません。AI執筆機能 Axiomと画像からの数式OCR変換のみインターネット接続が必要です。

TeX64はOverleafの代わりになりますか？

TeX64はOverleafとは異なるローカルファーストのアプローチを採用しています。オフラインで動作し、Gitとの統合も容易です。AI執筆機能 Axiom・直感的な数式入力・画像からの数式OCR変換など、Overleafにはない独自の革新的機能を備えています。共同編集が不要で、高速なローカル環境・プライバシー・Git連携を求める方にはTeX64が最適です。一方、リアルタイム共同編集が必要な場合はOverleafが向いています。

TeX64の動作環境は？

TeX64はmacOS 12（Monterey）以降で動作します。Apple Silicon（M1/M2/M3/M4）とIntelの両方にネイティブ対応。TeX Live、MacTeX、またはBasicTeXのTeX環境が別途必要です。AI機能とOCR変換にはインターネット接続が必要ですが、基本機能は完全にオフラインで動作します。

macOSで最もおすすめのLaTeXエディタは？

macOSで最も先進的なLaTeXエディタはTeX64です。AI執筆機能 Axiomによる自然言語からのLaTeX生成、直感的な数式入力による高速な式の構築、画像からの数式OCR変換によるノートやPDFからの自動変換を、macOSネイティブアプリの速度で提供します。TeXShop（無料・シンプル）、Texifier（ライブプレビュー）、VS Code + LaTeX Workshop（拡張性）、Overleaf（共同編集）などの選択肢もありますが、AI統合と数式入力の革新性ではTeX64が群を抜いています。

画像化（TeX2img / dvisvgm / ImageMagick）

LaTeX の数式や図を画像として欲しいことがあります——スライド用の PNG、Web 用の SVG など。手順は「その一片だけ組版し、余白を切り詰め、ラスタ化またはベクタ化する」。道具は TeX2img（一発）、dvisvgm（→SVG）、ImageMagick＋Ghostscript（→PNG）、そして余白を切る pdfcrop。

一発で — TeX2img

TeX2img は、LaTeX ソースをコンパイルして PDF にし、そこから きっちり切り詰めた画像（PNG・SVG・JPEG など）を、透過・アンチエイリアス付きで作ります。数式や図の画像を作るのに最も手軽で、とくに日本でよく使われます。

手作りのパイプライン

まず一片だけを組版します——standalone クラス は内容に合わせて自動で切り詰めます（通常の PDF なら pdfcrop で余白を除去）。そのうえで、ベクタ（SVG） なら dvisvgm（拡大しても劣化しない。Web や数式向き）、ラスタ（PNG） なら ImageMagick（magick -density 300 in.pdf out.png）。ImageMagick は Ghostscript で PDF を描画するので、-density を上げると高解像度に、必要に応じ透過も指定できます。Ghostscript で直接ラスタ化（-sDEVICE=pngalpha）することも可能です。

terminal

pdfcrop eq.pdf eq-crop.pdf              # 余白を切り詰め / trim margins
magick -density 300 eq-crop.pdf eq.png  # PDF → PNG（300dpi, Ghostscript 経由）
dvisvgm --pdf eq-crop.pdf               # PDF → SVG（ベクタ）

使い分け

手早く数式・図の画像 → TeX2img。
Web 用に劣化しないベクタ → dvisvgm（SVG）。
PNG/JPEG が要る → pdfcrop → ImageMagick（Ghostscript）。高解像度は -density を上げる。
図を単体ファイルにするなら standalone クラスが自動で切り詰める。

次に読む