詳細検索

すべて

すべて
研究者
文献
特許
研究課題
機関
科学技術用語
化学物質
資料
研究資源

同義語を見る(0)

専門用語を詳しく探す

シソーラスmap クリップ

ー

詳細検索：

を探す
　詳細検索を行う基本情報を選んでください


	フリーワード	※以下の同義語を加えると、ヒット件数を増やすことができます。




		～

研究者

J-GLOBAL ID：200901079755416278 更新日: 2024年12月18日

戸田誠之助

トダセイノスケ | Toda Seinosuke

研究分野 (8件)：応用数学、統計数学 , 数学基礎 , ソフトウェア , 情報学基礎論 , 応用数学、統計数学 , 数学基礎 , ソフトウェア , 情報学基礎論

研究キーワード (5件)：アルゴリズム , 計算量 , 離散構造 , アルゴリズムの設計と解析 , 計算量理論

論文 (39件)：

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