代数幾何があるなら対数幾何もクレ