(日本語) 中村太信研究室：システムの安定的な稼働を保証する効率的なアルゴリズムの開発