抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
SASyLFは2008年に放出され,いくつかの大学でのコースの証明支援として使用された。それは,それ自身有用で,使用が継続し,使用の各々の反復は,更なる開発を奨励し,バグを固定し,強化を追加した。本稿では,その目的に真のまま,SASyLFがどのように開発されたかについて述べた。最も注目すべきことは,置換明示的,”および”または”サポートを,相互および辞書誘導,およびIDEサポートのサポートである。【JST・京大機械翻訳】