Tokyo Denki University · Faculty of Science and Engineering / Graduate School of Science and Engineering · 教授

Research keywordsfinite automata・state complexity・multiple constant multiplication・recurrence relations・Tower of Hanoi algorithms・k-CNF formulas・common subexpression elimination・reconfigurable hardware

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

• Inclusion-Exclusion for k-CNF Formulas
• Analysis of Recurrence Relations Generalized from the 4-Peg Tower of Hanoi
• Interactive Visualization Software of Intersections of Two Quadratic Curves
• Stick and roll: A physical interactive system using curved displays and rolling batons

• 2024/04 ～ 2027/03 仮想・複合世界指向インタラクションとその応用に関する研究 基盤研究(C)2024 · 研究課題・受託研究・科研費
• 2021/04 ～ 2024/03 実世界のパラメータ化を加速する複合現実の研究 基盤研究(C)2021 · 研究課題・受託研究・科研費
• 2016/03 ～ 2017/06 プレイフルなデジタル絵本システムの開発 競争的資金等の外部資金による研究 助成研究（B）2016 · 研究課題・受託研究・科研費
• 2016/04 ～ 2020/03 実世界の物理制約を曖昧化するパフォーマンス装置の研究 基盤研究(C)2016 · 研究課題・受託研究・科研費

• Official profile