scrAPIの処理速度に不満があったので、HTreeを試してみた。 正しく使えているかどうか自信がないのだが、ht=HTree.parse(str)でstrをパースしてツリーを作り、あとはtraverse_elementやeach_attributeを使ってトラバースしていく、という感じみたいだ。 scrA…