11 2018/12 01
25262728293001
02030405060708
09101112131415
16171819202122
23242526272829
30310102030405
Click セミナー
2017年度
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月

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月

Refereed Conference

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月

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月

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月

蓑田 玲緒奈, 湊 真一 
スマートオブジェクトの近接連携シナリオへの記号モデル検査の応用, 第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月

Etc.

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

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

基盤(S) 離散構造処理系プロジェクト  
2016年度 科研費 基盤(S)離散構造処理系の基盤アルゴリズムの研究 講究録, ISSN 2186-1846, 2017年06月

基盤(S) 離散構造処理系プロジェクト, CD-ROM  
2016年度 科研費 基盤(S)離散構造処理系の基盤アルゴリズムの研究 講究録, ISSN 2186-1854, 2017年06月

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