Automata関係のチュートリアルでVardiの講演を聴いていると、大きな声の日本人がいた。
よく見ると、昔仕事で接触のあったH社の人だった。数学屋さんで、高位合成が数学的
にできると信じて、周りは全部バカ的なノリの人だったが、雰囲気は変わらず。阪大
東野研でドクターを取ったそうで。最近の研究の話をしていると、
あの製品はだめでしょう、あっそうプロセス代数やってるの、最初から足下をかためて
製品を作ればよかったのにねえーと、思いっきり嫌みを言われた。
こういう人との付き合いはなれないと出来ないのだが、
ちょっと内省的になってしまう。
