数式認識エンジンのつなぎ込みまで