手続き推論
【てつづきすいろん】
【tetsudukisuiron】
过程推论