>>952
うーーん
それってIF文を書き下す理論(=IF文の並び全体で理論になっている)というよりIF文の一つひとつが理論になってるのでは？
いまいち「IF文全パターン書き下す理論」という言葉の意味が分からない
なんか面白そうな予感はするんだけどなあ

それから「美しさとか方程式とかとは無縁である可能性も否定できない」はどういう意味？