Degree

• 博士(工学)（電気通信大学 1993-03）

Research History

Education

Awards

Others

Papers

• Distinguishing between humans and computers in a card game with imperfect information（2021-10-12）
• The characteristics of the card game Daihinmin（2021-09-30）
• New applications of the Monte-Carlo tree search to computer Daihinmin（2020-05-31）
• New applications of the Monte Carlo method for computer Daihinmin（2019-07） [DOI]
• What are the characteristics of the card game Daihinmin?（2019-07） [DOI]
• Toward a statistical characterization of computer Daihinmin（2019-01） [DOI]
• Route search method for autonomous mobile robots using machine learning（2018-10）
• Decision tree analysis in game informatics（2018-07） [DOI]
• A decision tree analysis of a multi-player card game with imperfect information（2018-07） [DOI]
• Strengthening methods of Computer Daihinmin programs（2017-10）
• A much faster algorithm for finding a maximum clique with computational experiments（2017-08-01） [DOI]
• Toward a statistical analysis of computer Daihinmin（2017-07）
• A Much Faster Branch-and-Bound Algorithm for Finding a Maximum Clique（2016-06） [DOI] [Web of Scientce]
• A decision making method based on society of mind theory in multi-player imperfect information games（2016-04） [DOI]
• A Decision Making Method Based on Society of Mind Theory in Multi-player Imperfect Information Games（2015-07） [DOI] [Web of Scientce]
• A source code plagiarism detecting method using sequence alignment with abstract syntax tree elements（2015-07） [DOI]
• A polynomial-time algorithm for checking the inclusion of deterministic restricted one-counter transducers which accept by final state（2015-03）
• A Polynomial-Time Algorithm for Checking the Equivalence of Deterministic Restricted One-Counter Transducers Which Accept by Final State（2015） [DOI] [Web of Scientce]
• A Source Code Plagiarism Detecting Method Using Alignment with Abstract Syntax Tree Elements（2014-06） [Web of Scientce]
• An improved extended result on polynomial-time solvability of the maximum clique problem（2014-06）
• A polynomial-time algorithm for checking the equivalence for real-time deterministic restricted one-counter transducers which accept by final state（2013-12）
• A polynomial-time algorithm for checking the equivalence for real-time deterministic restricted one-counter transducers which accept by final state（2013-07） [DOI]
• A Simple and Faster Branch-and-Bound Algorithm for Finding a Maximum Clique with Computational Experiments（2013-06） [DOI] [Web of Scientce]
• An extended result on polynomial-time solvability of the maximum clique problem（2012-09） [CiNii Research (CiNii Articles)] [CiNii Books]
• A further improved result on polynomial-time solvability of the maximum clique problem（2011-12） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• An image transformation algorithm for image compression based on quantum cellular automata（2011-06）
• On polynomial-time solvability of the maximum clique problem（2011-06）
• A polynomial-time algorithm for checking the equivalence of real-time deterministic restricted one-counter transducers which accept by final state（2011-06） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link] [Othres link]
• Polynomial Time Identification of Strict Prefix Deterministic Finite State Transducers（2010-09） [Web of Scientce]
• A Simple and Faster Branch-and-Bound Algorithm for Finding a Maximum Clique（2010-02） [Web of Scientce]
• Polynomial time identification of strict deterministic restricted one-counter automata in some class from positive data（2008-06） [DOI] [Web of Scientce]
• A polynomial-time algorithm for checking the equivalence of real-time strict deterministic restricted one-counter transducers（2008-05） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• A direct branching algorithm for checking the equivalence of a pair of non-realtime deterministic pushdown transducers（2007-10） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• Polynomial time identification of finite state transducers in some class（2007-09）
• A unified algorithm for extending classes of languages identifiable in the limit from positive data（2006-09） [Web of Scientce]
• Polynomial time learning of simple deterministic languages via queries and a representative sample（2004-12） [DOI] [CiNii Research (CiNii Articles)]
• Polynomial time identification of strict deterministic restricted one-counter automata in some class from positive date（2004-10） [Web of Scientce]
• Polynomial time learnability of simple deterministic languages from MAT and a representative sample（2000-04） [Web of Scientce]
• Polynomial time MAT learning of simple deterministic languages with structural counterexamples（1999-04） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• A polynomial-time algorithm for checking the inclusion for real-time deterministic restricted one-counter automata which accept by accept mode（1998-01） [Web of Scientce]
• An algorithm for finding a maximum weight clique in an integer-weighted graph（1997-06） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• A simple and efficient branch and bound algorithm for finding a maximum clique with experimental evaluations（1997-05） [DOI]
• Some properties of deterministic restricted one-counter automata（1996-07） [Web of Scientce]
• A simple and efficient branch and bound algorithm for finding a maximum clique with the experimental evaluations（1996-01） [CiNii Research (CiNii Articles)]
• A POLYNOMIAL-TIME ALGORITHM FOR CHECKING THE INCLUSION FOR REAL-TIME DETERMINISTIC RESTRICTED ONE-COUNTER AUTOMATA WHICH ACCEPT BY FINAL-STATE（1995-08） [Web of Scientce]
• A simple algorithm for finding a maximum weight clique based upon an approximate coloring（1995-06） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• A POLYNOMIAL-TIME ALGORITHM FOR CHECKING THE INCLUSION FOR STRICT DETERMINISTIC RESTRICTED ONE-COUNTER AUTOMATA（1995-04） [Web of Scientce]
• A FAST ALGORITHM FOR CHECKING THE INCLUSION FOR VERY SIMPLE DETERMINISTIC PUSHDOWN-AUTOMATA（1993-10） [Web of Scientce]
• On the upper bound of the shortest length of input strings to decide equivalence of simple deterministic pushdown automata（1992-10） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• An improved branching algorithm for checking the equivalence of simple DPDA's and its worst-case time complexity（1991-09） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• A direct branching algorithm for checking equivalence of simple deterministic pushdown automata（1989-05） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]

Misc

Presentations

• コンピュータUNOにおけるモンテカルロ木探索について（2024-03-09）
• コンピュータUNOにおけるモンテカルロ法のREINFORCEアルゴリズムによる方策学習（2024-03-09）
• コンピュータUNOにおける発見的に得た戦略に関する研究（2023-03-04）
• コンピュータUNOにおけるモンテカルロ法プレイヤの構築（2023-03-04）
• D-Waveの量子アニーリングマシン上における最大クリーク探索の実験的評価（2023-03-04）
• 大学図書館における対話型図書推薦システムに関する研究（2023-03-03）
• Watson Assistantを用いたサイトレビューによる参考書の難易度推定手法（2023-03-03）
• 小説の内容を表すキーワードの抽出に関する研究（2023-03-03）
• セクション情報を用いた日本語長文文書の抽象型自動要約（2023-03-02）
• 最大クリーク抽出アルゴリズムMCTのさらなる高速化（2021-03-08）
• コンピュータ大貧民における戦略の定式化に関する研究（2021-03-05）
• コンピュータ大貧民におけるレーティング手法の最適化に関する研究（2021-03-05）
• コンピュータ大貧民におけるレーティング手法について（2020-03-13）
• コンピュータ大貧民における提出手の影響に関する研究（2019-03-09）
• 大貧民におけるモンテカルロ法の報酬値に関する研究（2019-03-09）
• コンピュータ大貧民におけるローカルルールの効果に関する研究（2019-03-08）
• 大貧民におけるプレイヤーの提出手の傾向に関する研究（2019-03-08）
• 最大クリーク抽出アルゴリズムMCTの高速化(2)（2019-02-04）
• 近似最大クリーク抽出アルゴリズムIKLSの反復回数に対する適切な制御方法（2018-10-26）
• 最大クリーク抽出アルゴリズムMCTの高速化（2018-09-26）
• 決定木を用いた大貧民プログラムの分析に関する研究（2016-08-05）
• 最大クリーク抽出アルゴリズムMCSの高速化（2016-03-06）
• A polynomial-time algorithm for checking the inclusion of deterministic restricted one-counter transducers which accept by final state（2016-01-28）
• An improved branch-and-bound algorithm for finding a maximum clique（2015-07-16）
• A further improved extended result on polynomial-time solvability of the maximum clique problem（2014-06-14）
• A polynomial time learning algorithm for real-time deterministic restricted one-counter transducers from queries and counterexamples（2014-01-30）
• A new technique to improve code readability by omitting similar source code patterns（2013-09-12）
• 学習ゲームを用いた発達障害児向け文字学習支援システム（2013-05-23）
• A polynomial time learning algorithm for deterministic restricted one-counter transducers in some class from queries and counterexamples（2013-01）
• An improved extended result on polynomial-time solvability of the maximum clique problem（2012-09）
• Automatic optimizing of routine for computer daihinmin using genetic algorithm（2012-03）
• A polynomial-time algorithm for checking the equivalence of deterministic restricted one-counter transducers which accept by final state（2012-01）
• An extended result on polynomial-time solvability of the maximum clique problem（2011-10）
• A further improved result on polynomial-time solvability of the maximum clique problem（2011-04）
• An image transformation algorithm for image compression based on quantum cellular automata（2011-02）
• On polynomial-time solvability of the maximum clique problem（2011-02）
• A polynomial-time algorithm for checking the equivalence of real-time deterministic restricted one-counter transducers which accept by final state（2011-02）
• 鳥の歌文法解析の自動化（2010-07）
• 最大クリーク抽出の単純な最大時間計算量評価と多項式時間的可解性（2010-02）
• A polynomial time algorithm for checking the equivalence of strict deterministic restricted one-counter transducers（2010-02）
• A simple and faster algorithm for finding a maximum clique（2010-01）
• 鳥の歌構造解析におけるk可逆オートマトンとNグラムモデルの関係について（2009-07）
• The learning problem for DAIHINMIN programs（2009-03）
• Report of the Third UEC computer DAIHINMIN championship (UECda-2008)（2009-03）
• An identification in the limit from positive data for some subclasses of languages extended by homomorphisms（2009-03）
• オートマトンの学習困難性を安全性の基盤とする暗号システムについて（2009-02）
• A parallelization of an algorithm for finding a maximum clique on shared memory computers（2008-09）
• Polynomial time identification of finite state transducers in some class（2007-11）
• A polynomial-time algorithm for checking the equivalence of real-time strict deterministic restricted one-counter transducers（2007-10）
• A unified algorithm for extending classes of languages identifiable in the limit from positive data（2006-08）
• A direct branching algorithm for checking the equivalence of a pair of non-real-time deterministic pushdown transducers（2006-01）
• A unified algorithm for extending classes of languages identifiable in the limit from positive data（2005-09）
• Polynomial time identification of strict deterministic restricted one-counter automata in some class from positive data（2004-03）
• A Unified Method of Identification in the Limit from Positive Data in Some Subclasses of Regular Languages（2002-07）
• Polynomial time identification in the limit of regular languages in some subclass from positive data（2002-03）
• A polynomial time inference of generalized sequential machines in some class（2002-02）
• Polynomial-time identification in the limit of counters in some class from positive data（2001-09）
• Polynomial time identification in the limit of regular languages in some subclass（2001-07）
• A randomized and genetic hybrid algorithm for the traveling salesman problem（2001-03）
• 巡回セールスマン問題に対する確率及び遺伝的ハイブリッドアルゴリズムとその実験的評価（1999-09）
• 正則言語のある部分クラスに対する正の例からの多項式時間極限同定（1999-06）
• An efficient algorithm for finding a maximum clique and its experimental evaluations（1999-05）
• Query learning of simple deterministic languages in polynomial time（1999-03）
• Polynomial time learnability of simple deterministic languages from MAT and a representative sample（1998-09）
• 最大重みクリーク抽出アルゴリズムの効率化（1998-06）
• 正則言語のある部分族に対する正の例からの多項式時間極限同定（1998-06）
• 単純決定性言語のある部分族に対する多項式時間MAT学習（1998-06）
• A unified method to extend classes of languages learnable in the limit from positive data（1998-03）
• Randomized and hybrid algorithms for approximate graph coloring（1998-03）
• Polynomial time MAT learning of simple deterministic languages with structural counterexamples（1997-10）
• Prediction of RNA secondary structure including pseudoknotting based on combinational optimization（1996-11）
• A polynomial-time algorithm for checking the inclusion for real-time deterministic one-counter automata which accept by accept mode（1996-03）
• グラフの近似彩色を行う確率アルゴリズム（1996-03）
• 諸受理方式による決定性カウンタの言語クラスについて（1996-03）
• 最大重みクリークの抽出アルゴリズムのRNAの二次構造予測への適用（1996-03）
• 最大重みクリークの近似抽出解法によるRNAの二次構造予測（1995-09）
• A fast algorithm for checking the inclusion for very simple deterministic pushdown automata（1992-10）
• An improvement on the worst-case time complexity of an algorithm for checking equivalence of simple deterministic pushdown automata（1990-07）
• Improvements on a direct branching algorithm for checking equivalence of simple deterministic pushdown automata（1990-07）
• A direct branching algorithm for checking equivalence of simple deterministic pushdown automata（1988-03）
• Simple DPDAの等価性判定を行う直接的分岐アルゴリズムの簡単化（1988-03）

Books and Other Publications

• 情報工学のための離散数学入門（2015-08-25）
• Applied Automata Engineering（2012-02）
• UNIXコンピュータリテラシー - ネットワーク時代の計算機利用とモラル -（第2版）（2001-04）
• UNIXコンピュータリテラシー - ネットワーク時代の計算機利用とモラル -（1997-01）

Works

Research Projects

Media Coverage

Industrial Property Rights

Professional Memberships

• The Japanese Society for Artificial Intelligence
• LA Symposium
• Information Processing Society of Japan
• The Institute of Electronics, Information and Communication Engineers

Committee Memberships

Teaching Experience

Social Contribution

Academic Contribution

• 科学研究費委員会奨励研究部会理工系小委員会審査委員