---
title: 計算などなく、ただそこには推論規則による置換があるだけ
date: 2024-10-23T21:18:33.000Z
updated: 2026-01-08T14:50:47.511Z
url: https://baku89.com/%E8%A8%88%E7%AE%97%E3%81%AA%E3%81%A9%E3%81%AA%E3%81%8F%E3%80%81%E3%81%9F%E3%81%A0%E3%81%9D%E3%81%93%E3%81%AB%E3%81%AF%E6%8E%A8%E8%AB%96%E8%A6%8F%E5%89%87%E3%81%AB%E3%82%88%E3%82%8B%E7%BD%AE%E6%8F%9B%E3%81%8C%E3%81%82%E3%82%8B%E3%81%A0%E3%81%91
---

# 計算などなく、ただそこには推論規則による置換があるだけ

「計算」ってなに？

MIUゲーム\
[メタマジック・ゲーム](/Metamagical_Themas)

- 足し算もまた、以下の推論規則に応じた置換を繰り返しているだけ

  - `X + 0 |-> X`
  - `X + Ys |-> Xs + Y`