項書き換えにおける機械学習項書き換えにおける機械学習革新的アプローチ。MLを使った効率的な項書き換えシステムの計算機科学における論理機械学習を使った用語書き換え戦略の自動化用語書き換えシステムの最適化に機械学習を使う方法を探る。2025-05-26T11:46:03+00:00 ― 1 分で読む