07 2017/08 09
日月火水木金土
303101 02030405
06070809101112
13141516171819
20 212223242526
27 282930310102
□Click セミナー
2016年度
2017  2015  2014  2013  2012  2011  2010  ALL 

Refereed Conference

Mathieu Blondel, Akinori Fujino, Naonori Ueda, Masakazu Ishihata 
Higher-order Factorization Machines, The Thirtieth Annual Conference on Neural Information Processing Systems (NIPS2016), 3351-3359, 2016年11月
Mathieu Blondel, Masakazu Ishihata, Akinori Fujino, Naonori Ueda 
Polynomial Networks and Factorization Machines: New Insights and Efficient Training Algorithms, The 33rd International Conference on Machine Learning (ICML 2016), 850-858, 2016年06月
Hirofumi Suzuki, Hao Sun, Shin-ichi Minato 
Generating All Solutions of Minesweeper Problem Using Degree Constrained , PDPTA'16 Workshop on Mathematical Modeling and Problem Solving (MPS109), 2016年07月
Reona Minoda, Yuzuru Tanaka, Shin-ichi Minato 
Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking, The Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM2016), 2016年10月
Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, and Shin-Ichi Minato 
Using piDDs for Nearest Neighbor Optimization of Quantum Circuits, Reversible Computation 2016, 2016年07月
Jun Kawahara, Takashi Horiyama, Keisuke Hotta, and Shin-ichi Minato 
Generating All Patterns of Graph Partitions within a Disparity Bound, In Proceedings of the 11th International Conference and Workshops on Algorithms and Computation (WALCOM 2017), vol. 10167, pp. 119--131, 2017年03月

Conference

井上祐馬, 湊 真一 
複数の順列に共通して現れるパターンの列挙法, 第79回情報処理学会全国大会, 2017年03月
和佐州洋, 石畠正和, 宇野毅明, 湊真一 
列挙木とMCMCを組み合わせた部分グラフサンプリングアルゴリズムの構築, 人工知能学会 第101回人工知能基本問題研究会 (SIG-FPAI) 予稿集, SIG-FPAI-B504, pp. 35-40, 2016年08月
石畠正和, 岩田具治 
Grouped Bayesian Network: より細かな独立性を考慮した確率モデリング, 第30回人工知能学会全国大会, 2016年06月
鈴木浩史，孫浩，湊真一 
BDD/ZDD を用いたマインスイーパーの爆弾配置パタンの列挙, 第30回人工知能学会全国大会, 2016年06月
鈴木浩史，湊真一 
ZDD を用いたグラフ列挙索引化における頂点インデックスの追加, 人工知能学会 第101回人工知能基本問題研究会 (SIG-FPAI) 予稿集　SIG-FPAI-B504, pp. 41-46, 2016年08月
蓑田 玲緒奈, 湊 真一 
モデル検査によるSmart Objectの近傍近接連携モデルの検証, 人工知能学会 第101回人工知能基本問題研究会 (SIG-FPAI) 予稿集, SIG-FPAI-101-B504, pp. 7-14, 2016年08月
竹内文登、西野正彬、安田宜仁、湊真一 
制約付き系列ラベリングの高速解法, 第30回人工知能学会全国大会, 2016年06月
井上 祐馬, 湊 真一 
順列のサイクルタイプ同値類分割に対する順列決定グラフの適用, 人工知能学会 第101回人工知能基本問題研究会 (SIG-FPAI) 予稿集 SIG-FPAI-B504, pp. 47-52, 2016年08月
井上 祐馬, 鈴木 浩史, 伊藤 華, 湊 真一 
グラフの部分構造を列挙するZDD構築のための変数順序付けヒューリスティクス, 第30回人工知能学会全国大会, 2016年06月
石畠正和, 小宮山純平, 馬場雪乃 
比較バンディットアルゴリズムを用いたクラウドソーシングにおける品質・コストトレードオフの自動調整, 人工知能学会 第102回人工知能基本問題研究会 (SIG-FPAI) 予稿集, SIG-FPAI-B505, pp. 41-47, 2016年12月
Kazuhiro Kurita, Kunihiro Wasa, Takeaki Uno, Hiroki Arimura 
Efficient Enumeration of Induced Matchings in Graphs without Short Cycles, Japan Conference on Discrete and Computational Geometry, Graphs, and Games 2016(JCDCG3 2016), Tokyo, Japan, 2016年09月
栗田 和宏, 和佐 州洋, 喜田 拓也, 有村 博紀 
グラフに含まれる誘導マッチングの列挙,  第157回アルゴリズム研究会, 2017年03月
渡辺 僚・小宮山 純平・中村 篤祥・工藤 峰一 
確率的コストを伴う予算制約つき多腕バンディット問題に対する漸近最適方策, 情報処理北海道シンポジウム2016, 北海道釧路市
, 2016年10月

Etc.

Mathieu Blondel, Akinori Fujino, Naonori Ueda, Masakazu Ishihata 
Higher-order Factorization Machines, NIPS 2016: 3351-3359, 2016年07月
基盤(S)　離散構造処理系プロジェクト  
2015年度 JST ERATO湊離散構造処理系プロジェクト,　JSPS　科研費　基盤(S)離散構造処理系の基盤アルゴリズムの研究　講究録, ISSN 2186-1846, 2016年06月
基盤(S)　離散構造処理系プロジェクト, CD-ROM 
2015年度 JST ERATO湊離散構造処理系プロジェクト,　JSPS　科研費　基盤(S)離散構造処理系の基盤アルゴリズムの研究　講究録, ISSN 2186-1854, 2016年06月