Hiroshima City University · Faculty of Information Science / Graduate School of Information Science · 教授

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

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

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

• Official profile