キーワードを入力してください
情報システムのひとつとしての数式処理システムの機能を高度化するため、基本となるアルゴリズムの研究を行なう。自然科学の立場から、数学的な基礎理論に基づいて計算のメカニズムを明らかにすることにより、さらに効率のよいアルゴリズムの開発を目指すとともに、実際のプログラム開発と実験的検証までを行なう。
[TRIOS] [Mail]
ページ先頭へ戻る