>>548
ハッシュ法
PVS法
SSS法
反復深化法