algorithm

哲学

定義が難しい。

一案

プログラムの同値類

計算に対応する？

by 丸山