#boundedarithmetic — Public Fediverse posts

Hi,

I'm an associate professor at Department of Engineering, University of Fukui. I'm interested in theoretical computer science, software engineering, mathematical logic, also related philosophical topics. If you want to study in Fukui, please let me know.

My recent papers:

Mathematics:
Beckmann, A., & Yamagata, Y. (2025). On proving consistency of equational theories in bounded arithmetic. The Journal of Symbolic Logic

Theoretical Computer Science:
Ikeda, M., Yamagata, Y., & Kihara, T. (2024). On the Metric Temporal Logic for Continuous Stochastic Processes. Logical Methods in Computer Science,

Software Engineering:
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

Philosophy:
Suzuki, U., & Yamagata, Y. (2023). Notion of validity for the bilateral classical logic. arXiv preprint arXiv:2310.13376.

#Logic #MathematicalLogic #BoundedArithmetic #SoftwareEngineering
#Philosophy
#PhilosophicalLogic
#PhilosophyOfLanguage

Hi,

I'm a researcher interested in theoretical computer science, software engineering, mathematical logic, also related philosophical topics.

My recent papers:

Mathematics:
"On proving consistency of equational theories in Bounded Arithmetic". Arnold Beckmann and Yoriyuki Yamagata, preprint: https://arxiv.org/abs/2203.04832

"Consistency proof of a fragment of PV with substitution in bounded arithmetic." Yoriyuki Yamagata, The Journal of Symbolic Logic 2018: https://arxiv.org/abs/1411.7087

Software Engineering:
(2020). "Falsification of cyber-physical systems using deep reinforcement learning", Yamagata, Y., Liu, S., Akazaki, T., Duan, Y., & Hao, J, IEEE Transactions on Software Engineering, 47(12), 2823-2840 (2021), https://staff.aist.go.jp/yoriyuki.yamagata/paper/falsify.pdf

Philosophy:
, "On the notion of validity for the bilateral classical logic", Suzuki, Ukyo & Yamagata, Yoriyuki, preprint: https://philpapers.org/rec/SUZOTN

Extra: COVID19
"Individual-based epidemiological model of COVID19 using location data". In 2022 IEEE International Conference on Big Data (Big Data) (pp. 4434-4442). IEEE., https://staff.aist.go.jp/yoriyuki.yamagata/paper/covid19.pdf

#Logic #MathematicalLogic #BoundedArithmetic #SoftwareEngineering
#Philosophy
#PhilosophicalLogic
#PhilosophyOfLanguage
#COVID19 #Introduction