微分論理学：命題論理に微積分を導入してみた
壮大なる序章 微分論理学をここに創設する。 はじめに 論理式に「微分」や「積分」をかけたらどうなるんだろう？ そんな突拍子もない疑問から、「微分論理学（Differential Logic）」と...
2
2
Comment0
Qiita is a knowledge sharing service for engineers.
- You can follow users and tags
- You can stock useful information
- You can make edit suggestions for articles