Ibaraki University · Faculty of Engineering · 講師

Research keywordsbinary decision diagrams・partial order constraints・software verification・term rewriting systems・multiple reduction orderings・traveling salesman heuristics

Research fields情報科学・Complex systems・計算機科学

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

• 研究報告セキュリティ心理学とトラスト（SPT）, 2023年05月2023 · MISC
• 人工知能学会論文誌, 2019年03月01日,2019 · 論文
• International Journal of Computer Science Issues, 2016年06月,2016 · 論文
• 情報処理学会論文誌, 2009年09月15日,2009 · 論文

• 2001年 - 2002年2001 · 共同研究・競争的資金等の研究課題
• 1999年 - 2000年1999 · 共同研究・競争的資金等の研究課題
• 1997年 - 1998年1997 · 共同研究・競争的資金等の研究課題
• 若手研究(B)共同研究・競争的資金等の研究課題

• Official profile
• KAKEN