> > じゃあ教えてくれ(ﾟ人ﾟ)頼むよ
> じゃあどんなプログラムを作る？

LK論法による論理式の恒等性を証明するﾌﾟﾛｸﾞﾗﾑ

参考：2002/01/13(日)22時20分31秒