モダンなエージェント型L^aT_eXエディタ

変更 1 コメント

L^aT_eXを書く時、なぜL^aT_eXソースを読む？PDFを読むだけ！😎

main.tex · 6行目

\LaTeX{}を書く時、まずなぜ\LaTeX{}ソースを読んで読む？PDFを探す😭を読むだけ！😎

$ npm install -g papilot

バージョン 0.9.0 · 無料・オープンソース · MIT License

対応コーディングエージェント

Codex
Claude
Cursor
GitHub Copilot
Grok
Antigravity
Kimi
GLM
DeepSeek
Qwen
OpenCode

論文で大切なのはアイデアとストーリー

言い回しやレイアウトの調整に気を取られるべきではありません。

main.tex

\subsection{Typing}
A lambda $\lambda x.\,e$ has a
function type when its
body does:
\begin{mathpar}
  \inferrule
    {\Gamma, x{:}\tau_1 \vdash e : \tau_2}
    {\Gamma \vdash \lambda x.\, e
       : \tau_1 \to \tau_2}
\end{mathpar}
Application is typed
in the same way.

3.2 TypingΓ, x : τ₁ ⊢ e : τ₂T-AbsΓ ⊢ λx. e : τ₁ → τ₂

AI以前

L^aT_eXを手作業で記述

左にソース、右にプレビューを並べ、すべての行を手作業で入力していました。

エディタへのAI導入

L^aT_eXの差分を確認

AIがソースを編集します。差分が積み重なると読み切れなくなり、AI任せになってしまいます。

Papilot

PDFをレビュー

AIがソースを編集し、各変更を組版されたページ上でレビューします。

01注釈を付ける

変更したい箇所を直接指定

文を選択するか、数式や図を枠で囲んで、変更内容を書き込むだけです。どのファイルにあるかを意識しなくても、エージェントには正確なソース行が伝わります。

この型システムは、型検査の決定可能性を維持しつつ、言語の表現力を大幅に向上させる。

=+(4)

PDF上の2件の注釈 12ページ · main.tex:24

もっと平易な表現にする

22ページ · main.tex:31

凡例を右上に移動する

12 Claude

ここをどう変更しますか？

02レビュー

すべての変更を、一つずつ判断

論文は読まれるために書くものだからこそ、すべての変更が適切でなければなりません。変更がいくつあっても一つずつ組版して表示され、承認したものだけが論文に反映されます。まだ不十分な箇所があれば、コメントを付けるだけでエージェントが再修正します。

3.2

変更 1

変更前

~~λx. eの型は、xとその本体eの型によって決まる。~~

変更後

文脈 Γ, x : τ₁ のもとで e が型 τ₂ を持つならば、λx. e は型 τ₁ → τ₂ を持つ。Γ, x : τ₁ ⊢ e : τ₂T-AbsΓ ⊢ λx. e : τ₁ → τ₂

=+(7)

レビューのフィードバック · 1件のコメント

ここは推論規則で書いて

未送信のレビュー更新が1件ありますフィードバックを送信

Codex

エージェントにここをどう変更させますか？

03コミット

すべての変更を履歴に記録

各タスクは専用のGit作業ツリーで実行され、承認した変更のコミットとプッシュは独立したステップとして行われます。論文へのすべての変更はGitの履歴に残ります。

3.2

Γ, x : τ₁ ⊢ e : τ₂T-AbsΓ ⊢ λx. e : τ₁ → τ₂

main

1個のファイルをステージ済み

main.tex+3 −1

コミットメッセージ

1個のファイルをコミット

T-Absを規則として記述3f9c2a1

ecce73e

91b07d4

5a2e8c0

プッシュリモートにプッシュしました。

Papilotを入手

デスクトップアプリはmacOSおよびLinuxで動作し、コマンドライン版はnpm（Node.js 22.22+）からインストールできます。どちらもGitとお使いのTeXディストリビューション（MacTeXまたはTeX Live）を使用します。PapilotはMIT Licenseのもとで公開されている無料のオープンソースソフトウェアです。

エージェントのセットアップ変更履歴

ターミナル

$ npm install -g papilot
$ papilot demo
Example paper ready: Papilot paper (~/.papilot/example-paper)
Papilot is running at http://127.0.0.1:7274

モダンなエージェント型LaTeXエディタ