昨日, 記事を書いた

ハードコア述語 - Wikipedia
ハードコア関数で立てた方が良かったか.