電車の中で、DI + Formal methodたらいう研究の発表資料を作ってる人を見かけたよ。若く見えたし（この業界の人は年齢わかりづらいけど）、乗車駅からすると工学部の学生さんか。この発想...