TODA Seinosuke 戸田誠之助

… Alternative Names

戸田誠一郎トダセイイチロウ

戸田誠之助トダセイノスケ

Less

Researcher Number	90172163
Other IDs
External Links
Affiliation (based on the past Project Information) *help	2016: 日本大学, 文理学部, 教授 1999 – 2007: 日本大学, 文理学部, 教授 2005: 日本大学, 理工学部, 教授 1995 – 1998: 日本大学, 文理学部, 助教授 1994: 電気通信大学, 電気通信学部, 助教授 1992: 電気通信大学, 電気通信学部, 助教授 1986 – 1987: 国文学研究資料館, 研究情報部, 助手
Review Section/Research Field	Principal Investigator General mathematics (including Probability theory/Statistical mathematics) / 計算機科学 Except Principal Investigator 国文学 / Science and Engineering / Fundamental theory of informatics / 計算機科学 / General mathematics (including Probability theory/Statistical mathematics) / Science and Engineering / Informatics
Keywords	Principal Investigator アルゴリズム / 計算量理論 / グラフ理論 / chordal graph / graph theory / グラフ同型性判定問題 / マッチング / tree width / 計算量 / grid graph … More / #P complete / polynomial time algorithm / self avoiding walk / graph isomorphism / Computational Complexity / 多項式 / 数え上げ / 超立方体 / 多次元格子 / 近似アルゴリズム / 多項式時間 / 同型写真像 / 絡み目 / 共役問題 / ブレイド / 自明性判定問題 / 結び目 / 数え上げ問題 / self-avoiding walk / 超立方体グラフ / 2次元格子グラフ / 格子グラフ / #P完全性 / 多項式時間アルゴリズム / 単純道数え上げ問題 / graph grammar / Jones polynomial / isomorphism counting / isomorphism problem / computational complexity / algorithm engineering / グラフ認識問題 / 到達可能性判定問題 / 連結性判定問題 / 木幅 / 独立点集合 / サイクル被覆 / 完全独立全域木 / 辺連結度 / 二分決定グラフ / 全域木 / 同型性判定 / 独立点集合問題 / グラフ文法 / Jones多項式 / 同型写像数え上げ問題 / 同型性判定問題 / アルゴリズム工学 / hamiltonian / isomorphism / accessibility / reachability / separation width / Graph Theory / Complexity / Algorithm / 有向グラフ / 無向グラフ / 領域計算量 / パス幅 / 計算理理論 / ハミルトン性 / 同型性 / 到達可能性 / 分割幅 / 正則言語 / モノイド / 群 / 論理関数 / オートマトン理論 / 極大・極小問題 / 離散問題 … More Except Principal Investigator Jones polynomial / 離散アルゴリズム / ジョーンズ多項式 / standard wall / Limit theorem / Polymer expansion / Interface / Gibbs state / アルゴリズム / ELC Workshop / ELC Seminar / ELC 秋学校 / 計算理論若手研究者育成 / 計算限界研究センター / 多視点からの統合的解析 / 若手研究者育成 / 各種啓発・研究成果波及 / 国際研究者交流 / 多視点からの連携研究 / 計算限界解明手法の開拓 / 成果の総括と公表 / 計算量上下界解析 / アルゴリズム理論 / 計算複雑さの理論 / 成果の波及 / 成果の総括 / 若手研究者の育成 / 研究拠点形成 / 研究連携促進 / 計算限界解明 / Illastration / 画像データ / 江戸時代版本挿絵 / 画像ID / タグ / 挿絵情報 / シソーラス / 座標情報 / 画像切り出し / キーワード / 画像処理システム / Japanese old book database / Tsurezuregusa / fulltext system / Japanese character set control system / online catalog database / Japanese literary supporing system / image-database / 国文学データ処理 / 運用管理システム / 光ディスク応用 / 原文書処理 / オンライン検索 / フルテキスト / 原文書流通システム / 国文学研究支援システム / 知識ベース / 光ディスク / 画像データベース / 原文献資料データベース / knot theory / computational complexity / discrete al aorithm / Computational topoloay / 量子計算 / トポロジー / 多項式不変量 / 結び目理論 / 計算量理論 / 計算論的位相幾何学 / conjugacy problem / braid group / links / knots / interactive proof system / discrete algorithms / computational topology / 自明性判定問題 / NP-完全 / 多項式時間階層 / 3-closed braid 絡み / ジョーンズ多項式の計算 / PSPACE / 閉3ブレイド絡み目 / 2橋絡み目 / 共役問題 / ブレイド群 / 絡み目 / 結び目 / 対話型証明系 / 計算論的トポロジー / Large deveation / algebraic formalism / Interfce / Ising model / Gibbs measure / Limit theolem / Large doviation / Gibhs State / Large deviation / 匿名性 / 安全性 / 暗号プロトコル / 相対化 / 暗号理論 / 計算量 / 暗号 / 電子署名 / 計数量 / 黯号 / 情報セキュリティー / 詰将棋 / ハッシュ法 / 探索アルゴリズム / ゲーム Less

A Multifaced Approach Toward Understanding the Limitations of Compuation
- Principal Investigator
  
  Watanabe Osamu
- Project Period (FY)
  2012 – 2016
- Research Category
  
  Grant-in-Aid for Scientific Research on Innovative Areas (Research in a proposed research area)
- Review Section
  
  Science and Engineering
- Research Institution
  Tokyo Institute of Technology
On Computational Complexity of Computing Jones Polynomials
- Principal Investigator
  
  TANI Seiichi
- Project Period (FY)
  2005 – 2007
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Fundamental theory of informatics
- Research Institution
  Nihon University
暗号解折手法の計算量理論とよる改良とそれに基づく暗号方式
- 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
  Tokyo Institute of Technology
On computational complexity of computing polynomial invariants of links
- Principal Investigator
  
  TANI Seiichi
- Project Period (FY)
  2002 – 2004
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  計算機科学
- Research Institution
  Nihon University
The Analysis of Computational Complexity of Discrete ProblemsPrincipal Investigator
- Principal Investigator
  
  TODA Seinosuke
- Project Period (FY)
  2001 – 2003
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Nihon University
Analyzing Computational Complexity of Graph-Theoretic Problems with Restrictions on Width ParametersPrincipal Investigator
- Principal Investigator
  
  TODA Seinosuke
- Project Period (FY)
  1998 – 2000
- Research Category
  
  Grant-in-Aid for Scientific Research on Priority Areas (B)
- Research Institution
  Nihon University
Space complexity of undirected graph accessibility problemPrincipal Investigator
- Principal Investigator
  
  TODA Seinosuke
- Project Period (FY)
  1997 – 1998
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Nihon University, College of Humanities and Sciences
正則言語による論理関数の計算量解析Principal Investigator
- Principal Investigator
  
  戸田誠之助
- Project Period (FY)
  1996
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  Nihon University
Probabilistic investigation of phase transitions for lattice spin systems
- Principal Investigator
  
  KURODA Koji
- Project Period (FY)
  1995 – 1996
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  General mathematics (including Probability theory/Statistical mathematics)
- Research Institution
  College of Humanities and Sciences, Nihon Univ.
非数値的な極値問題の計算量に関する研究Principal Investigator
- Principal Investigator
  
  戸田誠之助
- Project Period (FY)
  1993
- Research Category
  
  Grant-in-Aid for Encouragement of Young Scientists (A)
- Research Field
  
  計算機科学
- Research Institution
  The University of Electro-Communications
ゲーム木の高速探索と求解法
- Principal Investigator
  
  野下浩平
- Project Period (FY)
  1992
- Research Category
  
  Grant-in-Aid for General Scientific Research (C)
- Research Field
  
  Informatics
- Research Institution
  The University of Electro-Communications
A Research of Illustration in Early Edo Period by Use Computer.
- Principal Investigator
  
  OKA Masahiko
- Project Period (FY)
  1987 – 1988
- Research Category
  
  Grant-in-Aid for General Scientific Research (A)
- Research Field
  
  国文学
- Research Institution
  National Institute of Japanese Literature
Organization and Utilization of Database for Japanese Literary Researche
- Principal Investigator
  
  KOYAMA Hiroshi
- Project Period (FY)
  1985 – 1987
- Research Category
  
  Grant-in-Aid for Developmental Scientific Research
- Research Field
  
  国文学
- Research Institution
  National Institute of Japanese Literature

All 2007 2006 2003 2002

All Journal Article Presentation

[Journal Article] Temporal Reasoning System for the Digital Theater Library2007
- Author(s)
  S. Yoshioka, S. Tani, S. Toda, M. Morii, K. Kohno
- Journal Title
  
  Proc.of the IASTED Conference on Internet and Multimedia Systems and Apphcations 2007 (CD-ROM)
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500014
[Journal Article] Temporal Reasoning System for the Digital Theater Library2007
- Author(s)
  S., Yoshioka, S., Tani, S., Toda, M., Morii, K., Kohno
- Journal Title
  
  Proc. of the IASTED Conference on Internet and Multimedia Systems and Applications
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500014
[Journal Article] Extraction of temporal relation by the creation of historical natural disaster archive2006
- Author(s)
  S. Yoshioka, S. Tani, S. Toda
- Journal Title
  
  Proc.of World Academy of Science
  
  Pages: 332-337
- NAID
  170000083049
- Description
  「研究成果報告書概要(和文)」より
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17500014
[Journal Article] Extraction of temporal relation by the creation of historical natural disaster archive.2006
- Author(s)
  S., Yoshioka, S., Tani, S., Toda
- Journal Title
  
  Proc. of World Academy of Science
  
  Pages: 332-337
- NAID
  170000083049
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500014
[Journal Article] The complexity of counting self-avoiding walks in subgraphs of two-dimensional grids and hypercubes2003
- Author(s)
  M.Liskiewicz, M.Ogihara, S.Toda
- Journal Title
  
  Theoretical Computer Science 304, 1-3
  
  Pages: 129-156
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580391
[Journal Article] A Polynomial-Time Algorithms for Counting Graph Isomorphisms among Partial κ-Trees (in Japanese).2002
- Author(s)
  T.Nagoya, S.Tani, S.Toda
- Journal Title
  
  IEICE Transactions Vol.J85-D-I, No.5
  
  Pages: 424-435
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-14580391
[Journal Article] グラフ同型写像の数え上げ問題に対するアルゴリズムについて2002
- Author(s)
  名古屋孝幸, 谷聖一, 戸田誠之助
- Journal Title
  
  電子情報通信学会論文誌 J85-D-I No.5
  
  Pages: 424-435
- NAID
  110003184771
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-14580391
[Presentation] Temporal Reasoning System for the Digital Theatre Library2007
- Author(s)
  S. Yoshioka, S. Tani, S. Toda, M. Morii, and K. Kohno
- Organizer
  11th IASTED International Conference on Inter-net and Multimedia Systems and Applications
- Place of Presentation
  Honolulu, Hawaii, USA
- Data Source
  KAKENHI-PROJECT-17500014
[Presentation] Temporal Reasoning System for the Digital Theatre Library2007
- Author(s)
  S. Yoshioka, S. Tarsi, S. Toda, M. Morii, K. Kohno
- Organizer
  11th IASTED International Conference on Inter-net and Multimedia Systems and Apphcations
- Place of Presentation
  Honolulu,Hawaii,USA
- Year and Date
  2007-08-21
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500014
[Presentation] Temporal Reasoning System for the Digital Theater Library2007
- Author(s)
  S., Yoshioka, S., Tani, S., Toda, M., Morii, K., Kohno
- Organizer
  11th of the TASTED Conference on Internet and Multimedia Systems and Applications
- Place of Presentation
  Honolulu, Hawaii, USA
- Year and Date
  2007-08-11
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500014
[Presentation] 演劇資料アーカイブに対する年代推論システム2006
- Author(s)
  吉岡卓, 森井マスミ, 谷聖一, 紅野謙介, 戸田誠之助
- Organizer
  人文科学とコンピュータシンポジウムじんもんこん2006
- Place of Presentation
  同志社大学
- Year and Date
  2006-12-14
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500014
[Presentation] 新聞記事コーパスにおける自然災害の特性と時間関係の抽出2006
- Author(s)
  吉岡卓, 谷聖一, 戸田誠之助
- Organizer
  人文科学とコンピュータシンポジウムじんもんこん2006(ポスターセッション)
- Place of Presentation
  同志社大学
- Year and Date
  2006-12-15
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500014
[Presentation] Extraction of temporal relation by the creation of historical natural disaster archive2006
- Author(s)
  S. Yoshioka, S. Tarsi, S. Toda
- Organizer
  XVI.International Conference on Computer and Information Science and Engineering
- Place of Presentation
  Venice,Italy
- Description
  「研究成果報告書概要(和文)」より
- Data Source
  KAKENHI-PROJECT-17500014
[Presentation] Extraction of temporal relation by the creation of historical natural disaster archive2006
- Author(s)
  S., Yoshioka, S., Tani, S., Toda
- Organizer
  XVI. International Conference on Computer and Information Science and Engineering
- Place of Presentation
  Venice, Italy
- Description
  「研究成果報告書概要(欧文)」より
- Data Source
  KAKENHI-PROJECT-17500014

1. YAKU Takeo (90102821)

# of Collaborated Projects: 6 results

# of Collaborated Products: 0 results
2. TANI Sei-ichi (70266708)

# of Collaborated Projects: 5 results

# of Collaborated Products: 11 results
3. SAITO Akira (90186924)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
4. KURODA Koji (50153416)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
5. WATANABE Osamu (80158617)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
6. WATE Masamichi (60059475)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
7. CHEN Zhi-zhong (00242933)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
8. YAMAMOTO Makoto (10158305)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
9. HORI Koichi (40173611)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
10. YASUNAGA Hisashi (20017411)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
11. YAMANAKA Mithuichi (80000032)

# of Collaborated Projects: 2 results

# of Collaborated Products: 0 results
12. YAMAURA Yoshihiko (90255597)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
13. MOTEGI Kimihiko (40219978)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
14. SUZUKI Masahiko (00171249)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
15. HARA Masao (10238165)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
16. KOYAMA Hiroshi (90012179)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
17. ADACHI Jun (80143551)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
18. SUGITA Sigeharu (40026042)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
19. TANAMACHI Tomoya (10044306)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
20. OKA Masahiko (20044729)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
21. ONO Takashi (80124197)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
22. KITAMURA Keiko (60204913)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
23. ASANO Takao (90124544)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
24. IBARAKI Toshihide (50026192)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
25. IMAI Hiroshi (80183010)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
26. MARUOKA Akira (50005427)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
27. MINATO Shinichi (10374612)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
28. MAKINO Kazuhisa (60294162)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
29. KAWARABAYASHI Kazuhisa (40361159)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
30. ASANO Tetsuo (90113133)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
31. KATOH Naoki (40145826)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
32. AVIS David (90584110)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
33. TOKUYAMA Takeshi (40312631)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
34. YAMASHITA Shigeru (30362833)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
35. TAKIMOTO Eiji (50236395)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
36. HORIYAMA Takashi (60314530)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
37. MORI Ryuhei (60732857)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
38. 野下浩平 (60011706)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
39. 笠井琢美 (70027382)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
40. 田中圭介 (20334518)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
41. 河内亮周 (00397035)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
42. 上原隆平 (00256471)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
43. 笠谷和比古 (90124198)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

TODA Seinosuke 戸田 誠之助

戸田 誠一郎 トダ セイイチロウ

戸田 誠之助 トダ セイノスケ

Research Projects

Research Products

Co-Researchers

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

Review Section

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

The Analysis of Computational Complexity of Discrete ProblemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Analyzing Computational Complexity of Graph-Theoretic Problems with Restrictions on Width ParametersPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Institution

Space complexity of undirected graph accessibility problemPrincipal Investigator

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)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Temporal Reasoning System for the Digital Theater Library2007

Author(s)

Journal Title

Description

Data Source

TODA Seinosuke 戸田誠之助

戸田誠一郎トダセイイチロウ

戸田誠之助トダセイノスケ