Gyro Logicの最小形式モデル：局所的表出・Stability Scene・文脈的Tracing
Canonical Core を維持した探索的形式化
DOI:
https://doi.org/10.51094/jxiv.5641キーワード:
Gyro Logic、 最小形式モデル、 Structure（構造）、 Slice（スライス）、 Stability（安定性）、 Stability Scene、 Trajectory（軌跡）、 Difference（差異）、 Boundary（境界）、 形式化抄録
本論文は、Gyro Logic の Canonical Core（Structure・Slice・Stability）を維持したまま、現在までに形成された概念的区別を整理するための Minimal Formal Model を提案する。Structure、Slice、local articulation、Stability Scene、Incorporated Readability、Continuity Readability、Trajectory、Difference、Boundary を相互に区別し、それらを既存の単一数学分野へ早期に還元することなく形式的に記述するための最小限のコミットメントを示す。また、関係構造、グラフ理論、位相空間、力学系、圏論などとの比較を通じ、本モデルが探索的形式モデルであり、今後の理論検証・比較研究・GyroOS・GyroAuthへの実装研究の基盤となることを示す。
利益相反に関する開示
著者は、本研究に関して開示すべき利益相反はありません。ダウンロード *前日までの集計結果を表示します
引用文献
Alchourrón, C. E., Gärdenfors, P., & Makinson, D. (1985). On the logic of theory change: Partial meet contraction and revision functions. The Journal of Symbolic Logic, 50(2), 510–530. https://doi.org/10.2307/2274239
Baier, C., & Katoen, J.-P. (2008). Principles of Model Checking. MIT Press.
Diestel, R. (2017). Graph Theory（第5版）. Springer. https://doi.org/10.1007/978-3-662-53622-3
van Glabbeek, R. J., & Plotkin, G. D. (2009). Configuration structures, event structures and Petri nets. Theoretical Computer Science, 410(41), 4111–4159. https://doi.org/10.1016/j.tcs.2009.06.014
Koller, D., & Friedman, N. (2009). Probabilistic Graphical Models: Principles and Techniques. MIT Press.
Mac Lane, S. (1998). Categories for the Working Mathematician（第2版）. Springer. https://doi.org/10.1007/978-1-4757-4721-8
Mac Lane, S., & Moerdijk, I. (1992). Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Springer. https://doi.org/10.1007/978-1-4612-0927-0
Milner, R. (1980). A Calculus of Communicating Systems. Springer. https://doi.org/10.1007/3-540-10235-3
Milner, R. (1982). Four combinators for concurrency. In Proceedings of the First ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (pp. 104–110). https://doi.org/10.1145/800220.806687
Munkres, J. R. (2000). Topology（第2版）. Prentice Hall.
Nielsen, M., Plotkin, G. D., & Winskel, G. (1981). Petri nets, event structures and domains, Part I. Theoretical Computer Science, 13(1), 85–108. https://doi.org/10.1016/0304-3975(81)90112-2
Strogatz, S. H. (2015). Nonlinear Dynamics and Chaos（第2版）. Westview Press.
ダウンロード
公開済
投稿日時: 2026-07-19 03:07:25 UTC
公開日時: 2026-07-30 02:50:58 UTC
ライセンス
Copyright（c）2026
Kawakami, Shuntaro
この作品は、Creative Commons Attribution 4.0 International Licenseの下でライセンスされています。
