萩谷昌己
『論理と計算のしくみ』
放送大学大学院
計算と自然（’２５）
Lisper