Mie University · Unclassified

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 弱単項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
• 特許公開情報と安全保障貿易管理法令との対応に基づく技術流出分析ツール・手法の構築

• Official profile