2008-03-22 ■ Wikipedia以前の最大のライブラリとも言える大蔵経はとても読んでいられないぐらい量が多いのだけど、数式と論理記号を用いて全面的に改定したら劇的に量を圧縮できたりするだろうか。