120年間の謎だったパズルを数学的に証明。北陸先端大(1/1)