天使と悪魔の２分法は興味深いな。
アルゴリズム論の専門以外のプロは天使になる公算大。
連中にも判るレベルに書いたから。
アルゴリズム論や計算量理論のプロが、どう出るか。