研究者
J-GLOBAL ID:200901055425771270
更新日: 2024年10月18日
武永 康彦
タケナガ ヤスヒコ | TAKENAGA YASUHIKO
所属機関・部署:
職名:
准教授
研究キーワード (9件):
ゲーム・パズル
, 二分決定グラフ
, 論理関数
, 計算量
, アルゴリズム
, OBDD
, complexity
, 論理関数
, アルゴリズム
競争的資金等の研究課題 (17件):
- 2023 - 2027 パラメータや盤面を変更したゲームの必勝戦略と計算複雑さ
- 2022 - 2025 組合せ的前処理と量子アニーリングの融合による行列計算の加速手法
- 2018 - 2022 グラフ上のゲームおよびオンライン性を持つゲームの必勝性
- 2015 - 2018 ゲーム・パズルにおけるオンライン問題と計算複雑さ
- 2011 - 2013 ゲーム情報学:And-Or木の探索とゲーム・パズルの難しさの研究
- 2009 - 2011 パラメータ化グラフアルゴリズムの研究
- 2004 - 2007 論理関数表現のモデルとシンボリックアルゴリズム
- 1998 - 2001 形式言語理論の自然言語処理への応用
- 1998 - 2001 計算機科学における下界の研究
- 1997 - 1998 論理関数のグラフ表現の性質と双対比への応用
- 1995 - 1996 マイクロプロセッサの形式的論理設計検証システムの試作研究
- 1993 - 1994 論理関数高速処理機構に関する基礎的研究
- 1993 - 1994 時相理論に基づく論理設計の形式的検証システムの試作研究
- 1993 - 1993 二分決定グラフの性質と並列処理アルゴリズムに関する研究
- 1992 - 1992 論理関数処理の並列アルゴリズムと計算複雑さに関する研究
- 1991 - 1992 ブール関数処理による順序回路の自動合成・設計検証システムの試作研究
- 1990 - 1991 共有二分決定図による論理関数の効率的処理とそれに基づく論理設計支援に関する研究
全件表示
論文 (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
もっと見る
書籍 (1件):
-
プレパラータ先生の超並列計算講義(共編・訳)
共立出版 1996
講演・口頭発表等 (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)
もっと見る
学歴 (2件):
- - 1991 京都大学 工学研究科 情報工学専攻
- - 1989 京都大学 工学部 情報工学科
学位 (1件):
委員歴 (5件):
- 2017/06/01 - 2019/05/31 電子情報通信学会会誌編集委員会 編集特別幹事
- 2002/05 - 2008/05 電子情報通信学会 コンピュテーション研究専門委員会専門委員
- 2004/05 - 2006/05 電子情報通信学会 学会誌編集委員
- 2000/06 - 2004/06 情報処理学会 論文誌編集委員
- 2000/05 - 2002/04 電子情報通信学会 コンピュテーション研究会幹事
所属学会 (2件):
前のページに戻る