WRITING, READING & PUBLISHING
数学の文章を書く、用例を調べる、原稿を公開する。DempaCommがGitHubで公開しているskillsとツールを紹介します。
数識電収で蓄積してきた数学の文章や、原稿を保存・公開する仕組みを、ほかの執筆にも使える形で公開しています。マーケットプレイスから日本語数学文書用のskillsを導入し、用例を探すコーパス、サイトの公開基盤、変換の試作ツールへ進めます。
DempaCommの公開リポジトリ一覧01 / MARKETPLACE
Codexのプラグインとして導入
日本語数学文書用のskillsをまとめて導入するためのマーケットプレイスです。プラグイン一覧では「DempaComm」と表示されます。
収録プラグイン「Japanese Math Skills」（0.1.0）には、write-japanese-mathとread-japanese-mathの2本に加え、公開TeXの用例コーパスと検索ツールを同梱しています。2つのskillsを個別にフォルダへ配置せずに使えます。
codex pluginに対応するCodex CLIで、次の2行を実行します。
codex plugin marketplace add DempaComm/japanese-math-skills-marketplace
codex plugin add japanese-math-skills@dempacomm追加後は、対応するアプリのプラグイン一覧で「DempaComm」を選び、「Japanese Math Skills」をインストールすることもできます。導入後は新しいチャットを開始し、対象原稿と読者、作業範囲を添えて依頼してください。
Codex側のコマンド仕様は公式OpenAIドキュメントを参照できます。
02 / SKILLS
skillsは、AIに作業の進め方や参照資料を伝える指示と資料のセットです。japanese-math-skillsには、日本語の論文・解説・講義ノートに使う2本を収録しています。
執筆・改稿・推敲
write-japanese-math対象読者と編集範囲を確かめ、定義・定理・証明のつながりを保ちながら日本語の文章を整えます。英語原稿の和訳を伴う改稿にも使えます。
依頼の例
$write-japanese-math を使って、この定理と証明を学部3年向けの日本語の解説にしてください。執筆スキルの内容を読む
独立した読者によるレビュー
read-japanese-math版を固定した原稿を、執筆時の会話や作業履歴を渡さずに別の読者へ委任します。読者がつまずく箇所、説明の不足、前後のつながりを、場所を示して報告します。
依頼の例
別エージェントに $read-japanese-math を使わせ、この原稿を学部3年の読者として editorial 方式でレビューしてください。レビュー用スキルの内容を読む
レビューには、順に読む continuous、全体を読む editorial、変更箇所を読む delta の3方式があります。独立レビューは明示的に依頼したときに行い、原稿を書き換えずに読解上の指摘を返します。証明の正しさの認定は、これらのskillsの役割に含まれません。
skills/write-japanese-mathとskills/read-japanese-mathを、利用するAI環境のスキル探索フォルダへ一緒にコピーします。レビュー用スキルが執筆基準を参照するため、2フォルダは隣り合わせに置きます。既存の同名スキルがある場合は退避してから更新してください。導入の詳細はREADMEの導入手順を参照できます。
03 / CORPUS
日本語数学文書用のskillsには、数識電収の公開TeXを出典とするコーパスを同梱しています。定義を導入する、対象を選ぶ、独立性を確かめる、結論へ進む、といった文章や論証の役割から用例を探せます。
Python 3.10以上を用意し、展開したパッケージのフォルダで次を実行します。追加のPythonパッケージやTeX環境は不要です。
python3 viewer/serve.py起動後、ブラウザのアドレス欄にhttp://127.0.0.1:8769/を入力すると検索画面が開きます。コマンドから用例を探すこともできます。
python3 skills/write-japanese-math/scripts/corpus.py '1の分割' --limit 3用例は、対象原稿に合う表現を選ぶための資料です。頻度の高い表現を一律の規則にしたり、採録された証明を条件の違う問題へそのまま移したりせず、前提と文脈を確かめて使います。
04 / PUBLISHING
このサイトのソースコード
数学原稿、PDF、TeX、図版を記事ごとに保存し、静的なサイトとして公開する仕組みです。原稿のハッシュを検査し、LaTeXからPDFを生成して、GitHub Pagesへ配置します。
公開年・タグ・数学分野別の一覧、本文検索、定理等の索引、読書経路、原稿関係図も、このリポジトリで管理しています。公開済みの機能と運用手順はREADMEから確認できます。
サイトの構成と管理方法を読む05 / EXPERIMENTS
ここからは実験段階のプロジェクトです。対応する入力と現在の制限を各READMEで確認してから、小さな例で試せます。
Typstへの変換補助 · アルファ版
Tylaxが生成したTypstソースを補正し、日本語の定理・証明を共通スタイルで組版するためのツールです。元のTeXと生の変換結果を保ち、補正内容や停止理由を報告します。
未対応の命令や未解決の参照などは停止対象です。生成物は元PDFと見比べて確認します。
対応範囲と試し方SATySFiへの変換 · アルファ版
Pandocの中間表現を経由してLaTeXをSATySFiへ変換する試作です。元原稿を一時領域へコピーし、変換ソース、報告、ログ、PDFを分けて保存します。
本文・基本的な数式や定理・参照が初期範囲です。引用・文献・図版・表などは未対応で、生成物には目視確認が必要です。
対応範囲と試し方紹介内容の確認日：。上記の各リポジトリのREADMEと公開スキルをもとにまとめています。最新の対応範囲や導入方法は、それぞれのリンク先を参照してください。
ソフトウェアや収録資料の利用条件は、各リポジトリのライセンス表示に従ってください。日本語数学文書用skillsにはライセンスと適用範囲、出典・加工内容を同梱しています。
数識電収のトップへ戻る