昨日、Lambda基本リーズニング（「含意導入規則」と呼ばれることが多い）に関して、ワイヤーベンディング描画法を説明しました。描画法を考えた当事者の意図・目的を理解しないと、「変な絵」「ワケワカメな図」になってしまいます。描画法／記号法／表記法…