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

自転車で走っていると, みなとみらいの方の横浜F・マリノスの新拠点地あたりに出た. 周りに何も無いなー. 工事担当が鹿島建設ってのはネタかと思ったよ. 写真撮ってこればよかった.