手書き検索による記号化