変形依拠公式提示機能への拡張も含めた数式検索システムの応用

机译：包括扩展到基于变换的公式表示功能的公式搜索系统的应用

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

計算機上で数式を扱うためのデータ形式が普及し，それに伴い数式データが蓄積されたことによって，数式を検索するための技術の必要性が高まってきている．本研究室では，先行研究にてMathML Presentation Markup 形式で記述された数式を対象とした数式検索システムの開発を行い，またこのシステムを応用した機能の追加を行ってきた．本発表では，その応用例として，式変形の拠り所となっている公式を提示する変形依拠公式提示機能の拡張，および数式検索システムを用いた際の検索履歴データを蓄積，活用するための機能の実装について述べる．これらの機能追加・拡張により，数式検索システムの技術を応用した，数学教育の学習支援に役立つシステム構築を目指す．

机译：在计算机上处理数学公式的数据格式很常见并据此积累了数学数据。需要技术来搜索公式在增加。在我们的实验室中，以前的研究以MathML Presentation Markup格式编写用于数学公式的数学公式搜索系统的开发并添加适用于该系统的功能我一直在补充。在此演示中，该应用程序示例和并给出公式转换所基于的公式变换依赖公式表示功能的扩展和数学公式使用搜索系统时积累搜索历史数据描述了用于生产和利用的功能的实现。通过添加和扩展这些功能的公式搜索系统通过应用系统技术为数学教育提供学习支持旨在建立一个有用的系统。

著录项

来源
《情報処理学会;情報処理学会全国大会》|2019年|4.723-4.724|共2页
会议地点
作者
野崎咲; 宮崎佳典; 田中省作;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. 平行四辺形アレーを用いた大規模アンテナ無線エントランスシステム（MAS-WE）の実験的検証～超多素子アンテナへの拡張実験法と基本特性評価 [J] . 太田厚, 丸田一輝, 新井拓人, 電子情報通信学会技術研究報告. 無線通信システム. Radio Communication Systems . 2014,第86期

机译：并行四边形阵列的大型天线无线入口系统（MAS-WE）的实验验证-超多元素天线的扩展实验方法和基本特性评估
2. 平行四辺形アレーを用いた大規模アンテナ無線エントランスシステム（MAS-WE）の実験的検証～超多素子アンテナへの拡張実験法と基本特性評価 [J] . 太田厚, 丸田一輝, 新井拓人, 電子情報通信学会技術研究報告. 無線通信システム. Radio Communication Systems . 2014,第86期

机译：使用并联的大型天线无线入口系统（MAS-WE）的实验验证。
3. 高度な放射線治療を実現新たなソフトウェア機能「Rapid Plan~(TM)」バリアンメディカルシステムズは、IMRT·RapidArcの複雑な放射線治療計画の品質向上、作成時間短縮、そして標準化を実現可能にする新たなソフトウェア機能「RapidPlan~(TM)」をリリースする。高度な放射線治療を実現するために、放射線治療機·各ソフトウェアともに、最先端のシステムを放射線治療市場へ提供する。 [J] . 映像情報 Medical . 2014,第13期

机译：实现先进的辐射处理新的软件功能“快速计划〜（TM）”Valian Medical Systems是一种新的软件，可以实现质量改进，创建时间减少和复杂放射治疗计划的标准化IMRT·RapidArc释放功能“Rapidplan〜（ TM值）”。为了实现先进的放射治疗，辐射治疗机和每个软件都为放射治疗市场提供了最先进的系统。
4. 変形依拠公式提示機能への拡張も含めた数式検索システムの応用 [C] . 野崎咲, 宮崎佳典, 田中省作情報処理学会全国大会 . 2019

机译：公式搜索系统的应用，包括扩展来变形依赖官方演示功能
5. 計算機システム応答時間の人間工学研究 : 応答時間に伴う心理的負担軽減のための方法研究博士論文 [D] . 小松原明哲, (研究者リゾルバーID:1000080178368, ) 1991

机译：计算机系统响应时间的人体工程学研究：减轻与响应时间有关的心理负担的方法研究
6. Webアクセスにおける動的コンテンツ検索の応答性向上のための先読み機能を持ったネットワーク内キャッシュシステムの研究 [O] . 米村淳 2016

机译：具有预读功能的网络内缓存系统提高Web访问中动态内容搜索响应性的研究

変形依拠公式提示機能への拡張も含めた数式検索システムの応用

摘要

著录项

相似文献

相关主题

期刊订阅