Chapter 6. Positive Space in Engineering Structure and Geometry, 6 / The Great Hall at Eishin