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 ZDDBased 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河原林巨大グラフプロジェクト, 一橋講堂２Ｆ中会議場, 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月 | ||
| 湊 真一 | ||
| 離散構造処理系の技法と組合せ列挙・最適化, 進化計算シンポジウム2017 特別講演（招待講演）, 2017年12月 | ||
| 湊 真一 | ||
| ZDD を用いた解法（小特集「LSI の配線問題─ DA シンポジウムの配線問題解法コンテスト─」）, 情報処理, Vol. 59, No.3, pp. 243-247, 2018年02月 | ||
| 基盤(S) 離散構造処理系プロジェクト | ||
| 2016年度 科研費 基盤(S)離散構造処理系の基盤アルゴリズムの研究 講究録, ISSN 2186-1846, 2017年06月 | ||
| 基盤(S) 離散構造処理系プロジェクト, CD-ROM | ||
| 2016年度 科研費 基盤(S)離散構造処理系の基盤アルゴリズムの研究 講究録, ISSN 2186-1854, 2017年06月 | ||
| 石畠正和, 小宮山純平, 馬場雪乃 | ||
| 比較バンディットアルゴリズムを用いたクラウドソーシングにおける品質・コストトレードオフの自動調整, 基盤(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月 | ||
 |
||
 | 基盤(S)離散構造処理系プロジェクト（北海道大学サイト） | |
 | ||
| ||
| 済みませんが、JavaScriptを有効にしてください | ||
| 07 | 2019/08 | 09 | ||||
| 日 | 月 | 火 | 水 | 木 | 金 | 土 |
| 28 | 29 | 30 | 31 | 01 | 02 | 03 |
| 04 | 05 | 06 | 07 | 08 | 09 | 10 |
| 11 | 12 | 13 | 14 | 15 | 16 | 17 |
| 18 | 19 | 20 | 21 | 22 | 23 | 24 |
| 25 | 26 | 27 | 28 | 29 | 30 | 31 |
| □ | Click セミナー | |||||
Copyright (C) 2014 Hokkaido Univ., Minato Discrete Structure Manipulation System Project, All Rights Reserved