代数幾何学よりもホモトピー論のが難しいですよね?