• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

KASAI Takumi  笠井 琢美

ORCIDConnect your ORCID iD *help
… Alternative Names

笠井 琢美  カサイ タクミ

Less
Researcher Number 70027382
Other IDs
External Links
Affiliation (based on the past Project Information) *help 2013: 電気通信大学, 大学院・情報理工学研究科, 教授
2012 – 2013: 電気通信大学, その他部局等, 名誉教授
2011: 電気通信大学, 情報理工学(系)研究科, 教授
1995 – 2001: 電気通信大学, 電気通信学部, 教授
1992: 電気通信大学, 電気通信学部, 教授
1989 – 1990: 電気通信大学, 電気通信学部, 教授
1986 – 1988: University of Electro-Communications, 電気通信学部, 助教授
Review Section/Research Field
Principal Investigator
計算機科学 / 計算機工学
Except Principal Investigator
計算機科学 / 計算機工学 / Informatics / General mathematics (including Probability theory/Statistical mathematics) / Software
Keywords
Principal Investigator
プッシュダウンオートマトン / TAG / Complexity / 機械翻訳 / 形式言語理論 / 計算量 / Pushdown Automata / アルゴリズム / 等価性判定 / 変換器 … More / オートマトン / 等価性判定アルゴリズム / Context-Free / Natural Languages / Tree Automata / Automata / Formal Languages / プッシュダウン・木オートマトン / プシュダウン木オートマトン / プッシュダウン木オートマトン / 文脈自由木オート・マトン / プシュダウンオートマトン / 文脈自由木オートマトン / 木オートマトン / Merging Network / Graph Isomorphism / Graph Algoritms / Language Processing / Formal Language / Approximation Algoritms / Complete Problems / 構文解析 / マージング・ネットワーク / グラフ同型問題 / グラフアルゴリズム / 自然言語処理 / 近似アルゴリズム / 完全問題 … More
Except Principal Investigator
Merging Network / Computation / Lower Bound / マージングネットワーク / コンピュータによる計算 / 下界 / 計算量 / Functional Programming / BC-chain Method / Combinator / Lambda Expression / 関数型プログラミング / BC鎖方式 / コンビネータ / ラムダ式 / Complexity / 理論的 / 下界を求める計算 / 下界定理 / 下界理論 / 計算機科学 / 計算 / 複雑さ / Computers / Complxity / マージング ネットワーク / Music Information Processing / Structure of Proteins / Temporal Logic / Verification of Programs / Relational Algebra / Algebraic Semantics / Knowledge Propositional Logic / Identification of Differential Equations / グラフの構造 / 計算量理論 / 計算モデル / プログラム理論 / 英文翻訳 / システム同定 / 時間の論理 / 様相論理 / 文字列パターン / セルオートマトン / 高階単一化 / 音楽情報処理 / 蛋白質の構造 / 時相論理 / プログラムの検証 / 関係代数 / 代数的意味論 / 知識命題論理 / 微分方程式の同定 / Computer Network / Light-Weight Process / Process Migration / Parametric Analysis / Load Balancing Algorithm / Optimal Load Balancing / Distributed Computer System / Distributed Operating System / コンピュ-タ・ネットワ-ク / プロセス・マイグレ-ション / 分散透明性 / コンピュ-タネットワ-ク / 重さ可変プロセス / プロセス移送 / 負荷分散アルゴリズム / 最適負荷分散 / 分散処理 / 分散型コンピュ-タシステム / 分散型オペレ-ティングシステム / 時間計算量 / NP完全問題 / アルゴリズム / 独立節点集合 / 極大クリーク / 最大クリーク / グラフ / And-Or木 / パズルの計算複雑性 / 評価関数 / 深さ優先探索 / ゲーム木のモデル / ゲーム・パズルの複雑さ / And-Or木の探索 / ゲーム情報学 / 詰将棋 / ハッシュ法 / 探索アルゴリズム / ゲーム Less
  • Research Projects

    (11 results)
  • Research Products

    (3 results)
  • Co-Researchers

    (26 People)
  •  Game informatics: Search of And-Or tree and Computational Complexity of games and puzzles

    • Principal Investigator
      IWATA Shigeki
    • Project Period (FY)
      2011 – 2013
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Software
    • Research Institution
      The University of Electro-Communications
  •  The application of Formal Language Theory to Natural Language ProcessingPrincipal Investigator

    • Principal Investigator
      KASAI Takumi
    • Project Period (FY)
      1998 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      The University of Electro-Communications
  •  Lower Bounds in Computer Science

    • Principal Investigator
      IWATA Shigeki
    • Project Period (FY)
      1998 – 2001
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      The University of Electro-Communications
  •  A Study of the complete Problems for Low-Level Complexity ClassesPrincipal Investigator

    • Principal Investigator
      KASAI Takumi
    • Project Period (FY)
      1995 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      The University of Electro-Communications
  •  Computer Computation to obtain Lower Bounds of Computational Complexity

    • Principal Investigator
      IWATA Shigeki
    • Project Period (FY)
      1995 – 1997
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      The University of Electro-Communications
  •  Synthetic Research on the Theory of Algorithms

    • Principal Investigator
      KOBAYASHI Kojiro
    • Project Period (FY)
      1994 – 1996
    • Research Category
      Grant-in-Aid for Scientific Research (A)
    • Research Field
      General mathematics (including Probability theory/Statistical mathematics)
    • Research Institution
      Tokyo Institute of Technology
  •  ゲーム木の高速探索と求解法

    • Principal Investigator
      NOSHITA Kohei
    • Project Period (FY)
      1992
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      Informatics
    • Research Institution
      The University of Electro-Communications
  •  Research on the Design of Distributed Operating Systems

    • Principal Investigator
      KAMEDA Hisao
    • Project Period (FY)
      1989 – 1990
    • Research Category
      Grant-in-Aid for General Scientific Research (B)
    • Research Field
      Informatics
    • Research Institution
      The University of Electro-Communications
  •  Investigation in ew Algorithms for Checking Equivalence of Discrete Systems and It's ApplicationPrincipal Investigator

    • Principal Investigator
      KASAI Takumi, 富田 悦次
    • Project Period (FY)
      1987 – 1988
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機工学
    • Research Institution
      The University of Electro-Communications
  •  効率的な極大クリーク抽出アルゴリズムの開発と計算量評価に関する研究

    • Principal Investigator
      TOMITA Etsuji
    • Project Period (FY)
      1985 – 1986
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機工学
    • Research Institution
      The University of Electro-Communications
  •  A Method for Implementing Functional Programming Languages

    • Principal Investigator
      NOSHITA Kohei
    • Project Period (FY)
      1985 – 1986
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機工学
    • Research Institution
      Chuo University
      The University of Electro-Communications

All 2013

All Journal Article Presentation

  • [Journal Article] Shikaku and Ripple Effect are NP-complete2013

    • Author(s)
      Yasuhiko Takenaga, Shintaro Aoyagi, Shigeki Iwata, and Takumi Kasai
    • Journal Title

      Congressus Numerantium

      Volume: Vol.216 Pages: 119-127

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500037
  • [Presentation] Shikaku and Ripple effect are NP-complete2013

    • Author(s)
      Yasuhiko Takenaga, Shintaro Aoyagi, Shigeki Iwata, and Takumi Kasai
    • Organizer
      Forty-fourth Southeastern Conference on Combinatorics, Graph Thery and Computing
    • Place of Presentation
      Florida Atlantic University, Boca Raton, Florida, USA
    • Data Source
      KAKENHI-PROJECT-23500037
  • [Presentation] Shikaku and Ripple Effect are NP-complete2013

    • Author(s)
      Yasuhiko Takenaga, Shintaro Aoyagi, Shigeki Iwata, and Takumi Kasai
    • Organizer
      44th Southeastern International Conference on Combinatorics, Graph Theory, and Computing (44th SEICCGTC)
    • Place of Presentation
      Florida, U.S.A
    • Data Source
      KAKENHI-PROJECT-23500037
  • 1.  IWATA Shigeki (80102028)
    # of Collaborated Projects: 5 results
    # of Collaborated Products: 3 results
  • 2.  TAKENAGA Yasuhoko (20236491)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 3 results
  • 3.  TOMITA Etsuji (40016598)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 4.  MACHIDA Hajime (40090534)
    # of Collaborated Projects: 3 results
    # of Collaborated Products: 0 results
  • 5.  NOSHITA Kohei (60011706)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 6.  YAMAZAKI Koichi (00246662)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 7.  HASUNUMA Toru (30313406)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 8.  ITO Hiroo (50283487)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 9.  KAMEDA Hisao (10011660)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 10.  KAKUDA Hiroyasu (70152600)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 11.  SHIMIZU Kentaro (80178970)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 12.  TERASHIMA Motoaki (20114928)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 13.  KOBAYASHI Kojiro (00016148)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 14.  MIYANO Satoru (50128104)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 15.  KANO Mikio (20099823)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 16.  ENOMOTO Hikoe (00011669)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 17.  IGARASHI Shigeru (80027367)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 18.  ARIKAWA Setsuo (40037221)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 19.  TANI Sei'ichi (70266708)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 20.  TAKAHASHI Haruhisa (90135418)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 21.  戸田 誠之助 (90172163)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 22.  砂原 秀樹 (20206577)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 23.  青柳 龍也 (40202494)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 24.  小野 寛晰 (90055319)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 25.  佐藤 雅彦 (20027387)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results
  • 26.  伊藤 達郎 (90015909)
    # of Collaborated Projects: 1 results
    # of Collaborated Products: 0 results

URL: 

Are you sure that you want to link your ORCID iD to your KAKEN Researcher profile?
* This action can be performed only by the researcher himself/herself who is listed on the KAKEN Researcher’s page. Are you sure that this KAKEN Researcher’s page is your page?

この研究者とORCID iDの連携を行いますか?
※ この処理は、研究者本人だけが実行できます。

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi