>>794
Kleeneのどの論文か言わないとCardelli厨と同一判定されますよw