hard-core function

一方向性を示す前にhard-core functionが出来た(;´д`)
証明出来そうな筋は見えたので, 来週中に証明/計算/パラメータの設定を終えたいなぁ.
問題は, 一般的に作るより効率良いかどうかか. もともとの関数だと疑似乱数生成出来てないから, その点を改良した点を評価して貰う方向で.