generated at
余帰納法
coinduction




>#WIP


帰納法

https://ncatlab.org/nlab/show/coinduction
https://en.wikipedia.org/wiki/Coinduction


https://qiita.com/karrym/items/74e80119d18b75290254
https://sumii.hatenablog.com/entry/20110830/p1

https://mandel59.hateblo.jp/entry/2013/02/09/151347
https://keigoi.hatenadiary.org/entry/20100120/1263994563
https://techblog.asahi-net.co.jp/entry/2022/03/14/143648