FsCheck説明用のBMI計算サンプルアプリ