XMLプログラミング言語Xi(ザイ)の完全な仕様策定とその実装