Takenaga Yasuhiko 武永康彦

… Alternative Names

TAKENAGA Yasuhiko 武永康彦

武永康彦タケナガヤスヒコ

Less

Researcher Number	20236491
Other IDs
External Links
Affiliation (Current)	2025: 電気通信大学, 大学院情報理工学研究科, 准教授
Affiliation (based on the past Project Information) *help	2016 – 2023: 電気通信大学, 大学院情報理工学研究科, 准教授 2015: 電気通信大学, 情報理工学(系)研究科, 准教授 2013: 電気通信大学, 大学院・情報理工学研究科, 准教授 2011 – 2013: 電気通信大学, 情報理工学(系)研究科, 准教授 2010 – 2011: 電気通信大学, 大学院・情報理工学研究科, 准教授 … More 2009: The University of Electro-Communications, 電気通信学部, 准教授 2007: The University of Electro-Communications, 電気通信学部, 准教授 2004 – 2006: 電気通信大学, 電気通信学部, 助教授 2001: The University of Electro-Communications, Faculty of Electro-Communications, Associate Professor, 電気通信学部, 助教授 1997 – 2000: 電気通信大学, 電気通信学部, 講師 1995 – 1996: 京都大学, 工学研究科, 助手 1991 – 1994: Kyoto University, Faculty of Engineering, Instructor, 工学部, 助手 Less
Review Section/Research Field	Principal Investigator Basic Section 62040:Entertainment and game informatics-related / 計算機科学 / Entertainment and game informatics 1 / Fundamental theory of informatics / Science and Engineering Except Principal Investigator 計算機科学 / 情報工学 / Medium-sized Section 60:Information science, computer engineering, and related fields / Software
Keywords	Principal Investigator アルゴリズム / 計算量 / 計算複雑さ / ゲーム / 二分決定グラフ / パズル / 必勝性 / ゲーム・パズル / グラフ / パラメータ化計算量 … More / 論理関数 / しきい値関数 / 必勝戦略 / オンライン問題 / 頂点彩色問題 / 区間グラフ / Tree-Shellable論理関数 / 二分モーメントグラフ / Tree-shellable論理関数 / グラフアルゴリズム / シンボリックアルゴリズム / 双対化 / tree-shellable関数 / 双対比 / 素項 / 二分決定木 / PAC学習 / 並列アルゴリズム … More Except Principal Investigator 論理関数処理 / 二分決定グラフ / 時相論理 / 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木の探索 / ゲーム情報学 Less

パラメータや盤面を変更したゲームの必勝戦略と計算複雑さPrincipal Investigator
- Principal Investigator
  
  武永康彦
- Project Period (FY)
  2023 – 2026
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 62040:Entertainment and game informatics-related
- Research Institution
  The University of Electro-Communications
組合せ的前処理と量子アニーリングの融合による行列計算の加速手法
- Principal Investigator
  
  山本有作
- Project Period (FY)
  2022 – 2024
- Research Category
  
  Grant-in-Aid for Challenging Research (Exploratory)
- Review Section
  
  Medium-sized Section 60:Information science, computer engineering, and related fields
- Research Institution
  The University of Electro-Communications
Strategies of games on graphs and games with onlinenessPrincipal Investigator
- Principal Investigator
  
  Takenaga Yasuhiko
- Project Period (FY)
  2018 – 2021
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 62040:Entertainment and game informatics-related
- Research Institution
  The University of Electro-Communications
Online problems and complexity in games and puzzlesPrincipal Investigator
- Principal Investigator
  
  Takenaga Yasuhiko
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Entertainment and game informatics 1
- Research Institution
  The University of Electro-Communications
Game informatics: Search of And-Or tree and Computational Complexity of games and puzzles
- Principal Investigator
  
  IWATA Shigeki
- Project Period (FY)
  2011 – 2013
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  The University of Electro-Communications
Research on parameterized graph algorithmsPrincipal Investigator
- Principal Investigator
  
  TAKENAGA Yasuhiko
- Project Period (FY)
  2009 – 2011
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  The University of Electro-Communications
論理関数表現のモデルとシンボリックアルゴリズムPrincipal Investigator
- Principal Investigator
  
  武永康彦
- Project Period (FY)
  2004 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas
- Review Section
  
  Science and Engineering
- Research Institution
  The University of Electro-Communications
The application of Formal Language Theory to Natural Language Processing
- Principal Investigator
  
  KASAI Takumi
- Project Period (FY)
  1998 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  The University of Electro-Communications
Lower Bounds in Computer Science
- Principal Investigator
  
  IWATA Shigeki
- Project Period (FY)
  1998 – 2001
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  The University of Electro-Communications
論理関数のグラフ表現の性質と双対比への応用Principal Investigator
- Principal Investigator
  
  武永康彦
- Project Period (FY)
  1997 – 1998
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  The University of Electro-Communications
Research on Development of Formal Logic Design Verifier for Microprocessors
- Principal Investigator
  
  YAJIMA Shuzo
- Project Period (FY)
  1995 – 1996
- Research Category
  
  Grant-in-Aid for Scientific Research (A)
- Research Field
  
  計算機科学
- Research Institution
  KYOTO UNIVERSITY
二分決定グラフの性質と並列処理アルゴリズムに関する研究Principal Investigator
- Principal Investigator
  
  武永康彦
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  Kyoto University
Basic Research on High-Speed Boolean Function Manipulator
- Principal Investigator
  
  YAJIMA Shuzo
- Project Period (FY)
  1993 – 1994
- Research Category
  
  Grant-in-Aid for General Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  KYOTO UNIVERSITY
Research on Formal Verifier of Logic Design Based on Temporal Logic
- Principal Investigator
  
  YAJIMA Shuzo
- Project Period (FY)
  1993 – 1994
- Research Category
  
  Grant-in-Aid for Developmental Scientific Research (B)
- Research Field
  
  計算機科学
- Research Institution
  KYOTO UNIVERSITY
Research on Development of Logic Synthesizer and Design Verifier for Sequential Circuits Based on Boolean Function Manipulation
- Principal Investigator
  
  YAJIMA Shuzo
- Project Period (FY)
  1991 – 1992
- Research Category
  
  Grant-in-Aid for Developmental Scientific Research (B)
- Research Field
  
  情報工学
- Research Institution
  KYOTO UNIVERSITY
Research on Efficient Manipulation of Boolean Functions Using Shared Binary Decision Diagrams and Its Application to Computer Aided Logic Design
- Principal Investigator
  
  YAJIMA Shuzo
- Project Period (FY)
  1990 – 1991
- Research Category
  
  Grant-in-Aid for General Scientific Research (B)
- Research Field
  
  情報工学
- Research Institution
  Kyoto University

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

1. YAJIMA Shuzo (20025901)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
2. OGINO Hiroyuki (40144323)

# of Collaborated Projects: 5 results

# of Collaborated Products: 0 results
3. HAMAGUCHI Kiyoharu (80238055)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
4. TAKAGI Naofumi (10171422)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
5. HIRAISHI Hiromi (40093299)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
6. IWATA Shigeki (80102028)

# of Collaborated Projects: 3 results

# of Collaborated Products: 5 results
7. KASAI Takumi (70027382)

# of Collaborated Projects: 3 results

# of Collaborated Products: 3 results
8. HASUNUMA Toru (30313406)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
9. ITO Hiroo (50283487)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
10. ISHIURA Nagisa (60193265)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
11. YASUOKA Kouichi (20230211)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
12. 湊真一 (10374612)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. 岩間一雄 (50131272)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. 山本有作 (20362288)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results

Takenaga Yasuhiko 武永 康彦

TAKENAGA Yasuhiko 武永 康彦

武永 康彦 タケナガ ヤスヒコ

Research Projects

Research Products

Co-Researchers

パラメータや盤面を変更したゲームの必勝戦略と計算複雑さPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Strategies of games on graphs and games with onlinenessPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Online problems and complexity in games and puzzlesPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Research on parameterized graph algorithmsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

論理関数表現のモデルとシンボリックアルゴリズムPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

論理関数のグラフ表現の性質と双対比への応用Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

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

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Takenaga Yasuhiko 武永康彦

TAKENAGA Yasuhiko 武永康彦

武永康彦タケナガヤスヒコ