>>764
formally compute
と書いてあるのが読めないのか?