0337ご冗談でしょう?名無しさん垢版 | 大砲2018/05/25(金) 23:33:34.18ID:??? >>333 意味不明です (ct,x)を(ct',x')に移すルールがあります (ct,vt)と(ct,ct)の然るべき変換先から、そのルールが満たすべき条件(の一部)を求めました どこに不満があるのですか?