ただし、右辺の "fr" は次のような値である。