PanLinx
日本語
jpn-000
式で表す
Esperanto
epo-000
formuli
日本語
jpn-000
定式化する
PanLex