> > そのLK論法による論理式の恒等性の証明とはなんだ？
> もういいよ(;´Д`)ｵﾁが言いたいのなら自作自演でしてくれ

つまり、トップダウン設計の仕方を言いたかっただけ

参考：2002/01/13(日)22時26分03秒