フォロー
座標表現のZCAVみたいなやつ、Compact Position Reporting(CPR)だ！＞＜；
Formal analysis of the compact position reporting algorithm | Formal Aspects of Computing https://dl.acm.org/doi/10.1007/s00165-019-00504-0
座標表現のZCAVみたいなやつ、Compact Position Reporting(CPR)だ！＞＜；
Formal analysis of the compact position reporting algorithm | Formal Aspects of Computing https://dl.acm.org/doi/10.1007/s00165-019-00504-0