- 著者
- 吉仲 亮 岩下 洋哲 川原 純 斎藤 寿樹 鶴間 浩二 湊 真一
- 出版者
- 公益社団法人日本オペレーションズ・リサーチ学会
- 雑誌
- オペレーションズ・リサーチ : 経営の科学 (ISSN:00303674)
- 巻号頁・発行日
- vol.57, no.11, pp.616-622, 2012-11-01
本稿では,フロンティア法による,与えられたグラフ上の特定の制約を満たす部分グラフ抽出の具体的応用例として,ナンバーリンクとスリザーリンクと呼ばれるパズルそれぞれのための解答器と問題生成器のアルゴリズムを提案し,実験結果を報告する.また,この技術を用いたスリザーリンクの問題作成支援についても議論する.
2 0 0 0 大局的な状況に応じて打ち方の変更を行う麻雀AI
- 著者
- 海津 純平 吉仲 亮 篠原 歩
- 雑誌
- ゲームプログラミングワークショップ2016論文集
- 巻号頁・発行日
- no.2016, pp.154-157, 2016-10-28
2 0 0 0 OA ディジタルアーカイヴからディジタルエキジビションへ
2 0 0 0 OA 深層学習を用いて役職推定を行う人狼知能エージェントの開発
- 著者
- 大川 貴聖 吉仲 亮 篠原 歩
- 雑誌
- ゲームプログラミングワークショップ2017論文集
- 巻号頁・発行日
- vol.2017, pp.50-55, 2017-11-03
人狼ゲームで勝利するためには,各プレイヤの役職を推定することが重要である.先行研究では,サポートベクターマシンを用いて人狼を推定する手法が提案された.本論文では,先行研究を基に,深層学習を用いて役職を推定するエージェントを提案する.学習で使用する特徴を増やし,学習モデルをサポートベクターマシンから多層パーセプトロンに変更した.また,計算機実験において,過去の人狼知能大会のエージェントと対戦し,その勝率と推定精度に対する評価を行った.その結果,提案手法が有効であることを確認した.
2 0 0 0 ZDDを用いたパスの列挙とその性能評価
- 著者
- 斎藤 寿樹 川原 純 吉仲 亮 鈴木 拡 湊 真一
- 出版者
- 情報処理学会
- 雑誌
- 研究報告アルゴリズム(AL) (ISSN:21862583)
- 巻号頁・発行日
- vol.2011, no.17, pp.1-6, 2011-02-28
- 被引用文献数
- 1
与えられたグラフ中のパスを列挙する問題は古典的な問題である.これまで,解を列挙するアルゴリズムや解の数を数えるアルゴリズムがいくつか提案されているが,一般に解の数は極めて多く,解の数を求める問題は #P-完全であるため,満足のいく高速な列挙アルゴリズムの実現は難しい.近年 Knuth は,ZDD (Zero-suppressed Binary Decision Diagram) を用いた任意のグラフの任意の 2 点間を端点とするパスを列挙するアルゴリズムを提案した.ZDD とは集合族を圧縮して表現できるデータ構造である.グラフの経路を辺の集合と同一視することによって,経路の集合は ZDD で表現することができる.提案されたアルゴリズムは,出力結果がパス集合の ZDD による圧縮表現であり,従来手法に比べ高速に動作する.本発表では,まず Knuth のアルゴリズムを紹介し,次に Knuth のアルゴリズムを基にした筆者らによる多項式回の ZDD の基本演算でパスの列挙を行うアルゴリズムを提案する.これらの手法と既存手法との比較実験を行い,ZDD によるパスの列挙手法の利を論ずる.The listing of all paths in a given graph is a classical problem. Although there are known algorithms for the problem, the number of the solutions tends to be huge and the counting problem is #P-hard. Recently, Knuth has proposed an algorithm for enumerating paths by using the ZDD (zero-suppressed binary decision diagram). The ZDD is a condensed representation of a family of sets. By identifying a path in a graph as a set of edges, the sets of paths can be represented by ZDD. His algorithm outputs a ZDD representing a set of paths. In this paper, we first introduce Knuth's algorithm, and propose an algorithm where ZDD operations implemented polynomial many times by extending Knuth's algorithm. We experiment with these algorithms and a known enumeration algorithm, and discuss the advantage of the algorithms using ZDD from the experimental result.
1 0 0 0 OA 文字列パターンとMathMLによる構造を利用した数学問題文の検索
- 著者
- 狩山 和亮 吉仲 亮 山本 章博
- 出版者
- 一般社団法人 人工知能学会
- 雑誌
- 人工知能学会全国大会論文集 第27回 (2013) (ISSN:27587347)
- 巻号頁・発行日
- pp.1F51, 2013 (Released:2018-07-30)
本論文では,大学入試センター試験の数学問題文を対象とした検索手法を提案する.文中で特定の役割を持つ記述を生成するパターンの発見によって,問題文を大問文と小問文からなる構造へ構造化する.さらに,Earth Mover's Distanceを用いて数式集合間の類似度を定義し,数式を含む小問文間の類似度を定義する.これらを用いた検索手法の有効性についてNTCIRで配布されるデータを用いて評価を行った.
1 0 0 0 OA 音素記号列からのテキストマイニングによる古典和歌の分析
- 著者
- 大柿 高志 吉仲 亮 山本 章博
- 出版者
- 一般社団法人 人工知能学会
- 雑誌
- 人工知能学会全国大会論文集 第28回 (2014) (ISSN:27587347)
- 巻号頁・発行日
- pp.4A15, 2014 (Released:2018-07-30)
近年、古典和歌のテキストデータベースがWebやCD-ROMで公開されてきている。それにともなって、マイニングの技術が文学研究においても利用され始めている。これまでの古典和歌の文学研究は自立語による語句の分析が主だった。しかし、和歌は朗詠の文化を持ち、音が重要な意味をもつことも十分考えられる。和歌を音素の記号列に変換し、テキストマイニングを行うことで、新しい和歌の分析手法を提案する。
1 0 0 0 OA AI時代を見据えたプログラム検証技術
プログラム検証とは、プログラムが正しく振る舞うかどうかを実行前に網羅的に検証する技術であり、ソフトウェアの信頼性向上のために欠かせないものである。本研究課題では、近年の機械学習技術の台頭とそれに伴うコンピュータによって制御されたシステムの社会への普及を踏まえ、(1)代表者らがこれまで研究を進めてきた高階モデル検査などの自動プログラム検証技術や理論をさらに発展させるとともに、(2)プログラム検証技術のさらなる飛躍のために機械学習技術を活用し、さらに(3)機械学習技術の台頭に伴うソフトウェアの質と量の変化に対応するための、新たなプログラム検証技術の確立を目指す。
1 0 0 0 OA 音素記号列からのテキストマイニングによる古典和歌の分析
- 著者
- 大柿 高志 吉仲 亮 山本 章博
- 出版者
- 人工知能学会
- 雑誌
- 人工知能学会全国大会論文集 (ISSN:13479881)
- 巻号頁・発行日
- vol.28, 2014
近年、古典和歌のテキストデータベースがWebやCD-ROMで公開されてきている。それにともなって、マイニングの技術が文学研究においても利用され始めている。これまでの古典和歌の文学研究は自立語による語句の分析が主だった。しかし、和歌は朗詠の文化を持ち、音が重要な意味をもつことも十分考えられる。和歌を音素の記号列に変換し、テキストマイニングを行うことで、新しい和歌の分析手法を提案する。