天王星の記号って、日本人が見ると読めそうな気がする。 ○王 ←コレ ○が「お天道さん」。なので、「○王星（天王星）」みたいな。 まぁ、スタートレックのエンタープライズ号に見えないこともないけど。

class TagList(val taglist:List[IHtmlNode], val url:URL) extends scala.collection.immutable.Seq[IHtmlNode]{ def length = taglist.length def iterator = taglist.iterator def apply(index:Int):IHtmlNode = taglist(index) // mutableな場合は、以下…