<p>In order to use urban space effectively in Transit-Oriented Development (TOD), over-track buildings (built over railways), are becoming increasingly popular in Japan. From a construction and structural design point of view, the basement structure just beneath railways generally cannot be built while railway operations continue (interruption to operations is not permitted, In general).</p><p>This paper presents the structural design of a mid-story isolated high-rise building constructed over railways in Ikebukuro, Tokyo. The paper shows, not only the philosophy of the system, but also the structural design, full-scale experiments, and evaluation of the performance in each structural element. The authors believe that such a structural design will be one of the effective solutions to the over-track building.</p>
VERIFICATION OF A PREDICATE HEAPSORT PROGRAM USING INVERSE TRANSFORMATIONS
