hoare (個結果)