自動定理証明
http://ja.wikipedia.org/wiki/%E8%87%AA%E5%8B%95%E5%AE%9A%E7%90%86%E8%A8%BC%E6%98%8E

にでてる「ハーブランド賞」てエルブランじゃね？