自作ライブラリのメモです。（まだ未公開） プレイヤーの位置を得る Minecraft でプレイヤーの位置を得るには /data get entity <Player> Pos コマンドを使用すればいいのですが、その返り値がかなり長い文字列です。しかも、データ自体は数値だけではないので文字列</player>…