ツール呼び出し

ツール呼び出しは、ツール名 $n \in \mathrm{Name}$ と入力 $x \in \mathrm{In}$ の組 $q = (n, x)$ である。ツール呼び出しの全体を $Q = \mathrm{Name} \times \mathrm{In}$ と書く。