@article{oai:sgul.repo.nii.ac.jp:00003128,
 author = {小池, 英勝},
 journal = {札幌学院大学総合研究所紀要 = Proceedings of the Research institute of Sapporo Gakuin University},
 month = {Mar},
 note = {解法が確立していない問題を解くためのソフトウェア開発では，プログラムの仕様の変更が頻繁に起こることがある．本論文は，頻繁な仕様変更に対応しながら正しくて効率的なプログラムを開発するためのフレームワークを提案する．本研究の特徴は，プログラムの部品を書き換えルールで表現し，仕様から正しい書き換えルールを生成・集積してプログラムを構成することである．このことによってプログラムの効率と正しさの両立が可能になる．フレームワークの適用例としてコンテナ・プリマーシャリング問題の最適解を高速列挙するプログラムの開発プロセスを扱う．, Frequent revision of program specifications can occur in software development to solve problems of which well-established solutions have yet to be found. This paper proposes a framework for software development to efficiently enumerate optimal solutions to combinatorial optimization problems; the framework copes with the frequent specification changes. A peculiarity of this study is that we represent each program component as a correct rewriting rule, which is generated from a specification and accumulates in a program. The peculiarity enables us to manage both efficiency and correctness of a program. This paper demonstrates a software development process to efficiently enumerate optimal solutions to a container pre-marshalling problem as an application example of the ramework., Bulletin, 情報科学, Information Sciences, 論文},
 pages = {67--78},
 title = {組合せ最適化問題の最適解を高速列挙するためのソフトウェアフレームワーク設計},
 volume = {8},
 year = {2021}
}