>そもそも情報分野に基礎論が提供してきたといっているのは、
>基礎論とは関係なく充分に実現できたし、これからもそう。
んじゃ、暗号理論も、岩沢理論とは関係なく充分実現できたなw