定理判定機v06が完成したでござる。 あるごりずむを改良したので、1万倍は早くなったでござる。 [1999年1月28日 9時52分44秒]
定理判定機v06が完成したでござる。 あるごりずむを改良したので、1万倍は早くなったでござる。