「mL」の共起表現一覧(1語右が「to」)
該当件数 : 2件
roduced the general-purpose programming language | ML to allow users to write theorem-proving tactics. |
It extends the syntax of | ML to include axioms, which need not be executable |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |