昨日は，教授が講義でしゃべりたい内容の一つであるESIGNの検査式に関する証明を考えていました．ESIGN署名のVerifyのための式ではなくて，検査式．つまり，正しい署名は通過するのだけれど，正しくない署名は引っかかることがあるような検査式なわけですが……