奈良女子大学 生活環境学部 文化情報学科
奈良女子大学 生活環境学部 文化情報学科 生活情報通信科学コース
鴨研究室
鴨先生の専門である数学を生かした研究や、研究者を助けるツールの開発をしています。
Prologによるビルドツールの実装
makeに相当するビルドツールを論理型プログラミング言語であるPrologで実装し、よりよいビルドツールを開発するための研究をしています。
ユークリッド幾何と数式処理
ユークリッド幾何のうち、原理的に解けると判明しているが計算に時間のかかるものを高速な計算機器を用いて計算してみました。 ↓詳しい内容は下記PDFファイル参照
