トヨタ　セイイチ   Toyota Seiichi   豊田　晴一    所属   福岡教育大学  教育学部 家政教育研究ユニット    職種   准教授
言語種別	日本語
発行・発表の年月	2012/05
形態種別	学術論文（学術雑誌）
標題	Risa/Asir上における簡約化とその応用について
執筆形態	共著
掲載誌名	数式処理
出版社・発行元	日本数式処理学会
巻・号・頁	18(2),29-32頁
担当範囲	p.29～p.32
著者・共著者	豊田　晴一
概要	（分担）藤本　光史（福岡教育大学　教授）との共同研究で，発表を行った。数式処理システムRisa/Asir上での計算結果が複雑になっている場合がある。この場合，数式を簡約化する（simplification）に起因するものであり，未実装になっている。そこで今回は，簡約化する関数を実装する部分と検証を主に担当した。 （説明）数式処理システムを活用したe-Learningシステムの開発を行うプロジェクトを始めた。この数式処エン ジンには，Risa/Asirを利用する予定であるが，核となる重要な機能である　simplificationが実装されていない。 そこで，今回，Joel S.CohenによるAutomatic SimplificationアルゴリズムとB.F.Cavinessによるradcanアルゴズムの実装を行った。 （分担）藤本　光史（福岡教育大学助教授）との共同開発。独自のヒューリスティックな積分計算アルゴリズムを 考案し，実装を行った。また，内部形式と数式処理システムとの数式表現の相互変換を担当した。 （説明）フリーの数式処理システム（Risa/Asir）上で，タブレットによる手書き数式入力が可能となる数式処理 インターフェースを開発した。