安全・安定かつ省電力な計算機システムを実現するハード・ ソフトウェア協調技術の研究