Wakatsuki Mitsuo 若月光夫

… Alternative Names

WAKATSUKI Mitsuo 若月光夫

Less

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

効率的な最大および極大クリーク抽出アルゴリズムの開発と応用
- 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

[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)
  Etsuji Tomita, Sora Matsuzaki, Atsuki Nagao, Hiro Ito, Mitsuo Wakatsuki
- 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-17K00006, KAKENHI-PROJECT-15K11985, KAKENHI-PROJECT-25330009
[Journal Article] A much faster branch-and-bound algorithm for finding a maximum clique2016
- Author(s)
  Etsuji Tomita, Kohei Yoshida, Takuro Hatta, Atsuki Nagao, Hiro Ito, Mitsuo Wakatsuki
- Journal Title
  
  Lecture Notes in Computer Science
  
  Volume: 9711 Pages: 215-226
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-25330009
[Journal Article] A polynomial-time algorithm for checking the equivalence for deterministic restricted one-counter transducers which accept by final state2015
- Author(s)
  Mitsuo Wakatsuki, Etsuji Tomita, Tetsuro Nishino
- Journal Title
  
  Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing Studies in Computational Intelligence
  
  Volume: 569 Pages: 131-144
- DOI
  10.1007/978-3-319-10389-1_10
- 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) 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
  
  電子情報通信学会論文誌Ｄ
  
  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 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] 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 Issue: 6 Pages: 1286-1298
- DOI
  10.1587/transinf.e96.d.1286
  10.1587/transinf.E96.D.1286
- NAID
  10031193989
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-25330009
[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
  
  電子情報通信学会論文誌Ｄ
  
  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
  
  電子情報通信学会論文誌Ｄ
  
  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の高速化（その２）2019
- Author(s)
  松崎空良, 富田悦次, 長尾篤樹, 伊藤大雄, 若月光夫, 西野哲朗，片山謙吾，金原一歩
- Organizer
  冬のLAシンポジウム
- 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] 最終状態受理式決定性限定１カウンタ変換器の多項式時間包含性判定アルゴリズム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] 実時間決定性限定１カウンタ変換器に対する質問による多項式時間学習アルゴリズム2014
- Author(s)
  若月光夫，富田悦次，西野哲朗
- Organizer
  冬のLAシンポジウム
- Place of Presentation
  京都大学
- Data Source
  KAKENHI-PROJECT-25330009
[Presentation] 決定性限定１カウンタ変換器のある部分クラスに対する質問による多項式時間学習アルゴリズム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: 82 results
2. NISHINO Tetsuro (10198484)

# of Collaborated Projects: 9 results

# of Collaborated Products: 61 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: 8 results
7. HOTTA Kazuhiro (40345426)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Wakatsuki Mitsuo 若月 光夫

WAKATSUKI Mitsuo 若月 光夫

Research Projects

Research Products

Co-Researchers

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Development of efficient learning algorithms of formal languages and construction of their application systemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Developments of efficient algorithms for learning from examples of formal languages and their applicationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Developments of LearningAlgorithms for Deterministic Context-Free Languages in Some Classes and Their ApplicationsPrincipal 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

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

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

Author(s)

Publisher

Data Source

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

Author(s)

Wakatsuki Mitsuo 若月光夫

WAKATSUKI Mitsuo 若月光夫