Rchr
J-GLOBAL ID:200901055425771270
Update date: Oct. 18, 2024
TAKENAGA YASUHIKO
タケナガ ヤスヒコ | TAKENAGA YASUHIKO
Affiliation and department:
Job title:
Associate Professor
Research field (1):
Information theory
Research keywords (9):
games and puzzles
, binary decision diagram
, Boolean function
, complexity
, algorithm
, OBDD
, complexity
, 論理関数
, アルゴリズム
Research theme for competitive and other funds (17):
- 2023 - 2027 パラメータや盤面を変更したゲームの必勝戦略と計算複雑さ
- 2022 - 2025 組合せ的前処理と量子アニーリングの融合による行列計算の加速手法
- 2018 - 2022 Strategies of games on graphs and games with onlineness
- 2015 - 2018 Online problems and complexity in games and puzzles
- 2011 - 2013 Game informatics: Search of And-Or tree and Computational Complexity of games and puzzles
- 2009 - 2011 Research on parameterized graph algorithms
- 2004 - 2007 論理関数表現のモデルとシンボリックアルゴリズム
- 1998 - 2001 The application of Formal Language Theory to Natural Language Processing
- 1998 - 2001 Lower Bounds in Computer Science
- 1997 - 1998 論理関数のグラフ表現の性質と双対比への応用
- 1995 - 1996 Research on Development of Formal Logic Design Verifier for Microprocessors
- 1993 - 1994 Basic Research on High-Speed Boolean Function Manipulator
- 1993 - 1994 Research on Formal Verifier of Logic Design Based on Temporal Logic
- 1993 - 1993 二分決定グラフの性質と並列処理アルゴリズムに関する研究
- 1992 - 1992 論理関数処理の並列アルゴリズムと計算複雑さに関する研究
- 1991 - 1992 Research on Development of Logic Synthesizer and Design Verifier for Sequential Circuits Based on Boolean Function Manipulation
- 1990 - 1991 Research on Efficient Manipulation of Boolean Functions Using Shared Binary Decision Diagrams and Its Application to Computer Aided Logic Design
Show all
Papers (35):
-
Kazushi ITO, Yasuhiko TAKENAGA. Solvability of Peg Solitaire on Graphs is NP-Complete. IEICE Transactions on Information and Systems. 2023. E106.D. 6. 1111-1116
-
Y.Takenaga, S.Kikuchi, H.Quan. On the Power of Lookahead in Single-Player PuyoPuyo. ICGA Journal. 2021. 43. 2. 102-113
-
Shohei Mishiba, Yasuhiko Takenaga. QUIXO is EXPTIME-complete. Information Processing Letters. 2020. 162. 105995
-
Y.Takenaga, S.Mishiba an, H.Sugiyama. Matchstick Puzzles on a Grid. Graphs and Combinatorics. 2020. 36. 2. 347-357
-
Y.Takenaga, X.Yang, A.Inada. Anti-Slide Placements of Pentominoes. The Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3) 2019. 2019. 121-122
more...
Books (1):
-
Lectures on Parallel Computation by F. P. Preparata
共立出版 1996
Lectures and oral presentations (44):
-
一人用ダイヤモンドゲームにおける最小手数について
(2024年電子情報通信学会総合大会 2024)
-
様々なグラフ上での「うさぎと猟犬」の必勝性について
(2024年電子情報通信学会総合大会 2024)
-
Approximate Block Diagonalization of Symmetric Matrices Using Quantum Annealing
(The International Conference on High Performance Computing in Asia-Pacific Region (HPC Asia 2024) 2024)
-
泥棒の速度が異なるCops and Robbersの格子上における戦略
(2023年電子情報通信学会総合大会 2023)
-
Finding a Shortest Solution for Single-Player Chinese Checkers is NP-complete
(2022年電子情報通信学会総合大会 2022)
more...
Education (2):
- - 1991 Kyoto University Graduate School, Division of Engineering 情報工学専攻
- - 1989 Kyoto University Faculty of Engineering 情報工学科
Professional career (1):
Committee career (5):
- 2017/06/01 - 2019/05/31 電子情報通信学会会誌編集委員会 編集特別幹事
- 2002/05 - 2008/05 電子情報通信学会 コンピュテーション研究専門委員会専門委員
- 2004/05 - 2006/05 電子情報通信学会 学会誌編集委員
- 2000/06 - 2004/06 情報処理学会 論文誌編集委員
- 2000/05 - 2002/04 電子情報通信学会 コンピュテーション研究会幹事
Association Membership(s) (2):
Return to Previous Page