炉心管理システムのプログラム設計、開発、検証