砦建設は9代(研究者養成でなく機能数理)に行くし、
北大に今いる人いなくね??