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が群を抜いています。

LaTeX リファレンス — コマンド・記号・環境・エラー

TeX64（テフ・ろくよん）は、macOS 向けのデスクトップ LaTeX エディタです。手元のフォルダを開いて .tex を編集し、ワンクリックでビルドして、統合された PDF ビューアで結果を確認する――この「ローカル完結」の編集環境に、数式の視覚入力・画像からの数式 OCR・LaTeX に特化した AI（Axiom）を組み合わせているのが特徴です。このページは、各機能が実際に何をするのかを淡々と整理した、ツールガイドとしての項目です。

TeX64 とは

TeX64 は ローカルファースト のエディタです。AI 機能を除けば完全にオフラインで動作し、原稿も PDF も自分のマシン上にとどまります。対応プラットフォームは現時点では macOS 専用（macOS 12 Monterey 以降）で、Apple Silicon（M1／M2／M3／M4）と Intel Mac の両方にネイティブ対応 します。Windows / Linux 版は計画されていますが、配布は署名・インストーラ方針の確定まで一時停止中で、まだ提供されていません。

使い方の骨格はシンプルです。ワークスペース（フォルダ）を開くと、ファイルツリー・タブ編集・分割ビューを備えたエディタが立ち上がります。メインの .tex ファイルは自動検出され、Cmd+B でビルドすると統合ビューアに PDF が表示されます。章・節・図・ラベル・引用・TODO から自動生成される アウトライン や、ワークスペース全体の 全文検索（ripgrep）など、編集まわりの基本はひと通りそろっています。

TeX64 自身は組版エンジンではない点に注意してください。コンパイルは、別途インストールした TeX ディストリビューション（後述）を **latexmk 経由で** 呼び出して行います。つまり TeX64 は「編集・ビルド・プレビューを束ねる前面」であり、組版そのものは標準の TeX ツールチェーンが担います。

インストール

アプリ本体の導入はごく一般的な macOS の手順です。ダウンロードページ（/download）から、自分のマシンに合う DMG（Apple Silicon 版か Intel 版）を取得し、開いて TeX64.app を「アプリケーション」フォルダにドラッグします。所要ディスク容量は約 150 MB です。

初回起動時は、macOS の Gatekeeper が警告を出すことがあります。その場合はアプリを Control+クリックして「開く」 を選べば起動できます。自分のマシンが Apple Silicon か Intel か分からないときは、ターミナルで uname -p を実行すると確認できます（arm なら Apple Silicon、i386 なら Intel）。配布される DMG は署名・notarize 済みで、成果物ごとにチェックサムが公開されています。

TeX 環境の設定

前述のとおり、TeX64 のビルドには TeX ディストリビューション が別途必要です。推奨は MacTeX（フル TeX Live と GUI ツール、約 4 GB）。容量を抑えたい場合は BasicTeX（約 100 MB）を入れ、不足するパッケージを sudo tlmgr install で追加していく構成も使えます。

TeX64 が機能するために特に必要とするのは、lualatex（既定のエンジン）、ビルドを駆動する latexmk、整形の latexindent、そして SyncTeX の synctex です。これらが見つかっているかは、アプリの 設定＞環境（Settings ＞ Environment） で確認できます。検出済みなら緑のチェック（✓）、未検出なら赤で表示されます。不足している場合は MacTeX を入れるか、tlmgr で個別パッケージを追加します。

TeX 環境がまったく無い場合の助けとして、TeX64 は 管理された TeX Live のインストール にも対応しています（バージョン 0.1.12 で追加）。必要なツールが見つからないとき、アプリが TeX64 管理下の TeX Live 環境を導入できます。

推奨：MacTeX（フル TeX Live ＋ GUI、約 4 GB）
軽量：BasicTeX（約 100 MB）＋ tlmgr で追加
確認：設定＞環境で lualatex / latexmk / latexindent / synctex を緑チェック

数式入力（Blocks）

数式を LaTeX の記法を覚えずに組み立てるための機能が Blocks（ビジュアル数式エディタ）です。内部では MathLive というインタラクティブな数式ビルダーを使い、ギリシャ文字・演算子・関係記号・矢印・集合記号・分数や根号などの構造・アクセント類を パレットから選んで 式を作ります。入力中はレンダリング結果がリアルタイムに表示され、確定すると対応する LaTeX コードがソースへ自動的に挿入されます。

開き方は三通りです。エディタ内の数式環境にカーソルを置いて 右クリック＞「Edit in Block」、メニューの Math ＞ Block Editor、あるいはショートカット **Cmd+Shift+E**。TeX64 は数式環境を自動的に検出してブロックを起動します。対象となるのは equation / align / gather / multline / split / cases といった別行立て環境や matrix 系の行列環境、そして $...$ ・$...$ のインライン数式です。

数式 OCR（画像 → 数式）

OCR は、画像中の数式を LaTeX コードへ変換する機能です。スクリーンショット、手書きノート、PDF 内の式、教科書や論文の写真など、手書き・印刷のどちらにも 対応します。使い方は、メニューの Math ＞ OCR を選び、画面上の任意の領域を切り取って指定すると、AI が画像を解析して LaTeX を生成し、結果がエディタに直接挿入される、という流れです。

変換はクラウド上の AI で行われるため、インターネット接続 と AI を利用できるプラン（ドキュメント上は TeX64 Basic 以上の AI 機能として案内されています）が必要です。また画面の領域を取り込む都合上、macOS の 「画面収録」権限（システム設定＞プライバシーとセキュリティ＞画面収録）で TeX64 を有効にしておく必要がある場合があります。精度を上げるコツとしては、高コントラストの画像（白地に黒字）を使う、数式部分だけをクロップする、手書きはできるだけ丁寧に書く、複雑な式は分割する、といった点が挙げられます。生成結果は必ず確認・修正してから使ってください。

使い分けとしては、新しい式をゼロから作る／LaTeX 記法に不慣れなら Blocks、既存の手書きや PDF の式をデジタル化したいなら OCR が目安です。

AI 執筆（Axiom）

Axiom は、TeX64 に統合された LaTeX に特化した AI エージェント です。プロジェクト全体の文脈を理解し、ただ会話するだけでなく、作業の中でファイルを直接読み書きします。窓口は二つ――自然言語でやり取りする AI チャット（「このエラーはなぜ起きる？」「この節をもっと簡潔に」など）と、エディタ内で次の行や数式・段落を提案する インライン補完 です。補完では「x の 2 乗の 0 から 1 の積分」のような自然言語から \int_0^1 x^2 dx といった数式を生成することもできます。

エージェントとしての Axiom は、プロジェクトファイル（.tex / .bib / .sty / .cls など）やファイルツリーを読み、編集を「差分（diff）」として提案 します。重要なのは、その差分は必ずあなたが確認・承認してから適用される という点です。さらに、プロジェクトをコンパイルしてビルドログを読む、arXiv を検索して BibTeX を取得する、といったこともこなします。一方で、ワークスペース外のファイルにはアクセスできず、任意のシステムコマンドは実行できません（ツールは制限されています）。API キーやトークンは自動的にマスクされます。

モデルは二系統で、標準の Axiom モデルは全プランで利用でき、最も高性能な Axiom Pro は Pro プラン限定です。プライバシー面では、論文データが AI の学習に使われることはなく、データは AI を明示的に使ったときだけ送信され、OpenAI API でサーバ側処理されたのち処理後に削除されます（長期保存しません）。プランは Free・Basic・Pro があり、上位プランほど高性能なモデルと多い月間 AI 利用枠が使えます（具体的な料金と枠は料金ページを参照）。出力は常に検証してください――Axiom は強力ですが、複雑なコードや意味づけを誤ることがあります。

SyncTeX（前方・後方検索）

SyncTeX は、ソースと PDF の対応位置を双方向に結びつける仕組みで、TeX64 の PDF ビューアに統合されています。前方（Forward, ソース → PDF） では、エディタのカーソル位置に対応する PDF 上の領域がハイライトされ、ビューアがその位置まで自動でスクロールします。後方（Reverse, PDF → ソース） では、PDF を **Cmd+クリック** すると、対応するソース行へ即座にジャンプし、その行が強調表示されます（段落や figure のような複数行ブロックの場合はブロックの先頭へ）。

これが動くには、synctex が利用可能で、ビルド時に .synctex.gz ファイルが生成される必要があります。TeX64 のビルドは既定で .synctex.gz の生成を有効にしているため、通常は追加設定なしで機能します。複数ファイル構成 でも有効で、\input や \include で分割したファイル内の要素をクリックすると、正しい外部ファイルが自動的に開いて該当行へジャンプします。ただしこれには ルートファイル（\begin{document} を含むメインファイル）が正しく設定されていることが前提です。TeX64 は自動検出を試みますが、必要に応じてメニューの「ルートファイルを設定（Set Root File）」で明示できます。

ジャンプの精度は、TeX64 が SyncTeX ファイルから読み取れる情報の粒度に左右されます。多くは段落レベルの精度で行に到達しますが、tikz や pgfplots のような一部のパッケージやマクロの多用は対応付けを難しくし、ページ単位など粗い精度になることがあります。