広島市立大学 · 情報科学部 / 情報科学研究科 · 教授

研究キーワード論理シミュレータの開発・設計自動化ツール・論理設計・インデックス生成関数の設計自動化ツールの開発・ソフトウェア合成・多値決定グラフを用いた多状態システムの解析・診断法・多値論理・数値計算回路の合成法・機械学習に基づくネットワーク侵入検知ハードウェアの開発・機械学習に基づく高速異常検知システムの開発

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

• Reducing the Cost of Clifford+T Quantum Gates Journal of Applied Logics (共著) 2026/08/012026 · 論文
• A Proposal of Invariant Operations on Maximally Asymmetric Functions for Their Efficient Generation Journal of Multiple-Valued Logic and Soft Computing 45 (1-3),73-93頁 (共著) 2025/06/012025 · 論文
• Functional Decomposition of Symmetric Multiple-Valued Functions and Their Compact Representation in Decision Diagrams IEICE Transactions on Information and Systems E107-D (8),922-929頁 (共著) 2024/08/012024 · 論文
• On Representation of Maximally Asymmetric Functions Based on Decision Diagrams Journal of Applied Logics 10 (6),1105-1130頁 (共著) 2023/12/012023 · 論文

• FPGA/GPGPUを用いたモデル高速化技術の研究
• FPGAを用いた充足可能性問題解法に基づくテスト生成の高速化
• 高大連携体験授業の実施と入試志願者数への影響に関する調査
• 決定グラフを用いた初等関数の表現法とその応用に関する研究

• 公式プロフィール