若月光夫 Wakatsuki Mitsuo

研究者番号	30251705
その他のID
外部サイト
所属 (現在)	2025年度: 電気通信大学, 大学院情報理工学研究科, 助教
所属 (過去の研究課題情報に基づく) *注記	2016年度 – 2020年度: 電気通信大学, 大学院情報理工学研究科, 助教 2011年度 – 2015年度: 電気通信大学, 情報理工学(系)研究科, 助教 2012年度 – 2014年度: 電気通信大学, 大学院情報理工学研究科, 助教 2010年度 – 2011年度: 電気通信大学, 情報理工学研究科, 助教 2010年度: 電気通信大学, 大学院・情報理工学研究科, 助教 … もっと見る 2007年度 – 2009年度: 電気通信大学, 電気通信学部, 助教 1997年度 – 2006年度: 電気通信大学, 電気通信学部, 助手 1994年度 – 1995年度: 電気通信大学, 電気通信学部, 助手隠す
審査区分/研究分野	研究代表者情報学基礎 / 知能情報学 / 計算機科学研究代表者以外情報学基礎 / 計算機科学 / 情報学基礎理論 / 知能情報学 / 情報通信工学
キーワード	研究代表者計算論的学習理論 / 決定性文脈自由言語 / アルゴリズム / 等価性判定 / 極限同定 / 正例からの学習 / 変換器 / プッシュダウン変換器 / プッシュダウンオートマトン / 包含性判定 … もっと見る / transducers / pushdown automata / context-free languages / algorithm / checking the equivalence / identification in the limit / learning from positive data / computational learning theory / 形式言語 / 正例からの極限同定 / 多項式時間可解性 / 多項式時間可能性 / 質問による学習 / 正の例からの極限同定 / 正則性判定 / 決定性1カウンタオートマン / 決定性プッシュダウンオートマン / 形式言語理論 … もっと見る研究代表者以外最大クリーク / 分枝限定法 / 極大クリーク / 多項式時間的可解性 / 時間計算量 / 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困難問題 / 並列処理隠す

効率的な最大および極大クリーク抽出アルゴリズムの開発と応用
- 研究代表者
  
  富田悦次
- 研究期間 (年度)
  2017 – 2021
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎理論
- 研究機関
  電気通信大学
最大および極大クリーク抽出アルゴリズムの高効率化と応用
- 研究代表者
  
  富田悦次
- 研究期間 (年度)
  2013 – 2017
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎理論
- 研究機関
  電気通信大学
形式言語の効率的学習アルゴリズムの開発及びその応用システムの構築研究代表者
- 研究代表者
  
  若月光夫
- 研究期間 (年度)
  2011 – 2014
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  電気通信大学
効率的な最大クリーク抽出アルゴリズムの開発と理論的・実験的評価および応用
- 研究代表者
  
  富田悦次
- 研究期間 (年度)
  2010 – 2012
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  電気通信大学
形式言語に対する例からの学習を行う効率的アルゴリズムの開発・応用研究代表者
- 研究代表者
  
  若月光夫
- 研究期間 (年度)
  2008 – 2010
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  電気通信大学
最大クリーク抽出アルゴリズムの効率化・拡張と計算量評価および応用
- 研究代表者
  
  富田悦次
- 研究期間 (年度)
  2007 – 2009
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報学基礎
- 研究機関
  電気通信大学
決定性文脈自由言語の部分クラスに対する学習アルゴリズムの開発と応用研究代表者
- 研究代表者
  
  若月光夫
- 研究期間 (年度)
  2006 – 2007
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  知能情報学
- 研究機関
  電気通信大学
効率的な組合せ最適化アルゴリズムの開発と応用
- 研究代表者
  
  富田悦次
- 研究期間 (年度)
  2004 – 2006
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  情報学基礎
- 研究機関
  電気通信大学
例からの学習を行う効率的アルゴリズムの開発
- 研究代表者
  
  富田悦次
- 研究期間 (年度)
  2001 – 2003
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  知能情報学
- 研究機関
  電気通信大学
大脳における機能的結合問題の工学モデルとその応用に関する研究
- 研究代表者
  
  高橋治久
- 研究期間 (年度)
  1998 – 2000
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  情報通信工学
- 研究機関
  電気通信大学
組合せ最適化問題の効率的解法の開発と応用
- 研究代表者
  
  富田悦次
- 研究期間 (年度)
  1997 – 1998
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  電気通信大学
決定性文脈自由言語の部分族に対する学習アルゴリズムの開発とその応用に関する研究研究代表者
- 研究代表者
  
  若月光夫
- 研究期間 (年度)
  1994
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  電気通信大学
組合せ最適化問題の高効率アルゴリズムの開発と評価
- 研究代表者
  
  富田悦次
- 研究期間 (年度)
  1994 – 1995
- 研究種目
  
  一般研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  電気通信大学

[図書] 応用オートマトン工学2012
- 著者名/発表者名
  西野哲朗, 若月光夫, 後藤隆彰
- 出版者
  コロナ社
- データソース
  KAKENHI-PROJECT-22500009
[図書] 応用オートマトン工学2012
- 著者名/発表者名
  西野哲朗，若月光夫，後藤隆彰
- 総ページ数
  174
- 出版者
  コロナ社
- データソース
  KAKENHI-PROJECT-23500011
[雑誌論文] A Much Faster Algorithm for Finding a Maximum Clique with Computational Experiments2017
- 著者名/発表者名
  TOMITA Etsuji, MATSUZAKI Sora, NAGAO Atsuki, ITO Hiro, and WAKATSUKI Mitsuo
- 雑誌名
  
  Journal of Information Processing
  
  巻: 25 号: 0 ページ: 667-677
- DOI
  10.2197/ipsjjip.25.667
- NAID
  130005990921
- ISSN
  1882-6652
- 言語
  英語
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-15K11985, KAKENHI-PROJECT-25330009, KAKENHI-PROJECT-17K00006
[雑誌論文] A Much Faster Algorithm for Finding a Maximum Clique2016
- 著者名/発表者名
  Etsuji Tomita, Kohei Yoshida, Takuro Hatta, Atsuki Nagao, Hiro Ito and Mitsuo Wakatsuki
- 雑誌名
  
  roceedings of the 10th International Frontiers of Algorithmics Workshop (FAW2016)
  
  巻: 未定ページ: 215-226
- DOI
  10.1007/978-3-319-39817-4_21
- ISBN
  9783319398167, 9783319398174
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-24650006, KAKENHI-PROJECT-25330009, KAKENHI-PROJECT-15K11985
[雑誌論文] A polynomial-time algorithm for checking the equivalence of deterministic restricted one-counter transducers which accept by final state2015
- 著者名/発表者名
  Mitsuo Wakatsuki, Etsuji Tomita, Tetsuro Nishino
- 雑誌名
  
  Studies in Computational Intelligence, "Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing"
  
  巻: 569 ページ: 131-144
- DOI
  10.1007/978-3-319-10389-1_10
- ISBN
  9783319103884, 9783319103891
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-23500011, KAKENHI-PROJECT-25330009
[雑誌論文] A source code plagiarism detecting method using sequence alignment with abstract syntax tree elements2015
- 著者名/発表者名
  Hiroshi Kikuchi, Takaaki Goto, Mitsuo Wakatsuki, Tetsuro Nishino
- 雑誌名
  
  International Journal of Software Innovation
  
  巻: 3 (3) 号: 3 ページ: 41-56
- DOI
  10.4018/ijsi.2015070104
- 査読あり
- データソース
  KAKENHI-PROJECT-23500011
[雑誌論文] 最大クリーク問題の多項式時間的可解性の拡張の改良2014
- 著者名/発表者名
  中西裕陽，富田悦次，若月光夫，西野哲朗
- 雑誌名
  
  電子情報通信学会論文誌 D
  
  巻: J97-D ページ: 1106-1121
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-25330009
[雑誌論文] 最大クリーク問題の多項式時間的可解性の拡張の改良2014
- 著者名/発表者名
  中西裕陽，富田悦次，若月光夫，西野哲朗
- 雑誌名
  
  電子情報通信学会論文誌
  
  巻: J97-D ページ: 1-16
- 査読あり
- データソース
  KAKENHI-PROJECT-25330009
[雑誌論文] 最大クリーク問題の多項式時間的可解性の拡張の改良2014
- 著者名/発表者名
  中西裕陽，富田悦次，若月光夫，西野哲朗
- 雑誌名
  
  電子情報通信学会論文誌Ｄ
  
  巻: J97-D (6) ページ: 1106-1121
- 査読あり
- データソース
  KAKENHI-PROJECT-23500011
[雑誌論文] A Simple and Faster Branch-and-Bound Algorithm for Finding a Maximum Clique with Computational Experiments2013
- 著者名/発表者名
  Etsuji Tomita, Yoichi Sutani, Takanori Higashi, Mitsuo Wakatsuki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E96.D 号: 6 ページ: 1286-1298
- DOI
  10.1587/transinf.E96.D.1286
- NAID
  10031193989
- ISSN
  0916-8532, 1745-1361
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-25330009
[雑誌論文] A simple and faster branch-and-bound algorithm for finding a maximum clique with computational experiments2013
- 著者名/発表者名
  Etsuji Tomita, Yoichi Sutani, Takanori Higashi, Mitsuo Wakatsuki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E96-D (6) ページ: 1286-1298
- NAID
  10031193989
- 査読あり
- データソース
  KAKENHI-PROJECT-23500011
[雑誌論文] A polynomial-time algorithm for checking the equivalence for real-time deterministic restricted one-counter transducers which accept by final state2013
- 著者名/発表者名
  Mitsuo Wakatsuki, Etsuji Tomita, Tetsuro Nishino
- 雑誌名
  
  Proc. IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
  
  巻: 14 ページ: 1-6
- DOI
  10.1109/snpd.2013.18
- 査読あり
- データソース
  KAKENHI-PROJECT-25330009
[雑誌論文] A simple and faster branch-and-bound algorithm for finding a maximum clique with computational experiments2013
- 著者名/発表者名
  Etsuji Tomita, Yoichi Sutani, Takanori Higashi, Mitsuo Wakatsuki
- 雑誌名
  
  IEICE Trans. on Information and Systems
  
  巻: vol.E96-D,no.6
- NAID
  10031193989
- 査読あり
- データソース
  KAKENHI-PROJECT-22500009
[雑誌論文] A polynomial-time algorithm for checking the equivalence for real-time deterministic restricted one-counter transducers which accept by final state2013
- 著者名/発表者名
  Mitsuo Wakatsuki, Etsuji Tomita, Tetsuro Nishino
- 雑誌名
  
  International Journal of Computer and Information Science
  
  巻: 14 (2) ページ: 45-53
- 査読あり
- データソース
  KAKENHI-PROJECT-23500011
[雑誌論文] A polynomial-time algorithm for checking the equivalence for real-time deterministic restricted one-counter transducers which accept by final state2013
- 著者名/発表者名
  Mitsuo Wakatsuki
- 雑誌名
  
  Proc. 14th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing
  
  巻: 14 ページ: 1-7
- 査読あり
- データソース
  KAKENHI-PROJECT-22500009
[雑誌論文] 最大クリーク問題の多項式時間的可解性の拡張2012
- 著者名/発表者名
  中西裕陽,富田悦次,若月光夫,西野哲朗
- 雑誌名
  
  電子情報通信学会論文誌D
  
  巻: vol.J95-D,no.9 ページ: 1716-1728
- NAID
  110009495570
- 査読あり
- データソース
  KAKENHI-PROJECT-22500009
[雑誌論文] 最大クリーク問題の多項式時間的可解性の拡張2012
- 著者名/発表者名
  中西裕陽，富田悦次，若月光夫，西野哲朗
- 雑誌名
  
  電子情報通信学会論文誌Ｄ
  
  巻: J95-D ページ: 1716-1728
- NAID
  110009495570
- 査読あり
- データソース
  KAKENHI-PROJECT-23500011
[雑誌論文] 実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム2011
- 著者名/発表者名
  若月光夫，清野和司，富田悦次，西野哲朗
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: 1744 ページ: 1-10
- データソース
  KAKENHI-PROJECT-23500011
[雑誌論文] 最大クリーク問題の多項式時間的可解性について2011
- 著者名/発表者名
  中西裕陽，富田悦次，若月光夫，西野哲朗
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: 1744 ページ: 169-176
- データソース
  KAKENHI-PROJECT-23500011
[雑誌論文] 最大クリーク問題の多項式時間的可解性の更なる改良結果2011
- 著者名/発表者名
  中西裕陽, 富田悦次, 若月光夫, 西野哲朗
- 雑誌名
  
  電子情報通信学会論文誌D
  
  巻: J94-D ページ: 2037-2046
- NAID
  110008798722
- 査読あり
- データソース
  KAKENHI-PROJECT-22500009
[雑誌論文] 最大クリーク問題の多項式時間的可解性について2011
- 著者名/発表者名
  中西裕陽,富田悦次,若月光夫,西野哲朗
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: vol.1744 ページ: 169-176
- データソース
  KAKENHI-PROJECT-22500009
[雑誌論文] 実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム2011
- 著者名/発表者名
  若月光夫,清野和司,富田悦次,西野哲朗
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: vol.1744 ページ: 1-10
- データソース
  KAKENHI-PROJECT-22500009
[雑誌論文] 最大クリーク問題の多項式時間的可解性の更なる改良結果2011
- 著者名/発表者名
  中西裕陽,富田悦次,若月光夫,西野哲朗
- 雑誌名
  
  電子情報通信学会論文誌D
  
  巻: J94-D,no.12 ページ: 2037-2046
- NAID
  110008798722
- 査読あり
- データソース
  KAKENHI-PROJECT-22500009
[雑誌論文] 実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム2011
- 著者名/発表者名
  若月光夫, 清野和司, 富田悦次, 西野哲朗
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: 1744 ページ: 1-10
- データソース
  KAKENHI-PROJECT-22500009
[雑誌論文] 量子セルオートマトンに基づく画像圧縮のための画像変換アルゴリズム2011
- 著者名/発表者名
  大畑和樹，西野哲朗，若月光夫
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: 1744 ページ: 181-184
- データソース
  KAKENHI-PROJECT-23500011
[雑誌論文] 最大クリーク抽出の単純な最大時間計算量評価と多項式時間的可解性2011
- 著者名/発表者名
  中西裕陽, 富田悦次, 若月光夫, 西野哲朗
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: 1744 ページ: 169-176
- データソース
  KAKENHI-PROJECT-22500009
[雑誌論文] 最大クリーク問題の多項式時間的可解性の更なる改良結果2011
- 著者名/発表者名
  中西裕陽，富田悦次，若月光夫，西野哲朗
- 雑誌名
  
  電子情報通信学会論文誌Ｄ
  
  巻: J94-D ページ: 2037-2046
- NAID
  110008798722
- 査読あり
- データソース
  KAKENHI-PROJECT-23500011
[雑誌論文] Polynomial time identification of strict prefix deterministic finite state transducers2010
- 著者名/発表者名
  若月光夫, 富田悦次
- 雑誌名
  
  Lecture Notes in Artificial Intelligence Vol.6339
  
  ページ: 313-316
- 査読あり
- データソース
  KAKENHI-PROJECT-20500007
[雑誌論文] A simple and faster branch-and-bound algorithm for finding a maximum clique2010
- 著者名/発表者名
  E.Tomita, Y.Sutani, T.Higashi, S.Takahashi, M.Wakatsuki
- 雑誌名
  
  Lecture Notes in Computer Science Vol.5942
  
  ページ: 191-203
- 査読あり
- データソース
  KAKENHI-PROJECT-20500007
[雑誌論文] Polynomial time identification of strict prefix deterministic finite state transducers2010
- 著者名/発表者名
  Mitsuo Wakatsuki, Etsuji Tomita
- 雑誌名
  
  Lecture Notes in Artificial Intelligence
  
  巻: 6339 ページ: 313-316
- 査読あり
- データソース
  KAKENHI-PROJECT-22500009
[雑誌論文] 最大クリーク抽出の単純な最大時間計算量評価と多項式時間的可解性2010
- 著者名/発表者名
  中西裕陽,富田悦次,若月光夫
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: vol.1691 ページ: 108-114
- データソース
  KAKENHI-PROJECT-22500009
[雑誌論文] Polynomial time identification of strict prefix deterministic finitestate transducers2010
- 著者名/発表者名
  Mitsuo Wakatsuki, Etsuji Tomita
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 6339 ページ: 313-316
- 査読あり
- データソース
  KAKENHI-PROJECT-22500009
[雑誌論文] Polynomial time identification of strict prefix deterministic finite state transducers2010
- 著者名/発表者名
  Mitsuo Wakatsuki, Etsuji Tomita
- 雑誌名
  
  Lecture Notes in Artificial Intelligence, Proceedings of ICGI2010 (Springer)
  
  巻: 6339 ページ: 313-316
- 査読あり
- データソース
  KAKENHI-PROJECT-20500007
[雑誌論文] 最大クリーク抽出の単純な最大時間計算量評価と多項式時間的可解性2010
- 著者名/発表者名
  中西裕陽, 富田悦次, 若月光夫
- 雑誌名
  
  京都大学数理解析研究所講究録
  
  巻: 1691 ページ: 108-114
- データソース
  KAKENHI-PROJECT-22500009
[雑誌論文] A simple and faster branch-and-bound algorithm for finding a maximum clique2010
- 著者名/発表者名
  E. Tomita, Y. Sutani, T. Higashi, S. Takahashi, M. Wakatsuki
- 雑誌名
  
  Lecture Notes in Computer Science 5942
  
  ページ: 191-203
- 査読あり
- データソース
  KAKENHI-PROJECT-19500010
[雑誌論文] Polynomial time identification of strict deterministic restricted one-counter automata in some class from positive data2008
- 著者名/発表者名
  Mitsuo Wakatsuki, Etsuji Tomita
- 雑誌名
  
  IEICE Transactions on Information and Systems E91-D
  
  ページ: 1704-1718
- NAID
  110003178820
- 査読あり
- データソース
  KAKENHI-PROJECT-20500007
[雑誌論文] 実時間空スタック受理式決定性限定ワンカウンター変換器の多項式時間等価性判定2008
- 著者名/発表者名
  清野和司, 富田悦次, 若月光夫
- 雑誌名
  
  電子情報通信学会論文誌D Vol.J91-D, No.5
  
  ページ: 1188-1201
- NAID
  110007380111
- 査読あり
- データソース
  KAKENHI-PROJECT-20500007
[雑誌論文] 実時間空スタック受理式決定性限定ワンカウンタ変換器の多項式時間等価性判定2008
- 著者名/発表者名
  清野和司, 富田悦次, 若月光夫
- 雑誌名
  
  電子情報通信学会論文誌D分冊 J91-D
  
  ページ: 1188-1201
- NAID
  110007380111
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-18500108
[雑誌論文] 実時間空スタック受理式決定性限定ワンカウンタ変換器対の多項式時間等価性判定2008
- 著者名/発表者名
  清野和司, 富田悦次, 若月光夫
- 雑誌名
  
  電子情報通信学会論文誌D J91-D
  
  ページ: 1188-1201
- 査読あり
- データソース
  KAKENHI-PROJECT-19500010
[雑誌論文] 実時間空スタツク受理式決定性限定ワンカウンタ変換器の多項式時間等価性判定2008
- 著者名/発表者名
  清野和司, 富田悦次, 若月光夫
- 雑誌名
  
  電子情報通信学会論文誌D分冊 J91-D
  
  ページ: 1188-1201
- 査読あり
- データソース
  KAKENHI-PROJECT-20500007
[雑誌論文] Polynomial time identification of strict deterministic restricted one-counter automata in some class from positive data2008
- 著者名/発表者名
  Mitsuo Wakatsuki
- 雑誌名
  
  IEICE Trans. on Information and Systems E91-D
  
  ページ: 1704-1718
- NAID
  10026804329
- 査読あり
- データソース
  KAKENHI-PROJECT-19500010
[雑誌論文] Polynomial time identification of strict deterministic restricted one-counter automata in some class from positive data2008
- 著者名/発表者名
  Mitsuo Wakatsuki and Etsuji Tomita
- 雑誌名
  
  IEICE Transactions on Information and Systems E91-D(6月掲載確定)
- NAID
  10026804329
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-18500108
[雑誌論文] Polynomial time identification of strict deterministic restricted one-counter automata in some class from positive data2008
- 著者名/発表者名
  Mitsuo, Wakatsuki, Etsuji, Tomita
- 雑誌名
  
  The IEICE Transactions on Information and Systems E91-D 6)(to appear)
- NAID
  10026804329
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500108
[雑誌論文] 実時間空スタック受理式決定性限定ワンカウンタ変換器の多項式時間等価性判定2008
- 著者名/発表者名
  清野和司, 富田悦次, 若月光夫
- 雑誌名
  
  電子情報通信学会論文誌D分冊 J91-D(5月掲載確定)
- NAID
  110007380111
- 査読あり
- データソース
  KAKENHI-PROJECT-18500108
[雑誌論文] Polynomial time identification of strict deterministic restricted one-counter automata in some class from positive data2008
- 著者名/発表者名
  若月光夫, 富田悦次
- 雑誌名
  
  IEICE Transactions on Information and Systems Vol.E91-D, No.6
  
  ページ: 1704-1718
- NAID
  110003178820
- 査読あり
- データソース
  KAKENHI-PROJECT-20500007
[雑誌論文] Polynomiasl time identification of strict deterministic restricted one-counter automata in some class from positive data2008
- 著者名/発表者名
  Mitsuo Wakatsuki
- 雑誌名
  
  IEICE Trans. on Information and Systems E91-D
- 査読あり
- データソース
  KAKENHI-PROJECT-19500010
[雑誌論文] Polynomial time identification of strict deterministic restricted one-counter automata in some class from positive data2008
- 著者名/発表者名
  M. Wakatsuki, E. Tomita
- 雑誌名
  
  IEICE Trans. on Inform. Syst. E91-D
  
  ページ: 1704-1718
- NAID
  110003178820
- 査読あり
- データソース
  KAKENHI-PROJECT-19500010
[雑誌論文] A polynomial-time algorithm for checking the equivalence of real-time strict deterministic restricted one-counter transducers2008
- 著者名/発表者名
  Kazushi, Seino, Etsuji, Tomita, Mitsuo, Wakatsuki
- 雑誌名
  
  The IEICE Transactions on Information and Systems (Japanese Edition) J91-D 5)
  
  ページ: 1188-1201
- NAID
  110006456723
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500108
[雑誌論文] A direct branching algorithm for checking the equivalence of a pair of non-real-time deterministic pushdown transducers2007
- 著者名/発表者名
  Kazushi, Seino, Etsuji, Tomita, Mitsuo, Wakatsuki
- 雑誌名
  
  The IEICE Transactions on Information and Systems (Japanese Edition) J90-D 10)
  
  ページ: 2675-2690
- NAID
  110004075880
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500108
[雑誌論文] ε-推移を許したある決定性プッシュダウン変換器対の等価性判定2007
- 著者名/発表者名
  清野和司, 富田悦次, 若月光夫
- 雑誌名
  
  電子情報通信学会論文誌D分冊 J90-D
  
  ページ: 2675-2690
- NAID
  110007380576
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-18500108
[雑誌論文] ε-推移を許したある決定性プッシュダウン変換器対の等価性判定2007
- 著者名/発表者名
  清野和司, 富田悦次, 若月光夫
- 雑誌名
  
  電子情報通信学会論文誌D J90-D
  
  ページ: 2675-2690
- NAID
  110007380576
- 査読あり
- データソース
  KAKENHI-PROJECT-19500010
[雑誌論文] A unified algorithm for extending classes of languages identifiable in the limit from positive data2006
- 著者名/発表者名
  Mitsuo Wakatsuki
- 雑誌名
  
  Lecture Notes in Artificial Intelligence 4201
  
  ページ: 161-174
- NAID
  110002812593
- データソース
  KAKENHI-PROJECT-16300001
[雑誌論文] A unified algorithm for extending classes of languages identifiable in the limit from positive data.2006
- 著者名/発表者名
  Mitsuo Wakatsuki, Etsuji Tomita, Go Yamada
- 雑誌名
  
  Lecture Notes in Artificial Intelligence, Proceedings of ICGI2006 (Springer) 4201
  
  ページ: 161-174
- NAID
  110002812593
- データソース
  KAKENHI-PROJECT-18500108
[雑誌論文] A unified algorithm for extending classes of languages identifiable in the limit from positive data2006
- 著者名/発表者名
  Mitsuo, Wakatsuki, Etsuji, Tomita, Go, Yamada
- 雑誌名
  
  Lecture Notes in Artificial Intelligence, Proceedings of ICGI2006 (Springer) 4201
  
  ページ: 161-174
- NAID
  110002812593
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500108
[雑誌論文] A unified algorithm for extending classes of languages identifiable in the limit from positive data2006
- 著者名/発表者名
  M.Wakatsuki, E.Tomita, G.Yamada
- 雑誌名
  
  Lecture Notes in Artificial Intelligence 4201
  
  ページ: 161-174
- NAID
  110002812593
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-16300001
[雑誌論文] A unified algorithm for extending classes of languages identifiable in the limit from positive data2006
- 著者名/発表者名
  Mitsuo Wakatsuki, Etsuji Tomita and GoYamada
- 雑誌名
  
  Lecture Notes in Artificial Intelligence, Proceedings of ICGI2006(Springer) 4201
  
  ページ: 161-174
- NAID
  110002812593
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-18500108
[雑誌論文] A unified algorithm for extending classes of languages identifiable in the limit from positive data2005
- 著者名/発表者名
  Mitsuo Wakatsuki
- 雑誌名
  
  IPSJ SIG Notes on Algorithms 2005-AL-102
  
  ページ: 1-8
- NAID
  110002812593
- データソース
  KAKENHI-PROJECT-16300001
[雑誌論文] Polynomial time identification of strict deterministic restricted one-counter automata in some class from positive data2004
- 著者名/発表者名
  Mitsuo Wakatsuki
- 雑誌名
  
  Lecture Notes in Artificial Intelligence Vol.3264
  
  ページ: 260-272
- NAID
  10026804329
- データソース
  KAKENHI-PROJECT-16300001
[雑誌論文] Polynomial time identification of strict deterministic restricted one-counter automata in some class from positive data2004
- 著者名/発表者名
  M.Wakatsuki, K.Teraguchi, E.Tomita
- 雑誌名
  
  Lecture Notes in Artificial Intelligence 3264
  
  ページ: 260-272
- NAID
  110003178820
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-16300001
[雑誌論文] Polynomial time learning of simple deterministic languages via queries and a representative sample2004
- 著者名/発表者名
  Y.Tajima, E.Tomita, M.Wakatsuki, M.Terada
- 雑誌名
  
  Theoretical Computer Science vol.329
  
  ページ: 203-221
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-16300001
[学会発表] 最大クリーク抽出アルゴリズムMCTのさらなる高速化2021
- 著者名/発表者名
  柳澤士朗, 富田悦次, 片山謙吾, 金原一歩, 戸田貴久, 伊藤大雄, 若月光夫, 西野哲朗
- 学会等名
  電子情報通信学会コンピュテーション研究会
- データソース
  KAKENHI-PROJECT-17K00006
[学会発表] 最大クリーク抽出アルゴリズムMCTのさらなる高速化2021
- 著者名/発表者名
  柳澤士朗, 富田悦次, 片山謙吾, 金原一歩, 戸田貴久, 伊藤大雄, 若月光夫, 西野哲朗
- 学会等名
  電子情報通信学会　コンピュテーション研究会
- データソース
  KAKENHI-PROJECT-17K00006
[学会発表] 最大クリーク抽出アルゴリズムMCTの高速化（その２）2019
- 著者名/発表者名
  松崎空良, 富田悦次, 長尾篤樹, 伊藤大雄, 若月光夫, 西野哲朗，片山謙吾，金原一歩
- 学会等名
  冬のLAシンポジウム
- データソース
  KAKENHI-PROJECT-17K00006
[学会発表] 最大クリーク抽出アルゴリズムMCTの高速化(その2)2019
- 著者名/発表者名
  松崎空良, 富田悦次, 長尾篤樹, 伊藤大雄, 若月光夫, 西野哲朗, 片山謙吾, 金原一歩
- 学会等名
  冬のLAシンポジウム
- データソース
  KAKENHI-PROJECT-17K00006
[学会発表] 近似最大クリーク抽出アルゴリズムIKLSの反復回数に対する適切な制御方法2018
- 著者名/発表者名
  長尾篤樹, 松崎空良, 富田悦次, 伊藤大雄, 若月光夫, 西野哲朗
- 学会等名
  電子情報通信学会コンピュテーション研究会
- データソース
  KAKENHI-PROJECT-17K00006
[学会発表] 最大クリーク抽出アルゴリズムMCTの高速化2018
- 著者名/発表者名
  松崎空良, 富田悦次, 長尾篤樹, 伊藤大雄, 若月光夫, 西野哲朗
- 学会等名
  情報処理学会数理モデル化と問題解決研究会
- データソース
  KAKENHI-PROJECT-17K00006
[学会発表] 近似最大クリーク抽出アルゴリズムIKLS の反復回数に対する適切な制御方法2018
- 著者名/発表者名
  長尾篤樹, 松崎空良, 富田悦次, 伊藤大雄, 若月光夫, 西野哲朗
- 学会等名
  電子情報通信学会コンピュテーション研究会
- データソース
  KAKENHI-PROJECT-17K00006
[学会発表] 最大クリーク抽出アルゴリズムMCSの高速化2016
- 著者名/発表者名
  吉田幸平，八田拓郎，富田悦次，長尾篤樹，伊藤大雄，若月光夫
- 学会等名
  情報処理学会アルゴリズム研究会
- 発表場所
  電気通信大学(東京都調布市)
- 年月日
  2016-03-06
- データソース
  KAKENHI-PROJECT-25330009
[学会発表] 最終状態受理式決定性限定１カウンタ変換器の多項式時間包含性判定アルゴリズム2016
- 著者名/発表者名
  若月光夫, 富田悦次, 西野哲朗
- 学会等名
  冬のLAシンポジウム
- 発表場所
  京都大学(京都市左京区)
- 年月日
  2016-01-26
- データソース
  KAKENHI-PROJECT-25330009
[学会発表] 最大クリーク抽出アルゴリズムの高速化2015
- 著者名/発表者名
  八田拓郎，富田悦次, 伊藤大雄，若月光夫
- 学会等名
  夏のLAシンポジウム
- 発表場所
  ゆのくに天祥(石川県加賀市)
- 年月日
  2015-07-14
- データソース
  KAKENHI-PROJECT-25330009
[学会発表] A polynomial-time algorithm for checking the equivalence of deterministic restricted one-counter transducers which accept by final state2014
- 著者名/発表者名
  Mitsuo Wakatsuki, Etsuji Tomita, Tetsuro Nishino
- 学会等名
  15th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2014)
- 発表場所
  Harrah's Casino Hotel, Las Vegas, U.S.A.
- データソース
  KAKENHI-PROJECT-23500011
[学会発表] A source code plagiarism detecting method using alignment with abstract syntax tree elements2014
- 著者名/発表者名
  Hiroshi Kikuchi, Takaaki Goto, Mitsuo Wakatsuki, Tetsuro Nishino
- 学会等名
  15th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2014)
- 発表場所
  Harrah's Casino Hotel, Las Vegas, U.S.A.
- データソース
  KAKENHI-PROJECT-23500011
[学会発表] 実時間決定性限定１カウンタ変換器に対する質問による多項式時間学習アルゴリズム2014
- 著者名/発表者名
  若月光夫，富田悦次，西野哲朗
- 学会等名
  冬のLAシンポジウム
- 発表場所
  京都大学
- データソース
  KAKENHI-PROJECT-25330009
[学会発表] 決定性限定１カウンタ変換器のある部分クラスに対する質問による多項式時間学習アルゴリズム2013
- 著者名/発表者名
  若月光夫
- 学会等名
  冬のLAシンポジウム
- 発表場所
  京都大学
- データソース
  KAKENHI-PROJECT-22500009
[学会発表] 決定性限定1カウンタ変換器のある部分クラスに対する質問による多項式時間学習アルゴリズム2013
- 著者名/発表者名
  若月光夫, 富田悦次, 西野哲朗
- 学会等名
  冬のLAシンポジウム
- 発表場所
  京都大学
- データソース
  KAKENHI-PROJECT-22500009
[学会発表] A polynomial-time algorithm for checking the equivalence for real-time deterministic restricted one-counter transducers which accept by final state2013
- 著者名/発表者名
  Mitsuo Wakatsuki, Etsuji Tomita, Tetsuro Nishino
- 学会等名
  14th IEEE/ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD2013)
- 発表場所
  The Sheraton Waikiki Hotel, Honolulu, Hawaii, U.S.A.
- データソース
  KAKENHI-PROJECT-23500011
[学会発表] 遺伝的アルゴリズムを用いたコンピュータ大貧民の思考ルーティンの自動チューニング2012
- 著者名/発表者名
  海川祥毅，西野哲朗，若月光夫
- 学会等名
  電気通信大学エンターテイメントと認知科学研究ステーション第6回エンターテイメントと認知科学シンポジウム
- 発表場所
  電気通信大学
- データソース
  KAKENHI-PROJECT-23500011
[学会発表] 最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム2012
- 著者名/発表者名
  若月光夫，清野和司，富田悦次，西野哲朗
- 学会等名
  2011年度冬のLAシンポジウム
- 発表場所
  京都大学
- データソース
  KAKENHI-PROJECT-23500011
[学会発表] 最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム2012
- 著者名/発表者名
  若月光夫,清野和司,富田悦次,西野哲朗
- 学会等名
  冬のLAシンポジウム
- 発表場所
  京都大学
- データソース
  KAKENHI-PROJECT-22500009
[学会発表] 最大クリーク問題の多項式時間的可解性の拡張2011
- 著者名/発表者名
  中西裕陽，富田悦次，若月光夫，西野哲朗
- 学会等名
  電子情報通信学会コンピュテーション研究会
- 発表場所
  東北大学
- データソース
  KAKENHI-PROJECT-23500011
[学会発表] 実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム2011
- 著者名/発表者名
  若月光夫,清野和司,富田悦次,西野哲朗
- 学会等名
  冬のLAシンポジウム
- 発表場所
  京都大学
- 年月日
  2011-02-13
- データソース
  KAKENHI-PROJECT-22500009
[学会発表] 最大クリーク問題の多項式時間的可解性について2011
- 著者名/発表者名
  中西裕陽, 富田悦次, 若月光夫, 西野哲朗
- 学会等名
  2010年度冬のLAシンポジウム
- 発表場所
  京都大学数理解析研究所
- 年月日
  2011-02-03
- データソース
  KAKENHI-PROJECT-20500007
[学会発表] 最大クリーク問題の多項式時間的可解性の更なる改良結果2011
- 著者名/発表者名
  中西裕陽，富田悦次，若月光夫，西野哲朗
- 学会等名
  電子情報通信学会コンピュテーション研究会
- 発表場所
  京都大学
- データソース
  KAKENHI-PROJECT-23500011
[学会発表] 量子セルオートマトンに基づく画像圧縮のための画像変換アルゴリズム2011
- 著者名/発表者名
  大畑和樹, 西野哲朗, 若月光夫
- 学会等名
  2010年度冬のLAシンポジウム
- 発表場所
  京都大学数理解析研究所420号室
- 年月日
  2011-02-01
- データソース
  KAKENHI-PROJECT-20500007
[学会発表] 最大クリーク問題の多項式時間的可解性について2011
- 著者名/発表者名
  中西裕陽,富田悦次,若月光夫,西野哲朗
- 学会等名
  冬のLAシンポジウム
- 発表場所
  京都大学
- 年月日
  2011-02-13
- データソース
  KAKENHI-PROJECT-22500009
[学会発表] 実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム2011
- 著者名/発表者名
  若月光夫, 清野和司, 富田悦次, 西野哲朗
- 学会等名
  2010年度冬のLAシンポジウム
- 発表場所
  京都大学数理解析研究所420号室
- 年月日
  2011-02-01
- データソース
  KAKENHI-PROJECT-20500007
[学会発表] 最大クリーク問題の多項式時間的可解性の拡張2011
- 著者名/発表者名
  中西裕陽,富田悦次,若月光夫,西野哲朗
- 学会等名
  電子情報通信学会コンピュテーション研究会
- 発表場所
  東北大学
- 年月日
  2011-10-21
- データソース
  KAKENHI-PROJECT-22500009
[学会発表] 最大クリーク問題の多項式時間的可解性の更なる改良結果2011
- 著者名/発表者名
  中西裕陽,富田悦次,若月光夫,西野哲朗
- 学会等名
  電子情報通信学会コンピュテーション研究会
- 発表場所
  京都大学
- 年月日
  2011-04-22
- データソース
  KAKENHI-PROJECT-22500009
[学会発表] 量子セルオートマトンに基づく画像圧縮のための画像変換アルゴリズム2011
- 著者名/発表者名
  大畑和樹, 西野哲朗, 若月光夫
- 学会等名
  2010年度冬のLAシンポジウム
- 発表場所
  京都大学数理解析研究所
- 年月日
  2011-02-01
- データソース
  KAKENHI-PROJECT-20500007
[学会発表] 実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム2011
- 著者名/発表者名
  若月光夫, 清野和司, 富田悦次, 西野哲朗
- 学会等名
  2010年度冬のLAシンポジウム
- 発表場所
  京都大学数理解析研究所
- 年月日
  2011-02-01
- データソース
  KAKENHI-PROJECT-20500007
[学会発表] 空スタック受理式決定性限定ワンカウンタ変換器の多項式時間等価性判定アルゴリズム2010
- 著者名/発表者名
  若月光夫, 清野和司, 富田悦次, 西野哲朗
- 学会等名
  冬のLAシンポジウム
- 発表場所
  京都大学
- 年月日
  2010-02-02
- データソース
  KAKENHI-PROJECT-19500010
[学会発表] 最大クリーク抽出の単純な最大時間計算量と多項式時間的可解性2010
- 著者名/発表者名
  中西裕陽, 富田悦次, 若月光夫
- 学会等名
  冬のLAシンポジウ
- 発表場所
  京都大学
- 年月日
  2010-02-03
- データソース
  KAKENHI-PROJECT-19500010
[学会発表] 最大クリーク抽出の単純な最大時間計算量評価と多項式時間的可解性2010
- 著者名/発表者名
  中西裕陽, 富田悦次, 若月光夫
- 学会等名
  2009年度冬のLAシンポジウム
- 発表場所
  京都大学理学研究科北部構内数学教室
- 年月日
  2010-02-03
- データソース
  KAKENHI-PROJECT-20500007
[学会発表] 鳥の歌文法解析の自動化2010
- 著者名/発表者名
  鈴木徹, 若月光夫, 西野哲朗
- 学会等名
  2010年度夏のLAシンポジウム
- 発表場所
  九殿浜温泉ひみのはな
- 年月日
  2010-07-20
- データソース
  KAKENHI-PROJECT-20500007
[学会発表] A simple and faster algorithm for finding a maximum clique2010
- 著者名/発表者名
  E. Tomita, Y. Sutani, T. Higashi, S. Takahashi, M. Wakatsuki
- 学会等名
  情報処理学会アルゴリズム研究会
- 発表場所
  九州大学
- 年月日
  2010-01-26
- データソース
  KAKENHI-PROJECT-19500010
[学会発表] 空スタック受理式決定性限定ワンカウンタ変換器の多項式時間等価性判定アルゴリズム2010
- 著者名/発表者名
  若月光夫, 清野和司, 富田悦次, 西野哲朗
- 学会等名
  2009年度冬のLAシンポジウム
- 発表場所
  京都大学理学研究科北部構内数学教室
- 年月日
  2010-02-02
- データソース
  KAKENHI-PROJECT-20500007
[学会発表] 単純でより高速な最大クリーク抽出アルゴリズム2010
- 著者名/発表者名
  富田悦次, 須谷洋一, 東貴紀, 高橋真也, 若月光夫
- 学会等名
  情報処理学会アルゴリズム研究会
- 発表場所
  九州大学西新プラザ
- 年月日
  2010-01-26
- データソース
  KAKENHI-PROJECT-20500007
[学会発表] 空スタック受理式決定性限定ワンカウンタ変換器の多項式時間等価性判定アルゴリズム2010
- 著者名/発表者名
  若月光夫, 清野和司, 富田悦次, 西野哲朗
- 学会等名
  2009年度冬のLAシンポジウム
- 発表場所
  京都大学理学研究科北部構内数学教室(理学研究科3号館)127号室
- 年月日
  2010-02-02
- データソース
  KAKENHI-PROJECT-20500007
[学会発表] 準同型写像によって拡張されたある言語クラスに対する正例からの極限同定2009
- 著者名/発表者名
  若月光夫, 富田悦次
- 学会等名
  情報処理学会第73回数理モデル化と問題解決研究会
- 発表場所
  沖縄科学技術研究基盤機構OIST Seaside House
- 年月日
  2009-03-05
- データソース
  KAKENHI-PROJECT-20500007
[学会発表] 鳥の歌構造解析におけるk可逆オートマトンとN グラムモデルの関係について2009
- 著者名/発表者名
  常田宏和, 若月光夫, 西野哲朗
- 学会等名
  2009年度夏のLAシンポジウム
- 発表場所
  かんぽの宿松島
- 年月日
  2009-07-23
- データソース
  KAKENHI-PROJECT-20500007
[学会発表] オートマトンの学習困難性を安全性の基盤とする暗号システムについて2009
- 著者名/発表者名
  大久保誠也, 西野哲朗, 若月光夫
- 学会等名
  2008年度冬のLAシンポジウム
- 発表場所
  京都大学数理解析研究所420号室
- 年月日
  2009-02-04
- データソース
  KAKENHI-PROJECT-20500007
[学会発表] 鳥の歌構造解析におけるk可逆オートマトンとNグラムモデルの関係について2009
- 著者名/発表者名
  常田宏和, 若月光夫, 西野哲朗
- 学会等名
  2009年度夏のLAシンポジウム
- 発表場所
  かんぽの宿松島
- 年月日
  2009-07-23
- データソース
  KAKENHI-PROJECT-20500007
[学会発表] 準同型写像によって拡張されたある言語クラスに対する正例からの極限同定2009
- 著者名/発表者名
  若月光夫, 富田悦次
- 学会等名
  情報処理学会数理モデル化と問題解決研究会
- 発表場所
  沖縄科学技術研究基盤機構OIST Seaside House.
- 年月日
  2009-03-05
- データソース
  KAKENHI-PROJECT-20500007
[学会発表] 準同型写像によって拡張されたある言語クラスに対する正例からの極限同定2009
- 著者名/発表者名
  若月光夫, 富田悦次
- 学会等名
  情報処理学会数理モデル化と問題解決研究会
- 発表場所
  沖縄科学技術研究基盤機構
- 年月日
  2009-03-05
- データソース
  KAKENHI-PROJECT-19500010
[学会発表] 準同型写像によって拡張されたある言語クラスに対する正例からの極限同定2009
- 著者名/発表者名
  若月光夫
- 学会等名
  情報処理学会数理研究モデル化と問題解決研究会
- 発表場所
  沖縄科学術研究基盤機構
- 年月日
  2009-03-05
- データソース
  KAKENHI-PROJECT-19500010
[学会発表] オートマトンの学習困難性を安全性の基盤とする暗号システムについて2009
- 著者名/発表者名
  大久保誠也, 西野哲朗, 若月光夫
- 学会等名
  2008年度冬のLAシンポジウム
- 発表場所
  京都大学数理解析研究所
- 年月日
  2009-02-04
- データソース
  KAKENHI-PROJECT-20500007
[学会発表] 最大クリーク抽出の単純な最大時間計算量評価2009
- 著者名/発表者名
  中西裕陽, 富田悦次, 若月光夫
- 学会等名
  夏のLAシンポジウム
- 発表場所
  かんぽの宿松島
- 年月日
  2009-07-22
- データソース
  KAKENHI-PROJECT-19500010
[学会発表] 最大クリーク抽出アルゴリズムの共有メモリ型並列計算機上での並列化2008
- 著者名/発表者名
  若月光夫, 高橋真也, 富田悦次
- 学会等名
  情報処理学会数理モデル化と問題解決研究会
- 発表場所
  電気通信大学
- 年月日
  2008-09-18
- データソース
  KAKENHI-PROJECT-19500010
[学会発表] 最大クリーク抽出アルゴリズムの共有メモリ型並列計算機上での並列化2008
- 著者名/発表者名
  若月光夫, 高橋真也, 富田悦次
- 学会等名
  情報処理学会数理モデル化と問題解決研究会
- 発表場所
  電気通信大学
- 年月日
  2008-09-18
- データソース
  KAKENHI-PROJECT-20500007
[学会発表] 最大クリーク抽出アルゴリズムの共有メモリ型並列計算機上での並列化2008
- 著者名/発表者名
  若月光夫
- 学会等名
  情報処理学会数理研究モデル化と問題解決研究会
- 発表場所
  電気通信大学
- 年月日
  2008-09-18
- データソース
  KAKENHI-PROJECT-19500010
[学会発表] Polynomial time identification of finite state transducers in some class2007
- 著者名/発表者名
  若月光夫, 富田悦次
- 学会等名
  情報処理学会アルゴリズム研究会
- 発表場所
  新潟大学大学院自然科学研究科管理棟 2階小会議室
- 年月日
  2007-11-30
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-18500108
[学会発表] Polynomial time identification of finite state transducers in some class2007
- 著者名/発表者名
  若月光夫, 富田悦次
- 学会等名
  情報処理学会アルゴリズム研究会
- 発表場所
  新潟大学大学院自然科学研究科管理棟2階小会議室
- 年月日
  2007-11-30
- データソース
  KAKENHI-PROJECT-18500108
[学会発表] A polynomial-time algorithm for checking the equivalence of real-time strict deterministic restricted one-counter transducers2007
- 著者名/発表者名
  Kazushi, Seino, Etsuji, Tomita, Mitsuo, Wakatsuki
- 学会等名
  IEICE, The Technical Group on Computation
- 発表場所
  Tohoku University, Sendai, Japan
- 年月日
  2007-10-16
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500108
[学会発表] Polynomial time identification of finite state transducers in some class2007
- 著者名/発表者名
  Mitsuo, Wakatsuki, Etsuji, Tomita
- 学会等名
  ICT Triangle Forum 2007 (Advanced ICT 2007)
- 発表場所
  Beijing University of Posts and Telecommunications, Beijing, China
- 年月日
  2007-09-20
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500108
[学会発表] Polynomial time identification of finite state transducers in some class2007
- 著者名/発表者名
  M. Wakatsuki, E. Tomita
- 学会等名
  Advanced Information and Communication Technology
- 発表場所
  Beijing, China
- 年月日
  2007-09-20
- データソース
  KAKENHI-PROJECT-19500010
[学会発表] 実時間空スタック受理式決定性限定ワンカウンター変換器の多項式時間等価性判定アルゴリズム2007
- 著者名/発表者名
  清野和司, 富田悦次, 若月光夫
- 学会等名
  電子情報通信学会コンピュテーション研究会
- 発表場所
  東北大学工学部電子情報システム・応物系1号館451・453号室
- 年月日
  2007-10-16
- データソース
  KAKENHI-PROJECT-18500108
[学会発表] Polynomial time identification of finite state transducers in some class2007
- 著者名/発表者名
  Mitsuo Wakatsuki and Etsuji Tomita
- 学会等名
  ICT Triangle Forum 2007(Advanced ICT 2007)
- 発表場所
  Beijing Uhiversity of Posts and Telecommunications, Beijing, China
- 年月日
  2007-09-20
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-18500108
[学会発表] 実時間空スタック受理式決定性限定ワンカウンター変換器の多項式時間等価性判定アルゴリズム2007
- 著者名/発表者名
  清野和司, 富田悦次, 若月光夫
- 学会等名
  電子情報通信学会コンピュテーション研究会
- 発表場所
  東北大学工学部電子情報システム・応物系 1号館 451・453号室
- 年月日
  2007-10-16
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-18500108
[学会発表] Polynomial time identification of finite state transducers in some class2007
- 著者名/発表者名
  Mitsuo, Wakatsuki, Etsuji, Tomita
- 学会等名
  IPSJ, The Special Interest Group on Algorithms
- 発表場所
  Niigata University, Niigata, Japan
- 年月日
  2007-11-30
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500108
[学会発表] A unified algorithm for extending classes of languages identifiable in the limit from positive data2006
- 著者名/発表者名
  Mitsuo, Wakatsuki, Etsuji, Tomita, Go, Yamada
- 学会等名
  LA Symposium 2006 in summer
- 発表場所
  Saijo Grand Hotel, Hiroshima, Japan
- 年月日
  2006-08-03
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500108
[学会発表] A unified algorithn for extending classes of languages identifiable in the limit from positive data2006
- 著者名/発表者名
  Mitsuo Wakatsuki, Etsuji Tomita and Go Yamada
- 学会等名
  2006年度夏のLAシンポジウム
- 発表場所
  西条グランドホテル(広島県東広島市)
- 年月日
  2006-08-03
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-18500108
[学会発表] 学習ゲームを用いた発達障害児向け文字学習支援システム
- 著者名/発表者名
  金山貴泰，浅野久美子，西野哲朗，若月光夫
- 学会等名
  情報処理学会数理モデル化と問題解決研究会
- 発表場所
  北海道大学百年記念会館
- データソース
  KAKENHI-PROJECT-23500011
[学会発表] 最大クリーク問題の多項式時間的可解性の拡張の更なる改良
- 著者名/発表者名
  中西裕陽，富田悦次，若月光夫，西野哲朗
- 学会等名
  電子情報通信学会コンピュテーション研究会/情報処理学会アルゴリズム研究会
- 発表場所
  道後温泉大和屋（愛媛県松山市）
- 年月日
  2014-06-13 – 2014-06-14
- データソース
  KAKENHI-PROJECT-23500011
[学会発表] 最大クリーク問題の多項式時間的可解性の拡張の改良
- 著者名/発表者名
  中西裕陽，富田悦次，若月光夫，西野哲朗
- 学会等名
  電子情報通信学会コンピュテーション研究会
- 発表場所
  法政大学小金井キャンパス梶野町校舎西館W203
- データソース
  KAKENHI-PROJECT-23500011
[学会発表] 類似パターンの省略によりソースコードの可読性を向上させる新技法
- 著者名/発表者名
  菊池紘，後藤隆彰，若月光夫，西野哲朗
- 学会等名
  電子情報通信学会知能ソフトウェア工学研究会
- 発表場所
  電気通信大学東3号館301号室
- データソース
  KAKENHI-PROJECT-23500011
[学会発表] 実時間決定性限定1カウンタ変換器に対する質問による多項式時間学習アルゴリズム
- 著者名/発表者名
  若月光夫，富田悦次，西野哲朗
- 学会等名
  2013年度冬のLAシンポジウム
- 発表場所
  京都大学数理解析研究所 420号室
- データソース
  KAKENHI-PROJECT-23500011
[学会発表] A polynomial-time algorithm for checking the inclusion of deterministic restricted one-counter transducers which accept by final state
- 著者名/発表者名
  Mitsuo Wakatsuki, Etsuji Tomita, Tetsuro Nishino
- 学会等名
  30th International Conference on Computers and Their Applications
- 発表場所
  Waikiki Beach Marriott Resort & Spa, Honolulu, Hawaii, U.S.A.
- 年月日
  2015-03-09 – 2015-03-11
- データソース
  KAKENHI-PROJECT-23500011
[学会発表] 決定性限定1カウンタ変換器のある部分クラスに対する質問による多項式時間学習アルゴリズム
- 著者名/発表者名
  若月光夫，富田悦次，西野哲朗
- 学会等名
  2012年度冬のLAシンポジウム
- 発表場所
  京都大学数理解析研究所 420号室
- データソース
  KAKENHI-PROJECT-23500011
[学会発表] 最大クリーク問題の多項式時間的可解性の拡張の更なる改良
- 著者名/発表者名
  中西裕陽，富田悦次，若月光夫，西野哲朗
- 学会等名
  電子情報通信学会コンピュテーション研究会
- 発表場所
  道後温泉大和屋
- 年月日
  2014-06-13 – 2014-06-14
- データソース
  KAKENHI-PROJECT-25330009

1. 富田悦次 (40016598)

共同の研究課題数: 11件

共同の研究成果数: 89件
2. 西野哲朗 (10198484)

共同の研究課題数: 9件

共同の研究成果数: 64件
3. 高橋治久 (90135418)

共同の研究課題数: 6件

共同の研究成果数: 3件
4. 垂井淳 (00260539)

共同の研究課題数: 2件

共同の研究成果数: 0件
5. 小林聡 (50251707)

共同の研究課題数: 2件

共同の研究成果数: 0件
6. 伊藤大雄 (50283487)

共同の研究課題数: 2件

共同の研究成果数: 10件
7. 堀田一弘 (40345426)

共同の研究課題数: 1件

共同の研究成果数: 0件

若月 光夫 Wakatsuki Mitsuo

研究課題

研究成果

共同研究者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

形式言語の効率的学習アルゴリズムの開発及びその応用システムの構築研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

形式言語に対する例からの学習を行う効率的アルゴリズムの開発・応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

決定性文脈自由言語の部分クラスに対する学習アルゴリズムの開発と応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

決定性文脈自由言語の部分族に対する学習アルゴリズムの開発とその応用に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

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

著者名/発表者名

出版者

データソース

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

著者名/発表者名

総ページ数

若月光夫 Wakatsuki Mitsuo