コンピュータサイエンス応用における同型方程式(ハッシュアルゴリズムなど)