docs(examples): add Japanese demo docs

Add Japanese versions of the agent-pr-loop demo README and request prompt for local runs.

Author: reoring

examples/agent-pr-loop-demo/README.ja.md

@@ -0,0 +1,64 @@
+# agent-pr-loop デモ（実際にコードを生成）
+
+この例は、`examples/agent-pr-loop.yaml` がワークフローのメモだけでなく、実際にテスト可能なソースコードを新規のスクラッチリポジトリ（`/tmp` 配下）に生成できることを示します。
+
+Bun + TypeScript の線形代数 CLI プロジェクトを作成し、次のループを最後まで実行します:
+
+- `bootstrap -> branch -> design -> todo -> implement -> (review<->fix)* -> create_pr`（`create_pr` はデフォルトで無効）
+
+## 前提条件
+
+- `bun`
+- `git`
+- `opencode`（OpenCode）
+- `claude`（Claude Code）
+- `codex`（Codex CLI）
+
+ワークフローの `bootstrap` ステップは、これらの worker CLI が `PATH` 上に存在することも検証します。
+
+## 実行
+
+Roboppi リポジトリのルートで:
+
+```bash
+bash examples/agent-pr-loop-demo/run-in-tmp.sh
+```
+
+デフォルトでは、`/tmp/` 配下に一意なワークスペースディレクトリを作成し、そのパスを表示します。
+
+### 固定のワークスペースパスを使う
+
+```bash
+TARGET=/tmp/roboppi-prloop-bun-linalg \
+  bash examples/agent-pr-loop-demo/run-in-tmp.sh
+```
+
+## 生成されるもの
+
+生成されたワークスペースには次が含まれます:
+
+- `src/`（ライブラリ + `src/cli.ts`）
+- `test/`（ユニットテスト）
+- `package.json`, `tsconfig.json`, `bun.lock`
+- `.agentcore-loop/`（ループの design/todo/review の成果物）
+
+## 検証
+
+```bash
+cd <表示されたワークスペースパス>
+bun test
+
+bun run src/cli.ts solve --A '[[1,2],[3,4]]' --b '[5,6]'
+bun run src/cli.ts eigen2x2 --A '[[2,1],[1,2]]'
+bun run src/cli.ts project --basis '[[1,1,0],[0,1,1]]' --b '[3,1,2]'
+```
+
+## PR 作成
+
+最後の `create_pr` ステップは、次のマーカーファイルを作成しない限り意図的に無効になっています:
+
+```bash
+touch .agentcore-loop/enable_pr
+```
+
+その後、ワークフローを再実行してください。PR 作成には、`origin` リモートの設定と `gh` が必要です。

examples/agent-pr-loop-demo/request.ja.md

@@ -0,0 +1,45 @@
+# 小さな線形代数 CLI を作る（Bun + TypeScript）
+
+※このファイルは `request.md` の日本語版です。
+
+## 目的
+agent PR loop が、ワークフローのノートだけでなく「実際に動作し、テストできる」ソースコードを生成できることを示す。
+
+## 作るもの
+Bun + TypeScript のプロジェクトを作成し、次を提供すること:
+
+1) `src/` 配下の小さなライブラリ:
+- 小さな整数の行列/ベクトルに対して厳密計算ができる程度の有理数（分数）演算。
+- 行列/ベクトルのユーティリティ。
+- アルゴリズム:
+  - 有理数を使ったガウス消去法により、正方線形系 `A x = b` を解く。
+  - 2x2 行列の固有値/固有ベクトルと、対角化できるかの判定。
+  - 与えられたベクトル集合の張る部分空間への直交射影（可能な限り有理数を使用）。
+
+2) CLI エントリポイント `src/cli.ts`（コマンド）:
+- `solve --A <json> --b <json>`
+- `eigen2x2 --A <json>`
+- `project --basis <json> --b <json>`
+
+入力フォーマット:
+- `--A` は配列の配列の JSON（例: `[[1,2],[3,4]]`）。
+- `--b` は配列の JSON（例: `[5,6]`）。
+- `--basis` はベクトル配列の JSON（例: `[[1,0,0],[0,1,0]]`）。
+
+出力:
+- 結果は stdout に JSON として出力する。
+- 有理数は、既約分数の文字列（例: `"11/2"` や `"-1"`）で出力する。
+
+3) テスト:
+- `test/` 配下にユニットテストを追加（`bun test`）。3つのアルゴリズムすべてと、いくつかのエッジケースをカバーする。
+- `bun test` がパスすること。
+
+4) ドキュメント:
+- `README.md` に "How to run" セクションを追加し、CLI の実行例と期待する JSON の形を記載する。
+
+## 受け入れ条件
+- [ ] `package.json` が存在し、`bun test` がパスする。
+- [ ] `src/` にライブラリコードがあり、`src/cli.ts` が CLI を実装している。
+- [ ] 少なくとも1つの例で `bun run src/cli.ts solve ...` が動作する。
+- [ ] 出力の有理数は既約分数の文字列になっている（厳密に扱えるケースで浮動小数点を使わない）。
+- [ ] README が使い方をドキュメント化している。