アルゴリズムの実用ソフトウェア化