>>467
土木屋さんの中でもトンネル屋さんとダム屋さんは一味違うと聞くがその教授は何屋さんだった?