学術論文

外部リスト

• Google Scholar
• DBLP

最近の主要論文

哲学的論理学

• Suzuki, U. & Yamagata. Y(2023). Notion of validity for the bilateral classical logic. arXiv preprint arXiv:2310.13376. プレプリント

確率過程・形式手法

• Ikeda, M., Yamagata, Y. & Kihara, T(2023). On the Metric Temporal Logic for Continuous Stochastic Processes. arXiv preprint arXiv:2308.00984. プレプリント

位置情報を利用した新型コロナ感染シミュレーション

• Yamagata, Y., Takami, S., Yamazaki, K., Nakaya, T., & Onishi, M.(2022). Individual-based epidemic model of COVID19 using location data. In Big Data Analytics for Health and Medicine:著者版

限定算術

• Beckmann, A., & Yamagata, Y. (2022). On proving consistency of equational theories in Bounded Arithmetic. arXiv preprint arXiv:2203.04832.:プレプリント
• Yamagata, Y. (2018). Consistency proof of a fragment of pv with substitution in bounded arithmetic. The Journal of Symbolic Logic, 83(3), 1063-1090.:最終版,プレプリント
• Yamagata, Y. (2012). Bounded arithmetic in free logic. Logical Methods in Computer Science, 8.:最終版

コンピューターセキュリティ・安全性・アシュアランス

• Matsuno, Y., Yamagata, Y., Nishihara, H., & Hosokawa, Y. (2021, October). Assurance Carrying Code for Software Supply Chain. In 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) (pp. 276-277). IEEE.:最終版,著者版
• Yamagata, Y., & Matsuno, Y. (2020, March). Algebraic Approach for Confidence Evaluation of Assurance Cases. In International Conference on Formal Engineering Methods (pp. 318-327). Springer, Cham.:最終版,著者版

ハイブリッドシステム・形式手法・強化学習

• Yamagata, Y., Liu, S., Akazaki, T., Duan, Y., & Hao, J. (2020). Falsification of cyber-physical systems using deep reinforcement learning. IEEE Transactions on Software Engineering, 47(12), 2823-2840.:最終版,著者版
• Akazaki, T., Liu, S., Yamagata, Y., Duan, Y., & Hao, J. (2018, July). Falsification of cyber-physical systems using deep reinforcement learning. In International Symposium on Formal Methods (pp. 456-465). Springer, Cham.:最終版,プレプリント

昔の論文

• Yoriyuki Yamagata, Strong normalization of second-order symmetric lambda-mu calculus, Information and Computation 193-1 (2004), Elsevier.: 最終版,著者版
• Yoriyuki Yamagata, Strong normalization of a symmetric lambda calculus for second-order classical logic, Archive for Mathematical Logic 41-1 (2002), Springer.: 最終版,著者版
• Yoriyuki Yamagata, Strong normalization of second-order symmetric lambda-mu calculus, TACS2001 (Theoretical Aspects of Computer Software, 4th International Symposium), LNCS 2215(2001).: 最終版,著者版