宮崎 佳典
研究概要
数学とe-Learning(オンライン学習)を組み合わせる,それが宮崎佳典(数値・教育システム)研究室です.数学教育用のツールを作ることもあれば,英語教育のe-Learningアプリケーションを作ることもある.e-Learningのキーワードは学習履歴.学習者が残す様々なデータが情報に生まれ変わるよう数学を駆使します.数学(数値解析),e-Learning単体の研究もしていますよ.
数学教育や数式検索に資するWebアプリケーション開発
計算機上の数式データを検索,分類したり,あるいは付帯情報を取り出したり,等を実現する方法を考えています.数式は多義性があったり,分野や地域によって書き方が不統一だったり,扱いにくい側面も持っています.これに対し,言語学の観点からも数式について考究します.他にも数学を学ぶ際には,定理の導出過程を示す方法や数式変形法を学ぶ必要があります.我々は「証明を理解する」,「数式を変形する」などの数学学習アプリケーションを構築しています.
英語教育や英語学習に資するWebアプリケーション開発
英語を学んだり教えたりする上で役立つツールを開発しています.例えば,マウス軌跡情報等の履歴情報から英単語並び替え問題解答時の「迷い」を推測するツール,類似英文を抽出することで技術英文書作成を支援するツール,可読性の概念を利用して自身の読解力に適合すると判断された英文を提供するツール,論文データベースに登録されている英論文から特定の機関の重要語彙などを提供するツール,などが挙げられます.
無限行列固有値問題や微分方程式解法などの数値解析
特に特殊関数(多くは初等関数で表せない関数)の零点計算や微分方程式の固有値問題に焦点を当て,無限行列固有値問題との関係について調べています.無限行列固有値問題に再定式化できる場合に,今度は近似計算ができるのかどうか,できた場合にはさらに誤差評価式などが与えられるかどうか,などについて調査する必要があります.それらを一般化して定理の導出を試みています.
教員/研究室の独自ページ
教員:
http://mya-lab1.cs.inf.shizuoka.ac.jp/~yoshi/index1.htm
研究室:
http://mya-lab1.cs.inf.shizuoka.ac.jp/
導出規則に着目した式変形支援Webアプリケーション
英単語並び替え問題におけるマウス軌跡再現および迷い抽出を志向した履歴検索Webアプリケーション
個人用リーダビリティ(可読)式を用いたリーディングWebアプリケーション