愛知県立大学 · 情報科学部 / 情報科学研究科 · 講師

研究キーワードsoftware build log analysis・API usage idioms・software classification・software comprehension・build process modeling

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

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

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

• 公式プロフィール