proofrog 動作推奨モデル