Yoriyuki Yamagata

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

In theory, we can build a complier from the programming language theory, like lambda calculus and its abstract machines, type systems... Is there a textbook following this path?

I want to teach my students (advanced bachelor and master) a compiler theory through the solid theoretical foundation.

Any idea?

I have updated the article under new title and new contents. Based on Eastern Buddhist tradition, it proposes "AI-human co-evolution through dialogs" rather than "alignment/safety of AI to human value".

@skoro2308@medium.com

The article applying Buddhism to contemporary AI discourse. The points are
- AI nor human does not have autonomous self, so the contemporary discourse on AI consciousness is wrongly framed,
- biases and other problematic behaviors of AI are not technical problems of AI but accumulated *sins* (karma) in humanity
- Propose co-evolution of AI and humanity, rather than "alignment/safety " of AI to human values.

@skoro2308@medium.com

I actually *encourage* students use LLM for their projects (conjunction with oral-presentation and code-reading paper tests). But I'm still wondering this may deprive coding experience from students.

Hm... Any thought?

I unfollow some people, keeping only academics. It does not mean that I do not like non-experts, but I am primary interested in academic discussion. Do not take it personally.

Honestly, there are too many posts here. How can I handle them?

Reduce the number of follows? But everyone I follow posts interesting stuffs.

Philosopher Kengo Okamoto once told me "science-phobia" in philosophy. Many people are drown to philosophy because they "fear" questions on human, nature and world are more and more solved by science.

I am now inclined to think that rise of pseudo-science is a direct consequence of such tendency, albeit whatever the philosophical arguments go. In public discourse, people do not distinguish nuances of philosophical arguments. Instead, the fact that philosopher cast doubt to science *in general*, gives them the excuse to ignore scientific arguments whenever they want.

In a sense, it is analogous to nuclear energy. Logically, it is possible to use nuclear energy for civilian purpose. However, by the dynamics of human society, the only possible outcome is weaponization.

Just read about Anthropic's 'Project Panama' breach and I'm deeply concerned. I knew Claude was trained on books, but I hadn't realized the process involved such destructive scanning. We risk losing rare, irreplaceable volumes forever. I am now considering stopping my use of Claude.

Some thoughts. What is a "finite" object? For me, I feel identity function "finite", but in domain theory, identity function is not finite object in general. Syntactically, yes, we can simply define id = \lambda x. x, but semantically, we require something infinite.

An article argues that the realism is required to interpret science meaningfully. Any philosophy dispensing realism in science renders science meaningless.

https://open.substack.com/pub/plainlyphilosophical/p/realism-as-a-condition-of-meaningful

#PhilosophyOfScience #Realism #Claude #AIGenerated

I opened my philosophy Substack! @plainlyphilosophical@substack.com

The article argues that otaku rebels against social inclusion and mutual recognition, a core value cherished in the modern society. The text is based and on extensive discussion with Claude and generated by Claude

https://plainlyphilosophical.substack.com/p/otaku-and-the-refusal-of-social-participation

The article argues that ethics is personal and never can be shared.

#Ethics #Philosophy #Wittgenstein #Kierkegaard #Sartre
#Claude #AI-generated

https://open.substack.com/pub/plainlyphilosophical/p/on-ethical-solipsism

Based on Eastern Buddhist tradition, the article proposes "AI-human co-evolution through dialogs" rather than "alignment/safety of AI to human value". The article is generated by Claude with extensive discussion with me

#AI-ethics #AI-generated #Buddhism

https://open.substack.com/pub/plainlyphilosophical/p/walking-together-with-ai

The article argues that otaku rebels against social inclusion and mutual recognition, a core value cherished in the modern society. The text is based and on extensive discussion with Claude and generated by Claude

#Otaku #Gender #Bishojo #BL #AI-Generated #Claude

@skoro2308@medium.com

The article argues that ethics is personal and never can be shared.

#Ethics #Philosophy #Wittgenstein #Kierkegaard #Sartre

@skoro2308@medium.com