2007-12-11 orderとかtopologyとかlatticeとか 雑記 プログラミングの意味論とかしらべてると、orderとかtopologyとかlatticeとかにぶちあたりまくる。 避けて通れないことにようやく気付く。