<entry> <ent_seq>2855873</ent_seq> <k_ele> <keb>形式化</keb> </k_ele> <r_ele> <reb>けいしきか</reb> </r_ele> <trans> <trans_det>formalization</trans_det> <trans_det>formalisation</trans_det> </trans> </entry>