これらのプロシージャは引数として解くべき問題についてのデータ "p" をとり、以下のことを行う。