generated at
構成的プログラミング
from 直観主義論理


関連
林晋 http://www.shayashi.jp/myfailures.pdf

書籍
『構成的プログラミングの基礎』