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