例えば、sとnとfpの加算規則がどうやって定義されてるのか大変興味があるな。