>>608
＞「微分のことは微分でしなさい！」
昔は漏れもそう思ってたけど、GentzenのCut除去定理知っちゃうとこれも
なんだかなーーーと思うようになった。