Automata関係のチュートリアルでVardiの講演を聴いていると、大きな声の日本人がいた。 よく見ると、昔仕事で接触のあったH社の人だった。数学屋さんで、高位合成が数学的 にできると信じて、周りは全部バカ的なノリの人だったが、雰囲気は変わらず。阪大 東…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。