中村 正樹

(なかむら まさき)


2002年 北陸先端科学技術大学院大学情報科学研究科博士後期課程修了.
博士(情報科学).
同研究科助手(助教)を経て,現在,金沢大学理工学域電子情報学類助教.
項書き換えシステム(Term Rewriting System)の停止性,書き換え戦略などの計算機言語の基礎理論,代数仕様言語,形式的検証などのフォーマルメソッド(Formal Method),およびその融合領域における研究に従事する.

執筆箇所:

  ・7群1編 ソフトウェア基礎