2010年

1. 吉川 浩 "宣言的仕様に対する正当なデジタル回路および協調計算システムの自動生成に関する研究"
   Hiroshi Yoshikawa "A Study on Synthesis of Correct Digital Circuits and Cooperative Systems with Respect to Declarative Specifications"