計算機ハードウェアの設計を支援する技術の研究