• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

笠井 琢美  KASAI Takumi

ORCIDORCID連携する *注記
研究者番号 70027382
その他のID
外部サイト
所属 (過去の研究課題情報に基づく) *注記 2013年度: 電気通信大学, 大学院・情報理工学研究科, 教授
2012年度 – 2013年度: 電気通信大学, その他部局等, 名誉教授
2011年度: 電気通信大学, 情報理工学(系)研究科, 教授
1995年度 – 2001年度: 電気通信大学, 電気通信学部, 教授
1992年度: 電気通信大学, 電気通信学部, 教授
1989年度 – 1990年度: 電気通信大学, 電気通信学部, 教授
1986年度 – 1988年度: 電気通信大学, 電気通信学部, 助教授
審査区分/研究分野
研究代表者
計算機科学 / 情報工学
研究代表者以外
計算機科学 / 情報工学 / 情報学 / 数学一般(含確率論・統計数学) / ソフトウエア
キーワード
研究代表者
プッシュダウンオートマトン / TAG / Complexity / 機械翻訳 / 形式言語理論 / 計算量 / Pushdown Automata / アルゴリズム / 等価性判定 / 変換器 … もっと見る / オートマトン / 等価性判定アルゴリズム / Context-Free / Natural Languages / Tree Automata / Automata / Formal Languages / プッシュダウン・木オートマトン / プシュダウン木オートマトン / プッシュダウン木オートマトン / 文脈自由木オート・マトン / プシュダウンオートマトン / 文脈自由木オートマトン / 木オートマトン / Merging Network / Graph Isomorphism / Graph Algoritms / Language Processing / Formal Language / Approximation Algoritms / Complete Problems / 構文解析 / マージング・ネットワーク / グラフ同型問題 / グラフアルゴリズム / 自然言語処理 / 近似アルゴリズム / 完全問題 … もっと見る
研究代表者以外
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木の探索 / ゲーム情報学 / 詰将棋 / ハッシュ法 / 探索アルゴリズム / ゲーム 隠す
  • 研究課題

    (11件)
  • 研究成果

    (3件)
  • 共同研究者

    (26人)
  •  ゲーム情報学:And-Or木の探索とゲーム・パズルの難しさの研究

    • 研究代表者
      岩田 茂樹
    • 研究期間 (年度)
      2011 – 2013
    • 研究種目
      基盤研究(C)
    • 研究分野
      ソフトウエア
    • 研究機関
      電気通信大学
  •  形式言語理論の自然言語処理への応用研究代表者

    • 研究代表者
      笠井 琢美
    • 研究期間 (年度)
      1998 – 2001
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      電気通信大学
  •  計算機科学における下界の研究

    • 研究代表者
      岩田 茂樹
    • 研究期間 (年度)
      1998 – 2001
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      電気通信大学
  •  低いレベルの計算量クラスの完全問題の研究研究代表者

    • 研究代表者
      笠井 琢美
    • 研究期間 (年度)
      1995 – 1997
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      電気通信大学
  •  計算量の下界を求めるコンピュータによる計算の研究

    • 研究代表者
      岩田 茂樹
    • 研究期間 (年度)
      1995 – 1997
    • 研究種目
      基盤研究(C)
    • 研究分野
      計算機科学
    • 研究機関
      電気通信大学
  •  アルゴリズム論に関する総合的研究

    • 研究代表者
      小林 孝次郎 (小林 孝治郎)
    • 研究期間 (年度)
      1994 – 1996
    • 研究種目
      基盤研究(A)
    • 研究分野
      数学一般(含確率論・統計数学)
    • 研究機関
      東京工業大学
  •  ゲーム木の高速探索と求解法

    • 研究代表者
      野下 浩平
    • 研究期間 (年度)
      1992
    • 研究種目
      一般研究(C)
    • 研究分野
      情報学
    • 研究機関
      電気通信大学
  •  分散型オペレ-ティングシステムの実現方式に関する研究

    • 研究代表者
      亀田 壽夫
    • 研究期間 (年度)
      1989 – 1990
    • 研究種目
      一般研究(B)
    • 研究分野
      情報学
    • 研究機関
      電気通信大学
  •  離散的システムの等価性判定アルゴリズムとその応用に関する研究研究代表者

    • 研究代表者
      笠井 琢美, 富田 悦次
    • 研究期間 (年度)
      1987 – 1988
    • 研究種目
      一般研究(C)
    • 研究分野
      情報工学
    • 研究機関
      電気通信大学
  •  効率的な極大クリーク抽出アルゴリズムの開発と計算量評価に関する研究

    • 研究代表者
      富田 悦次
    • 研究期間 (年度)
      1985 – 1986
    • 研究種目
      一般研究(C)
    • 研究分野
      情報工学
    • 研究機関
      電気通信大学
  •  関数型プログラム言語の翻訳・実行方式

    • 研究代表者
      野下 浩平
    • 研究期間 (年度)
      1985 – 1986
    • 研究種目
      一般研究(C)
    • 研究分野
      情報工学
    • 研究機関
      中央大学
      電気通信大学

すべて 2013

すべて 雑誌論文 学会発表

  • [雑誌論文] Shikaku and Ripple Effect are NP-complete2013

    • 著者名/発表者名
      Yasuhiko Takenaga, Shintaro Aoyagi, Shigeki Iwata, and Takumi Kasai
    • 雑誌名

      Congressus Numerantium

      巻: Vol.216 ページ: 119-127

    • 査読あり
    • データソース
      KAKENHI-PROJECT-23500037
  • [学会発表] Shikaku and Ripple effect are NP-complete2013

    • 著者名/発表者名
      Yasuhiko Takenaga, Shintaro Aoyagi, Shigeki Iwata, and Takumi Kasai
    • 学会等名
      Forty-fourth Southeastern Conference on Combinatorics, Graph Thery and Computing
    • 発表場所
      Florida Atlantic University, Boca Raton, Florida, USA
    • データソース
      KAKENHI-PROJECT-23500037
  • [学会発表] Shikaku and Ripple Effect are NP-complete2013

    • 著者名/発表者名
      Yasuhiko Takenaga, Shintaro Aoyagi, Shigeki Iwata, and Takumi Kasai
    • 学会等名
      44th Southeastern International Conference on Combinatorics, Graph Theory, and Computing (44th SEICCGTC)
    • 発表場所
      Florida, U.S.A
    • データソース
      KAKENHI-PROJECT-23500037
  • 1.  岩田 茂樹 (80102028)
    共同の研究課題数: 5件
    共同の研究成果数: 3件
  • 2.  武永 康彦 (20236491)
    共同の研究課題数: 3件
    共同の研究成果数: 3件
  • 3.  富田 悦次 (40016598)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 4.  町田 元 (40090534)
    共同の研究課題数: 3件
    共同の研究成果数: 0件
  • 5.  野下 浩平 (60011706)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 6.  山崎 浩一 (00246662)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 7.  蓮沼 徹 (30313406)
    共同の研究課題数: 2件
    共同の研究成果数: 0件
  • 8.  伊藤 大雄 (50283487)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 9.  亀田 壽夫 (10011660)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 10.  角田 博保 (70152600)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 11.  清水 謙多郎 (80178970)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 12.  寺島 元章 (20114928)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 13.  小林 孝次郎 (00016148)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 14.  宮野 悟 (50128104)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 15.  加納 幹雄 (20099823)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 16.  榎本 彦衛 (00011669)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 17.  五十嵐 滋 (80027367)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 18.  有川 節夫 (40037221)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 19.  谷 聖一 (70266708)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 20.  高橋 治久 (90135418)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 21.  戸田 誠之助 (90172163)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 22.  砂原 秀樹 (20206577)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 23.  青柳 龍也 (40202494)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 24.  小野 寛晰 (90055319)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 25.  佐藤 雅彦 (20027387)
    共同の研究課題数: 1件
    共同の研究成果数: 0件
  • 26.  伊藤 達郎 (90015909)
    共同の研究課題数: 1件
    共同の研究成果数: 0件

URL: 

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

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?

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi