相田 慎

(あいだ しん)


2002年 名古屋大学大学院人間情報学研究科博士後期課程了.
博士(学術).
現在,豊橋技術科学大学工学部知識情報工学系助教.
計算量理論,特に交替性計算の研究に従事.

執筆箇所:

  ・6群2編 計算論とオートマトン