09 2020/10 11
Click セミナー
2019  2018  2017  2016  2015  2014  2012  2011  2010  ALL 

Journal Papers

選好度に基づく集合推薦と調理レシピへの応用, 電子情報通信学会論文誌, Vol.J96-D,No.5, 2013年05月

中原孝信, 前川浩基, 羽室行信 
テレビ番組視聴時におけるTwitter投稿からのトピック検知, オペレーションズ・リサーチ, Vol.58, No.8, pp. 442-448, 2013年08月

前川浩基, 中原孝信, 岡田克彦, 羽室行信 
大規模ニュース記事からの極性付き評価表現の抽出と株価収益率の予測, オペレーションズ・リサーチ, Vol.58, No.5, pp. 281-288, 2013年05月

Shin-ichi Minato 
Z-Skip-Links for Fast ZDD Traversal in Handling Large-Scale Sparse Datasets (Revised Ed.), Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-13-66, 2013年06月

Shin-ichi Minato 
Z-Skip-Links for Fast ZDD Traversal in Handling Large-Scale Sparse Datasets, Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-13-63, 2013年04月

Shin-ichi Minato 
Techniques of BDD/ZDD: Brief History and Recent Activity, IEICE Trans. Inf. & Syst., Vol. E96-D, No. 7, pp. 1419-1429, 2013年07月

Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, and Shin-ichi Minato 
Graphillion: Software Library Designed for Very Large Sets of Graphs in Python, Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-13-65, 2013年06月

Hiroaki Iwashita, Yoshio Nakazawa, Jun Kawahara, Takeaki Uno, and Shin-ichi Minato 
Efficient Computation of the Number of Paths in a Grid Graph with Minimal Perfect Hash Functions, Hokkaido University, Division of Computer Science, TCS Technical Reports, TCS-TR-A-13-64, 2013年04月

Refereed Conference

Yasuyuki Shirai, Hiroyuki Takashima, Koji Tsuruma, and Satoshi Oyama 
Similarity Joins on Item Set Collections Using Zero-Suppressed Binary Decision Diagrams, In Proc. of 18th International Conference on Database Systems for Advanced Applications (DASFAA 2013), Part I, LNCS 7825, pp. 56--70, Springer, Wuhan, China, 2013年04月

Takahisa Toda 
Hypergraph Transversal Computation with Binary Decision Diagrams, The 12th International Symposium on Experimental Algorithms, 2013年06月

Charles Jordan and Łukasz Kaiser 
Benchmarks from Reduction Finding, International Workshop on Quantified Boolean Formulas, 2013年07月

Charles Jordan and Łukasz Kaiser 
Learning Programs as Logical Queries, ICALP 2013 Satellite Workshop on Learning Theory and Complexity, 2013年07月

Charles Jordan and Łukasz Kaiser 
Experiments with Reduction Finding, Theory and Applications of Satisfiability Testing, 16th International Conference, SAT 2013, LNCS 7963, pp. 192 - 207, Helsinki, Finland, 2013年07月

Takahiro Azuma, Katsuhiko Okada, Yukinobu Hamuro 
Streaming News Effect on Investor Behavior surrounding Analyst Stock Revision Announcement, International Review of Finance, Tokyo Conference, 2013, 2013年07月

Takahiro Azuma, Katsuhiko Okada 
Can Investors in the Stock Market Generate Profit from the Analysts? - An empirical analysis of analysts' signals disseminated from the Bloomberg terminal -, World Finance Conference 2013, 2013年07月

Yasuo Tabei, Yoshimasa Takabatake, Hiroshi Sakamoto 
A Succinct Grammar Compression, 24th Annual Symposium on Combinatorial Pattern Matching (CPM2013), Bad Herrenalb, Germany, 2013年06月

Shin-ichi Minato 
Z-Skip-Links for Fast Traversal of ZDDs Representing Large-Scale Sparse Datasets, In Proc. of European Symposium on Algorithms 2013 (ESA 2013), 2013年09月

Yuma Inoue, Takahisa Toda, and Shin-ichi Minato 
Efficiently generating classical and vincular pattern avoiding permutations based on permutation decision diagrams, In Proc. of Permutation Patterns 2013, 2013年07月

Laura Tague, Mathias Soeken, Shin-ichi Minato and Rolf Drechsler 
Debugging of Reversible Circuits Using PiDDs, In Proc. of IEEE 43rd International Symposium on Multiple-Valued Logic (ISMVL2013), pp.316-321, 2013年05月

Masaaki Kotera, Yasuo Tabei, Yoshihiro Yamanishi, Toshiaki Tokimatsu, Susumu Goto 
Supervised de novo reconstruction of metabolic pathways from metabolome-scale compound sets, 21st Annual International Conference on Intelligent Systems for Molecular Biology/12th European Conference on Computational Biology (ISMB/ECCB2013), Berlin, Germany, 2013年07月

Yasuo Tabei, Akihiro Kishimoto, Masaaki Kotera, Yoshihiro Yamanishi 
Succinct Interval-Splitting Tree for Scalable Similarity Search of Compound-Protein Pairs with Property Constraints, The 19th ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Chibago, Illinois, USA, 2013年08月

Hiroaki Iwashita, Yoshio Nakazawa, Jun Kawahara, Takeaki Uno, Shin-ichi Minato 
Fast Computation of the Number of Paths in a Grid Graph, The 16th Japan Conference on Discrete and Computational Geometry and Graphs(JCDCG2 2013), Tokyo, 2013年09月

Shirou Maruyama, Yasuo Tabei, Hiroshi Sakamoto, Kunihiko Sadakane 
Fully-Online Grammar Compression, 20th String Processing and Information Retrieval Symposim (SPIRE2013), Jerusalem, Israel, 2013年10月

Yoshikuni Sato, Makoto Miwa, Shogo Takeuchi, Daisuke Takahashi 
Optimizing Objective Function Parameters for Strength in Computer Game-Playing, Twenty-Seventh AAAI Conference on Artificial Intelligence (AAAI-13), Bellevue, Washington, 2013年07月


大規模ハイパーグラフからZDDの高速な構築アルゴリズム, 第144回情報処理学会アルゴリズム研究会, 2013年05月

二分決定グラフに基づく大規模ハイパーグラフの双対化とその応用, 2013年度人工知能学会全国大会(第27回), 2013年06月

テレビ番組視聴時におけるtwitter投稿のバースト検知と情報配信の可能性, 2013年度人工知能学会全国大会(第27回), 2013年06月

強化学習を用いた相場のブーム検知と株取引への適用, 2013年度人工知能学会全国大会(第27回), 2013年06月

青木洋士, 山下茂, 湊真一 
写像枝を用いた系列二分決定グラフの効率化, 情報処理学会アルゴリズム研究会, 情処研報, 2013-AL-144, No. 23, 2013年05月

西野正彬, 安田宜仁, 湊真一, 永田昌明 
ZDDを用いたPersonalized PageRank の高速計算法, 2013年度人工知能学会全国大会(第27回), 2013年06月


湊 真一 
Fundamentals Review ベストオーサー賞:「BDD/ZDDを基盤とする離散構造と演算処理系の最近の展開」, 電子情報通信学会基礎・境界ソサイエティ , 2013年09月

フロンティア法から生成されるZDD の幅解析, 東京工業大学大学院情報理工学研究科修士論文, 2013年02月

Shin-ichi Minato 
Recent Topics on BDD/ZDD-Based Discrete Structure Manipulation, In Proc. of Reed-Muller Workshop 2013 (RM2013), pp. 1-7, 2013年05月

2012年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録,  ISSN 2186-1846, 2013年07月

2012年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 CD-ROM版, ISSN 2186-1854, 2013年07月