構造持続の条件つき導出 — 条件つき導出と弱依存下の安定性 —
Fuente:
Zenodo
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Recurso digital |
| Veröffentlicht: |
Zenodo
2026
|
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866901985981104128 |
|---|---|
| author | Sunagawa, Akihito |
| author_facet | Sunagawa, Akihito |
| contents | <div> <div>前稿で示した構造持続の最小形式 $S = Me^{-L}$ の背後には、状態集合の残存量に関する指数式 $m(V^{(n)}) = m(V^{(0)}) e^{-L}$ がある。この式は、状態集合の縮小率を対数比で定義する限り恒等式として成り立ち、損失どうしの独立性を要しない。本稿の目的は、この恒等式を繰り返すことではなく、どこまでが定義の帰結であり、どこからが追加条件に依存するのかを明示することにある。</div> <br> <div>そのために、まず A1–A2 のもとで恒等式が成り立つことを確認する。ついで、段階損失の生成過程を確率的にモデル化する際の独立性条件 A3 を導入し、その緩和のもとでどこまで安定性が保たれるかを述べる。最後に、Lean による形式検証の範囲を記す。本稿の役割は、最小形式の背後にある数学的骨格を、必要最小限のかたちで与えることにある。</div> </div> |
| format | Recurso digital |
| id | zenodo_https___doi_org_10_5281_zenodo_19538647 |
| institution | Zenodo |
| language | |
| publishDate | 2026 |
| publisher | Zenodo |
| record_format | zenodo |
| spellingShingle | 構造持続の条件つき導出 — 条件つき導出と弱依存下の安定性 — Sunagawa, Akihito <div> <div>前稿で示した構造持続の最小形式 $S = Me^{-L}$ の背後には、状態集合の残存量に関する指数式 $m(V^{(n)}) = m(V^{(0)}) e^{-L}$ がある。この式は、状態集合の縮小率を対数比で定義する限り恒等式として成り立ち、損失どうしの独立性を要しない。本稿の目的は、この恒等式を繰り返すことではなく、どこまでが定義の帰結であり、どこからが追加条件に依存するのかを明示することにある。</div> <br> <div>そのために、まず A1–A2 のもとで恒等式が成り立つことを確認する。ついで、段階損失の生成過程を確率的にモデル化する際の独立性条件 A3 を導入し、その緩和のもとでどこまで安定性が保たれるかを述べる。最後に、Lean による形式検証の範囲を記す。本稿の役割は、最小形式の背後にある数学的骨格を、必要最小限のかたちで与えることにある。</div> </div> |
| title | 構造持続の条件つき導出 — 条件つき導出と弱依存下の安定性 — |
| url | https://doi.org/10.5281/zenodo.19538647 |