構成的プログラミング
from
直観主義論理
関連
林晋
http://www.shayashi.jp/myfailures.pdf
書籍
『構成的プログラミングの基礎』