笠井 琢美

名誉教授・その他関係者名誉教授

学位

  • 理学博士, 京都大学

研究キーワード

  • formal languages and automata
  • theory of computation
  • computitional complexity
  • 形式言語とオートマトン
  • 計算理論
  • 計算の複雑さ

学歴

  • 1971年03月
    早稲田大学, 理工学研究科, 数学専攻
  • 1969年03月
    早稲田大学, 理工学部, 数学科

委員歴

  • 1996年 - 1997年
    コンピュテーション研究専門委員長, 電子情報通信学会, 学協会

論文

  • 拡張範疇文法ー機械翻訳のための文法モデル
    松原俊一; 笠井琢美
    電子情報通信学会 論文誌, 一般社団法人電子情報通信学会, J92-D巻, 9号, 掲載ページ 1508-1517, 出版日 2009年09月, 査読付, 本論文では,機械翻訳のための形式的な文法モデルとして拡張範疇文法を導入する.この文法は,現在開発が進められている英和機械翻訳機で使われている文法モデルである.近年の計算言語学では,tree adjoining grammarsと呼ばれる文法が,自然言語の形式的な文法モデルとして注目され,広く研究されている.今回,拡張範疇文法とtree adjoining grammarsの能力の一致が示される.
    研究論文(学術雑誌), 日本語
  • 拡張Dyck言語による TALs の特徴付け
    松原俊一; 笠井琢美
    電子情報通信学会論文誌, 一般社団法人電子情報通信学会, J90-D巻, 6号, 掲載ページ 1417-1427, 出版日 2007年06月, 査読付, TALsは文脈自由言語よりも強力な記述能力をもつ言語のクラスであり,自然言語の形式化として近年注目を集めている.本論文では,任意のTALが認識可能集合と拡張Dyck言語と準同型写像によって特徴付けられることを示す.
    研究論文(学術雑誌), 日本語
  • Inherent ambiguity of languages generated by spine grammars
    Kawaharada, I; T Kasai
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E88D巻, 6号, 掲載ページ 1150-1158, 出版日 2005年06月, 査読付
    研究論文(学術雑誌), 英語
  • A polynomial time algorithm to infer sequential machines
    Katsuhiko Takahashi; Akio Fujiyoshi; Takumi Kasai
    Systems and Computers in Japan, 34巻, 1号, 掲載ページ 59-67, 出版日 2003年01月, 査読付
    研究論文(学術雑誌), 英語
  • 転送スタック付きプッシュダウン・オートマトンとLinear Indexed Grammar について
    川原田 郁雄; 笠井 琢美
    電子情報通信学会論文誌, 一般社団法人電子情報通信学会, J84-D1巻, 12号, 掲載ページ 1583-1590, 出版日 2001年12月, 査読付, 本論文では, プッシュダウンオートマトンの自然な拡張である転送スタック付きプッシュダウンオートマトンを導入する.このオートマトンは, プッシュダウンスタックに加えて, このスタックと連動して動作する制限された補助スタックを転送スタックと呼ぶ.このオートマトンの能力について, 自然言語の形式化の一つである Linear Indexed Grammarとの比較を行い, 転送スタック付きプッシュダウンオートマトンで受理される言語のクラスが, Linear Indexed Grammarの言語のクラスと一致することを示す.
    研究論文(学術雑誌), 日本語
  • 木-文字列変換機について
    太田大輔; 川原田郁雄; 笠井琢美
    電子情報通信学会技術研究報告, COMP2000-76号, 出版日 2001年03月
    研究論文(その他学術会議資料等), 日本語
  • 順序機械の多項式時間推論アルゴリズム
    高橋克彦; 藤芳明生; 笠井琢美
    電子情報通信学会論文誌, J84-D-I巻, 1号, 掲載ページ 31-39, 出版日 2001年01月
    日本語
  • Linear Indexed Grammarと等価なオートマトンモデル
    川原田郁雄; 笠井琢美
    電子情報通信学会技術研究報告, COMP2000-57号, 出版日 2000年11月
    研究論文(その他学術会議資料等), 日本語
  • 転送スタックつきプッシュダウン・オートマトン―関係代名詞を含む英文翻訳の構文解析モデル―
    川原田郁雄; 太田大輔; 笠井琢美
    電子情報通信学会技術研究報告, COMP99-92号, 掲載ページ 105-110, 出版日 2000年03月
    研究論文(その他学術会議資料等), 日本語
  • Spinal-formed context-free tree grammars
    A Fujiyoshi; T Kasai
    THEORY OF COMPUTING SYSTEMS, 33巻, 1号, 掲載ページ 59-83, 出版日 2000年01月
    研究論文(学術雑誌), 英語
  • 順序機械の多項式時間推論アルゴリズム
    高橋克彦; 藤芳明生; 笠井琢美
    電子情報通信学会技術研究報告, 電子情報通信学会, 99巻, OMP99-52号, 掲載ページ 25-32, 出版日 1999年11月
    研究論文(その他学術会議資料等), 日本語
  • Left-right trees: A new tree structure for machine translation
    Kouichi Kurokawa; Takumi Kasai
    Systems and Computers in Japan, John Wiley and Sons Inc., 29巻, 5号, 掲載ページ 84-91, 出版日 1998年, 査読付
    研究論文(学術雑誌), 英語
  • Thirty four Comparisons are Required to Sort 13 Items
    Takumi Kasai; Shusaku Sawato; Shigeki Iwata
    Logic, Language and Computation, Lecture Notes in Computer Science, 792巻, 掲載ページ 260-269, 出版日 1994年, 査読付
    研究論文(国際会議プロシーディングス), 英語
  • The Othello game on an n*n board is PSPACE-complete
    Shigeki Iwata; Takumi Kasai
    Theoretical Computer Science, 123巻, 2号, 掲載ページ 323-340, 出版日 1994年, 査読付
    研究論文(学術雑誌), 英語
  • RELATIONS AMONG SIMULTANEOUS COMPLEXITY CLASSES OF NONDETERMINISTIC AND ALTERNATING TURING-MACHINES
    S IWATA; T KASAI; E MORIYA
    ACTA INFORMATICA, 30巻, 3号, 掲載ページ 267-278, 出版日 1993年05月, 査読付
    研究論文(学術雑誌), 英語
  • SIMULTANEOUS (POLY-TIME, LOG-SPACE) LOWER BOUNDS
    S IWATA; T KASAI
    THEORETICAL COMPUTER SCIENCE, 54巻, 2-3号, 掲載ページ 325-329, 出版日 1987年, 査読付
    研究論文(学術雑誌), 英語
  • A NOTE ON SOME SIMULTANEOUS RELATIONS AMONG TIME, SPACE, AND REVERSAL FOR SINGLE WORK TAPE NONDETERMINISTIC TURING-MACHINES
    E MORIYA; S IWATA; T KASAI
    INFORMATION AND CONTROL, 70巻, 2-3号, 掲載ページ 179-185, 出版日 1986年08月, 査読付
    研究論文(学術雑誌), 英語
  • GRADUALLY INTRACTABLE PROBLEMS AND NONDETERMINISTIC LOG-SPACE LOWER BOUNDS
    T KASAI; S IWATA
    MATHEMATICAL SYSTEMS THEORY, 18巻, 2号, 掲載ページ 153-170, 出版日 1985年, 査読付
    研究論文(学術雑誌), 英語
  • SOME COMBINATORIAL GAME PROBLEMS REQUIRE OMEGA(NK) TIME
    A ADACHI; S IWATA; T KASAI
    JOURNAL OF THE ACM, 31巻, 2号, 掲載ページ 361-376, 出版日 1984年, 査読付
    研究論文(学術雑誌), 英語
  • SPACE COMPLEXITY IN ONLINE COMPUTATION
    H MACHIDA; T KASAI
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 24巻, 3号, 掲載ページ 362-372, 出版日 1982年, 査読付
    研究論文(学術雑誌), 英語
  • HOMOMORPHISMS BETWEEN MODELS OF PARALLEL COMPUTATION
    T KASAI; RE MILLER
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 25巻, 3号, 掲載ページ 285-331, 出版日 1982年, 査読付
    研究論文(学術雑誌), 英語
  • Low Level Complexity for Combinatorial Games
    Akeo Adachi; Shigeki Iwata; Takumi Kasai
    Proc. 13rd Ann. ACM Symp. on Theory of Computing, 掲載ページ 228-237, 出版日 1981年, 査読付
    研究論文(学術雑誌), 英語
  • A CHARACTERIZATION OF TIME-COMPLEXITY BY SIMPLE LOOP PROGRAMS
    T KASAI; A ADACHI
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 20巻, 1号, 掲載ページ 1-17, 出版日 1980年, 査読付
    研究論文(学術雑誌), 英語
  • Classes of pebble games and complete problems
    Takumi Kasai; Akeo Adachi; Shigeki Iwata
    SIAM Journal on Computing, 8巻, 4号, 掲載ページ 576-586, 出版日 1979年11月, 査読付
    研究論文(学術雑誌), 英語
  • A Theoretical Study of the Time Analysis of Programs
    Akeo Adachi; Takumi Kasai; Etsuro Moriya
    Mathematical Foundations of Computer Science, Lecture Notes in Computer Science, 74巻, 掲載ページ 201-207, 出版日 1979年, 査読付
    研究論文(国際会議プロシーディングス), 英語
  • A Universal Context-Free Grammar
    Takumi Kasai
    Information and Control, 28巻, 1号, 掲載ページ 30-34, 出版日 1975年, 査読付
    研究論文(学術雑誌), 英語
  • Translatability of Flowcharts into While Programs
    Takumi Kasai
    Journal of Computer and System Sciences, 9巻, 2号, 掲載ページ 177-195, 出版日 1974年, 査読付
    研究論文(学術雑誌), 英語
  • An Hierarchy Between Context-Free and Context-Sensitive Languages
    Takumi Kasai
    Journal of Computer and System Sciences, 4巻, 5号, 掲載ページ 492-508, 出版日 1970年, 査読付
    研究論文(学術雑誌), 英語

書籍等出版物

  • 計算の理論
    笠井琢美; 戸田誠之助
    日本語, 共立出版, 出版日 1993年
  • 計算量の理論
    笠井琢美
    日本語, 近代科学社, 出版日 1987年
  • 有限オートマトン入門
    岩田茂樹; 笠井琢美
    日本語, 森北出版, 出版日 1986年

所属学協会

  • 電子情報通信学会
  • 日本数学会
  • EATCS