2017年度 | ||
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月 | ||