武永康彦 Takenaga Yasuhiko

研究者番号	20236491
その他のID
外部サイト
所属 (現在)	2025年度: 電気通信大学, 大学院情報理工学研究科, 准教授
所属 (過去の研究課題情報に基づく) *注記	2016年度 – 2023年度: 電気通信大学, 大学院情報理工学研究科, 准教授 2015年度: 電気通信大学, 情報理工学(系)研究科, 准教授 2013年度: 電気通信大学, 大学院・情報理工学研究科, 准教授 2011年度 – 2013年度: 電気通信大学, 情報理工学(系)研究科, 准教授 2010年度 – 2011年度: 電気通信大学, 大学院・情報理工学研究科, 准教授 … もっと見る 2009年度: 電気通信大学, 電気通信学部, 准教授 2007年度: 電気通信大学, 電気通信学部, 准教授 2004年度 – 2006年度: 電気通信大学, 電気通信学部, 助教授 2001年度: 電気通信大学, 電気通信学部, 助教授 1997年度 – 2000年度: 電気通信大学, 電気通信学部, 講師 1995年度 – 1996年度: 京都大学, 工学研究科, 助手 1991年度 – 1994年度: 京都大学, 工学部, 助手隠す
審査区分/研究分野	研究代表者小区分62040:エンタテインメントおよびゲーム情報学関連 / 計算機科学 / エンタテインメント・ゲーム情報学 / 情報学基礎 / 理工系研究代表者以外計算機科学 / 情報工学 / 中区分60:情報科学、情報工学およびその関連分野 / ソフトウエア
キーワード	研究代表者アルゴリズム / 計算量 / 計算複雑さ / ゲーム / 二分決定グラフ / パズル / 必勝性 / ゲーム・パズル / グラフ / パラメータ化計算量 … もっと見る / 論理関数 / しきい値関数 / 必勝戦略 / オンライン問題 / 頂点彩色問題 / 区間グラフ / Tree-Shellable論理関数 / 二分モーメントグラフ / Tree-shellable論理関数 / グラフアルゴリズム / シンボリックアルゴリズム / 双対化 / tree-shellable関数 / 双対比 / 素項 / 二分決定木 / PAC学習 / 並列アルゴリズム … もっと見る研究代表者以外論理関数処理 / 二分決定グラフ / 時相論理 / Binary Decision Diagram / Complexity / TAG / モデルチェッキング / 形式的設計検証 / temporal logic / 論理設計支援 / 順序回路 / Boolean Function Manipulation / Boolean Function / 計算複雑さ / 論理設計検証 / 論理関数 / 並列計算 / 連立1次方程式解法 / 固有値計算 / D-Wave / 量子アニーリング / 組合せ的前処理 / 固有値問題 / 行列計算 / Merging Network / Computation / Lower Bound / コンピュータによる計算 / 理論的 / 下界を求める計算 / 下界定理 / 下界理論 / 計算機科学 / マージングネットワーク / 計算 / 下界 / 複雑さ / Context-Free / Natural Languages / Tree Automata / Automata / Formal Languages / プッシュダウン・木オートマトン / プシュダウン木オートマトン / プッシュダウン木オートマトン / プッシュダウンオートマトン / 文脈自由木オート・マトン / 計算量 / プシュダウンオートマトン / 文脈自由木オートマトン / 機械翻訳 / 木オートマトン / 形式言語理論 / binary decision diagram / logic function manipulation / model checking / First-order Predicate logic / Function level design / Formal design verification / 算術演算回路検証 / 機能レベル検証 / 三分決定グラフ / 二分モーメントグラフ / 調理関数処理 / マイクロプロセッサ / 第一階述語論理 / 機能レベル設計 / Model Checking / Formal Specification / Logic Function Manipulation / Formal Verification / Logic Design / Temporal Logic / 形式的論理設計検証 / 論理開数処理 / 仕様記述 / 形式的検証 / 論理設計 / Combinatorial Problem / Content Addressable Memory / Computational Complexity / Prallel Algorithm / Computer Aided Logic Design / 組合せ問題 / 内容アドレスメモリ / 並列アルゴリズム / computer-aided logic design / state assignment / logic function optimization / sequential circuits / logic design verification / logic synthesis / 状態割当て / 論理関数簡単化 / 論理合成 / Computational complexity / Logic Design Verification / Timing Verification / Symbolic Simulation / computer Aided Design / タイミング検証 / 記号シミュレ-ション / 計算機援用設計 / And-Or木 / パズルの計算複雑性 / 評価関数 / 深さ優先探索 / ゲーム木のモデル / ゲーム・パズルの複雑さ / And-Or木の探索 / ゲーム情報学隠す

パラメータや盤面を変更したゲームの必勝戦略と計算複雑さ研究代表者
- 研究代表者
  
  武永康彦
- 研究期間 (年度)
  2023 – 2026
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分62040:エンタテインメントおよびゲーム情報学関連
- 研究機関
  電気通信大学
組合せ的前処理と量子アニーリングの融合による行列計算の加速手法
- 研究代表者
  
  山本有作
- 研究期間 (年度)
  2022 – 2024
- 研究種目
  
  挑戦的研究(萌芽)
- 審査区分
  
  中区分60:情報科学、情報工学およびその関連分野
- 研究機関
  電気通信大学
グラフ上のゲームおよびオンライン性を持つゲームの必勝性研究代表者
- 研究代表者
  
  武永康彦
- 研究期間 (年度)
  2018 – 2021
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分62040:エンタテインメントおよびゲーム情報学関連
- 研究機関
  電気通信大学
ゲーム・パズルにおけるオンライン問題と計算複雑さ研究代表者
- 研究代表者
  
  武永康彦
- 研究期間 (年度)
  2015 – 2017
- 研究種目
  
  基盤研究(Ｃ)
- 研究分野
  
  エンタテインメント・ゲーム情報学
- 研究機関
  電気通信大学
ゲーム情報学：Ａｎｄ－Ｏｒ木の探索とゲーム・パズルの難しさの研究
- 研究代表者
  
  岩田茂樹
- 研究期間 (年度)
  2011 – 2013
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウエア
- 研究機関
  電気通信大学
パラメータ化グラフアルゴリズムの研究研究代表者
- 研究代表者
  
  武永康彦
- 研究期間 (年度)
  2009 – 2011
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  電気通信大学
論理関数表現のモデルとシンボリックアルゴリズム研究代表者
- 研究代表者
  
  武永康彦
- 研究期間 (年度)
  2004 – 2007
- 研究種目
  
  特定領域研究
- 審査区分
  
  理工系
- 研究機関
  電気通信大学
形式言語理論の自然言語処理への応用
- 研究代表者
  
  笠井琢美
- 研究期間 (年度)
  1998 – 2001
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  電気通信大学
計算機科学における下界の研究
- 研究代表者
  
  岩田茂樹
- 研究期間 (年度)
  1998 – 2001
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  電気通信大学
論理関数のグラフ表現の性質と双対比への応用研究代表者
- 研究代表者
  
  武永康彦
- 研究期間 (年度)
  1997 – 1998
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  電気通信大学
マイクロプロセッサの形式的論理設計検証システムの試作研究
- 研究代表者
  
  矢島脩三
- 研究期間 (年度)
  1995 – 1996
- 研究種目
  
  基盤研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  京都大学
二分決定グラフの性質と並列処理アルゴリズムに関する研究研究代表者
- 研究代表者
  
  武永康彦
- 研究期間 (年度)
  1993
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  京都大学
論理関数高速処理機構に関する基礎的研究
- 研究代表者
  
  矢島修三 (矢島脩三)
- 研究期間 (年度)
  1993 – 1994
- 研究種目
  
  一般研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  京都大学
時相理論に基づく論理設計の形式的検証システムの試作研究
- 研究代表者
  
  矢島修三 (矢島脩三)
- 研究期間 (年度)
  1993 – 1994
- 研究種目
  
  試験研究(B)
- 研究分野
  
  計算機科学
- 研究機関
  京都大学
ブール関数処理による順序回路の自動合成・設計検証システムの試作研究
- 研究代表者
  
  矢島脩三
- 研究期間 (年度)
  1991 – 1992
- 研究種目
  
  試験研究(B)
- 研究分野
  
  情報工学
- 研究機関
  京都大学
共有二分決定図による論理関数の効率的処理とそれに基づく論理設計支援に関する研究
- 研究代表者
  
  矢島脩三 (矢島修三)
- 研究期間 (年度)
  1990 – 1991
- 研究種目
  
  一般研究(B)
- 研究分野
  
  情報工学
- 研究機関
  京都大学

[雑誌論文] Approximate Block Diagonalization of Symmetric Matrices Using Quantum Annealing2024
- 著者名/発表者名
  Teramoto Koushi、Kugaya Masaki、Kudo Shuhei、Takenaga Yasuhiko、Yamamoto Yusaku
- 雑誌名
  
  Proceedings of the International Conference on High Performance Computing in Asia-Pacific Region
  
  巻: 1 ページ: 47-54
- DOI
  10.1145/3635035.3635044
- 査読あり
- データソース
  KAKENHI-PROJECT-22K19772, KAKENHI-PROJECT-19KK0255
[雑誌論文] On the Power of Lookahead in Single-Player PuyoPuyo2021
- 著者名/発表者名
  Y.Takenaga, S.Kikuchi and H.Quan
- 雑誌名
  
  ICGA Journal
  
  巻: to appear
- 査読あり
- データソース
  KAKENHI-PROJECT-18K11601
[雑誌論文] Stgrategies for Single-Player PuyoPuyo2017
- 著者名/発表者名
  Yasuhiko Takenaga and Shimada Yo
- 雑誌名
  
  ICGA Journal
  
  巻: 印刷中号: 2 ページ: 87-101
- DOI
  10.3233/icg-160001
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-15K00505
[雑誌論文] Shikaku and Ripple Effect are NP-complete2013
- 著者名/発表者名
  Yasuhiko Takenaga, Shintaro Aoyagi, Shigeki Iwata, and Takumi Kasai
- 雑誌名
  
  Congressus Numerantium
  
  巻: Vol.216 ページ: 119-127
- 査読あり
- データソース
  KAKENHI-PROJECT-23500037
[雑誌論文] トリックテイキングの計算量と必勝戦略2012
- 著者名/発表者名
  中井健一朗、武永康彦
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: 1799 ページ: 183-186
- 査読あり
- データソース
  KAKENHI-PROJECT-23500037
[雑誌論文] NP-Completeness of Pandemic2012
- 著者名/発表者名
  Kenichiro Nakai, and Yasuhiko Takenaga
- 雑誌名
  
  Journal of Information Processing
  
  巻: 20 号: 3 ページ: 723-726
- DOI
  10.2197/ipsjjip.20.723
- NAID
  130002116383
- ISSN
  1882-6652
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-23500037
[雑誌論文] トリックテイキングゲームの計算量と必勝戦略2012
- 著者名/発表者名
  中井健一朗、武永康彦
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: 掲載予定
- 査読あり
- データソース
  KAKENHI-PROJECT-23500037
[雑誌論文] トリックテイキングゲームの計算量と必勝戦略2012
- 著者名/発表者名
  中井健一朗, 武永康彦
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: 1799巻ページ: 183-186
- 査読あり
- データソース
  KAKENHI-PROJECT-23500037
[雑誌論文] NP-completenes of Pandemic2012
- 著者名/発表者名
  Kenichiro Nakai and Yasuhiko Takenaga
- 雑誌名
  
  Journal of Information Processing
  
  巻: 掲載予定
- 査読あり
- データソース
  KAKENHI-PROJECT-23500037
[雑誌論文] TVee-Shellability of Restricted DNFs2008
- 著者名/発表者名
  YasiiMko Takenaga
- 雑誌名
  
  IEICE Trans. In£& Syst. E-91D
  
  ページ: 996-1002
- 査読あり
- データソース
  KAKENHI-PROJECT-16092207
[雑誌論文] Vertex Coloring of Comparability+ke and -ke Graphs2007
- 著者名/発表者名
  Y.Takenaga, K.Higashide
- 雑誌名
  
  Lecture Note in Computer Science (WG'06) 4271
  
  ページ: 102-112
- データソース
  KAKENHI-PROJECT-16092207
[雑誌論文] Coloring Comparability-ke Graphs2006
- 著者名/発表者名
  Yasuhiko Takenaga
- 雑誌名
  
  京都大学数理解析研究所講究録 (掲載予定)
- データソース
  KAKENHI-PROJECT-16092207
[雑誌論文] TETRAVEX is NP-complete2006
- 著者名/発表者名
  Y.Takenaga, T.Walsh
- 雑誌名
  
  Information Processing Letters 99,5
  
  ページ: 171-174
- データソース
  KAKENHI-PROJECT-16092207
[雑誌論文] 一般化ぷよぷよのNP完全性2005
- 著者名/発表者名
  松金輝久, 武永康彦
- 雑誌名
  
  京都大学数理解析研究所講究録掲載予定
- データソース
  KAKENHI-PROJECT-16092207
[雑誌論文] 比較可能+keグラフの彩色問題2005
- 著者名/発表者名
  東出賢一, 武永康彦
- 雑誌名
  
  京都大学数理解析研究所講究録掲載予定
- データソース
  KAKENHI-PROJECT-16092207
[雑誌論文] PSPACE・Completeness of an Escape Problem
- 著者名/発表者名
  Yasuhiko Takenaga
- 雑誌名
  
  Information Processing Letters 掲載予定
- 査読あり
- データソース
  KAKENHI-PROJECT-16092207
[学会発表] 様々なグラフ上での「うさぎと猟犬」の必勝性について2024
- 著者名/発表者名
  橋本悠希、武永康彦
- 学会等名
  2024年電子情報通信学会総合大会
- データソース
  KAKENHI-PROJECT-23K11380
[学会発表] Approximate Block Diagonalization of Symmetric Matrices Using Quantum Annealing2024
- 著者名/発表者名
  Koushi Teramoto, Masaki Kugaya, Shuhei Kudo, Yasuhiko Takenaga , Yusaku Yamamoto
- 学会等名
  International Conference on High Performance Computing in Asia-Pacific Region (HPC-Asia '24)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-22K19772
[学会発表] 一人用ダイヤモンドゲームにおける最小手数について2024
- 著者名/発表者名
  豊永桂輔、武永康彦
- 学会等名
  2024年電子情報通信学会総合大会
- データソース
  KAKENHI-PROJECT-23K11380
[学会発表] Finding a Shortest Solution for Single-Player Chinese Checkers is NP-complete2022
- 著者名/発表者名
  Yuya Nakamura and Yasuhiko Takenaga
- 学会等名
  2022年電子情報通信学会総合大会
- データソース
  KAKENHI-PROJECT-18K11601
[学会発表] グラフ上のダイヤモンドゲームの計算複雑さ2022
- 著者名/発表者名
  山田貴之，武永康彦
- 学会等名
  2022年電子情報通信学会総合大会
- データソース
  KAKENHI-PROJECT-18K11601
[学会発表] ペントミノを用いたアンチスライドパズルの解の列挙2022
- 著者名/発表者名
  宇賀神慶行，武永康彦
- 学会等名
  2022年電子情報通信学会総合大会
- データソース
  KAKENHI-PROJECT-18K11601
[学会発表] 三人一般化七並べの必勝性2022
- 著者名/発表者名
  田中天希，武永康彦
- 学会等名
  2022年電子情報通信学会総合大会
- データソース
  KAKENHI-PROJECT-18K11601
[学会発表] 連続移動可能なマッチ3ゲームのNP完全性2021
- 著者名/発表者名
  川越啓太郎, 武永康彦
- 学会等名
  2020年度冬のLAシンポジウム
- データソース
  KAKENHI-PROJECT-18K11601
[学会発表] グラフ上のペグソリティアの計算困難性2020
- 著者名/発表者名
  伊藤和司、武永康彦
- 学会等名
  電子情報通信学会2020年総合大会
- データソース
  KAKENHI-PROJECT-18K11601
[学会発表] 二人一般化七並べの戦略2020
- 著者名/発表者名
  田中天希、武永康彦
- 学会等名
  電子情報通信学会2020年総合大会
- データソース
  KAKENHI-PROJECT-18K11601
[学会発表] 先読みを考慮した一人ぷよぷよの必勝性2020
- 著者名/発表者名
  菊地翔、武永康彦
- 学会等名
  第82回情報処理学会全国大会
- データソース
  KAKENHI-PROJECT-18K11601
[学会発表] ペントミノを用いたアンチスライドパズルの解の列挙2019
- 著者名/発表者名
  楊璽，武永康彦，稲田明透河
- 学会等名
  第８１回情報処理学会全国大会
- データソース
  KAKENHI-PROJECT-18K11601
[学会発表] 格子上での Cops and Robbers の方向のみ認知可能なルール2019
- 著者名/発表者名
  大久保辰哉，武永康
- 学会等名
  電子情報通信学会総合大会
- データソース
  KAKENHI-PROJECT-18K11601
[学会発表] 幅３色数３の一人ぷよぷよの必勝性2019
- 著者名/発表者名
  菊地翔，武永康彦
- 学会等名
  電子情報通信学会総合大会
- データソース
  KAKENHI-PROJECT-18K11601
[学会発表] 格子上のマッチ棒パズル2017
- 著者名/発表者名
  三柴翔平、武永康彦、杉山晴香
- 学会等名
  組合せゲーム・パズルプロジェクト第12回研究集会
- 発表場所
  名古屋大学(愛知県名古屋市）
- 年月日
  2017-03-06
- データソース
  KAKENHI-PROJECT-15K00505
[学会発表] 一人用落ち物パズルゲームの必勝性2017
- 著者名/発表者名
  勝野誠基，武永康彦
- 学会等名
  電子情報通信学会総合大会
- 発表場所
  名城大学(愛知県名古屋市）
- 年月日
  2017-03-22
- データソース
  KAKENHI-PROJECT-15K00505
[学会発表] On Winning Strategies for Tetris Type Games2017
- 著者名/発表者名
  Yasuhiko Takenaga, Masaki Katsuno and Hushan Quan
- 学会等名
  The 20th Korea-Japan Joint Workshop on Algorithms and Computation
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00505
[学会発表] Matchstick Puzzles on a Grid2017
- 著者名/発表者名
  Yasuhiko Takenaga, Shohei Mishiba and Haruka Sugiyama
- 学会等名
  The 20th Japan Conference on Geometry, Graphs, and Games Discrete and Computational
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15K00505
[学会発表] 先読みありの１人ぷよぷよの必勝性2017
- 著者名/発表者名
  全　虎山，武永康彦
- 学会等名
  電子情報通信学会総合大会
- 発表場所
  名城大学(愛知県名古屋市）
- 年月日
  2017-03-22
- データソース
  KAKENHI-PROJECT-15K00505
[学会発表] 一般化QUIXOの計算複雑さ2017
- 著者名/発表者名
  三柴翔平，武永康彦
- 学会等名
  電子情報通信学会総合大会
- 発表場所
  名城大学(愛知県名古屋市）
- 年月日
  2017-03-22
- データソース
  KAKENHI-PROJECT-15K00505
[学会発表] 得点札を持つ二人トリックテイキングゲームの解析2016
- 著者名/発表者名
  金広尚平、武永康彦
- 学会等名
  電子情報通信学会2016年総合大会
- 発表場所
  九州大学
- 年月日
  2016-03-15
- データソース
  KAKENHI-PROJECT-15K00505
[学会発表] NP-completeness of Kuromasu2014
- 著者名/発表者名
  Yohei Yamaguchi, Yasuhiko Takenaga, and Shigeki Iwata
- 学会等名
  45th Southeastern International Conference on Combinatorics, Graph Theory, and Computing (45th SEICCGTC)
- 発表場所
  Florida, U.S.A
- データソース
  KAKENHI-PROJECT-23500037
[学会発表] NP-completeness of Kuromasu2014
- 著者名/発表者名
  Yohei Yamaguchi, Yasuhiko Takenaga, and Shigeki Iwata
- 学会等名
  45th Southeastern International Conference on Combinatorics, Graph Theory, and Computing (45th SEICCGTC)
- 発表場所
  Florida Atlantic University
- データソース
  KAKENHI-PROJECT-23500037
[学会発表] Shikaku and Ripple Effect are NP-complete2013
- 著者名/発表者名
  Yasuhiko Takenaga, Shintaro Aoyagi, Shigeki Iwata, and Takumi Kasai
- 学会等名
  44th Southeastern International Conference on Combinatorics, Graph Theory, and Computing (44th SEICCGTC)
- 発表場所
  Florida, U.S.A
- データソース
  KAKENHI-PROJECT-23500037
[学会発表] Shikaku and Ripple effect are NP-complete2013
- 著者名/発表者名
  Yasuhiko Takenaga, Shintaro Aoyagi, Shigeki Iwata, and Takumi Kasai
- 学会等名
  Forty-fourth Southeastern Conference on Combinatorics, Graph Thery and Computing
- 発表場所
  Florida Atlantic University, Boca Raton, Florida, USA
- データソース
  KAKENHI-PROJECT-23500037
[学会発表] 比較可能-keグラフの頂点彩色問題のパラメータ化計算量2012
- 著者名/発表者名
  斉藤惇、武永康彦
- 学会等名
  電子情報通信学会コンピュテーション研究会技術研究報告
- 発表場所
  東京大学
- 年月日
  2012-03-16
- データソース
  KAKENHI-PROJECT-21500007
[学会発表] パラメータ化permutationグラフの頂点彩色問題2012
- 著者名/発表者名
  小寺諒、武永康彦
- 学会等名
  電子情報通信学会総合大会
- 発表場所
  岡山大学
- 年月日
  2012-03-21
- データソース
  KAKENHI-PROJECT-21500007
[学会発表] 木+ keグラフの同型性判定問題2012
- 著者名/発表者名
  上野豊、武永康彦
- 学会等名
  電子情報通信学会総合大会
- 発表場所
  岡山大学
- 年月日
  2012-03-21
- データソース
  KAKENHI-PROJECT-21500007
[学会発表] ３点タイル張り問題の解の列挙2012
- 著者名/発表者名
  田中成俊、羽原貴広、武永康彦
- 学会等名
  第7回組合せゲーム・パズルミニ研究集会
- 発表場所
  大阪商業大学
- データソース
  KAKENHI-PROJECT-23500037
[学会発表] Precoloring Extension on Grid Graphs2010
- 著者名/発表者名
  Yasuhiko Takenaga and Akihiro Yamada
- 学会等名
  The China-Japan Joint Conference on Computation Geometry
- 発表場所
  大連海事大学
- 年月日
  2010-11-04
- データソース
  KAKENHI-PROJECT-21500007
[学会発表] Precoloring Extension on Grid Graphs2010
- 著者名/発表者名
  Yasuhiko Takenaga
- 学会等名
  The China-Japan Joint Conference on Computation Geo metry, Graphs and Applications
- 発表場所
  大連海事大学
- 年月日
  2010-11-04
- データソース
  KAKENHI-PROJECT-21500007
[学会発表] パラメータ化グラフに対するFixed-Parameterアルゴリズムの設計手法2010
- 著者名/発表者名
  岩永耕平、武永康彦
- 学会等名
  電子情報通信学会総合大会
- 発表場所
  東北大学
- 年月日
  2010-03-18
- データソース
  KAKENHI-PROJECT-21500007
[学会発表] パラメータ化グラフに対する Fixed-Parameter アルゴリズムの設計手法2010
- 著者名/発表者名
  岩永耕平, 武永康彦
- 学会等名
  電子情報通信学会総合大会
- 発表場所
  東北大学 (宮城県)
- 年月日
  2010-03-18
- データソース
  KAKENHI-PROJECT-21500007
[学会発表] Vertex Coloring of Chordal十kle-k2e Graphs2007
- 著者名/発表者名
  Yasuhiko Takenaga
- 学会等名
  18th International Workshop on Combinatorial Algorithms
- 発表場所
  Newcastle, Australia
- データソース
  KAKENHI-PROJECT-16092207
[学会発表] 色数と盤面の幅を限定したぷよぷよの必勝性
- 著者名/発表者名
  島田陽，武永康彦
- 学会等名
  組合せゲーム・パズル第9回ミニ研究集会
- 発表場所
  北陸先端科学技術大学院大学
- データソース
  KAKENHI-PROJECT-23500037

1. 矢島脩三 (20025901)

共同の研究課題数: 5件

共同の研究成果数: 0件
2. 荻野博幸 (40144323)

共同の研究課題数: 5件

共同の研究成果数: 0件
3. 濱口清治 (80238055)

共同の研究課題数: 4件

共同の研究成果数: 0件
4. 高木直史 (10171422)

共同の研究課題数: 4件

共同の研究成果数: 0件
5. 平石裕実 (40093299)

共同の研究課題数: 4件

共同の研究成果数: 0件
6. 岩田茂樹 (80102028)

共同の研究課題数: 3件

共同の研究成果数: 5件
7. 笠井琢美 (70027382)

共同の研究課題数: 3件

共同の研究成果数: 3件
8. 蓮沼徹 (30313406)

共同の研究課題数: 2件

共同の研究成果数: 0件
9. 伊藤大雄 (50283487)

共同の研究課題数: 1件

共同の研究成果数: 0件
10. 石浦菜岐佐 (60193265)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 安岡孝一 (20230211)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 湊真一 (10374612)

共同の研究課題数: 1件

共同の研究成果数: 0件
13. 岩間一雄 (50131272)

共同の研究課題数: 1件

共同の研究成果数: 0件
14. 山本有作 (20362288)

共同の研究課題数: 1件

共同の研究成果数: 2件

武永 康彦 Takenaga Yasuhiko

研究課題

研究成果

共同研究者

パラメータや盤面を変更したゲームの必勝戦略と計算複雑さ研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

グラフ上のゲームおよびオンライン性を持つゲームの必勝性研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

ゲーム・パズルにおけるオンライン問題と計算複雑さ研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

パラメータ化グラフアルゴリズムの研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

論理関数表現のモデルとシンボリックアルゴリズム研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

論理関数のグラフ表現の性質と双対比への応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

二分決定グラフの性質と並列処理アルゴリズムに関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

武永康彦 Takenaga Yasuhiko