学位

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

経歴

学歴

受賞

その他

論文

• 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]
• 最大クリーク問題の多項式時間的可解性の拡張の改良（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]
• 最大クリーク問題の多項式時間的可解性の拡張（2012-09） [CiNii Research (CiNii Articles)] [CiNii Books]
• 最大クリーク問題の多項式時間的可解性の更なる改良結果（2011-12） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• 量子セルオートマトンに基づく画像圧縮のための画像変換アルゴリズム（2011-06）
• 最大クリーク問題の多項式時間的可解性について（2011-06）
• 実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム（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]
• 実時間空スタック受理式決定性限定ワンカウンター変換器の多項式時間等価性判定（2008-05） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• ε-推移を許したある決定性プッシュダウン変換器対の等価性判定（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]
• 構造反例付き等価性質問を用いた単純決定性言語の多項式時間MAT学習（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]
• 整数重みグラフの最大重みクリーク抽出アルゴリズム（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]
• 最大クリークを抽出する単純で効率的な分枝限定アルゴリズムと実験的評価（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]
• 近似彩色を用いた単純な最大重みクリーク抽出アルゴリズム（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]
• 単純決定性プッシュダウンオートマトンの等価性を決定する最短入力記号列長の上界（1992-10） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• 単純決定性プッシュダウンオートマトンの等価性判定の改良分岐アルゴリズムとその最大時間計算量（1991-09） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]
• 単純決定性プッシュダウンオートマトンの等価性判定を行う直接的分岐アルゴリズム（1989-05） [CiNii Research (CiNii Articles)] [CiNii Books] [Othres link]

その他業績

講演・口頭発表等

• コンピュータ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）
• 最終状態受理式決定性限定１カウンタ変換器の多項式時間包含性判定アルゴリズム（2016-01-28）
• 最大クリーク抽出アルゴリズムの高速化（2015-07-16）
• 最大クリーク問題の多項式時間的可解性の拡張の更なる改良（2014-06-14）
• 実時間決定性限定1カウンタ変換器に対する質問による多項式時間学習アルゴリズム（2014-01-30）
• 類似パターンの省略によりソースコードの可読性を向上させる新技法（2013-09-12）
• 学習ゲームを用いた発達障害児向け文字学習支援システム（2013-05-23）
• 決定性限定1カウンタ変換器のある部分クラスに対する質問による多項式時間学習アルゴリズム（2013-01）
• 最大クリーク問題の多項式時間的可解性の拡張の改良（2012-09）
• 遺伝的アルゴリズムを用いたコンピュータ大貧民の思考ルーチンの自動チューニング（2012-03）
• 最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム（2012-01）
• 最大クリーク問題の多項式時間的可解性の拡張（2011-10）
• 最大クリーク問題の多項式時間的可解性の更なる改良結果（2011-04）
• 量子セルオートマトンに基づく画像圧縮のための画像変換アルゴリズム（2011-02）
• 最大クリーク問題の多項式時間的可解性について（2011-02）
• 実時間最終状態受理式決定性限定1カウンタ変換器の多項式時間等価性判定アルゴリズム（2011-02）
• 鳥の歌文法解析の自動化（2010-07）
• 最大クリーク抽出の単純な最大時間計算量評価と多項式時間的可解性（2010-02）
• 空スタック受理式決定性限定ワンカウンタ変換器の多項式時間等価性判定アルゴリズム（2010-02）
• 単純でより高速な最大クリーク抽出アルゴリズム（2010-01）
• 鳥の歌構造解析におけるk可逆オートマトンとNグラムモデルの関係について（2009-07）
• 大貧民プログラムの学習問題について（2009-03）
• 第3回UECコンピュータ大貧民大会(UECda-2008)の報告（2009-03）
• 準同型写像によって拡張されたある言語クラスに対する正例からの極限同定（2009-03）
• オートマトンの学習困難性を安全性の基盤とする暗号システムについて（2009-02）
• 最大クリーク抽出アルゴリズムの共有メモリ型並列計算機上での並列化（2008-09）
• ある種の有限状態変換器に対する多項式時間極限同定（2007-11）
• 実時間空スタック受理式決定性限定ワンカウンター変換器の多項式時間等価性判定アルゴリズム（2007-10）
• A unified algorithm for extending classes of languages identifiable in the limit from positive data（2006-08）
• ε-推移を許したある決定性プッシュダウン変換器対の等価性判定アルゴリズム（2006-01）
• 正の例から極限同定可能な言語クラスを拡張する統一的アルゴリズム（2005-09）
• 空スタック受理式決定性1カウンタオートマトンのある部分クラスに対する正の例からの多項式時間極限同定（2004-03）
• 正則言語の幾つかの部分クラスに対する正の例からの極限同定の統一的一方式（2002-07）
• 正則言語の部分クラスに対する正の例からの多項式時間極限同定（2002-03）
• ある種の一般化順序機械の多項式時間推論アルゴリズム（2002-02）
• ある種のカウンタに対する正の例からの多項式時間極限同定（2001-09）
• 正則言語のある部分クラスに対する正の例からの多項式時間極限同定（2001-07）
• 巡回セールスマン問題に対する確率・遺伝的ハイブリッドアルゴリズム（2001-03）
• 巡回セールスマン問題に対する確率及び遺伝的ハイブリッドアルゴリズムとその実験的評価（1999-09）
• 正則言語のある部分クラスに対する正の例からの多項式時間極限同定（1999-06）
• 最大クリーク抽出アルゴリズムの効率化とその評価（1999-05）
• 単純決定性言語の質問による多項式時間学習について（1999-03）
• 質問および代表的な記号列集合を用いた単純決定性言語の多項式時間学習（1998-09）
• 最大重みクリーク抽出アルゴリズムの効率化（1998-06）
• 正則言語のある部分族に対する正の例からの多項式時間極限同定（1998-06）
• 単純決定性言語のある部分族に対する多項式時間MAT学習（1998-06）
• 正の例から極限同定可能な言語クラスの統一的拡張手法（1998-03）
• グラフ彩色問題における確率アルゴリズムとハイブリッドアルゴリズム（1998-03）
• 構造反例付き等価性質問を用いた単純決定性言語の多項式時間MAT学習（1997-10）
• 組合せ最適化手法によるシュードノット構造を含んだRNAの二次構造予測（1996-11）
• 実時間受理モード受理式DROCAの多項式時間包含性判定アルゴリズム（1996-03）
• グラフの近似彩色を行う確率アルゴリズム（1996-03）
• 諸受理方式による決定性カウンタの言語クラスについて（1996-03）
• 最大重みクリークの抽出アルゴリズムのRNAの二次構造予測への適用（1996-03）
• 最大重みクリークの近似抽出解法によるRNAの二次構造予測（1995-09）
• Very Simple DPDの包含性判定を行う高速アルゴリズム（1992-10）
• 単純決定性プッシュダウンオートマトンの等価性判定に要する最大時間計算量の改善（1990-07）
• 単純決定性プッシュダウンオートマトンの等価性判定を行う直接的分岐アルゴリズムの改良（1990-07）
• Simple DPDAの等価性判定を行う直接的分岐アルゴリズム（1988-03）
• Simple DPDAの等価性判定を行う直接的分岐アルゴリズムの簡単化（1988-03）

書籍等出版物

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

作品等

共同研究・競争的資金等の研究課題

メディア報道

産業財産権

所属学協会

• 人工知能学会
• LAシンポジウム
• 情報処理学会
• 電子情報通信学会

委員歴

担当経験のある科目

社会貢献活動

学術貢献活動

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