Quiver - モダンな可換図式エディタ

 (github.com/varkor)
1 ポイント 投稿者 GN⁺ 2024-12-28 | 1件のコメント | WhatsAppで共有

  • quiverは、可換図式および貼り合わせ図式のためのモダンなグラフィックエディタ

  • 高品質な図式を画面上で見やすくレンダリングし、LaTeXへエクスポート可能

  • 手作業でLaTeXを書くよりもはるかに速く図式を作成・修正でき、少し慣れれば手描きに匹敵することも可能

  • 機能とスクリーンショット

    • quiverは、複雑な可換図式や貼り合わせ図式を作成するための、効率的で直感的なインターフェースを提供する。引き戻しや押し出し、付着、高次元セルを含む図式も簡単に描ける。オブジェクトの配置は、ラベルサイズに応じて調整される柔軟なグリッドに基づいている。さまざまに組み合わせ可能な矢印スタイルを備え、ラベルや矢印に色を付けることもできる。

    • quiverはスクリーンショット映えするよう設計されており、元の図式にできるだけ近く見えるLaTeXへエクスポートできる。マウスでクリックやドラッグして、またはキーボードを使って図式を作成・修正でき、あらゆる操作を行える完全なキーボードショートカット一式も備えている。

    • LaTeXに図式をエクスポートする際、quiverは図式へのリンクも含めるため、後から編集したり他の人と共有したりできる。

    • その他の機能

      • 複数選択機能により大量の変更を簡単に行える
      • 操作を取り消し／やり直しできる履歴システム
      • ユーザー定義マクロの定義をサポート: \newcommand を含むファイルのURLを貼り付け
      • HTMLに埋め込み可能な図式のエクスポート
      • 大規模な図式向けのパンおよびズーム機能
      • スマートなラベル配置とエッジのオフセット

  • マクロと色のインポート

    • quiverでユーザー定義マクロや色を使うには、次のような定義を含むファイルを作成する必要がある。

      \newcommand{\cat}{\mathscr}  
\newcommand{\psh}{\widehat}  
\newcommand{\smcat}{\mathbb}  
\newcommand{\yo}{よ}

    • そのファイルを一般公開されたURLにアップロードし、quiverの「マクロ」入力欄にそのURLを貼り付ける。現在、マクロは \newcommand, \newcommand*, \renewcommand, \renewcommand*, \DeclareMathOperator, \DeclareMathOperator* で定義でき、色は \definecolor を使って定義できる（rgb, RGB, HTML, gray カラーモードを使用）。

  • エディタ統合

    • quiverのWikiでエディタ統合を参照できる。

  • ビルド

    • コマンドラインで make を実行した後、src/index.html をWebブラウザで開く。失敗する場合は、MakeまたはBashの互換性のないバージョンを使っている可能性がある。その場合は、最新のKaTeXリリースを手動でダウンロードし、src/ 内に src/KaTeX/ として配置する必要がある。KaTeXのパスが正しくないと、KaTeXの読み込み失敗エラーが発生する。

    • quiverは localhost 経由で実行する必要がある。Pythonがインストールされていれば、次のコマンドを実行することで簡単に対応できる。

      python3 -m http.server

    • quiverを src ディレクトリで実行した後、ブラウザで localhost:8000 を開く。ビルドに問題がある場合は、問題を詳しく説明したIssueを作成すれば支援を受けられる。

  • 謝辞

    • S. C. Steenkamp: 矢印の美しいレンダリングに関する有益な議論
    • AndréC: 固定高さ曲線のためのカスタムTikZスタイルを提供
    • Nathan Corbyn: HTMLに埋め込み可能な図式エクスポート機能を追加
    • Paolo Brasolin: オフライン対応を追加
    • Carl Davidson: ループのレンダリングに関する議論とプロトタイプ
    • quiverの改善に貢献したすべてのバグ報告者と改善提案者

関連記事

1件のコメント

 
GN⁺ 2024-12-28
Hacker Newsのコメント

  • このツールは素晴らしく、Fourier-Poissonキューブを約10分で作成できた。UIがとても直感的

    • 自由なキャンバスよりも可換図式に集中しているのは、すっきりしていて使いやすい優れた設計上の選択
    • 論文執筆時にこのツールがあれば、多くの時間を節約できただろう

  • 最近、Petri net editorに深く感銘を受けた

    • Petri netは、有限状態機械がマルチスレッドになったものに近い
    • "statebox"という組織の記事を通じて、Petri netを初めて知った
    • 彼らの論文を読んで魅了され、そこで働くのが夢になった
    • 今の彼らのホームページには「圏論家になることを想像してみてください」というテキストと笑顔の絵文字しかなく、何があったのかわからない

  • 数日前にこのツールを使って、本のための簡単な図を描いた

    • 圏論にしか使えないので、ノードをきれいに装飾するためのサポートは不足しているが、LaTeXなら可能

  • 昨夜TikZCDを使ったが、これはこのツールの機能を減らした版だった

    • 簡単な図を描くにはかなり良い

  • 「可換図式や貼り合わせ図式」とは何か、説明してもらえるのか気になっている

    • Wikipediaのページがあまりに抽象的で、基本的なレベルでは理解しづらかった

  • Webフレンドリーな形式にエクスポートできるのか気になる。SVGになりそう

    • localhostでquiverを実行すると、リンクで共有するのは選択肢にならない

  • とても良い製品

    • 以前はTikZコードを手で書いていて、それでもかなり速かったが、今では多くを忘れてしまったので、このツールは可換図式にとても役立ちそう

  • 数年前に圏論の授業を受けていたとき、Quiverは絶対に不可欠だった

    • UIはすっきりしていて直感的で、機能も多かった
    • TikZと比べると、Quiverは比較にならないほど優れている

  • Quiverを何度も使ったが、どの体験も素晴らしかった

    • 作者たちに賛辞を送りたい

  • ここからコード生成ツールが生まれそう