A program fragmentation unit (131) divides a target program into fragments according to groups of processing. A fragment group extraction unit (132) extracts, from among sets of fragments, each set in which instruction groups match between fragments, as a fragment group. A functionalization candidate extraction unit (136) extracts, from among sets of fragment groups, a set in which instruction groups match between fragment groups, usage patterns of a variable group match between the fragment groups, and types of variables match between the fragment groups, as a functionalization candidate. An output unit (140) outputs information on the functionalization candidate.