TODA Seinosuke 戸田誠之助

… Alternative Names

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 / 国文学 / Informatics / General mathematics (including Probability theory/Statistical mathematics) / 計算機科学 / Fundamental theory of informatics
Keywords	Principal Investigator 計算量理論 / アルゴリズム / グラフ理論 / 計算量 / tree width / マッチング / グラフ同型性判定問題 / graph theory / chordal graph / 離散問題 … More Except Principal Investigator アルゴリズム / Gibbs state / Interface / Polymer expansion / Limit theorem / standard wall / ジョーンズ多項式 / 離散アルゴリズム / Jones polynomial / ゲーム / 探索アルゴリズム / ハッシュ法 / 詰将棋 / 情報セキュリティー / 黯号 / 計数量 / 電子署名 / 暗号 / 計算量 / 暗号理論 / 相対化 / 暗号プロトコル / 安全性 / 匿名性 / Large deviation / Gibhs State / Large doviation / Limit theolem / Gibbs measure / Ising model / Interfce / algebraic formalism / Large deveation / 計算論的トポロジー / 対話型証明系 / 結び目 / 絡み目 / ブレイド群 / 共役問題 / 2橋絡み目 / 閉3ブレイド絡み目 / PSPACE / ジョーンズ多項式の計算 / 3-closed braid 絡み / 多項式時間階層 / NP-完全 / 自明性判定問題 / computational topology / discrete algorithms / interactive proof system / knots / links / braid group / conjugacy problem / 計算論的位相幾何学 / 計算量理論 / 結び目理論 / 多項式不変量 / トポロジー / 量子計算 / Computational topoloay / discrete al aorithm / computational complexity / knot theory / 原文献資料データベース / 画像データベース / 光ディスク / 知識ベース / 国文学研究支援システム / 原文書流通システム / フルテキスト / オンライン検索 / 原文書処理 / 光ディスク応用 / 運用管理システム / 国文学データ処理 / image-database / Japanese literary supporing system / online catalog database / Japanese character set control system / fulltext system / Tsurezuregusa / Japanese old book database / 画像処理システム / キーワード / 画像切り出し / 座標情報 / シソーラス / 挿絵情報 / タグ / 画像ID / 江戸時代版本挿絵 / 画像データ / Illastration / 計算限界解明 / 研究連携促進 / 研究拠点形成 / 若手研究者の育成 / 成果の総括 / 成果の波及 / 計算複雑さの理論 / アルゴリズム理論 / 計算量上下界解析 / 成果の総括と公表 / 計算限界解明手法の開拓 / 多視点からの連携研究 / 国際研究者交流 / 各種啓発・研究成果波及 / 若手研究者育成 / 多視点からの統合的解析 / 計算限界研究センター / 計算理論若手研究者育成 / ELC 秋学校 / ELC Seminar / 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 Applications
- Description
  「研究成果報告書概要(欧文)」より
- 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 Apphcations 2007 (CD-ROM)
- 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] 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] 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] グラフ同型写像の数え上げ問題に対するアルゴリズムについて2002
- Author(s)
  名古屋孝幸, 谷聖一, 戸田誠之助
- Journal Title
  
  電子情報通信学会論文誌 J85-D-I No.5
  
  Pages: 424-435
- NAID
  110003184771
- 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
[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] 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
[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] 演劇資料アーカイブに対する年代推論システム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

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 戸田誠之助

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

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