11月18日は「土木の日」。数字を漢字にし、分解すると「十一」と「十八」になることなどにちなんでいます。土木の測量といえば、ポールやメジャーなどを使い、人が実際に目で測っているイメージがありませんか?し…