10 2019/11 12
27282930310102
03040506070809
10111213141516
17181920212223
24252627282930
Click セミナー
2017年度
2019  2018  2016  2015  2014  2013  2012  2011  2010  ALL 

Journal Papers

蓑田 玲緒奈, 湊 真一 
記号モデル検査によるスマートオブジェクトの近接連携シナリオの効率的な検証, 電子情報通信学会論文誌, 和文誌D, 2018年03月

Reona Minoda, Shin-ichi Minato 
Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking and Its Advantages, IEICE Trans. Inf. & Syst., Vol.E100-D, No.06, pp.1172-1181, 2017年06月

Patrick Blöbaum, Takashi Washio and Shohei Shimizu 
Error Asymmetry in Causal and Anticausal Regression, Behaviormetrika, pp 1–22, DOI: 10.1007/s41237-017-0022-z, 2017年04月

D. Xu, J. Huang, Y. Nakane, T. Yokoyama, T. Horiyama, R. Uehara 
Rep-cubes: Dissection of a Cube into Nets, IEICE Trans. Fundamentals, 2017年08月

Shin-ichi Minato 
Power of Enumeration - Recent Topics on BDD/ZDD-Based: "Power of Enumeration - Recent Topics on BDD/ZDD-Based, Techniques for Discrete Structure Manipulation, IEICE Transactions on Information and Systems, Vol .E100-D, No.08, pp. 1556-1562, 2017年08月

Yuji Takenobu, Norihito Yasuda, Shunsuke Kawano, Yasuhiro Hayashi, and Shin-ichi Minato 
Evaluation of Annual Energy Loss Reduction Based on Reconfiguration Scheduling, IEEE Trans. Smart Grid, DOI 1109/TSG.2016.2604922, 2017年09月

Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, and Shin-ichi Minato 
Frontier-based Search for Enumerating All Constrained Subgraphs with Compressed Representation, IEICE Trans. Fundamentals, Vol. E100-A, No. 9, pp. 1773-1784, 2017年09月

K. Terayama, H. Iwata, M. Araki, Y. Okuno and K. Tsuda 
Machine Learning Accelerates MDbased Binding-Pose Prediction between Ligands and Proteins, Bioinformatics, 34, 770-778, 2017年10月

X. Yang, K. Yoshizoe, A. Taneda and K. Tsuda 
"RNA inverse folding using Monte Carlo tree search, BMC Bioinformatics, 18:468, 2017年11月

Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato and Masaaki Nagata 
BDD-Constrained A* Search: A Fast Method for Solving Constrained Shortest- Path Problems, IEICE Transactions on Information and Systems, Vol. E100-D, No. 12, pp. 2945-2952, 2017年12月

Bo Chen, Kai Ming Ting, Takashi Washio, Ye Zhu 
Local contrast as an effective meansto robust clustering against varying densities, Machine Learning, pp.1-25, DOI:10.1007/s10994-017-5693-x, 2018年01月

Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, and Osamu Akashi 
Fast Packet Classification Algorithm for Network-wide Forwarding Behaviors, Computer Communications, Vol. 116, pp. 101-117, Elsevier, 2018年01月

Hirofumi Suzuki and Shin-ichi Minato 
Fast Enumeration of All Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems Using ZDDs, IEICE Transactions, Discrete Mathematics and Its Applications, 2018年02月

Y. Nakahata, J. Kawahara, T. Horiyama, S. Kasahara 
Enumerating All Spanning Shortest Path Forests with Distance and Capacity Constraints, IEICE Trans. Fundamentals, 2018年03月

大畑翔平, 湊 真一 
ZDDを用いた組合せテストケースの列挙索引化に関する実験と考察, 人工知能学会第106回人工知能基本問題研究会資料, 2018年03月

Refereed Conference

Hei Chan 
Incorporating Uncertain Evidence Into Arithmetic Circuits Representing Probability Distributions, The Third Workshop on Advanced Methodologies for Bayesian Networks, Kyoto, Japan, 2017年09月

Takanori Maehara, Hirofumi Suzuki, Masakazu Ishihata 
Exact Computation of Influence Spread by Binary Decision Diagram, The 2017 World Wide Web conference (WWW-2017), 947-956, 2017年04月

Junpei Komiyama, Masakazu Ishihata, Hiroki Arimura, Takashi Nishibayashi, Shin-ichi Minato 
Statistical Emerging Pattern Mining with Multiple Testing Correction, The 23rd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (KDD-2017), Research Track, Hafifax, Nova Scotia, Canada, 2017年08月

Reona Minoda, Shin-ichi Minato 
Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking, In Proceedings of the 2nd International Conference on Pervasive Embedded Computing (PECCS/PEC 2017), pp.13-21, Madrid, Spain, 2017年07月

Reona Minoda, Masakazu Ishihata, Shin-ichi Minato 
Probabilistic CCRN: Reliability Analysis of Ubiquitous Computing Scenarios Using Probabilistic Model Checking, In Proceedings of the Eleventh International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2017), pp.85-91, Barcelona, Spain, 2017年11月

Gao Shan, Masakazu Ishihata, Shin-ichi Minato 
Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation, The Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN-2017), Kyoto Japan Proceedings of Machine Learning Research, Volume 73, pp.117-128, September, 2017, 2017年09月

Hei Chan 
Incorporating Uncertain Evidence Into Arithmetic Circuits Representing Probability Distributions, Proceedings of Machine Learning Research, Volume 73, pages 105-116, 2018年03月

Isamu Furuya and Takuya Kida 
Compaction of Church Numerals for Higher-Order Compression, Data Compression Conference (DCC2018), Cliff Lodge, Snowbird, USA, 2018年03月

Takanori Maehara, Hirofumi Suzuki, Masakazu Ishihata 
Exact Computation of Influence Spread by Binary Decision Diagram, The 2017 World Wide Web conference (WWW-2017), pp. 947-956, Perth Australia, 2017.4.1-4.3, 2017年04月

Mamadou Moustapha Kanté,Takeaki Uno 
Counting Minimal Dominating Sets, Theory and Applications of Models of Computation - 14th Annual Conference, TAMC 2017, Bern, Switzerland, Proceedings 333-347, 2017年04月

Hiroki Arimura, Kazuhito Osabe, Takeaki Uno 
Optimization and Enumeration of Decision Trees from Massive Data Sets, Proc. 21st Conference of the International Federation of Operational Research Societies (IFORS 2017), ME-18, Quebec, Canada, 2017年07月

M Sugiyama, H Nakahara, K Tsuda 
Tensor balancing on statistical manifold, Thirty-fourth International Conference on Machine Learning, arXiv preprint arXiv:1702.08142, Sydney, Ausutralia, 2017年08月

Alessio Conte,Mamadou Moustapha Kanté,Yota Otachi,Takeaki Uno,Kunihiro Wasa 
Efficient Enumeration of Maximal k-Degenerate Subgraphs in a Chordal Graph, Computing and Combinatorics - 23rd International Conference, COCOON 2017, Hong Kong, China, 2017年08月

Iku Ohama, Hiromi Iida, Takuya Kida, and Hiroki Arimura 
Discovering Relevance-Dependent Bicluster Structure from Relational Data, Proc. the 26th International Joint Conference on Artificial Intelligence (IJCAI 2017), Melbourne, Australia, DOI: 10.24963/ijcai.2017/359, 2017年08月

Alessio Conte,Roberto Grossi,Andrea Marino,Takeaki Uno,Luca Versari 
Listing Maximal Independent Sets with Minimal Space and Bounded Delay, 24th International Symposium, SPIRE 2017, Palermo, Italy, Proceedings 144-160, 2017年09月

Hei Chan 
Incorporating Uncertain Evidence Into Arithmetic Circuits Representing Probability Distributions, The Third Workshop on Advanced Methodologies for Bayesian Networks (20-22 September 2017, Kyoto, Japan); Proceedings of Machine Learning Research, Volume 73, pages 105-116, 2017年09月

Gao Shan, Masakazu Ishihata, Shin-ichi Minato 
Fast Message Passing Algorithm Using ZDD Based Local Structure Compilation, The Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN-2017), Kyoto Japan, Proceedings of Machine Learning Research, Volume 73, pp.117-128, 2017年09月

Takuya Takagi, Keisuke Goto, Yuta Fujishige, Shunsuke Inenaga, Hiroki Arimura 
Linear-size CDAWG: new repetition-aware indexing and grammar compression, In Proceedings of the 24th International Symposium on String Processing and Information Retrieval (SPIRE 2017), Lecture Notes in Computer Science, Vol.10508, pp.304-316, DOI: 10.1007/978-3-319-67428- 5_26, 2017年09月

Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, and Shin-ichi Minato 
Fast Compilation of st Paths on a Graph for Counting and Enumeration, In Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), pp. 129-140, 2017年09月

Alessio Conte,Mamadou Moustapha Kanté,Takeaki Uno,Kunihiro Wasa 
On Maximal Cliques with Connectivity Constraints in Directed Graphs, 28th International Symposium on Algorithms and Computation, ISAAC 2017, December 9-12, 2017, Phuket, Thailand, 23:1-23:13, 2017年12月

Iku Ohama, Issei Sato, Takuya Kida, Hiroki Arimura 
On the Model Shrinkage Effect of Gamma Process Edge Partition Models, Proc. the 31st Annual Conference on Neural Information Processing Systems (NIPS2017), 2017年12月

Alessio Conte,Kazuhiro Kurita,Kunihiro Wasa,Takeaki Uno 
Listing Acyclic Subgraphs and Subgraphs of Bounded Girth in Directed Graphs, Combinatorial Optimization and Applications - 11th International Conference, COCOA 2017, Shanghai, China, Proceedings, Part II 169-181, 2017年12月

Satoshi Hara and Masakazu Ishihata 
Approximate and Exact Enumeration of Rule Models, The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-2018), New Orleans U.S.A., 2018年02月

Shinsaku Sakaue and Masakazu Ishihata 
Accelerated Best-first Search with Upperbound Computation for Submodular Function Maximization, The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-2018), New Orleans U.S.A., 2018年02月

Conference

湊 真一 
基盤(S) 離散構造処理系プロジェクト紹介 プロジェクトの近況と今後の展望, 情報系Winter Festa Episode3, 主催:JST ERATO河原林巨大グラフプロジェクト, 一橋講堂2F中会議場, 2017年12月

蓑田 玲緒奈, 湊 真一 
スマートオブジェクトの近接連携シナリオへの記号モデル検査の応用, 第31回人工知能学会全国大会, 名古屋, 2017年05月

石畠正和, 林浩平 
Probability Tensor Networks, 第20回情報論的学習理論ワークショップ (IBIS2017), ディスカッショントラック, 2017年11月

原聡, 石畠正和, 前原貴憲 
機械学習モデルの列挙, 第20回情報論的学習理論ワークショップ (IBIS2017), ディスカッショントラック, 2017年11月

坂上晋作, 石畠正和 
劣モジュラ最大化に対する高速な最良優先探索, 第20回情報論的学習理論ワークショップ (IBIS2017), テクニカルトラック, 2017年11月

鈴木浩史, 石畠正和, 湊真一 
フロンティア法による強連結な部分グラフの列挙, 人工知能学会 第104回人工知能基本問題研究会 (SIG-FPAI) 予稿集, SIG-FPAI-B507, pp. 26-31, 2017年08月

坂上晋作, 石畠正和, 湊真一 
敵対的組合せバンディット問題に対する ZDD を用いたアルゴリズム, 信学技報, vol. 117, no. 110, IBISML2017-1, pp. 43-48, 2017年06月

石畠正和, Mathieu Blondel 
Itemset Factorization Machine, 第31回人工知能学会全国大会, 2017年05月

Shinsaku Sakaue and Masakazu Ishihata 
Accelerated Best-first Search with Upper-bound Computation for Submodular Function Maximization, The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-2018), New Orleans U.S.A., 2018年02月

Satoshi Hara and Masakazu Ishihata 
Approximate and Exact Enumeration of Rule Models, The Thirty-Second AAAI Conference on Artificial Intelligence (AAAI-2018), New Orleans U.S.A., 2018年02月

原聡, 石畠正和, 前原貴憲 
機械学習モデルの列挙, 人工知能学会 第105回人工知能基本問題研究会 (SIG-FPAI) 予稿集, SIG-FPAI-B508, pp. 01-05, January, 2018., 2018年01月

金森憲太朗, 石畠正和, 湊真一, 有村博紀 
順序決定木に対する正則化パラメータ推定の高速化, 人工知能学会 第105回人工知能基本問題研究会 (SIG-FPAI) 予稿集, SIG-FPAI-B508, pp. 50-57, 2018年01月

Isamu Furuya and Takuya Kida 
A Compact Expression of Church Numerals and Its Application to Higher-Order Compression, The 20th Korea-Japan Joint Workshop on Algorithms and Computation (WAAC2017), Hanyang University, Seoul, Korea, 2017年08月

古谷 勇,喜田 拓也 
A Compact Expression of Church Numerals and Its Application to Higher-Order Compression, 情報処理北海道シンポジウム2017,北海道大学,北海道札幌市, 2017年10月

熊澤輝顕、鈴木浩史、石畠正和、浅井哲也、池辺将之、本村真人、高前田伸也 
ZDDによる三角形分割パターンの列挙とその応用に向けて, 人工知能学会 第106回人工知能基本問題研究会 (SIG-FPAI),指宿
鹿児島, 2018年03月

岡崎文哉, 奥山葉月, 瀧川一学, 湊 真一 
系列二分決定グラフを用いた頻出部分グラフの圧縮表現, 2017年度人工知能学会全国大会(第31回), 4A1-1, 2017年05月

Keisuke Hotta, Jun Kawahara, Takashi Horiyama, and Shin-ichi Minato 
Enumeration and Evaluation for the Single-Seat Constituency System, Aural presentation at the 21st Conference of the International Federation of Operational Research Societies (IFORS2017), 2017年07月

栗田和宏, Alessio Conte, 和佐 州洋, 宇野 毅明, 有村 博紀 
グラフに含まれる内周k以上の連結誘導部分グラフの効率良い列挙, 夏のLA 2017, 12, 天童温泉, 山形, 2017年07月

栗田 和宏, 和佐 州洋, 宇野 毅明, 有村 博紀 
グラフに含まれる大きな内周の連結な誘導部分グラフの列挙, 列挙合宿, 26-11, 伊香保温泉, 群馬, 2017年07月

Kazuhiro Kurita, Alessio Conte, Kunihiro Wasa, Takeaki Uno and Hiroki Arimura 
Efficient Enumeration Algorithms for Connected Induced Subgraphs with Large Girt, The20th Korea-Japan Joint Workshop on Algorithms and Computation (WAAC 2017), Seoul, Korea, 2017年08月

Shin-ichi Minato 
Decision Diagram-Based Enumeration Techniques and Applications for Statistical Data Analysis, In Book of Abst. of the 15th Conference of the International Federation of Classification Societies (IFCS-2017), p. 182, 2017年08月

Jun Kawahara, Takashi Horiyama, Keisuke Hotta and Shin-ichi Minato 
Enumeration Algorithms for Politival Districting, In Book of Abst. of the 15th Conference of the International Federation of Classification Societies (IFCS-2017), p. 140, 2017年08月

Kazuhiro Kurita, Kunihiro Wasa, Takeaki Uno, Hiroki Arimura 
An Efficient Enumeration Algorithm for Dominating Sets in K-Degenerate graphs, 電子情報通信学会 コンピューテーション 研究会, (18), 高知工科大学永国寺キャンパス, 高知, 2017年12月

坂上陽規,栗田和宏 ,瀧川一学 ,有村 博紀 
決定化されたグラフパターントライの学習アルゴリズム, 人工知能学会 第105回人工知能基本問題研究会 (SIG-FPAI) 予稿集, SIG-FPAI-B508, pp. 63-68, 2018年01月

林大祐, 羽室行信, 岡田克彦, 湊 真一 
日本株データベースにおける曜日効果を考慮した投資モデルの網羅的分析, 人工知能学会第105回人工知能基本問題研究会資料, SIG-FPAI-B508, pp. 33-39, 2018年01月

栗田和宏, 和佐州洋, 有村博紀, 宇野毅明 
定数縮退グラフに含まれる支配集合の最適な列挙, 列挙合宿, 27-6, 伊香保温泉,, 2018年01月

原 聡, 石畠正和, 前原貴憲: 
機械学習モデルの列挙, 人工知能学会 第105回人工知能基本問題研究会 (SIG-FPAI) 予稿集, SIG-FPAI-B508, pp. 01-05, 2018年01月

金森憲太朗, 石畠正和, 湊 真一, 有村博紀 
順序決定木に対する正則化パラメータ推定の高速化, 人工知能学会 第105回人工知能基本問題研究会 (SIG-FPAI) 予稿集, SIG-FPAIB508,
pp. 50-57, 2018年01月

栗田和宏, 和佐州洋, 有村 博紀, 宇野毅明: 
k-縮退グラフに含まれる支配集合の列挙アルゴリズム, 2018年度 冬のLA シンポジウム, 8, 京都大学数理解析研究所, 京都, 2018年02月

熊澤輝顕、鈴木浩史、石畠正和、浅井哲也、池辺将之、本村真人、高前田伸也 
ZDD による三角形分割パターンの列挙とその応用に向けて, 人工知能学会 第106 回人工知能基本問題研究会 (SIGFPAI), 指宿 鹿児島, 2018年03月

高橋翔哉, 湊 真一 
ZDDを用いた集合分割の族の表現法, 情報処理学会第80回全国大会, 6K-03, 2018年03月

Isamu Furuya and Takuya Kida 
Compaction of Church Numerals for Higher-Order Compression", Data Compression Conference (DCC2018), Cliff Lodge, Snowbird, USA, Data Compression Conference (DCC2018), Cliff Lodge, Snowbird, USA, 2018年03月

Etc.

石畠正和  
論理と確率 ~正確で柔軟なモデリング, 2017年度 CCS/NetSci 合同ワークショップ_Invited Talks, 2017年08月

石畠正和  
離散構造処理系プロジェクト「若手研究者短期招聘プログラム」の成果報告, 基盤(S) 離散構造処理系プロジェクト 秋のワークショップ, 厚岸 北海道, 2017年11月

湊 真一(監修) 
2016年度 科研費 基盤(S)離散構造処理系の基盤アルゴリズムの研究 講究録, ISSN 2186-1846, 2017年06月

湊 真一(監修) 
2016年度 科研費 基盤(S)離散構造処理系の基盤アルゴリズムの研究 講究録, ISSN 2186-1854, 2017年06月

湊 真一 
離散構造処理系の技法と組合せ列挙・最適化, 進化計算シンポジウム2017 特別講演(招待講演), 2017年12月

湊 真一 
ZDD を用いた解法(小特集「LSI の配線問題─ DA シンポジウムの配線問題解法コンテスト─」), 情報処理, Vol. 59, No.3, pp. 243-247, 2018年02月

石畠正和, 小宮山純平, 馬場雪乃 
比較バンディットアルゴリズムを用いたクラウドソーシングにおける品質・コストトレードオフの自動調整, 基盤(S) 離散構造処理系プロジェクト 秋のワークショップ, 厚岸 北海道, 2017年11月

Takuya Takagi, Shunsuke Inenaga, Kunihiko Sadakane, Hiroki Arimura 
Packed Compact Tries: A Fast and Efficient Data Structure for Online String Processing, IEICE Trans. Inf. and Syst., 2017年09月

Shin-ichi Minato 
BDD/ZDD-based enumeration techniques and real-life applications, EPFL Workshop on Logic Synthesis and Emerging Technologies(招待講演), 2017年06月

Hirofumi Suzuki and Shin-ichi Minato 
ZDD-Based Enumeration of Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems, Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-17-81, 2017年06月

西野正彬, 安田宜仁, 湊 真一, 永田昌明 
厳密被覆問題の高速な全解列挙法, NTT技術ジャーナル, Vol. 29, No. 9, pp. 13-16, 2017年09月

Koji Tsuda 
Automatic design of functional molecules and materials, 20th International Conference on Discovery Science(招待講演), 2017年10月

石畠正和, 小宮山純平, 馬場雪乃 
比較バンディットアルゴリズムを用いたクラウドソーシングにおける品質・コストトレードオフの自動調整, 基盤(S) 離散構造処理系プロジェクト 秋のワークショップ, 厚岸 北海道, 2017年11月

井上祐馬, 湊 真一 
順列のサイクルタイプ同値類分割に対する順列決定グラフの適用(特集「2016年度研究会優秀賞受賞論文紹介」), 人工知能学会誌, Vol.33, No. 1, p.57, 2018年01月

Takashi Washio, Gaku Imamura and Genki Yoshikawa 
Measurement-oriented Machine Learning for Advanced Sensing, The MANA International Symposium 2018, The International Center for Materials Nanoarchitectonics (MANA)(招待講演), 2018年03月