ここの人は理論を組み立てたいのか、
処理系を作りたいのかはっきりしないな。