三重大学 · 未分類

以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。

• 弱単項TRSのE重なり性について 共著 2012.10 情報処理学会論文誌 53 2313-23272012 · 主な業績等
• コンパイラの理論と作成技法 共著 2010.06 サイエンス社2010 · 主な業績等
• The Unification Problem for Confluent Semi-Constructor TRSs 共著 2010.11 IEICE Transactions on Information and Systems E93-D 2962-29782010 · 主な業績等
• 厳密解法と発見的手法の組み合わせによるサイズ可変ビンパッキング問題の解法 共著 2009.09 第8回情報科学技術フォーラム講演論文集 A 17-2009 · 主な業績等

• 最適木取りアルゴリズムの開発
• Algorithm for Optimal Cutting of Dimensional Lumbers
• Decision Problems for Term Rewriting Systems
• 特許公開情報と安全保障貿易管理法令との対応に基づく技術流出分析ツール・手法の構築

• 官方个人主页