宮西の代数幾何はハードだよ。