TODA Seinosuke 戸田誠之助

… Alternative Names

Researcher Number	90172163
Other IDs
External Links
Affiliation (Current)	2019: 日本大学, 文理学部, 教授
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 / 計算機科学 / Informatics / General mathematics (including Probability theory/Statistical mathematics)
Keywords	Principal Investigator アルゴリズム / 計算量理論 / グラフ理論 / tree width / マッチング / graph theory / 計算量 / chordal graph / グラフ同型性判定問題 / #P complete … More Except Principal Investigator Gibbs state / Limit theorem / standard wall / Interface / ジョーンズ多項式 / アルゴリズム / Polymer expansion / Jones polynomial / 離散アルゴリズム / Illastration / 結び目理論 / Large deviation / 暗号理論 / 情報セキュリティー / ELC Seminar / 多項式時間階層 / ゲーム / 座標情報 / 絡み目 / 多視点からの連携研究 / NP-完全 / interactive proof system / 研究連携促進 / 多項式不変量 / 3-closed braid 絡み / computational complexity / トポロジー / 計算論的トポロジー / 原文書流通システム / キーワード / 安全性 / conjugacy problem / computational topology / Gibhs State / Japanese old book database / 探索アルゴリズム / 計算量上下界解析 / 若手研究者の育成 / Limit theolem / 画像データ / アルゴリズム理論 / Large doviation / PSPACE / 多視点からの統合的解析 / 江戸時代版本挿絵 / Japanese character set control system / タグ / 国文学データ処理 / ジョーンズ多項式の計算 / 研究拠点形成 / 成果の総括と公表 / discrete al aorithm / 成果の総括 / オンライン検索 / 知識ベース / 対話型証明系 / 光ディスク応用 / fulltext system / 計算量理論 / 匿名性 / Computational topoloay / Gibbs measure / 黯号 / online catalog database / knots / 自明性判定問題 / 計算限界解明手法の開拓 / 閉3ブレイド絡み目 / braid group / 成果の波及 / Large deveation / 国文学研究支援システム / 運用管理システム / knot theory / 画像ID / 共役問題 / algebraic formalism / ブレイド群 / 暗号プロトコル / 画像切り出し / 計算限界解明 / ELC 秋学校 / 電子署名 / links / 画像処理システム / 画像データベース / 若手研究者育成 / フルテキスト / image-database / 計算理論若手研究者育成 / 結び目 / 国際研究者交流 / ハッシュ法 / 挿絵情報 / 計算限界研究センター / 2橋絡み目 / 詰将棋 / 光ディスク / 計算複雑さの理論 / Ising model / 計算量 / Japanese literary supporing system / 原文書処理 / 計算論的位相幾何学 / 相対化 / 各種啓発・研究成果波及 / シソーラス / discrete algorithms / Interfce / Tsurezuregusa / 量子計算 / 暗号 / 計数量 / 原文献資料データベース / ELC Workshop 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
- 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
- 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
- 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 戸田誠之助

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

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