後藤以紀(電試):論理数学理論発表">