generated at
確率論理