http://twitter.com/#!/hiyama_on_caty/status/67728585816948736 とか http://twitter.com/#!/hiyama_on_caty/status/68582156598910976 とかつぶやいてるだけだと後で分からなくなる。型の代数はブール半環層を係数とする多元環圏型の表現を台集合Aとその…

どこで実験していたか忘れる。 ~/ProjectCaty/latest-*/main/ui/pub/js/ ここにある。Webからは /ui/js/ として見える。