Aichi Prefectural University · Faculty of Information Science / Graduate School of Information Science · 講師

Research keywordssoftware build log analysis・API usage idioms・software classification・software comprehension・build process modeling

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

• モデル検査における妥当性確認を目的とした並行システムの表現手法2011 · コンピュータソフトウェア
• プラットフォーム学習支援のためのサンプルアプリケーションを用いたドキュメントの関連部分抽出, コンピュータソフトウェア2011 · コンピュータソフトウェア
• Descendants and head normalization of higher-order rewrite systems2002
• 項集合書換え系とその合流性1997

• Reduction Strategies of Rewrite Systems
• 書換え型計算モデルの計算戦略

• Official profile