単行本(実用) コンピュータ 機械翻訳 歴史・技術・産業 データベース