研究者
J-GLOBAL ID:200901079755416278
更新日: 2020年10月09日
戸田 誠之助
トダ セイノスケ | Toda Seinosuke
研究分野 (8件):
応用数学、統計数学
, 数学基礎
, ソフトウェア
, 情報学基礎論
, 応用数学、統計数学
, 数学基礎
, ソフトウェア
, 情報学基礎論
研究キーワード (5件):
アルゴリズム
, 計算量
, 離散構造
, アルゴリズムの設計と解析
, 計算量理論
論文 (40件):
V. Arvind, Bireswar Das, Johannes Koebler, Seinosuke Toda. Colored Hypergraph Isomorphism is Fixed Parameter Tractable. ALGORITHMICA. 2015. 71. 1. 120-138
Vikraman Arvind, Bireswar Das, Johannes Koebler. Colored Hypergraph Isomorphism is Fixed Parameter Tractable. Proceedings of IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. 2010. 327-337
Takayuki Nagoya. Computational complexity of computing a partial solution for the Graph Automorphism problems. Theoretical Computer Science. 2009. 410. 21-23. 2064-2071
Takayuki Nagoya. Computational complexity of computing a partial solution for the graph automorphism problems. Annual Reports of The Institute of Information Sciences. 2009. 8. 1-18
C言語におけるポインタ概念の論理形式. 「知識構造科学の創造へ向けての基礎研究」,日本大学精神文化研究所・共同研究成果報告書(単行書). 2008. 41-61
もっと見る
書籍 (4件):
21世紀の学問的方法論
日本大学文理学部(冨山房インターナショナル) 2013 ISBN:9784905194514
情報科学のための論理分析テクニック
培風館 2007
グラフ同型性判定問題
日本大学文理学部(冨山房) 2001 ISBN:4572999988
計算の理論
共立出版 1993 ISBN:4320026543
学歴 (1件):
- 1984 電気通信大学 大学院 電気通信学研究科 計算機科学
学位 (1件):
理学博士 (東京工業大学)
委員歴 (2件):
2002 - 2003 電子情報通信学会 コンピュテーション研究専門委員会 副委員長
1996 - 1997 電子情報通信学会 ソサエティ誌編集委員
受賞 (4件):
2003 - 船井財団・情報科学振興賞(グループ受賞)
2003 - 電子情報通信学会論文賞
1998 - ACM-SIGACT/EATCS ゲ-デル賞
1998 - 日本IBM科学賞
所属学会 (1件):
電子情報通信学会
※ J-GLOBALの研究者情報は、
researchmap
の登録情報に基づき表示しています。 登録・更新については、
こちら
をご覧ください。
前のページに戻る
TOP
BOTTOM