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

Wakatsuki Mitsuo  若月 光夫

ORCIDConnect your ORCID iD *help
… Alternative Names

WAKATSUKI Mitsuo  若月 光夫

Less
Researcher Number 30251705
Other IDs
External Links
Affiliation (Current) 2025: 電気通信大学, 大学院情報理工学研究科, 助教
Affiliation (based on the past Project Information) *help 2016 – 2020: 電気通信大学, 大学院情報理工学研究科, 助教
2011 – 2015: 電気通信大学, 情報理工学(系)研究科, 助教
2012 – 2014: 電気通信大学, 大学院情報理工学研究科, 助教
2010 – 2011: 電気通信大学, 情報理工学研究科, 助教
2010: The University of Electro-Communications, 大学院・情報理工学研究科, 助教 … More
2007 – 2009: The University of Electro-Communications, Faculty of Electro-Communications, Assistant Professor
1997 – 2006: 電気通信大学, 電気通信学部, 助手
1994 – 1995: 電気通信大学, 電気通信学部, 助手 Less
Review Section/Research Field
Principal Investigator
Fundamental theory of informatics / Intelligent informatics / 計算機科学
Except Principal Investigator
Fundamental theory of informatics / 計算機科学 / Theory of informatics / Intelligent informatics / 情報通信工学
Keywords
Principal Investigator
計算論的学習理論 / 決定性文脈自由言語 / アルゴリズム / 等価性判定 / 極限同定 / 正例からの学習 / 変換器 / プッシュダウン変換器 / プッシュダウンオートマトン / 包含性判定 … More / transducers / pushdown automata / context-free languages / algorithm / checking the equivalence / identification in the limit / learning from positive data / computational learning theory / 形式言語 / 正例からの極限同定 / 多項式時間可解性 / 多項式時間可能性 / 質問による学習 / 正の例からの極限同定 / 正則性判定 / 決定性1カウンタオートマン / 決定性プッシュダウンオートマン / 形式言語理論 … More
Except Principal Investigator
最大クリーク / 分枝限定法 / 極大クリーク / 多項式時間的可解性 / 時間計算量 / NP完全問題 / 近似彩色 / 深さ優先探索 / 計算機実験 / データマイニング / 分枝限定アルゴリズム / Maximum clique / ニューラルネットワーク / Dominating Set / 近似アルゴリズム / RNA secondary structure prediction / approximate coloring / maximum clique / ボルツマンマシン / 最大重みクリーク / アルゴリズム / 組合せ最適化 / 列挙 / 近似解法 / バイオインフォマティクス / 計算論的学習理論 / 実働化評価 / 時間計算量解析 / 実働評価 / 厳密解法 / 最大独立節点集合 / 多項式時間 / 遅延 / 分枝限定 / 符号理論 / learning from positive data / algorithmic learning theory / bioinformatics / generation / branch-and-bound method / maximal clique / 論理関数の学習 / 形式言語の学習 / 正例からの学習 / 列挙アルゴリズム / 重み最大クリーク / 正の例からの学習 / 列挙法 / Identification in the limit / Number of updates / Updating time / Positive example / Automaton / Formal language / Learning / ブール関数 / 極限同定 / 更新回数 / 更新時間 / 正の例 / オートマトン / 形式言語 / 学習 / Boltsmann machine / binding / phasor neural network / Covariance / ボレッマンマシン / 機能的結合 / パルスニューロン / 複素ニューロン / バインディング / 位相ニューロン / コバリアンス / Approximation algorithm / Coloring problem / Maximal clique / Maximum weight clique / Combinatorial optimization / 学習理論 / 色彩問題 / RNA二次構造予測 / 彩色問題 / Boltzmann machine / branch-and-bound / maximum weight clique / algorithm / combinatorial optimization / RNA 2次構造予測 / 確立アルゴリズム / ポルツマンマシン / RNA2次構造予測 / 整列 / 近似解 / 疑似クリーク / 分散処理 / DNAコンピューティング / ハイパーグラフ / NP困難問題 / 並列処理 Less
  • Research Projects

    (13 results)
  • Research Products

    (129 results)
  • Co-Researchers

    (7 People)
  •  効率的な最大および極大クリーク抽出アルゴリズムの開発と応用

    • Principal Investigator
      富田 悦次
    • Project Period (FY)
      2017 – 2021
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Theory of informatics
    • Research Institution
      The University of Electro-Communications
  •  Much faster algorithms for finding maximum and maximal cliques and their applications

    • Principal Investigator
      TOMITA Etsuji
    • Project Period (FY)
      2013 – 2017
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Theory of informatics
    • Research Institution
      The University of Electro-Communications
  •  Development of efficient learning algorithms of formal languages and construction of their application systemsPrincipal Investigator

    • Principal Investigator
      WAKATSUKI Mitsuo
    • Project Period (FY)
      2011 – 2014
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      The University of Electro-Communications
  •  Development of efficient algorithms for finding a maximum clique with theoretical and experimental evaluations and their applications

    • Principal Investigator
      TOMITA Etsuji
    • Project Period (FY)
      2010 – 2012
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      The University of Electro-Communications
  •  Developments of efficient algorithms for learning from examples of formal languages and their applicationsPrincipal Investigator

    • Principal Investigator
      WAKATSUKI Mitsuo
    • Project Period (FY)
      2008 – 2010
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      The University of Electro-Communications
  •  Improvement and extension of maximum-clique-finding algorithms with complexity analysis and their applications

    • Principal Investigator
      TOMITA Etsuji
    • Project Period (FY)
      2007 – 2009
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      The University of Electro-Communications
  •  Developments of LearningAlgorithms for Deterministic Context-Free Languages in Some Classes and Their ApplicationsPrincipal Investigator

    • Principal Investigator
      WAKATSUKI Mitsuo
    • Project Period (FY)
      2006 – 2007
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Intelligent informatics
    • Research Institution
      The University of Electro-Communications
  •  Developments of Efficient Combinatorial Algorithms and Their Applications

    • Principal Investigator
      TOMITA Etsuji
    • Project Period (FY)
      2004 – 2006
    • Research Category
      Grant-in-Aid for Scientific Research (B)
    • Research Field
      Fundamental theory of informatics
    • Research Institution
      The University of Electro-Communications
  •  Studies on Efficient Learning Algorithms from Examples

    • Principal Investigator
      TOMITA Etsuji
    • Project Period (FY)
      2001 – 2003
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      Intelligent informatics
    • Research Institution
      The University of Electro-Communications
  •  A neural model of the binding in the human brain and its application to pattern recognition

    • Principal Investigator
      HARUHISA Takahashi
    • Project Period (FY)
      1998 – 2000
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      情報通信工学
    • Research Institution
      The Unicersity of Electro-Communications
  •  Development and Applications of Efficient Algorithms for Combinatorial Optimization Problems

    • Principal Investigator
      TOMITA Etsuji
    • Project Period (FY)
      1997 – 1998
    • Research Category
      Grant-in-Aid for Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      The University of Electro-Communications
  •  決定性文脈自由言語の部分族に対する学習アルゴリズムの開発とその応用に関する研究Principal Investigator

    • Principal Investigator
      若月 光夫
    • Project Period (FY)
      1994
    • Research Category
      Grant-in-Aid for Encouragement of Young Scientists (A)
    • Research Field
      計算機科学
    • Research Institution
      The University of Electro-Communications
  •  Development and Evaluations of Efficient Algorithms for Combinatorial Optimization Problems

    • Principal Investigator
      TOMITA Etsuji
    • Project Period (FY)
      1994 – 1995
    • Research Category
      Grant-in-Aid for General Scientific Research (C)
    • Research Field
      計算機科学
    • Research Institution
      The University of Electro-Communications

All 2021 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 Other

All Journal Article Presentation Book

  • [Book] 応用オートマトン工学2012

    • Author(s)
      西野哲朗, 若月光夫, 後藤隆彰
    • Publisher
      コロナ社
    • Data Source
      KAKENHI-PROJECT-22500009
  • [Book] 応用オートマトン工学2012

    • Author(s)
      西野哲朗,若月光夫,後藤隆彰
    • Total Pages
      174
    • Publisher
      コロナ社
    • Data Source
      KAKENHI-PROJECT-23500011
  • [Journal Article] A Much Faster Algorithm for Finding a Maximum Clique with Computational Experiments2017

    • Author(s)
      TOMITA Etsuji, MATSUZAKI Sora, NAGAO Atsuki, ITO Hiro, and WAKATSUKI Mitsuo
    • Journal Title

      Journal of Information Processing

      Volume: 25 Issue: 0 Pages: 667-677

    • DOI

      10.2197/ipsjjip.25.667

    • NAID

      130005990921

    • ISSN
      1882-6652
    • Language
      English
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-15K11985, KAKENHI-PROJECT-25330009, KAKENHI-PROJECT-17K00006
  • [Journal Article] A Much Faster Algorithm for Finding a Maximum Clique2016

    • Author(s)
      Etsuji Tomita, Kohei Yoshida, Takuro Hatta, Atsuki Nagao, Hiro Ito and Mitsuo Wakatsuki
    • Journal Title

      roceedings of the 10th International Frontiers of Algorithmics Workshop (FAW2016)

      Volume: 未定 Pages: 215-226

    • DOI

      10.1007/978-3-319-39817-4_21

    • ISBN
      9783319398167, 9783319398174
    • Peer Reviewed / Open Access
    • Data Source
      KAKENHI-PROJECT-24650006, KAKENHI-PROJECT-25330009, KAKENHI-PROJECT-15K11985
  • [Journal Article] A polynomial-time algorithm for checking the equivalence of deterministic restricted one-counter transducers which accept by final state2015

    • Author(s)
      Mitsuo Wakatsuki, Etsuji Tomita, Tetsuro Nishino
    • Journal Title

      Studies in Computational Intelligence, "Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing"

      Volume: 569 Pages: 131-144

    • DOI

      10.1007/978-3-319-10389-1_10

    • ISBN
      9783319103884, 9783319103891
    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-23500011, KAKENHI-PROJECT-25330009
  • [Journal Article] A source code plagiarism detecting method using sequence alignment with abstract syntax tree elements2015

    • Author(s)
      Hiroshi Kikuchi, Takaaki Goto, Mitsuo Wakatsuki, Tetsuro Nishino
    • Journal Title

      International Journal of Software Innovation

      Volume: 3 (3) Issue: 3 Pages: 41-56

    • DOI

      10.4018/ijsi.2015070104

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500011
  • [Journal Article] 最大クリーク問題の多項式時間的可解性の拡張の改良2014

    • Author(s)
      中西裕陽,富田悦次,若月光夫, 西野哲朗
    • Journal Title

      電子情報通信学会論文誌 D

      Volume: J97-D Pages: 1106-1121

    • Peer Reviewed / Acknowledgement Compliant
    • Data Source
      KAKENHI-PROJECT-25330009
  • [Journal Article] 最大クリーク問題の多項式時間的可解性の拡張の改良2014

    • Author(s)
      中西裕陽,富田悦次,若月光夫,西野哲朗
    • Journal Title

      電子情報通信学会論文誌

      Volume: J97-D Pages: 1-16

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25330009
  • [Journal Article] 最大クリーク問題の多項式時間的可解性の拡張の改良2014

    • Author(s)
      中西裕陽,富田悦次,若月光夫,西野哲朗
    • Journal Title

      電子情報通信学会論文誌D

      Volume: J97-D (6) Pages: 1106-1121

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500011
  • [Journal Article] A Simple and Faster Branch-and-Bound Algorithm for Finding a Maximum Clique with Computational Experiments2013

    • Author(s)
      Etsuji Tomita, Yoichi Sutani, Takanori Higashi, Mitsuo Wakatsuki
    • Journal Title

      IEICE Trans. Inf. & Syst.

      Volume: E96.D Issue: 6 Pages: 1286-1298

    • DOI

      10.1587/transinf.E96.D.1286

    • NAID

      10031193989

    • ISSN
      0916-8532, 1745-1361
    • Language
      English
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25330009
  • [Journal Article] A simple and faster branch-and-bound algorithm for finding a maximum clique with computational experiments2013

    • Author(s)
      Etsuji Tomita, Yoichi Sutani, Takanori Higashi, Mitsuo Wakatsuki
    • Journal Title

      IEICE Transactions on Information and Systems

      Volume: E96-D (6) Pages: 1286-1298

    • NAID

      10031193989

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500011
  • [Journal Article] A polynomial-time algorithm for checking the equivalence for real-time deterministic restricted one-counter transducers which accept by final state2013

    • Author(s)
      Mitsuo Wakatsuki, Etsuji Tomita, Tetsuro Nishino
    • Journal Title

      Proc. IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

      Volume: 14 Pages: 1-6

    • DOI

      10.1109/snpd.2013.18

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-25330009
  • [Journal Article] A simple and faster branch-and-bound algorithm for finding a maximum clique with computational experiments2013

    • Author(s)
      Etsuji Tomita, Yoichi Sutani, Takanori Higashi, Mitsuo Wakatsuki
    • Journal Title

      IEICE Trans. on Information and Systems

      Volume: vol.E96-D,no.6

    • NAID

      10031193989

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22500009
  • [Journal Article] A polynomial-time algorithm for checking the equivalence for real-time deterministic restricted one-counter transducers which accept by final state2013

    • Author(s)
      Mitsuo Wakatsuki, Etsuji Tomita, Tetsuro Nishino
    • Journal Title

      International Journal of Computer and Information Science

      Volume: 14 (2) Pages: 45-53

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500011
  • [Journal Article] A polynomial-time algorithm for checking the equivalence for real-time deterministic restricted one-counter transducers which accept by final state2013

    • Author(s)
      Mitsuo Wakatsuki
    • Journal Title

      Proc. 14th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

      Volume: 14 Pages: 1-7

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22500009
  • [Journal Article] 最大クリーク問題の多項式時間的可解性の拡張2012

    • Author(s)
      中西裕陽,富田悦次,若月光夫,西野哲朗
    • Journal Title

      電子情報通信学会論文誌D

      Volume: vol.J95-D,no.9 Pages: 1716-1728

    • NAID

      110009495570

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22500009
  • [Journal Article] 最大クリーク問題の多項式時間的可解性の拡張2012

    • Author(s)
      中西裕陽,富田悦次,若月光夫,西野哲朗
    • Journal Title

      電子情報通信学会論文誌D

      Volume: J95-D Pages: 1716-1728

    • NAID

      110009495570

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500011
  • [Journal Article] 実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム2011

    • Author(s)
      若月光夫,清野和司,富田悦次,西野哲朗
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: 1744 Pages: 1-10

    • Data Source
      KAKENHI-PROJECT-23500011
  • [Journal Article] 最大クリーク問題の多項式時間的可解性について2011

    • Author(s)
      中西裕陽,富田悦次,若月光夫,西野哲朗
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: 1744 Pages: 169-176

    • Data Source
      KAKENHI-PROJECT-23500011
  • [Journal Article] 最大クリーク問題の多項式時間的可解性の更なる改良結果2011

    • Author(s)
      中西裕陽, 富田悦次, 若月光夫, 西野哲朗
    • Journal Title

      電子情報通信学会論文誌D

      Volume: J94-D Pages: 2037-2046

    • NAID

      110008798722

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22500009
  • [Journal Article] 最大クリーク問題の多項式時間的可解性について2011

    • Author(s)
      中西裕陽,富田悦次,若月光夫,西野哲朗
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: vol.1744 Pages: 169-176

    • Data Source
      KAKENHI-PROJECT-22500009
  • [Journal Article] 実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム2011

    • Author(s)
      若月光夫,清野和司,富田悦次,西野哲 朗
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: vol.1744 Pages: 1-10

    • Data Source
      KAKENHI-PROJECT-22500009
  • [Journal Article] 最大クリーク問題の多項式時間的可解性の更なる改良結果2011

    • Author(s)
      中西裕陽,富田悦次,若月光夫,西野哲朗
    • Journal Title

      電子情報通信学会論文誌D

      Volume: J94-D,no.12 Pages: 2037-2046

    • NAID

      110008798722

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22500009
  • [Journal Article] 実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム2011

    • Author(s)
      若月光夫, 清野和司, 富田悦次, 西野哲朗
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: 1744 Pages: 1-10

    • Data Source
      KAKENHI-PROJECT-22500009
  • [Journal Article] 量子セルオートマトンに基づく画像圧縮のための画像変換アルゴリズム2011

    • Author(s)
      大畑和樹,西野哲朗,若月光夫
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: 1744 Pages: 181-184

    • Data Source
      KAKENHI-PROJECT-23500011
  • [Journal Article] 最大クリーク抽出の単純な最大時間計算量評価と多項式時間的可解性2011

    • Author(s)
      中西裕陽, 富田悦次, 若月光夫, 西野哲朗
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: 1744 Pages: 169-176

    • Data Source
      KAKENHI-PROJECT-22500009
  • [Journal Article] 最大クリーク問題の多項式時間的可解性の更なる改良結果2011

    • Author(s)
      中西裕陽,富田悦次,若月光夫,西野哲朗
    • Journal Title

      電子情報通信学会論文誌D

      Volume: J94-D Pages: 2037-2046

    • NAID

      110008798722

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-23500011
  • [Journal Article] Polynomial time identification of strict prefix deterministic finite state transducers2010

    • Author(s)
      若月光夫, 富田悦次
    • Journal Title

      Lecture Notes in Artificial Intelligence Vol.6339

      Pages: 313-316

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500007
  • [Journal Article] A simple and faster branch-and-bound algorithm for finding a maximum clique2010

    • Author(s)
      E.Tomita, Y.Sutani, T.Higashi, S.Takahashi, M.Wakatsuki
    • Journal Title

      Lecture Notes in Computer Science Vol.5942

      Pages: 191-203

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500007
  • [Journal Article] Polynomial time identification of strict prefix deterministic finite state transducers2010

    • Author(s)
      Mitsuo Wakatsuki, Etsuji Tomita
    • Journal Title

      Lecture Notes in Artificial Intelligence

      Volume: 6339 Pages: 313-316

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22500009
  • [Journal Article] 最大クリーク抽出の単純な最大時間計算量評価と多項式時間的可解性2010

    • Author(s)
      中西裕陽,富田悦次,若月光夫
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: vol.1691 Pages: 108-114

    • Data Source
      KAKENHI-PROJECT-22500009
  • [Journal Article] Polynomial time identification of strict prefix deterministic finitestate transducers2010

    • Author(s)
      Mitsuo Wakatsuki, Etsuji Tomita
    • Journal Title

      Lecture Notes in Computer Science

      Volume: 6339 Pages: 313-316

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-22500009
  • [Journal Article] Polynomial time identification of strict prefix deterministic finite state transducers2010

    • Author(s)
      Mitsuo Wakatsuki, Etsuji Tomita
    • Journal Title

      Lecture Notes in Artificial Intelligence, Proceedings of ICGI2010 (Springer)

      Volume: 6339 Pages: 313-316

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500007
  • [Journal Article] 最大クリーク抽出の単純な最大時間計算量評価と多項式時間的可解性2010

    • Author(s)
      中西裕陽, 富田悦次, 若月光夫
    • Journal Title

      京都大学数理解析研究所講究録

      Volume: 1691 Pages: 108-114

    • Data Source
      KAKENHI-PROJECT-22500009
  • [Journal Article] A simple and faster branch-and-bound algorithm for finding a maximum clique2010

    • Author(s)
      E. Tomita, Y. Sutani, T. Higashi, S. Takahashi, M. Wakatsuki
    • Journal Title

      Lecture Notes in Computer Science 5942

      Pages: 191-203

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19500010
  • [Journal Article] Polynomial time identification of strict deterministic restricted one-counter automata in some class from positive data2008

    • Author(s)
      Mitsuo Wakatsuki, Etsuji Tomita
    • Journal Title

      IEICE Transactions on Information and Systems E91-D

      Pages: 1704-1718

    • NAID

      110003178820

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500007
  • [Journal Article] 実時間空スタック受理式決定性限定ワンカウンター変換器の多項式時間等価性判定2008

    • Author(s)
      清野和司, 富田悦次, 若月光夫
    • Journal Title

      電子情報通信学会論文誌D Vol.J91-D, No.5

      Pages: 1188-1201

    • NAID

      110007380111

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500007
  • [Journal Article] 実時間空スタック受理式決定性限定ワンカウンタ変換器の多項式時間等価性判定2008

    • Author(s)
      清野和司, 富田悦次, 若月光夫
    • Journal Title

      電子情報通信学会論文誌D分冊 J91-D

      Pages: 1188-1201

    • NAID

      110007380111

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500108
  • [Journal Article] 実時間空スタック受理式決定性限定ワンカウンタ変換器対の多項式時間等価性判定2008

    • Author(s)
      清野和司, 富田悦次, 若月光夫
    • Journal Title

      電子情報通信学会論文誌D J91-D

      Pages: 1188-1201

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19500010
  • [Journal Article] 実時間空スタツク受理式決定性限定ワンカウンタ変換器の多項式時間等価性判定2008

    • Author(s)
      清野和司, 富田悦次, 若月光夫
    • Journal Title

      電子情報通信学会論文誌D分冊 J91-D

      Pages: 1188-1201

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500007
  • [Journal Article] Polynomial time identification of strict deterministic restricted one-counter automata in some class from positive data2008

    • Author(s)
      Mitsuo Wakatsuki
    • Journal Title

      IEICE Trans. on Information and Systems E91-D

      Pages: 1704-1718

    • NAID

      10026804329

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19500010
  • [Journal Article] Polynomial time identification of strict deterministic restricted one-counter automata in some class from positive data2008

    • Author(s)
      Mitsuo Wakatsuki and Etsuji Tomita
    • Journal Title

      IEICE Transactions on Information and Systems E91-D(6月掲載確定)

    • NAID

      10026804329

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500108
  • [Journal Article] Polynomial time identification of strict deterministic restricted one-counter automata in some class from positive data2008

    • Author(s)
      Mitsuo, Wakatsuki, Etsuji, Tomita
    • Journal Title

      The IEICE Transactions on Information and Systems E91-D 6)(to appear)

    • NAID

      10026804329

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-18500108
  • [Journal Article] 実時間空スタック受理式決定性限定ワンカウンタ変換器の多項式時間等価性判定2008

    • Author(s)
      清野和司, 富田悦次, 若月光夫
    • Journal Title

      電子情報通信学会論文誌D分冊 J91-D(5月掲載確定)

    • NAID

      110007380111

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500108
  • [Journal Article] Polynomial time identification of strict deterministic restricted one-counter automata in some class from positive data2008

    • Author(s)
      若月光夫, 富田悦次
    • Journal Title

      IEICE Transactions on Information and Systems Vol.E91-D, No.6

      Pages: 1704-1718

    • NAID

      110003178820

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-20500007
  • [Journal Article] Polynomiasl time identification of strict deterministic restricted one-counter automata in some class from positive data2008

    • Author(s)
      Mitsuo Wakatsuki
    • Journal Title

      IEICE Trans. on Information and Systems E91-D

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19500010
  • [Journal Article] Polynomial time identification of strict deterministic restricted one-counter automata in some class from positive data2008

    • Author(s)
      M. Wakatsuki, E. Tomita
    • Journal Title

      IEICE Trans. on Inform. Syst. E91-D

      Pages: 1704-1718

    • NAID

      110003178820

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19500010
  • [Journal Article] A polynomial-time algorithm for checking the equivalence of real-time strict deterministic restricted one-counter transducers2008

    • Author(s)
      Kazushi, Seino, Etsuji, Tomita, Mitsuo, Wakatsuki
    • Journal Title

      The IEICE Transactions on Information and Systems (Japanese Edition) J91-D 5)

      Pages: 1188-1201

    • NAID

      110006456723

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-18500108
  • [Journal Article] A direct branching algorithm for checking the equivalence of a pair of non-real-time deterministic pushdown transducers2007

    • Author(s)
      Kazushi, Seino, Etsuji, Tomita, Mitsuo, Wakatsuki
    • Journal Title

      The IEICE Transactions on Information and Systems (Japanese Edition) J90-D 10)

      Pages: 2675-2690

    • NAID

      110004075880

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-18500108
  • [Journal Article] ε-推移を許したある決定性プッシュダウン変換器対の等価性判定2007

    • Author(s)
      清野和司, 富田悦次, 若月光夫
    • Journal Title

      電子情報通信学会論文誌D分冊 J90-D

      Pages: 2675-2690

    • NAID

      110007380576

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500108
  • [Journal Article] ε-推移を許したある決定性プッシュダウン変換器対の等価性判定2007

    • Author(s)
      清野和司, 富田悦次, 若月光夫
    • Journal Title

      電子情報通信学会論文誌D J90-D

      Pages: 2675-2690

    • NAID

      110007380576

    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-19500010
  • [Journal Article] A unified algorithm for extending classes of languages identifiable in the limit from positive data2006

    • Author(s)
      Mitsuo Wakatsuki
    • Journal Title

      Lecture Notes in Artificial Intelligence 4201

      Pages: 161-174

    • NAID

      110002812593

    • Data Source
      KAKENHI-PROJECT-16300001
  • [Journal Article] A unified algorithm for extending classes of languages identifiable in the limit from positive data.2006

    • Author(s)
      Mitsuo Wakatsuki, Etsuji Tomita, Go Yamada
    • Journal Title

      Lecture Notes in Artificial Intelligence, Proceedings of ICGI2006 (Springer) 4201

      Pages: 161-174

    • NAID

      110002812593

    • Data Source
      KAKENHI-PROJECT-18500108
  • [Journal Article] A unified algorithm for extending classes of languages identifiable in the limit from positive data2006

    • Author(s)
      Mitsuo, Wakatsuki, Etsuji, Tomita, Go, Yamada
    • Journal Title

      Lecture Notes in Artificial Intelligence, Proceedings of ICGI2006 (Springer) 4201

      Pages: 161-174

    • NAID

      110002812593

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-18500108
  • [Journal Article] A unified algorithm for extending classes of languages identifiable in the limit from positive data2006

    • Author(s)
      M.Wakatsuki, E.Tomita, G.Yamada
    • Journal Title

      Lecture Notes in Artificial Intelligence 4201

      Pages: 161-174

    • NAID

      110002812593

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300001
  • [Journal Article] A unified algorithm for extending classes of languages identifiable in the limit from positive data2006

    • Author(s)
      Mitsuo Wakatsuki, Etsuji Tomita and GoYamada
    • Journal Title

      Lecture Notes in Artificial Intelligence, Proceedings of ICGI2006(Springer) 4201

      Pages: 161-174

    • NAID

      110002812593

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
    • Data Source
      KAKENHI-PROJECT-18500108
  • [Journal Article] A unified algorithm for extending classes of languages identifiable in the limit from positive data2005

    • Author(s)
      Mitsuo Wakatsuki
    • Journal Title

      IPSJ SIG Notes on Algorithms 2005-AL-102

      Pages: 1-8

    • NAID

      110002812593

    • Data Source
      KAKENHI-PROJECT-16300001
  • [Journal Article] Polynomial time identification of strict deterministic restricted one-counter automata in some class from positive data2004

    • Author(s)
      Mitsuo Wakatsuki
    • Journal Title

      Lecture Notes in Artificial Intelligence Vol.3264

      Pages: 260-272

    • NAID

      10026804329

    • Data Source
      KAKENHI-PROJECT-16300001
  • [Journal Article] Polynomial time identification of strict deterministic restricted one-counter automata in some class from positive data2004

    • Author(s)
      M.Wakatsuki, K.Teraguchi, E.Tomita
    • Journal Title

      Lecture Notes in Artificial Intelligence 3264

      Pages: 260-272

    • NAID

      110003178820

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300001
  • [Journal Article] Polynomial time learning of simple deterministic languages via queries and a representative sample2004

    • Author(s)
      Y.Tajima, E.Tomita, M.Wakatsuki, M.Terada
    • Journal Title

      Theoretical Computer Science vol.329

      Pages: 203-221

    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-16300001
  • [Presentation] 最大クリーク抽出アルゴリズムMCTのさらなる高速化2021

    • Author(s)
      柳澤士朗, 富田悦次, 片山謙吾, 金原一歩, 戸田貴久, 伊藤大雄, 若月光夫, 西野哲朗
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Data Source
      KAKENHI-PROJECT-17K00006
  • [Presentation] 最大クリーク抽出アルゴリズムMCTのさらなる高速化2021

    • Author(s)
      柳澤士朗, 富田悦次, 片山謙吾, 金原一歩, 戸田貴久, 伊藤大雄, 若月光夫, 西野哲朗
    • Organizer
      電子情報通信学会 コンピュテーション研究会
    • Data Source
      KAKENHI-PROJECT-17K00006
  • [Presentation] 最大クリーク抽出アルゴリズムMCTの高速化(その2)2019

    • Author(s)
      松崎空良, 富田悦次, 長尾篤樹, 伊藤大雄, 若月光夫, 西野哲朗,片山謙吾,金原一歩
    • Organizer
      冬のLAシンポジウム
    • Data Source
      KAKENHI-PROJECT-17K00006
  • [Presentation] 最大クリーク抽出アルゴリズムMCTの高速化(その2)2019

    • Author(s)
      松崎空良, 富田悦次, 長尾篤樹, 伊藤大雄, 若月光夫, 西野哲朗, 片山謙吾, 金原一歩
    • Organizer
      冬のLAシンポジウム
    • Data Source
      KAKENHI-PROJECT-17K00006
  • [Presentation] 近似最大クリーク抽出アルゴリズムIKLSの反復回数に対する適切な制御方法2018

    • Author(s)
      長尾篤樹, 松崎空良, 富田悦次, 伊藤大雄, 若月光夫, 西野哲朗
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Data Source
      KAKENHI-PROJECT-17K00006
  • [Presentation] 最大クリーク抽出アルゴリズムMCTの高速化2018

    • Author(s)
      松崎空良, 富田悦次, 長尾篤樹, 伊藤大雄, 若月光夫, 西野哲朗
    • Organizer
      情報処理学会数理モデル化と問題解決研究会
    • Data Source
      KAKENHI-PROJECT-17K00006
  • [Presentation] 近似最大クリーク抽出アルゴリズムIKLS の反復回数に対する適切な制御方法2018

    • Author(s)
      長尾篤樹, 松崎空良, 富田悦次, 伊藤大雄, 若月光夫, 西野哲朗
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Data Source
      KAKENHI-PROJECT-17K00006
  • [Presentation] 最大クリーク抽出アルゴリズムMCSの高速化2016

    • Author(s)
      吉田幸平,八田拓郎,富田悦次,長尾篤樹,伊藤大雄,若月 光夫
    • Organizer
      情報処理学会アルゴリズム研究会
    • Place of Presentation
      電気通信大学(東京都調布市)
    • Year and Date
      2016-03-06
    • Data Source
      KAKENHI-PROJECT-25330009
  • [Presentation] 最終状態受理式決定性限定1カウンタ変換器の多項式時間包含性判定アルゴリズム2016

    • Author(s)
      若月光夫, 富田悦次, 西野哲朗
    • Organizer
      冬のLAシンポジウム
    • Place of Presentation
      京都大学(京都市左京区)
    • Year and Date
      2016-01-26
    • Data Source
      KAKENHI-PROJECT-25330009
  • [Presentation] 最大クリーク抽出アルゴリズムの高速化2015

    • Author(s)
      八田拓郎,富田悦次, 伊藤大雄,若月光夫
    • Organizer
      夏のLAシンポジウム
    • Place of Presentation
      ゆのくに天祥(石川県加賀市)
    • Year and Date
      2015-07-14
    • Data Source
      KAKENHI-PROJECT-25330009
  • [Presentation] A polynomial-time algorithm for checking the equivalence of deterministic restricted one-counter transducers which accept by final state2014

    • Author(s)
      Mitsuo Wakatsuki, Etsuji Tomita, Tetsuro Nishino
    • Organizer
      15th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2014)
    • Place of Presentation
      Harrah's Casino Hotel, Las Vegas, U.S.A.
    • Data Source
      KAKENHI-PROJECT-23500011
  • [Presentation] A source code plagiarism detecting method using alignment with abstract syntax tree elements2014

    • Author(s)
      Hiroshi Kikuchi, Takaaki Goto, Mitsuo Wakatsuki, Tetsuro Nishino
    • Organizer
      15th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2014)
    • Place of Presentation
      Harrah's Casino Hotel, Las Vegas, U.S.A.
    • Data Source
      KAKENHI-PROJECT-23500011
  • [Presentation] 実時間決定性限定1カウンタ変換器に対する質問による多項式時間学習アルゴリズム2014

    • Author(s)
      若月光夫,富田悦次,西野哲朗
    • Organizer
      冬のLAシンポジウム
    • Place of Presentation
      京都大学
    • Data Source
      KAKENHI-PROJECT-25330009
  • [Presentation] 決定性限定1カウンタ変換器のある部分クラスに対する質問による 多項式時間学習アルゴリズム2013

    • Author(s)
      若月光夫
    • Organizer
      冬のLAシンポジウム
    • Place of Presentation
      京都大学
    • Data Source
      KAKENHI-PROJECT-22500009
  • [Presentation] 決定性 限定1カウンタ変換器のある部分クラスに対する質問による多項式時間学習アルゴリズム2013

    • Author(s)
      若月光夫, 富田悦次, 西野哲朗
    • Organizer
      冬のLAシンポジウム
    • Place of Presentation
      京都大学
    • Data Source
      KAKENHI-PROJECT-22500009
  • [Presentation] A polynomial-time algorithm for checking the equivalence for real-time deterministic restricted one-counter transducers which accept by final state2013

    • Author(s)
      Mitsuo Wakatsuki, Etsuji Tomita, Tetsuro Nishino
    • Organizer
      14th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2013)
    • Place of Presentation
      The Sheraton Waikiki Hotel, Honolulu, Hawaii, U.S.A.
    • Data Source
      KAKENHI-PROJECT-23500011
  • [Presentation] 遺伝的アルゴリズムを用いたコンピュータ大貧民の思考ルーティンの自動チューニング2012

    • Author(s)
      海川祥毅,西野哲朗,若月光夫
    • Organizer
      電気通信大学エンターテイメントと認知科学研究ステーション 第6回エンターテイメントと認知科学シンポジウム
    • Place of Presentation
      電気通信大学
    • Data Source
      KAKENHI-PROJECT-23500011
  • [Presentation] 最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム2012

    • Author(s)
      若月光夫,清野和司,富田悦次,西野哲朗
    • Organizer
      2011年度冬のLAシンポジウム
    • Place of Presentation
      京都大学
    • Data Source
      KAKENHI-PROJECT-23500011
  • [Presentation] 最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム2012

    • Author(s)
      若月光夫,清野和司,富田悦次,西野哲朗
    • Organizer
      冬のLAシンポジウム
    • Place of Presentation
      京都大学
    • Data Source
      KAKENHI-PROJECT-22500009
  • [Presentation] 最大クリーク問題の多項式時間的可解性の拡張2011

    • Author(s)
      中西裕陽,富田悦次,若月光夫,西野哲朗
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      東北大学
    • Data Source
      KAKENHI-PROJECT-23500011
  • [Presentation] 実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム2011

    • Author(s)
      若月光夫,清野和司,富田悦次,西野哲朗
    • Organizer
      冬のLAシンポジウム
    • Place of Presentation
      京都大学
    • Year and Date
      2011-02-13
    • Data Source
      KAKENHI-PROJECT-22500009
  • [Presentation] 最大クリーク問題の多項式時間的可解性について2011

    • Author(s)
      中西裕陽, 富田悦次, 若月光夫, 西野哲朗
    • Organizer
      2010年度冬のLAシンポジウム
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2011-02-03
    • Data Source
      KAKENHI-PROJECT-20500007
  • [Presentation] 最大クリーク問題の多項式時間的可解性の更なる改良結果2011

    • Author(s)
      中西裕陽,富田悦次,若月光夫,西野哲朗
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      京都大学
    • Data Source
      KAKENHI-PROJECT-23500011
  • [Presentation] 量子セルオートマトンに基づく画像圧縮のための画像変換アルゴリズム2011

    • Author(s)
      大畑和樹, 西野哲朗, 若月光夫
    • Organizer
      2010年度冬のLAシンポジウム
    • Place of Presentation
      京都大学 数理解析研究所420号室
    • Year and Date
      2011-02-01
    • Data Source
      KAKENHI-PROJECT-20500007
  • [Presentation] 最大クリーク問題の多項式時間的可解性について2011

    • Author(s)
      中西裕陽,富田悦次,若月光夫,西野哲朗
    • Organizer
      冬のLAシンポジウム
    • Place of Presentation
      京都大学
    • Year and Date
      2011-02-13
    • Data Source
      KAKENHI-PROJECT-22500009
  • [Presentation] 実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム2011

    • Author(s)
      若月光夫, 清野和司, 富田悦次, 西野哲朗
    • Organizer
      2010年度冬のLAシンポジウム
    • Place of Presentation
      京都大学 数理解析研究所420号室
    • Year and Date
      2011-02-01
    • Data Source
      KAKENHI-PROJECT-20500007
  • [Presentation] 最大クリーク問題の多項式時間的可解性の拡張2011

    • Author(s)
      中西裕陽,富田悦次,若月光夫,西野哲朗
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      東北大学
    • Year and Date
      2011-10-21
    • Data Source
      KAKENHI-PROJECT-22500009
  • [Presentation] 最大クリーク問題の多項式時間的可解性の更なる改良結果2011

    • Author(s)
      中西裕陽,富田悦次,若月光夫,西野哲朗
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      京都大学
    • Year and Date
      2011-04-22
    • Data Source
      KAKENHI-PROJECT-22500009
  • [Presentation] 量子セルオートマトンに基づく画像圧縮のための画像変換アルゴリズム2011

    • Author(s)
      大畑和樹, 西野哲朗, 若月光夫
    • Organizer
      2010年度冬のLAシンポジウム
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2011-02-01
    • Data Source
      KAKENHI-PROJECT-20500007
  • [Presentation] 実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム2011

    • Author(s)
      若月光夫, 清野和司, 富田悦次, 西野哲朗
    • Organizer
      2010年度冬のLAシンポジウム
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2011-02-01
    • Data Source
      KAKENHI-PROJECT-20500007
  • [Presentation] 空スタック受理式決定性限定ワンカウンタ変換器の多項式時間等価性判定アルゴリズム2010

    • Author(s)
      若月光夫, 清野和司, 富田悦次, 西野哲朗
    • Organizer
      冬のLAシンポジウム
    • Place of Presentation
      京都大学
    • Year and Date
      2010-02-02
    • Data Source
      KAKENHI-PROJECT-19500010
  • [Presentation] 最大クリーク抽出の単純な最大時間計算量と多項式時間的可解性2010

    • Author(s)
      中西裕陽, 富田悦次, 若月光夫
    • Organizer
      冬のLAシンポジウ
    • Place of Presentation
      京都大学
    • Year and Date
      2010-02-03
    • Data Source
      KAKENHI-PROJECT-19500010
  • [Presentation] 最大クリーク抽出の単純な最大時間計算量評価と多項式時間的可解性2010

    • Author(s)
      中西裕陽, 富田悦次, 若月光夫
    • Organizer
      2009年度冬のLAシンポジウム
    • Place of Presentation
      京都大学理学研究科北部構内数学教室
    • Year and Date
      2010-02-03
    • Data Source
      KAKENHI-PROJECT-20500007
  • [Presentation] 鳥の歌文法解析の自動化2010

    • Author(s)
      鈴木徹, 若月光夫, 西野哲朗
    • Organizer
      2010年度夏のLAシンポジウム
    • Place of Presentation
      九殿浜温泉ひみのはな
    • Year and Date
      2010-07-20
    • Data Source
      KAKENHI-PROJECT-20500007
  • [Presentation] A simple and faster algorithm for finding a maximum clique2010

    • Author(s)
      E. Tomita, Y. Sutani, T. Higashi, S. Takahashi, M. Wakatsuki
    • Organizer
      情報処理学会アルゴリズム研究会
    • Place of Presentation
      九州大学
    • Year and Date
      2010-01-26
    • Data Source
      KAKENHI-PROJECT-19500010
  • [Presentation] 空スタック受理式決定性限定ワンカウンタ変換器の多項式時間等価性判定アルゴリズム2010

    • Author(s)
      若月光夫, 清野和司, 富田悦次, 西野哲朗
    • Organizer
      2009年度冬のLAシンポジウム
    • Place of Presentation
      京都大学理学研究科北部構内数学教室
    • Year and Date
      2010-02-02
    • Data Source
      KAKENHI-PROJECT-20500007
  • [Presentation] 単純でより高速な最大クリーク抽出アルゴリズム2010

    • Author(s)
      富田悦次, 須谷洋一, 東貴紀, 高橋真也, 若月光夫
    • Organizer
      情報処理学会アルゴリズム研究会
    • Place of Presentation
      九州大学西新プラザ
    • Year and Date
      2010-01-26
    • Data Source
      KAKENHI-PROJECT-20500007
  • [Presentation] 空スタック受理式決定性限定ワンカウンタ変換器の多項式時間等価性判定アルゴリズム2010

    • Author(s)
      若月光夫, 清野和司, 富田悦次, 西野哲朗
    • Organizer
      2009年度冬のLAシンポジウム
    • Place of Presentation
      京都大学理学研究科 北部構内 数学教室(理学研究科3号館)127号室
    • Year and Date
      2010-02-02
    • Data Source
      KAKENHI-PROJECT-20500007
  • [Presentation] 準同型写像によって拡張されたある言語クラスに対する正例からの極限同定2009

    • Author(s)
      若月光夫, 富田悦次
    • Organizer
      情報処理学会第73回数理モデル化と問題解決研究会
    • Place of Presentation
      沖縄科学技術研究基盤機構OIST Seaside House
    • Year and Date
      2009-03-05
    • Data Source
      KAKENHI-PROJECT-20500007
  • [Presentation] 鳥の歌構造解析におけるk可逆オートマトンとN グラムモデルの関係について2009

    • Author(s)
      常田宏和, 若月光夫, 西野哲朗
    • Organizer
      2009年度夏のLAシンポジウム
    • Place of Presentation
      かんぽの宿松島
    • Year and Date
      2009-07-23
    • Data Source
      KAKENHI-PROJECT-20500007
  • [Presentation] オートマトンの学習困難性を安全性の基盤とする暗号システムについて2009

    • Author(s)
      大久保誠也, 西野哲朗, 若月光夫
    • Organizer
      2008年度冬のLAシンポジウム
    • Place of Presentation
      京都大学数理解析研究所420号室
    • Year and Date
      2009-02-04
    • Data Source
      KAKENHI-PROJECT-20500007
  • [Presentation] 鳥の歌構造解析におけるk可逆オートマトンとNグラムモデルの関係について2009

    • Author(s)
      常田宏和, 若月光夫, 西野哲朗
    • Organizer
      2009年度夏のLAシンポジウム
    • Place of Presentation
      かんぽの宿 松島
    • Year and Date
      2009-07-23
    • Data Source
      KAKENHI-PROJECT-20500007
  • [Presentation] 準同型写像によって拡張されたある言語クラスに対する正例からの極限同定2009

    • Author(s)
      若月光夫, 富田悦次
    • Organizer
      情報処理学会数理モデル化と問題解決研究会
    • Place of Presentation
      沖縄科学技術研究基盤機構OIST Seaside House.
    • Year and Date
      2009-03-05
    • Data Source
      KAKENHI-PROJECT-20500007
  • [Presentation] 準同型写像によって拡張されたある言語クラスに対する正例からの極限同定2009

    • Author(s)
      若月光夫, 富田悦次
    • Organizer
      情報処理学会数理モデル化と問題解決研究会
    • Place of Presentation
      沖縄科学技術研究基盤機構
    • Year and Date
      2009-03-05
    • Data Source
      KAKENHI-PROJECT-19500010
  • [Presentation] 準同型写像によって拡張されたある言語クラスに対する正例からの極限同定2009

    • Author(s)
      若月 光夫
    • Organizer
      情報処理学会 数理研究モデル化と問題解決研究会
    • Place of Presentation
      沖縄科学術研究基盤機構
    • Year and Date
      2009-03-05
    • Data Source
      KAKENHI-PROJECT-19500010
  • [Presentation] オートマトンの学習困難性を安全性の基盤とする暗号システムについて2009

    • Author(s)
      大久保誠也, 西野哲朗, 若月光夫
    • Organizer
      2008年度冬のLAシンポジウム
    • Place of Presentation
      京都大学数理解析研究所
    • Year and Date
      2009-02-04
    • Data Source
      KAKENHI-PROJECT-20500007
  • [Presentation] 最大クリーク抽出の単純な最大時間計算量評価2009

    • Author(s)
      中西裕陽, 富田悦次, 若月光夫
    • Organizer
      夏のLAシンポジウム
    • Place of Presentation
      かんぽの宿松島
    • Year and Date
      2009-07-22
    • Data Source
      KAKENHI-PROJECT-19500010
  • [Presentation] 最大クリーク抽出アルゴリズムの共有メモリ型並列計算機上での並列化2008

    • Author(s)
      若月光夫, 高橋真也, 富田悦次
    • Organizer
      情報処理学会数理モデル化と問題解決研究会
    • Place of Presentation
      電気通信大学
    • Year and Date
      2008-09-18
    • Data Source
      KAKENHI-PROJECT-19500010
  • [Presentation] 最大クリーク抽出アルゴリズムの共有メモリ型並列計算機上での並列化2008

    • Author(s)
      若月光夫, 高橋真也, 富田悦次
    • Organizer
      情報処理学会数理モデル化と問題解決研究会
    • Place of Presentation
      電気通信大学
    • Year and Date
      2008-09-18
    • Data Source
      KAKENHI-PROJECT-20500007
  • [Presentation] 最大クリーク抽出アルゴリズムの共有メモリ型並列計算機上での並列化2008

    • Author(s)
      若月光夫
    • Organizer
      情報処理学会 数理研究モデル化と問題解決研究会
    • Place of Presentation
      電気通信大学
    • Year and Date
      2008-09-18
    • Data Source
      KAKENHI-PROJECT-19500010
  • [Presentation] Polynomial time identification of finite state transducers in some class2007

    • Author(s)
      若月光夫, 富田悦次
    • Organizer
      情報処理学会アルゴリズム研究会
    • Place of Presentation
      新潟大学大学院自然科学研究科 管理棟 2階 小会議室
    • Year and Date
      2007-11-30
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-18500108
  • [Presentation] Polynomial time identification of finite state transducers in some class2007

    • Author(s)
      若月光夫, 富田悦次
    • Organizer
      情報処理学会アルゴリズム研究会
    • Place of Presentation
      新潟大学大学院自然科学研究科 管理棟2階小会議室
    • Year and Date
      2007-11-30
    • Data Source
      KAKENHI-PROJECT-18500108
  • [Presentation] A polynomial-time algorithm for checking the equivalence of real-time strict deterministic restricted one-counter transducers2007

    • Author(s)
      Kazushi, Seino, Etsuji, Tomita, Mitsuo, Wakatsuki
    • Organizer
      IEICE, The Technical Group on Computation
    • Place of Presentation
      Tohoku University, Sendai, Japan
    • Year and Date
      2007-10-16
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-18500108
  • [Presentation] Polynomial time identification of finite state transducers in some class2007

    • Author(s)
      Mitsuo, Wakatsuki, Etsuji, Tomita
    • Organizer
      ICT Triangle Forum 2007 (Advanced ICT 2007)
    • Place of Presentation
      Beijing University of Posts and Telecommunications, Beijing, China
    • Year and Date
      2007-09-20
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-18500108
  • [Presentation] Polynomial time identification of finite state transducers in some class2007

    • Author(s)
      M. Wakatsuki, E. Tomita
    • Organizer
      Advanced Information and Communication Technology
    • Place of Presentation
      Beijing, China
    • Year and Date
      2007-09-20
    • Data Source
      KAKENHI-PROJECT-19500010
  • [Presentation] 実時間空スタック受理式決定性限定ワンカウンター変換器の多項式時間等価性判定アルゴリズム2007

    • Author(s)
      清野和司, 富田悦次, 若月光夫
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      東北大学工学部電子情報システム・応物系1号館451・453号室
    • Year and Date
      2007-10-16
    • Data Source
      KAKENHI-PROJECT-18500108
  • [Presentation] Polynomial time identification of finite state transducers in some class2007

    • Author(s)
      Mitsuo Wakatsuki and Etsuji Tomita
    • Organizer
      ICT Triangle Forum 2007(Advanced ICT 2007)
    • Place of Presentation
      Beijing Uhiversity of Posts and Telecommunications, Beijing, China
    • Year and Date
      2007-09-20
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-18500108
  • [Presentation] 実時間空スタック受理式決定性限定ワンカウンター変換器の多項式時間等価性判定アルゴリズム2007

    • Author(s)
      清野和司, 富田悦次, 若月光夫
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      東北大学工学部電子情報システム・応物系 1号館 451・453号室
    • Year and Date
      2007-10-16
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-18500108
  • [Presentation] Polynomial time identification of finite state transducers in some class2007

    • Author(s)
      Mitsuo, Wakatsuki, Etsuji, Tomita
    • Organizer
      IPSJ, The Special Interest Group on Algorithms
    • Place of Presentation
      Niigata University, Niigata, Japan
    • Year and Date
      2007-11-30
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-18500108
  • [Presentation] A unified algorithm for extending classes of languages identifiable in the limit from positive data2006

    • Author(s)
      Mitsuo, Wakatsuki, Etsuji, Tomita, Go, Yamada
    • Organizer
      LA Symposium 2006 in summer
    • Place of Presentation
      Saijo Grand Hotel, Hiroshima, Japan
    • Year and Date
      2006-08-03
    • Description
      「研究成果報告書概要(欧文)」より
    • Data Source
      KAKENHI-PROJECT-18500108
  • [Presentation] A unified algorithn for extending classes of languages identifiable in the limit from positive data2006

    • Author(s)
      Mitsuo Wakatsuki, Etsuji Tomita and Go Yamada
    • Organizer
      2006年度夏のLAシンポジウム
    • Place of Presentation
      西条グランドホテル(広島県東広島市)
    • Year and Date
      2006-08-03
    • Description
      「研究成果報告書概要(和文)」より
    • Data Source
      KAKENHI-PROJECT-18500108
  • [Presentation] 学習ゲームを用いた発達障害児向け文字学習支援システム

    • Author(s)
      金山貴泰,浅野久美子,西野哲朗,若月光夫
    • Organizer
      情報処理学会数理モデル化と問題解決研究会
    • Place of Presentation
      北海道大学 百年記念会館
    • Data Source
      KAKENHI-PROJECT-23500011
  • [Presentation] 最大クリーク問題の多項式時間的可解性の拡張の更なる改良

    • Author(s)
      中西裕陽,富田悦次,若月光夫,西野哲朗
    • Organizer
      電子情報通信学会コンピュテーション研究会/情報処理学会アルゴリズム研究会
    • Place of Presentation
      道後温泉 大和屋(愛媛県松山市)
    • Year and Date
      2014-06-13 – 2014-06-14
    • Data Source
      KAKENHI-PROJECT-23500011
  • [Presentation] 最大クリーク問題の多項式時間的可解性の拡張の改良

    • Author(s)
      中西裕陽,富田悦次,若月光夫,西野哲朗
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      法政大学 小金井キャンパス 梶野町校舎 西館W203
    • Data Source
      KAKENHI-PROJECT-23500011
  • [Presentation] 類似パターンの省略によりソースコードの可読性を向上させる新技法

    • Author(s)
      菊池紘,後藤隆彰,若月光夫,西野哲朗
    • Organizer
      電子情報通信学会知能ソフトウェア工学研究会
    • Place of Presentation
      電気通信大学 東3号館301号室
    • Data Source
      KAKENHI-PROJECT-23500011
  • [Presentation] 実時間決定性限定1カウンタ変換器に対する質問による多項式時間学習アルゴリズム

    • Author(s)
      若月光夫,富田悦次,西野哲朗
    • Organizer
      2013年度冬のLAシンポジウム
    • Place of Presentation
      京都大学 数理解析研究所 420号室
    • Data Source
      KAKENHI-PROJECT-23500011
  • [Presentation] A polynomial-time algorithm for checking the inclusion of deterministic restricted one-counter transducers which accept by final state

    • Author(s)
      Mitsuo Wakatsuki, Etsuji Tomita, Tetsuro Nishino
    • Organizer
      30th International Conference on Computers and Their Applications
    • Place of Presentation
      Waikiki Beach Marriott Resort & Spa, Honolulu, Hawaii, U.S.A.
    • Year and Date
      2015-03-09 – 2015-03-11
    • Data Source
      KAKENHI-PROJECT-23500011
  • [Presentation] 決定性限定1カウンタ変換器のある部分クラスに対する質問による多項式時間学習アルゴリズム

    • Author(s)
      若月光夫,富田悦次,西野哲朗
    • Organizer
      2012年度冬のLAシンポジウム
    • Place of Presentation
      京都大学 数理解析研究所 420号室
    • Data Source
      KAKENHI-PROJECT-23500011
  • [Presentation] 最大クリーク問題の多項式時間的可解性の拡張の更なる改良

    • Author(s)
      中西裕陽,富田悦次,若月光夫,西野哲朗
    • Organizer
      電子情報通信学会コンピュテーション研究会
    • Place of Presentation
      道後温泉 大和屋
    • Year and Date
      2014-06-13 – 2014-06-14
    • Data Source
      KAKENHI-PROJECT-25330009
  • 1.  TOMITA Etsuji (40016598)
    # of Collaborated Projects: 11 results
    # of Collaborated Products: 89 results
  • 2.  NISHINO Tetsuro (10198484)
    # of Collaborated Projects: 9 results
    # of Collaborated Products: 64 results
  • 3.  TAKAHASHI Haruhisa (90135418)
    # of Collaborated Projects: 6 results
    # of Collaborated Products: 3 results
  • 4.  TARUI Jun (00260539)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 5.  KOBAYASHI Satoshi (50251707)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 0 results
  • 6.  伊藤 大雄 (50283487)
    # of Collaborated Projects: 2 results
    # of Collaborated Products: 10 results
  • 7.  HOTTA Kazuhiro (40345426)
    # 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