A concept obtaining unit obtains, for each example set stored in an example storage unit, a first concept of a phrase included in an example in the first language and a second concept of a phrase included in an example in the second language from a concept storage unit. A determining unit determines that an example set including an unmatched concept between first concepts and second concepts is not applicable. An example set searching unit searches for an example set that includes an example in the first language that is analogous to or matches an input sentence. An output controlling unit outputs an example in the second language of the example sets from which the example set that is determined as inapplicable is deleted, as a translation result.