例えばアクセス時のURLが http://aaa/bbb.html?x=1&y=%CE%B1だったとして、 location.search.parseQuery()とすれば、 {x:"1",y:"α"}が返ってくる。 中でdecodeURIComponentをしてくれてるので、ちゃんとデコードされてる(ただし、UTF-8決めうち)。 なお、par…

CoqはOCamlで書かれているようだ。 To compile Coq, you need: * Objective Caml (3.07 ? version but 3.08.0). http://coq.inria.fr/distrib1-eng.html AgdaはHaskellで書かれているようだ。 Agda: Instruction(Mac) Q: Agda doesn't work suddenly. A: Did…