2005-07-08から1日間の記事一覧
「あー、これはぁ」「うはぁー、これじゃぁ」「ウギャー、やめてくれ」といったXML文書との出会いの後で僕は、結局はトンデモ・マークアップも許容すべきという境地に至りました。事例を出せば:タグ名にデータ <寄せ書き> <田中>元気で行ってこい。</田中> <ミヨ子…
先に関連URLs: HOL : http://hol.sourceforge.net/ Moscow ML : http://www.dina.kvl.dk/~sestoft/mosml.html Prosper : http://www.dcs.gla.ac.uk/prosper/toolkit/ Isabelle : http://www.cl.cam.ac.uk/Research/HVG/Isabelle/ SML of New Jersey : http:…