鴨先生の専門である数学を生かした研究や、研究者を助けるツールの開発をしています。
makeに相当するビルドツールを論理型プログラミング言語であるPrologで実装し、よりよいビルドツールを開発するための研究をしています。
ユークリッド幾何のうち、原理的に解けると判明しているが計算に時間のかかるものを高速な計算機器を用いて計算してみました。
↓詳しい内容は下記PDFファイル参照
指導教員鴨 浩靖 准教授 博士(情報学)