>>286 なんか(偽)名誉教授は同値関係も選択公理も全然分かってなさそう