研究発表
公開件数:33件
No. 研究発表種別 タイトル 会議名/掲載誌名 巻号頁
または発表番号
査読の有無 講演者 開催年月日 URL
1 学会口頭発表
先読みを考慮した一人ぷよぷよの必勝性
第82回情報処理学会全国大会


菊地翔,武永康彦
2020/03/05

2 学会口頭発表
On Winning Strategies for Tetris Type Games
The 20th Korea-Japan Joint Workshop on
Algorithms and Computation


Yasuhiko Takenaga, Masaki Katsuno and Hushan Quan
2017/08/25

3 学会口頭発表
グラフ上の一般化ペグソリティア
電子情報通信学会総合大会


山本和明、武永康彦
2017/03/22

4 学会口頭発表
一人用落ち物パズルゲームの必勝性
電子情報通信学会総合大会


勝野誠基、武永康彦
2017/03/22

5 学会口頭発表
一般化QUIXOの計算複雑さ
電子情報通信学会総合大会


三柴翔平、武永康彦
2017/03/22

6 学会口頭発表
先読みありの1人ぷよぷよの必勝性
電子情報通信学会総合大会


全虎山、武永康彦
2017/03/22

7 学会口頭発表
格子上のマッチ棒パズル
組合せゲーム・パズルプロジェクト第12回研究集会


三柴翔平、武永康彦、杉山晴香
2017/03/06

8 学会口頭発表
フロンティア法を用いた根無し木の列挙
電子情報通信学会2014年総合大会


吉田隆史,武永康彦
2014/03/19

9 学会口頭発表
木+keグラフの部分グラフ同型判定アルゴリズム
電子情報通信学会2014年総合大会


上野 豊,武永康彦
2014/03/19

10 学会口頭発表
色数と盤面の幅を限定したぷよぷよの必勝性
組合せゲーム・パズル第9回ミニ研究集会


島田陽,武永康彦
2014/02/28

11 学会口頭発表
「ぷよぷよ」の色数と盤面のサイズに対する必勝性
電子情報通信学会2013年総合大会
ISS-P-230

島田陽,武永康彦
2013/03

12 学会口頭発表
ZDDを用いたスネークキューブの問題と解の列挙
電子情報通信学会2013年総合大会
ISS-P-229

篠崎俊介,武永康彦
2013/03

13 学会口頭発表
2部+keグラフにおける辺彩色問題の計算複雑性
電子情報通信学会2013年総合大会
ISS-P-228

會美智博,武永康彦
2013/03

14 学会口頭発表
木+keグラフの同型性判定問題
2012年電子情報通信学会総合大会


上野豊、武永康彦
2012/03

15 学会口頭発表
パラメータ化permutationグラフの頂点彩色問題
2012年電子情報通信学会総合大会


小寺諒、武永康彦
2012/03

16 学会口頭発表
比較可能-keグラフの頂点彩色問題のパラメータ化計算量(共著)
電子情報通信学会技術研究報告


斎藤惇,武永康彦
2012/03

17 学会口頭発表
ナンバーリンクのNP完全性と問題の列挙
電子情報通信学会,コンピュテーション研究会
COMP2009-49

古妻浩一、武永康彦
2010/03

18 学会口頭発表
パラメータ化グラフに対するFixed-Parameterアルゴリズムの設計手法
2010年電子情報通信学会総合大会


岩永耕平、武永康彦
2010/03

19 学会口頭発表
OBDDを用いた画像処理アルゴリズム
2008年電子情報通信学会総合大会


番能孝生、武永康彦
2008/03

20 学会口頭発表
多変量閾値関数の非明示的OBDD表現
電子情報通信学会技術研究報告,コンピュテーション研究会


中山昌光、武永康彦
2008/03

21 学会口頭発表
Chordal+k_1e-k_2eグラフの頂点彩色問題
電子情報通信学会技術研究報告,コンピュテーション研究会


三浦勇介,武永康彦
2007/03

22 学会口頭発表
種々の制限を加えたTree-Shellable論理関数判定問題の計算複雑さ
電子情報通信学会技術研究報告,コンピュテーション研究会


加藤木直、武永康彦、石橋尚
2006/03

23 学会口頭発表
Coloring Comparability-ke Graphs
LAシンポジウム


Y. Takenaga
2006/02

24 学会口頭発表
リテラルの出現回数に制限を加えたTree-Shellable論理関数の判定複雑さ
電子情報通信学会技術研究報告


加藤木直、武永康彦
2005/05

25 学会口頭発表
区間グラフのOBDD表現について
2005年電子情報通信学会総合大会,2005年電子情報通信学会総合大会


松川弘明, 武永康彦
2005/03

26 学会口頭発表
ブロック化分岐プログラムにおける変数順序と表現能力の関係
情報処理学会研究報告


小関一弘,武永康彦
2004/03

27 学会口頭発表
変数の出現回数が制限されたBranching Programの表現能力(共著)
LAシンポジウム


河村亨, 武永康彦
2002/01

28 学会口頭発表
Complexity of Recognizing Tree-Shellable Functions
電子情報通信学会技術報告


Y.Takenaga
2001/11

29 学会口頭発表
Recognition of Tree-Shellable Boolean Functions
LAシンポジウム


Y. Takenaga
2001/07

30 学会口頭発表
Tree-Shellable論理関数の判定の複雑さ(共著)
LAシンポジウム


門野伸史,武永康彦
2001/01

31 学会口頭発表
幅に制限を加えたOBDDの等価性判定(共著)
電子情報通信学会技術研究報告


市村昌一,武永康彦
2000/11

32 学会口頭発表
Checking ordered tree-shellability of boolean function based on OBDDs
電子情報通信学会技術研究報告


Y. Takenaga
1999/10

33 その他委員会報告等
総合大会ソサイエティ企画報告
電子情報通信学会 情報・システムソサイエティ誌


武永康彦
2001/08