高度なソフトウェア研究
計算するとはそもそもどういうこと?
人工頭脳は作れるか?
絶対安全な暗号は作れるか?
...