逆検索

逆検索（「リバース検索」とも呼ばれる）^[1]は、LaTeXやGNU LilyPondなどの非対話型タイプセッティングプログラムの機能です。これらのプログラムは、文書の抽象的なテキスト定義を入力として読み取り、これをDVIやPDFなどのグラフィカル形式に変換します。ウィンドウシステムでは、これは通常、ソースコードが1つのエディタウィンドウに入力され、結果の出力が別の出力ウィンドウに表示されることを意味します。逆検索とは、出力ウィンドウのグラフィカルオブジェクトがハイパーリンクとして機能し、クリックしたオブジェクトが定義されたエディタの行と列に戻ることを意味します。逆検索機能は、校正時に特に便利です。

• TeXとLaTeXでは、パッケージ srcltx が DVI 出力ファイル (例: yapまたはXdviを使用) を介した逆検索機能を提供します。一方、vpe、pdfsync、SyncTeX は、他の技術の中でも、PDF 出力に対して同様の機能を提供します。TeXエディターの比較には逆検索のサポートに関するコラムがあり、現在ではほとんどのエディターがこの機能を提供しています。
• GNU LilyPondはバージョン2.6以降、PDF出力ファイルからの逆検索機能を提供しています。プログラムではこの機能をポイントアンドクリックと呼んでいます。
• 多くのプログラミング統合開発環境では、コンパイルエラー メッセージを表示したり、ブレークポイントに到達したときにデバッグ中に逆検索を使用します。

• Jérôme Laurens、「SyncTeX による直接および逆同期」、TUGboat 29(3)、2008、p365–371、PDF (532KB) — TeX による同期技術の概要を含む

• xdvi で逆検索を設定する方法