名古屋大学 · 情報学部 / 情報学研究科 · 教授

研究キーワード組合せ最適化・項書換え系・停止性・音楽情報処理・プログラム意味論・プログラム変換・計算戦略

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

• Debugging Support for the SQL-Based Combinatorial Optimization Solver CombSQL+2026 · 135 巻 頁： 5 - 10 2026年1月
• 時系列 CDCL に基づく成分分割型投射モデル計数手法の形式化と実装2025 · 人工知能学会研究会資料 B5 巻 頁： 7 - 12 2025年8月
• 拍対応情報の利用による楽譜と実演奏の音符対応情報の自動生成法2025 · 情報処理学会技術報告 SIGMUS 142 巻 2025年3月
• Solving Rep-Tile by Computers: Performance of Solvers and Analyses of Solutions2025 · Algorithmic Foundations for Social Advancement 頁： 187 - 208 2025年3月

• 形式言語理論に基づく自動採譜2020 · 研究課題/研究課題番号： 20H04302 2020年4月 - 2025年3月
• データベース上の制約プログラミングのためのSQL言語の拡張とその処理系2017 · 研究課題/研究課題番号： 17H01721 2017年4月 - 2020年3月
• 耐改竄性をもつプログラム言語とそのプログラム開発手法の研究2014 · 2014年 - 2017年3月
• ソフトウェアプロテクションのための超難読言語Ｍａｌｂｏｌｇｅの研究2010 · 2010年 - 2013年3月

• 公式プロフィール