湊 真一

Last Update: 2019/06/16 17:51:41

Print

Name(Kanji/Kana/Abecedarium Latinum)
湊 真一/ミナト シンイチ/Minato, Shinichi
Primary Affiliation(Org1/Job title)
Graduate Schools Informatics/Professor
Faculty
Org1 Job title
工学部
Contact Address
Type Address(Japanese) Address(English)
Office 〒606-8501 京都市左京区吉田本町 京都大学 情報学研究科 総合研究7号館 234号室 Room 234, Research Bldg No 7, Graduate School of Informatics, Kyoto University, 606-8501 Japan.
Academic Organizations You are Affiliated to in Japan
Organization name(Japanese) Organization name(English)
情報処理学会 IPSJ
電子情報通信学会 IEICE
人工知能学会 JSAI
日本計算機統計学会 JAPANESE SOCIETY OF COMPUTATIONAL STATISTICS
Academic Organizations Overaseas You are Affiliated to
Organization name Country
IEEE 米国
Academic Degree
Field(Japanese) Field(English) University(Japanese) University(English) Method
工学修士 M. Eng. 京都大学 Kyoto University
博士(工学) Dr. Eng. 京都大学 Kyoto University
Graduate School
University(Japanese) University(English) Faculty(Japanese) Faculty(English) Major(Japanese) Major(English) Degree
京都大学 Kyoto University 大学院工学研究科情報工学専攻修士課程 Graduate School of Engineering Division of Information Science 修了
京都大学 Kyoto University 大学院工学研究科情報工学専攻博士後期課程 Graduate School of Engineering Division of Information Science 修了
Undergraduate School / Major(s)
University(Japanese) University(English) Faculty(Japanese) Faculty(English) Major(s)(Japanese) Major(s)(English) Degree
京都大学 Kyoto University 工学部情報工学科 Faculty of Engineering Departmet of Information Science 卒業
High School
Highschool Kana
金沢大学教育学部附属高等学校 かなざわだいがくきょういくがくぶふぞくこうとうがっこう
Work Experience
Period Organization(Japanese) Organization(English) Job title(Japanese) Job title(English)
2010/10/01-2018/03/31 北海道大学 大学院情報科学研究科 Graduate School of Information Science and Technology 教授 Professor
2004/04/01-2010/09/30 北海道大学 大学院情報科学研究科 Graduate School of Information Science and Technology 助教授(准教授) Associate Professor
1999/10/01-2004/03/31 日本電信電話(株)未来ねっと研究所 NTT Network Innovation Laboratory 主任研究員 Senior Researcher
1997/01/01-1997/12/31 スタンフォード大学 計算機科学科 Stanford University Computer Science Department 客員研究員(兼務) Visiting Faculty
1990/04/01-1999/09/30 日本電信電話(株)通信研究所 NTTLaboratories 研究員 Researcher
Personal Profile
(Japanese)
京都大学 大学院 情報学研究科 通信情報システム専攻 教授. (工学部 情報学科 計算機科学コース 兼担). 大規模離散構造データの表現と演算処理アルゴリズムの研究・教育に従事. 1988年 京都大学 工学部 情報工学科 卒業. 1990年同大学院修士課程, 1995年同博士課程(社会人)修了. 博士(工学). 1990年度より2003年度までNTT研究所に勤務. 1997年1月~12月 スタンフォード大学 計算機科学科 客員研究員. 1999年 NTT未来ねっと研究所 主任研究員. 1999~2000年度 慶応義塾大学 湘南藤沢キャンパス(SFC) 兼任非常勤講師. 2004年度より北海道大学 大学院 情報科学研究科 アルゴリズム研究室 助教授(2007年准教授に名称変更). 2010年10月より同研究室 教授. 2015年度より同研究科 大規模知識処理研究室 教授. 2018年4月より京都大学 大学院 情報学研究科 教授(現職). 2009年10月~2016年3月 科学技術振興機構(JST) ERATO 湊離散構造処理系プロジェクト 研究総括(兼務). 2015年4月~2020年3月 科研費基盤(S) 離散構造処理系プロジェクト 研究代表者. 2011年度より 早稲田大学 先進グリッド技術研究所 招聘研究員(兼務). 2014年度より 国立情報学研究所 客員教授(兼務). 2015年度より北海道大学 電子科学研究所 附属社会創造数学研究センター 教授(兼務, 2018年度より客員教授). 2015年度より産業技術総合研究所 人工知能研究センター 客員研究員(兼務). 2017年より京都大学 数理解析研究所 専門委員(兼務). 2017年10月より日本学術会議 連携会員(兼務). 2018年6月より情報処理学会 理事(兼務). 2000年 情報処理学会山下記念研究賞, 2005年度, 2008年度および2016年度 人工知能学会研究会優秀賞, 2010年 電子情報通信学会 情報・システムソサイエティ 論文賞(先見論文). Knuthの名著"The Art of Computer Programming"(Vol.4, Fascicle 1, 2009年)において, 湊が考案したデータ構造「ZDD」 が項目として詳しく掲載された(日本人初). 著書 "Binary Decision Diagrams and Applications for VLSI CAD" (Kluwer, 1995年). 2012年8月~2013年4月 日本科学未来館メディアラボ第11期展示「フカシギの数え方」出 展. (2013年7月~2014年4月 北海道大学総合博物館にて再展示. ) 2000年~2003年 情報処理学会論文誌 編集委員. 国際ワークショップALSIP2008, 2011, 2012, 2014 Workshop ChairおよびCo-organizer. 2012年~2016年 科研費新学術領域「計算限界解明」総括班連携研究者. 2014年よりJST さきがけ「社会と調和した情報基盤技術の構築」領域アドバイザ. 2016年よりJST ACT-I 「情報と未来」領域アドバイザ. 2007年より 電子情報通信学会 情報ネットワーク(IN)研究会 専門委員. 2014年より電子情報通信学会 コンピュテーション(COMP)研究会 専門委員. 2010年~2014年 人工知能学会 評議員. 電子情報通信学会シニア会員, 情報処理学会シニア会員, IEEE, 人工知能学会 各会員.
(English)
Shin-ichi Minato is a Professor at Dept. of Communications and Computers Engineering, Graduate School of Informatics, Kyoto University (concurrently in Undergraduate School of Informatics and Mathematical Science, Faculty of Engineering). His research interests include efficient representations and manipulation algorithms for large-scale discrete structure data. He received the B.E., M.E., and D.E. degrees in Information Science from Kyoto University in 1988, 1990, and 1995, respectively. He had been working at NTT Laboratories since 1990 until March 2004. He was a Visiting Scholar at Computer Science Department of Stanford University in 1997. He was a Senior Researcher of NTT Network Innovation Laboratories in 1999. From 1999 to 2000, he concurrently served a Visiting Lecturer at Shonan-Fujisawa Campus of Keio University. On 2004, he joined Hokkaido University as an Associate Professor at Algorithm Laboratory in Graduate School of Information Science and Technology, and has been a Professor since Oct. 2010. From 2015 to 2018 he leads Large-Scale Knowledge Processing Laboratory. From Apr. 2018, he is a Professor at Kyoto University (present position). From Apr. 2016 to Mar. 2020, he serves a Research Director of JSPS KAKENHI(S) Discrete Structure Manipulation System Project, From 2011, he is also an Adjunct Researcher at Research Institute for Advanced Network Technology of Waseda University. From 2014, he also serves a Visiting Professor at National Institute of Informatics. From 2015, he also serves a Visiting Reseacher at Artificial Intelligence Research Center of National Institute of Advanced Industrial Science and Technology (AIST). From 2015, he is also a Professor at Research Center of Mathematics for Social Creativity Research Institute for Electronic Science (MSC), Hokkaido University (Visiting Professor from 2018). From 2017, he also serves a member of Technical Committee for Research Institute for Mathematical Sciences (RIMS), Kyoto University. From Oct. 2017, He also serves a member of Science Council of Japan (SCJ). From June 2018, he also serves a member of director board of IPSJ. He published "Binary Decision Diagrams and Applications for VLSI CAD" (Kluwer,1995). His original data structure "ZDD" is minutely discussed using many pages in the Knuth's book "The Art of Computer Programming" (Vol. 4, Fascicle 1, 2009). He supervised an exhibition "The Art of 10^64 -Understanding Vastness-" at "Miraikan" (National Future Science Museum of Japan) from Aug. 2012 to Apr. 2013. He served Workshop Chair of ALSIP-2008 and Co-organizer of ALSIP-2011, 2012, and 2014 . From Oct. 2009 to Mar. 2016, he served a Research Director of ERATO (Exploratory Research for Advanced Technology) MINATO Discrete Structure Manipulation System Project, executed by JST (Japan Science and Technology Agency). He is also involved in "ELC" project from 2012 to 2016. From 2014, he serves a Research Area Advisor for JST PRESTO "Social Infomation Infrastructure" project and JST ACT-I "Information and Future" project. He is a senior member of IEICE, a senior member of IPSJ, and a member of IEEE and JSAI.
Personal Website(s) (URL(s))
URL
http://www.lab2.kuis.kyoto-u.ac.jp/minato/
ORCID ID
https://orcid.org/0000-0002-1397-1020
researchmap URL
https://researchmap.jp/hjkl
Fields of research (key words)
Key words(Japanese) Key words(English)
離散構造処理系 Discrete Structure Manipulation
データ構造とアルゴリズム Data structures and algorithms
Published Papers
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Bibliography Bibliography(Japanese) Bibliography(English) Publication date Refereed paper Language Publishing type Disclose
Fumio Ishioka, Jun Kawahara, Masahiro Mizuta, Shin-ichi Minato, and Koji Kurihara Fumio Ishioka, Jun Kawahara, Masahiro Mizuta, Shin-ichi Minato, and Koji Kurihara Fumio Ishioka, Jun Kawahara, Masahiro Mizuta, Shin-ichi Minato, and Koji Kurihara Evaluation of Hotspot Cluster Detection using Spatial Scan Statistic based on Exact Counting Evaluation of Hotspot Cluster Detection using Spatial Scan Statistic based on Exact Counting Evaluation of Hotspot Cluster Detection using Spatial Scan Statistic based on Exact Counting Japanese Journal of Statistics and Data Science (JJSD), 2, 1, 241-262 Japanese Journal of Statistics and Data Science (JJSD), 2, 1, 241-262 Japanese Journal of Statistics and Data Science (JJSD), 2, 1, 241-262 2019/06 Refereed English Research paper(scientific journal) Disclose to all
Shin-ichi Minato, Jun Kawahara, Fumio Ishioka, Masahiro Mizuta, and Koji Kurihara Shin-ichi Minato, Jun Kawahara, Fumio Ishioka, Masahiro Mizuta, and Koji Kurihara Shin-ichi Minato, Jun Kawahara, Fumio Ishioka, Masahiro Mizuta, and Koji Kurihara A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic Proc. of SIAM International Conference on Data Mining (SDM2019), 91-99 Proc. of SIAM International Conference on Data Mining (SDM2019), 91-99 Proc. of SIAM International Conference on Data Mining (SDM2019), 91-99 2019/05 Refereed English Research paper(international conference proceedings) Disclose to all
Hirofumi Suzuki, Masakazu Ishihata, and Shin-ichi Minato Hirofumi Suzuki, Masakazu Ishihata, and Shin-ichi Minato Hirofumi Suzuki, Masakazu Ishihata, and Shin-ichi Minato Exact Computation of Strongly Connected Reliability by BDDs Exact Computation of Strongly Connected Reliability by BDDs Exact Computation of Strongly Connected Reliability by BDDs Proc. of the 12th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2018), 281-295 Proc. of the 12th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2018), 281-295 Proc. of the 12th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2018), 281-295 2018/12 Refereed English Research paper(international conference proceedings) Disclose to all
akashi Takemoto, Normann Mertig, Masato Hayashi, Saki Susa-Tanaka, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Tamiki Komatsuzaki and Masanao Yamaoka akashi Takemoto, Normann Mertig, Masato Hayashi, Saki Susa-Tanaka, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Tamiki Komatsuzaki and Masanao Yamaoka akashi Takemoto, Normann Mertig, Masato Hayashi, Saki Susa-Tanaka, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Tamiki Komatsuzaki and Masanao Yamaoka FPGA-Based QBoost with Large-Scale Annealing Processor and Accelerated Hyperparameter Search FPGA-Based QBoost with Large-Scale Annealing Processor and Accelerated Hyperparameter Search FPGA-Based QBoost with Large-Scale Annealing Processor and Accelerated Hyperparameter Search Proc. of IEEE CAS 2018 International Conference on Reconfigurable Computing and FPGAs (ReConFig 2018) Proc. of IEEE CAS 2018 International Conference on Reconfigurable Computing and FPGAs (ReConFig 2018) Proc. of IEEE CAS 2018 International Conference on Reconfigurable Computing and FPGAs (ReConFig 2018) 2018/12 Refereed English Research paper(international conference proceedings) Disclose to all
Yuji Takenobu, Norihito Yasuda, Shin-ichi Minato, and Yasuhiro Hayashi Yuji Takenobu, Norihito Yasuda, Shin-ichi Minato, and Yasuhiro Hayashi Yuji Takenobu, Norihito Yasuda, Shin-ichi Minato, and Yasuhiro Hayashi Scalable Enumeration Approach for Maximizing Hosting Capacity of Distributed Generation Scalable Enumeration Approach for Maximizing Hosting Capacity of Distributed Generation Scalable Enumeration Approach for Maximizing Hosting Capacity of Distributed Generation International Journal of Electrical Power & Energy Systems, 105, 867-876 International Journal of Electrical Power & Energy Systems, 105, 867-876 International Journal of Electrical Power & Energy Systems, 105, 867-876 2018/12 Refereed English Research paper(scientific journal) Disclose to all
Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, and Tamiki Komatsuzaki Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, and Tamiki Komatsuzaki Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, and Tamiki Komatsuzaki Graph Minors from Simulated Annealing for Annealing Machines with Sparse Connectivity Graph Minors from Simulated Annealing for Annealing Machines with Sparse Connectivity Graph Minors from Simulated Annealing for Annealing Machines with Sparse Connectivity Proc. of 7th International Conference on the Theory and Practice of Natural Computing (TPNC 2018, 111-123 Proc. of 7th International Conference on the Theory and Practice of Natural Computing (TPNC 2018, 111-123 Proc. of 7th International Conference on the Theory and Practice of Natural Computing (TPNC 2018, 111-123 2018/12 Refereed English Research paper(international conference proceedings) Disclose to all
Shan Gao, Masakazu Ishihata, Shin-ichi Minato Shan Gao, Masakazu Ishihata, Shin-ichi Minato Shan Gao, Masakazu Ishihata, Shin-ichi Minato Separate Compilation of Bayesian Networks for Efficient Exact Inference Separate Compilation of Bayesian Networks for Efficient Exact Inference Separate Compilation of Bayesian Networks for Efficient Exact Inference Artificial Inteligence, 33, 6A, A-I35.1-15 人工知能学会論文誌, 33, 6A, A-I35.1-15 Artificial Inteligence, 33, 6A, A-I35.1-15 2018/11 Refereed English Research paper(scientific journal) Disclose to all
Hirofumi Suzuki and Shin-ichi Minato Hirofumi Suzuki and Shin-ichi Minato Hirofumi Suzuki and Shin-ichi Minato Fast Enumeration of All Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems Using ZDDs Fast Enumeration of All Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems Using ZDDs Fast Enumeration of All Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems Using ZDDs IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E101-A, 9, 1375-1382 IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E101-A, 9, 1375-1382 IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E101-A, 9, 1375-1382 2018/09 Refereed English Research paper(scientific journal) Disclose to all
Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, and Shin‑ichi Minato Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, and Shin‑ichi Minato Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, and Shin‑ichi Minato Fast compilation of graph substructures for counting and enumeration Fast compilation of graph substructures for counting and enumeration Fast compilation of graph substructures for counting and enumeration Behaviormetrika, 45, 2, 423-450 Behaviormetrika, 45, 2, 423-450 Behaviormetrika, 45, 2, 423-450 2018/06 Refereed English Research paper(scientific journal) Disclose to all
Yuji Takenobu, Norihito Yasuda, Shunsuke Kawano, Yasuhiro Hayashi, and Shin-ichi Minato: IYuji Takenobu, Norihito Yasuda, Shunsuke Kawano, Yasuhiro Hayashi, and Shin-ichi Minato: Yuji Takenobu, Norihito Yasuda, Shunsuke Kawano, Yasuhiro Hayashi, and Shin-ichi Minato: Evaluation of Annual Energy Loss Reduction Based on Reconfiguration Scheduling Evaluation of Annual Energy Loss Reduction Based on Reconfiguration Scheduling Evaluation of Annual Energy Loss Reduction Based on Reconfiguration Scheduling IEEE Trans. Smart Grid, 9, 3, 1986-1996 IEEE Trans. Smart Grid, 9, 3, 1986-1996 IEEE Trans. Smart Grid, 9, 3, 1986-1996 2018/05 Refereed English Research paper(scientific journal) Disclose to all
Shinsaku Sakaue, Masakazu Ishihata, and Shin-ichi Minato Shinsaku Sakaue, Masakazu Ishihata, and Shin-ichi Minato Shinsaku Sakaue, Masakazu Ishihata, and Shin-ichi Minato Efficient Bandit Combinatorial Optimization Algorithm with Zero-Suppressed Binary Decision Diagrams Efficient Bandit Combinatorial Optimization Algorithm with Zero-Suppressed Binary Decision Diagrams Efficient Bandit Combinatorial Optimization Algorithm with Zero-Suppressed Binary Decision Diagrams Proc. of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS 2018), 585-594 Proc. of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS 2018), 585-594 Proc. of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS 2018), 585-594 2018/04 Refereed English Research paper(international conference proceedings) Disclose to all
蓑田玲緒奈, 湊真一 蓑田玲緒奈, 湊真一 記号モデル検査によるスマートオブジェクトの近接連携シナリオの効率的な検証 記号モデル検査によるスマートオブジェクトの近接連携シナリオの効率的な検証 電子情報通信学会論文誌D 学生論文特集号, J101-D, 3, 470-480 電子情報通信学会論文誌D 学生論文特集号, J101-D, 3, 470-480 , J101-D, 3, 470-480 2018/03 Refereed Japanese Research paper(scientific journal) Disclose to all
Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, and Osamu Akashi Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, and Osamu Akashi Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, and Osamu Akashi Fast Packet Classification Algorithm for Network-wide Forwarding Behaviors Fast Packet Classification Algorithm for Network-wide Forwarding Behaviors Fast Packet Classification Algorithm for Network-wide Forwarding Behaviors Computer Communications, 116, 101-117 Computer Communications, 116, 101-117 Computer Communications, 116, 101-117 2018/01 Refereed English Research paper(scientific journal) Disclose to all
Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato and Masaaki Nagata Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato and Masaaki Nagata 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 BDD-Constrained A* Search: A Fast Method for Solving Constrained Shortest-Path Problems BDD-Constrained A* Search: A Fast Method for Solving Constrained Shortest-Path Problems IEICE Transactions on Information and Systems, E100-D, 12, 2945-2952 IEICE Transactions on Information and Systems, E100-D, 12, 2945-2952 IEICE Transactions on Information and Systems, E100-D, 12, 2945-2952 2017/12 Refereed English Research paper(scientific journal) Disclose to all
Reona Minoda, Masakazu Ishihata, and Shin-ichi Minato Reona Minoda, Masakazu Ishihata, and Shin-ichi Minato Reona Minoda, Masakazu Ishihata, and Shin-ichi Minato Probabilistic CCRN: Reliability Analysis of Ubiquitous Computing Scenarios Using Probabilistic Model Checking Probabilistic CCRN: Reliability Analysis of Ubiquitous Computing Scenarios Using Probabilistic Model Checking Probabilistic CCRN: Reliability Analysis of Ubiquitous Computing Scenarios Using Probabilistic Model Checking Proc. of the 11th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2017), 85-91 Proc. of the 11th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2017), 85-91 Proc. of the 11th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2017), 85-91 2017/11 Refereed English Research paper(international conference proceedings) Disclose to all
Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, and Shin-ichi Minato Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, and Shin-ichi Minato Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, and Shin-ichi Minato Fast Compilation of s-t Paths on a Graph for Counting and Enumeration Fast Compilation of s-t Paths on a Graph for Counting and Enumeration Fast Compilation of s-t Paths on a Graph for Counting and Enumeration Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), 129-140 Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), 129-140 Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), 129-140 2017/09 Refereed English Research paper(international conference proceedings) Disclose to all
Gao Shan, Masakazu Ishihata, and Shin-ichi Minato Gao Shan, Masakazu Ishihata, and Shin-ichi Minato Gao Shan, Masakazu Ishihata, and Shin-ichi Minato Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), 117-128 Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), 117-128 Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), 117-128 2017/09 Refereed English Research paper(international conference proceedings) Disclose to all
Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, and Shin-ichi Minato Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, and Shin-ichi Minato Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, and Shin-ichi Minato Frontier-based Search for Enumerating All Constrained Subgraphs with Compressed Representation Frontier-based Search for Enumerating All Constrained Subgraphs with Compressed Representation Frontier-based Search for Enumerating All Constrained Subgraphs with Compressed Representation IEICE Trans. Fundamentals, E100-A, 9, 1773-1784 IEICE Trans. Fundamentals, E100-A, 9, 1773-1784 IEICE Trans. Fundamentals, E100-A, 9, 1773-1784 2017/09 Refereed English Research paper(scientific journal) Disclose to all
Junpei Komiyama, Maskazu Ishihata, Hiroki Arimura, Takashi Nishibayashi and Shin-ichi Minato Junpei Komiyama, Maskazu Ishihata, Hiroki Arimura, Takashi Nishibayashi and Shin-ichi Minato Junpei Komiyama, Maskazu Ishihata, Hiroki Arimura, Takashi Nishibayashi and Shin-ichi Minato Statistical Emerging Pattern Mining with Multiple Testing Correction Statistical Emerging Pattern Mining with Multiple Testing Correction Statistical Emerging Pattern Mining with Multiple Testing Correction Proc. of the 23rd SIGKDD Conference on Knowledge Discovery and Data Mining (KDD 2017), 897-906 Proc. of the 23rd SIGKDD Conference on Knowledge Discovery and Data Mining (KDD 2017), 897-906 Proc. of the 23rd SIGKDD Conference on Knowledge Discovery and Data Mining (KDD 2017), 897-906 2017/08 Refereed English Research paper(international conference proceedings) Disclose to all
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation IEICE Transactions on Information and Systems, E100-D, 8, 1556-1562 IEICE Transactions on Information and Systems, E100-D, 8, 1556-1562 IEICE Transactions on Information and Systems, E100-D, 8, 1556-1562 2017/08 Refereed English Research paper(scientific journal) Disclose to all
Reona Minoda and Shin-ichi Minato Reona Minoda and Shin-ichi Minato Reona Minoda and Shin-ichi Minato Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking Proc. of the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PEC 2017), 13-21 Proc. of the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PEC 2017), 13-21 Proc. of the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PEC 2017), 13-21 2017/07 Refereed English Research paper(international conference proceedings) Disclose to all
Reona MINODA and Shin-ichi MINATO Reona MINODA and Shin-ichi MINATO Reona MINODA and Shin-ichi MINATO Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking and Its Advantages Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking and Its Advantages Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking and Its Advantages IEICE Transactions on Information and Systems, E100-D, 6, 1172-1181 IEICE Transactions on Information and Systems, E100-D, 6, 1172-1181 IEICE Transactions on Information and Systems, E100-D, 6, 1172-1181 2017/06 Refereed English Research paper(scientific journal) Disclose to all
Jun Kawahara, Takashi Horiyama, Keisuke Hotta, and Shin-ichi Minato Jun Kawahara, Takashi Horiyama, Keisuke Hotta, and Shin-ichi Minato Jun Kawahara, Takashi Horiyama, Keisuke Hotta, and Shin-ichi Minato Generating All Patterns of Graph Partitions within a Disparity Bound Generating All Patterns of Graph Partitions within a Disparity Bound Generating All Patterns of Graph Partitions within a Disparity Bound Proc. of the 11th International Workshop of Algorithms and Computation (WALCOM2017), LNCS 20267, 119-131 Proc. of the 11th International Workshop of Algorithms and Computation (WALCOM2017), LNCS 20267, 119-131 Proc. of the 11th International Workshop of Algorithms and Computation (WALCOM2017), LNCS 20267, 119-131 2017/03 Refereed English Research paper(international conference proceedings) Disclose to all
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato and Masaaki Nagata Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato and Masaaki Nagata Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato and Masaaki Nagata Dancing with Decision Diagrams: A Combined Approach to Exact Cover Dancing with Decision Diagrams: A Combined Approach to Exact Cover Dancing with Decision Diagrams: A Combined Approach to Exact Cover Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), 868-874 Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), 868-874 Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), 868-874 2017/02 Refereed English Research paper(international conference proceedings) Disclose to all
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato and Masaaki Nagata Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato and Masaaki Nagata Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato and Masaaki Nagata Compiling Graph Substructures into Sentential Decision Diagrams Compiling Graph Substructures into Sentential Decision Diagrams Compiling Graph Substructures into Sentential Decision Diagrams Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), 1213-1221 Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), 1213-1221 Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), 1213-1221 2017/02 Refereed English Research paper(international conference proceedings) Disclose to all
Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato and Masaaki Nagata Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato and Masaaki Nagata Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato and Masaaki Nagata BDD-Constrained A* Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems BDD-Constrained A* Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems BDD-Constrained A* Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems Proc. of Workshops at the 31st AAAI Conference on Artificial Intelligence, The AAAI-17 Workshop on Symbolic Inference and Optimization (SymInfOpt 2017), 944-950 Proc. of Workshops at the 31st AAAI Conference on Artificial Intelligence, The AAAI-17 Workshop on Symbolic Inference and Optimization (SymInfOpt 2017), 944-950 Proc. of Workshops at the 31st AAAI Conference on Artificial Intelligence, The AAAI-17 Workshop on Symbolic Inference and Optimization (SymInfOpt 2017), 944-950 2017/02 Refereed Research paper(international conference proceedings) Disclose to all
Reona Minoda, Yuzuru Tanaka, and Shin-ichi Minato Reona Minoda, Yuzuru Tanaka, and Shin-ichi Minato Reona Minoda, Yuzuru Tanaka, and Shin-ichi Minato Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking Proc. of the Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016), 65-71 Proc. of the Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016), 65-71 Proc. of the Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016), 65-71 2016/10 Refereed English Research paper(international conference proceedings) Disclose to all
Hirofumi Suzuki, Sun Hao, and Shin-ichi Minato Hirofumi Suzuki, Sun Hao, and Shin-ichi Minato Hirofumi Suzuki, Sun Hao, and Shin-ichi Minato Generating All Solutions of Minesweeper Problem Using Degree Constrained Subgraph Model Generating All Solutions of Minesweeper Problem Using Degree Constrained Subgraph Model Generating All Solutions of Minesweeper Problem Using Degree Constrained Subgraph Model Proc. of the 2016 International Conference on Parallel & Distributed Processing Techniques & Applications (PDPTA'16), 356-362 Proc. of the 2016 International Conference on Parallel & Distributed Processing Techniques & Applications (PDPTA'16), 356-362 Proc. of the 2016 International Conference on Parallel & Distributed Processing Techniques & Applications (PDPTA'16), 356-362 2016/07 Refereed English Research paper(international conference proceedings) Disclose to all
Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, and Shin-ichi Minato Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, and Shin-ichi Minato Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, and Shin-ichi Minato Using PiDDs for Nearest Neighbor Optimization of Quantum Circuits Using PiDDs for Nearest Neighbor Optimization of Quantum Circuits Using PiDDs for Nearest Neighbor Optimization of Quantum Circuits Proc. of the 8th International Conference on Reversible Computation (RC 2016), 181-196 Proc. of the 8th International Conference on Reversible Computation (RC 2016), 181-196 Proc. of the 8th International Conference on Reversible Computation (RC 2016), 181-196 2016/07 Refereed English Research paper(international conference proceedings) Disclose to all
Yuji Takenobu, Shunsuke Kawano, Yasuhiro Hayashi, Norihito Yasuda, and Shin-ichi Minato Yuji Takenobu, Shunsuke Kawano, Yasuhiro Hayashi, Norihito Yasuda, and Shin-ichi Minato Yuji Takenobu, Shunsuke Kawano, Yasuhiro Hayashi, Norihito Yasuda, and Shin-ichi Minato Maximizing Hosting Capacity of Distributed Generation by Network Reconfiguration in Distribution System Maximizing Hosting Capacity of Distributed Generation by Network Reconfiguration in Distribution System Maximizing Hosting Capacity of Distributed Generation by Network Reconfiguration in Distribution System Proc. of 19th Power Systems Computation Conference (PSCC 2016), 1-7 Proc. of 19th Power Systems Computation Conference (PSCC 2016), 1-7 Proc. of 19th Power Systems Computation Conference (PSCC 2016), 1-7 2016/06 Refereed English Research paper(international conference proceedings) Disclose to all
Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, and Shin-ichi Minato Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, and Shin-ichi Minato Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, and Shin-ichi Minato A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization International Journal on Software Tools for Technology Transfer (STTT), 18, 1, 57-66 International Journal on Software Tools for Technology Transfer (STTT), 18, 1, 57-66 International Journal on Software Tools for Technology Transfer (STTT), 18, 1, 57-66 2016/02 Refereed English Research paper(scientific journal) Disclose to all
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, and Masaaki Nagata Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, and Masaaki Nagata Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, and Masaaki Nagata Zero-suppressed Sentential Decision Diagrams Zero-suppressed Sentential Decision Diagrams Zero-suppressed Sentential Decision Diagrams Proc. of the 30th AAAI Conference on Artificial Intelligence (AAAI2016), 1058-1066 Proc. of the 30th AAAI Conference on Artificial Intelligence (AAAI2016), 1058-1066 Proc. of the 30th AAAI Conference on Artificial Intelligence (AAAI2016), 1058-1066 2016/02 Refereed English Research paper(international conference proceedings) Disclose to all
Shan Gao and Shin-ichi Minato Shan Gao and Shin-ichi Minato Shan Gao and Shin-ichi Minato Factorization of ZDDs for Representing Bayesian Networks Based on d-Separations Factorization of ZDDs for Representing Bayesian Networks Based on d-Separations Factorization of ZDDs for Representing Bayesian Networks Based on d-Separations Proc. of the Second International Workshop on Advanced Methodologies for Bayesian Networks (AMBN 2015), 168-183 Proc. of the Second International Workshop on Advanced Methodologies for Bayesian Networks (AMBN 2015), 168-183 Proc. of the Second International Workshop on Advanced Methodologies for Bayesian Networks (AMBN 2015), 168-183 2015/11 Refereed English Research paper(international conference proceedings) Disclose to all
Yuma Inoue,Shin-ichi Minato Yuma Inoue,Shin-ichi Minato Yuma Inoue,Shin-ichi Minato Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits. Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits. Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits. Reversible Computation - 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings, 9138, 186-199 Reversible Computation - 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings, 9138, 186-199 Reversible Computation - 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings, 9138, 186-199 2015/07 Refereed English Research paper(international conference proceedings) Disclose to all
Masaaki Nishino, Norihito Yasuda, Tsutomu Hirao, Shin-ichi Minato, Masaaki Nagata Masaaki Nishino, Norihito Yasuda, Tsutomu Hirao, Shin-ichi Minato, Masaaki Nagata Masaaki Nishino, Norihito Yasuda, Tsutomu Hirao, Shin-ichi Minato, Masaaki Nagata A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization Proc. of the 2015 Annual Conference of the North American Chapter of the ACL (NAACL-HLT 2015), 462-471 Proc. of the 2015 Annual Conference of the North American Chapter of the ACL (NAACL-HLT 2015), 462-471 Proc. of the 2015 Annual Conference of the North American Chapter of the ACL (NAACL-HLT 2015), 462-471 2015/05 Refereed English Research paper(international conference proceedings) Disclose to all
Takeru Inoue,Norihito Yasuda,Shunsuke Kawano,Yuji Takenobu,Shin-ichi Minato,Yasuhiro Hayashi Takeru Inoue,Norihito Yasuda,Shunsuke Kawano,Yuji Takenobu,Shin-ichi Minato,Yasuhiro Hayashi Takeru Inoue,Norihito Yasuda,Shunsuke Kawano,Yuji Takenobu,Shin-ichi Minato,Yasuhiro Hayashi Distribution Network Verification for Secure Restoration by Enumerating All Critical Failures. Distribution Network Verification for Secure Restoration by Enumerating All Critical Failures. Distribution Network Verification for Secure Restoration by Enumerating All Critical Failures. IEEE Trans. Smart Grid, 6, 2, 843-852 IEEE Trans. Smart Grid, 6, 2, 843-852 IEEE Trans. Smart Grid, 6, 2, 843-852 2015 Refereed Disclose to all
Masaaki Nishino,Norihito Yasuda,Shin-ichi Minato,Masaaki Nagata Masaaki Nishino,Norihito Yasuda,Shin-ichi Minato,Masaaki Nagata Masaaki Nishino,Norihito Yasuda,Shin-ichi Minato,Masaaki Nagata BDD-Constrained Search: A Unified Approach to Constrained Shortest Path Problems. BDD-Constrained Search: A Unified Approach to Constrained Shortest Path Problems. BDD-Constrained Search: A Unified Approach to Constrained Shortest Path Problems. Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA., 1219-1225 Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA., 1219-1225 Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, January 25-30, 2015, Austin, Texas, USA., 1219-1225 2015 Refereed Disclose to all
Hiroyuki Hanada,Shuhei Denzumi,Yuma Inoue,Hiroshi Aoki,Norihito Yasuda,Shogo Takeuchi,Shin-ichi Minato Hiroyuki Hanada,Shuhei Denzumi,Yuma Inoue,Hiroshi Aoki,Norihito Yasuda,Shogo Takeuchi,Shin-ichi Minato Hiroyuki Hanada,Shuhei Denzumi,Yuma Inoue,Hiroshi Aoki,Norihito Yasuda,Shogo Takeuchi,Shin-ichi Minato Enumerating Eulerian Trails via Hamiltonian Path Enumeration. Enumerating Eulerian Trails via Hamiltonian Path Enumeration. Enumerating Eulerian Trails via Hamiltonian Path Enumeration. WALCOM: Algorithms and Computation - 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015. Proceedings, 161-174 WALCOM: Algorithms and Computation - 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015. Proceedings, 161-174 WALCOM: Algorithms and Computation - 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015. Proceedings, 161-174 2015 Refereed Disclose to all
Takahisa Toda,Shogo Takeuchi,Koji Tsuda,Shin-ichi Minato Takahisa Toda,Shogo Takeuchi,Koji Tsuda,Shin-ichi Minato Takahisa Toda,Shogo Takeuchi,Koji Tsuda,Shin-ichi Minato Superset Generation on Decision Diagrams. Superset Generation on Decision Diagrams. Superset Generation on Decision Diagrams. WALCOM: Algorithms and Computation - 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015. Proceedings, 317-322 WALCOM: Algorithms and Computation - 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015. Proceedings, 317-322 WALCOM: Algorithms and Computation - 9th International Workshop, WALCOM 2015, Dhaka, Bangladesh, February 26-28, 2015. Proceedings, 317-322 2015 Refereed Disclose to all
Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura and Shin-ichi Minato Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura and Shin-ichi Minato Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura and Shin-ichi Minato Sequence Binary Decision Diagram: Minimization, Relation-ship to Acyclic Automata, and Complexities of Boolean Set Operations Sequence Binary Decision Diagram: Minimization, Relation-ship to Acyclic Automata, and Complexities of Boolean Set Operations Sequence Binary Decision Diagram: Minimization, Relation-ship to Acyclic Automata, and Complexities of Boolean Set Operations Journal of Discrete Applied Mathematics Journal of Discrete Applied Mathematics Journal of Discrete Applied Mathematics 2015 Refereed English Research paper(scientific journal) Disclose to all
KAWAHARA JUN, MINATO SHIN'ICHI 川原純, 湊真一 KAWAHARA JUN, MINATO SHIN'ICHI 「フカシギの数え方」から広がるアルゴリズムの理工学―二分決定グラフによる離散構造処理と広がる応用分野―3.順列の圧縮列挙索引化とソーティング 「フカシギの数え方」から広がるアルゴリズムの理工学―二分決定グラフによる離散構造処理と広がる応用分野―3.順列の圧縮列挙索引化とソーティング 「フカシギの数え方」から広がるアルゴリズムの理工学―二分決定グラフによる離散構造処理と広がる応用分野―3.順列の圧縮列挙索引化とソーティング 電子情報通信学会誌, 97, 12, 1086-1090 電子情報通信学会誌, 97, 12, 1086-1090 電子情報通信学会誌, 97, 12, 1086-1090 2014/12/01 Japanese Disclose to all
MINATO SHIN'ICHI 湊真一 MINATO SHIN'ICHI 「フカシギの数え方」から広がるアルゴリズムの理工学―二分決定グラフによる離散構造処理と広がる応用分野―1.二分決定グラフによる離散構造処理の概観 「フカシギの数え方」から広がるアルゴリズムの理工学―二分決定グラフによる離散構造処理と広がる応用分野―1.二分決定グラフによる離散構造処理の概観 「フカシギの数え方」から広がるアルゴリズムの理工学―二分決定グラフによる離散構造処理と広がる応用分野―1.二分決定グラフによる離散構造処理の概観 電子情報通信学会誌, 97, 12, 1074-1079 電子情報通信学会誌, 97, 12, 1074-1079 電子情報通信学会誌, 97, 12, 1074-1079 2014/12/01 Japanese Disclose to all
Yuma Inoue,Takahisa Toda,Shin-ichi Minato Yuma Inoue,Takahisa Toda,Shin-ichi Minato Yuma Inoue,Takahisa Toda,Shin-ichi Minato Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams. Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams. Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams. IEICE Transactions, 97-A, 6, 1171-1179 IEICE Transactions, 97-A, 6, 1171-1179 IEICE Transactions, 97-A, 6, 1171-1179 2014 Refereed Disclose to all
Takeru Inoue,Keiji Takano,Takayuki Watanabe,Jun Kawahara,Ryo Yoshinaka,Akihiro Kishimoto,Koji Tsuda,Shin-ichi Minato,Yasuhiro Hayashi Takeru Inoue,Keiji Takano,Takayuki Watanabe,Jun Kawahara,Ryo Yoshinaka,Akihiro Kishimoto,Koji Tsuda,Shin-ichi Minato,Yasuhiro Hayashi Takeru Inoue,Keiji Takano,Takayuki Watanabe,Jun Kawahara,Ryo Yoshinaka,Akihiro Kishimoto,Koji Tsuda,Shin-ichi Minato,Yasuhiro Hayashi Distribution Loss Minimization With Guaranteed Error Bound. Distribution Loss Minimization With Guaranteed Error Bound. Distribution Loss Minimization With Guaranteed Error Bound. IEEE Trans. Smart Grid, 5, 1, 102-111 IEEE Trans. Smart Grid, 5, 1, 102-111 IEEE Trans. Smart Grid, 5, 1, 102-111 2014 Refereed Disclose to all
Takeru Inoue,Toru Mano,Kimihiro Mizutani,Shin-ichi Minato,Osamu Akashi Takeru Inoue,Toru Mano,Kimihiro Mizutani,Shin-ichi Minato,Osamu Akashi Takeru Inoue,Toru Mano,Kimihiro Mizutani,Shin-ichi Minato,Osamu Akashi Rethinking Packet Classification for Global Network View of Software-Defined Networking. Rethinking Packet Classification for Global Network View of Software-Defined Networking. Rethinking Packet Classification for Global Network View of Software-Defined Networking. 22nd IEEE International Conference on Network Protocols, ICNP 2014, Raleigh, NC, USA, October 21-24, 2014, 296-307 22nd IEEE International Conference on Network Protocols, ICNP 2014, Raleigh, NC, USA, October 21-24, 2014, 296-307 22nd IEEE International Conference on Network Protocols, ICNP 2014, Raleigh, NC, USA, October 21-24, 2014, 296-307 2014 Refereed Disclose to all
Yuma Inoue,Shin-ichi Minato Yuma Inoue,Shin-ichi Minato Yuma Inoue,Shin-ichi Minato An Efficient Method for Indexing All Topological Orders of a Directed Graph. An Efficient Method for Indexing All Topological Orders of a Directed Graph. An Efficient Method for Indexing All Topological Orders of a Directed Graph. Algorithms and Computation - 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings, 103-114 Algorithms and Computation - 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings, 103-114 Algorithms and Computation - 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings, 103-114 2014 Refereed Disclose to all
Hiroshi Aoki,Takahisa Toda,Shin-ichi Minato Hiroshi Aoki,Takahisa Toda,Shin-ichi Minato Hiroshi Aoki,Takahisa Toda,Shin-ichi Minato Three-way Indexing ZDDs for Large-Scale Sparse Datasets. Three-way Indexing ZDDs for Large-Scale Sparse Datasets. Three-way Indexing ZDDs for Large-Scale Sparse Datasets. Trends and Applications in Knowledge Discovery and Data Mining - PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers, 457-469 Trends and Applications in Knowledge Discovery and Data Mining - PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers, 457-469 Trends and Applications in Knowledge Discovery and Data Mining - PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers, 457-469 2014 Refereed Disclose to all
Shogo Takeuchi,Takahisa Toda,Shin-ichi Minato Shogo Takeuchi,Takahisa Toda,Shin-ichi Minato Shogo Takeuchi,Takahisa Toda,Shin-ichi Minato A General Framework for Parallel Unary Operations on ZDDs. A General Framework for Parallel Unary Operations on ZDDs. A General Framework for Parallel Unary Operations on ZDDs. Trends and Applications in Knowledge Discovery and Data Mining - PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers, 494-503 Trends and Applications in Knowledge Discovery and Data Mining - PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers, 494-503 Trends and Applications in Knowledge Discovery and Data Mining - PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers, 494-503 2014 Refereed Disclose to all
Norihito Yasuda,Masaaki Nishino,Shin-ichi Minato Norihito Yasuda,Masaaki Nishino,Shin-ichi Minato Norihito Yasuda,Masaaki Nishino,Shin-ichi Minato On the Size of the Zero-Suppressed Binary Decision Diagram that Represents All the Subtrees in a Tree. On the Size of the Zero-Suppressed Binary Decision Diagram that Represents All the Subtrees in a Tree. On the Size of the Zero-Suppressed Binary Decision Diagram that Represents All the Subtrees in a Tree. Trends and Applications in Knowledge Discovery and Data Mining - PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers, 504-510 Trends and Applications in Knowledge Discovery and Data Mining - PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers, 504-510 Trends and Applications in Knowledge Discovery and Data Mining - PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers, 504-510 2014 Refereed Disclose to all
Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, and Shin-ichi Minato Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, and Shin-ichi Minato Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, and Shin-ichi Minato Graphillion: software library for very large sets of labeled graphs Graphillion: software library for very large sets of labeled graphs Graphillion: software library for very large sets of labeled graphs Journal on Software Tools for Technology Transfer (STTT) Journal on Software Tools for Technology Transfer (STTT) Journal on Software Tools for Technology Transfer (STTT) 2014 Refereed English Research paper(scientific journal) Disclose to all
Shin-ichi Minato,Takeaki Uno,Koji Tsuda,Aika Terada,Jun Sese Shin-ichi Minato,Takeaki Uno,Koji Tsuda,Aika Terada,Jun Sese Shin-ichi Minato,Takeaki Uno,Koji Tsuda,Aika Terada,Jun Sese A Fast Method of Statistical Assessment for Combinatorial Hypotheses Based on Frequent Itemset Enumeration. A Fast Method of Statistical Assessment for Combinatorial Hypotheses Based on Frequent Itemset Enumeration. A Fast Method of Statistical Assessment for Combinatorial Hypotheses Based on Frequent Itemset Enumeration. Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2014, Nancy, France, September 15-19, 2014. Proceedings, Part II, 422-436 Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2014, Nancy, France, September 15-19, 2014. Proceedings, Part II, 422-436 Machine Learning and Knowledge Discovery in Databases - European Conference, ECML PKDD 2014, Nancy, France, September 15-19, 2014. Proceedings, Part II, 422-436 2014 Refereed Disclose to all
Masaaki Nishino,Norihito Yasuda,Shin-ichi Minato,Masaaki Nagata Masaaki Nishino,Norihito Yasuda,Shin-ichi Minato,Masaaki Nagata Masaaki Nishino,Norihito Yasuda,Shin-ichi Minato,Masaaki Nagata Accelerating Graph Adjacency Matrix Multiplications with Adjacency Forest. Accelerating Graph Adjacency Matrix Multiplications with Adjacency Forest. Accelerating Graph Adjacency Matrix Multiplications with Adjacency Forest. Proceedings of the 2014 SIAM International Conference on Data Mining, Philadelphia, Pennsylvania, USA, April 24-26, 2014, 1073-1081 Proceedings of the 2014 SIAM International Conference on Data Mining, Philadelphia, Pennsylvania, USA, April 24-26, 2014, 1073-1081 Proceedings of the 2014 SIAM International Conference on Data Mining, Philadelphia, Pennsylvania, USA, April 24-26, 2014, 1073-1081 2014 Refereed Disclose to all
Ryutaro Kurai,Norihito Yasuda,Hiroki Arimura,Shinobu Nagayama,Shin-ichi Minato Ryutaro Kurai,Norihito Yasuda,Hiroki Arimura,Shinobu Nagayama,Shin-ichi Minato Ryutaro Kurai,Norihito Yasuda,Hiroki Arimura,Shinobu Nagayama,Shin-ichi Minato Fast Regular Expression Matching Based On Dual Glushkov NFA. Fast Regular Expression Matching Based On Dual Glushkov NFA. Fast Regular Expression Matching Based On Dual Glushkov NFA. Proceedings of the Prague Stringology Conference 2014, Prague, Czech Republic, September 1-3, 2014, 3-16 Proceedings of the Prague Stringology Conference 2014, Prague, Czech Republic, September 1-3, 2014, 3-16 Proceedings of the Prague Stringology Conference 2014, Prague, Czech Republic, September 1-3, 2014, 3-16 2014 Refereed Disclose to all
Shuhei Denzumi,Jun Kawahara,Koji Tsuda,Hiroki Arimura,Shin-ichi Minato,Kunihiko Sadakane Shuhei Denzumi,Jun Kawahara,Koji Tsuda,Hiroki Arimura,Shin-ichi Minato,Kunihiko Sadakane Shuhei Denzumi,Jun Kawahara,Koji Tsuda,Hiroki Arimura,Shin-ichi Minato,Kunihiko Sadakane DenseZDD: A Compact and Fast Index for Families of Sets. DenseZDD: A Compact and Fast Index for Families of Sets. DenseZDD: A Compact and Fast Index for Families of Sets. Experimental Algorithms - 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 - July 1, 2014. Proceedings, 187-198 Experimental Algorithms - 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 - July 1, 2014. Proceedings, 187-198 Experimental Algorithms - 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 - July 1, 2014. Proceedings, 187-198 2014 Refereed Disclose to all
Reversible Computation - 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings Reversible Computation - 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings Reversible Computation - 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings RC 2014, 8507 RC 2014, 8507 RC 2014, 8507 2014 Refereed Disclose to all
湊 真一 湊 真一 「おねえさんの問題」の最先端 ― YouTube動画と世界記録 ― 「おねえさんの問題」の最先端 ― YouTube動画と世界記録 ― 情報処理, 54, 11, 1152-1159 情報処理, 54, 11, 1152-1159 , 54, 11, 1152-1159 2013/10 Refereed Japanese Research paper(scientific journal) Disclose to all
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Z-Skip-Links for Fast Traversal of ZDDs Representing Large-Scale Sparse Datasets Z-Skip-Links for Fast Traversal of ZDDs Representing Large-Scale Sparse Datasets Z-Skip-Links for Fast Traversal of ZDDs Representing Large-Scale Sparse Datasets In Proc. of European Symposium on Algorithms 2013 (ESA 2013), LNCS 8125, 731-742 In Proc. of European Symposium on Algorithms 2013 (ESA 2013), LNCS 8125, 731-742 In Proc. of European Symposium on Algorithms 2013 (ESA 2013), LNCS 8125, 731-742 2013/09 Refereed English Research paper(international conference proceedings) Disclose to all
Shuhei Denzumi, Koji Tsuda, Hiroki Arimura and Shin-ichi Minato Shuhei Denzumi, Koji Tsuda, Hiroki Arimura and Shin-ichi Minato Shuhei Denzumi, Koji Tsuda, Hiroki Arimura and Shin-ichi Minato Compact Complete Inverted Files for Texts and Directed Acyclic Graphs Based on Sequence Binary Decision Diagrams Compact Complete Inverted Files for Texts and Directed Acyclic Graphs Based on Sequence Binary Decision Diagrams Compact Complete Inverted Files for Texts and Directed Acyclic Graphs Based on Sequence Binary Decision Diagrams In Proc. of Prague Stringology Conference 2013 (PSC2013), 157-167 In Proc. of Prague Stringology Conference 2013 (PSC2013), 157-167 In Proc. of Prague Stringology Conference 2013 (PSC2013), 157-167 2013/09 Refereed English Research paper(international conference proceedings) Disclose to all
湊 真一 湊 真一 BDD/ZDDを基盤とする離散構造処理系の最近の展開 BDD/ZDDを基盤とする離散構造処理系の最近の展開 電子情報通信学会 2013ソサイエティ大会 講演論文集, AK-1, SS-1-SS-4 電子情報通信学会 2013ソサイエティ大会 講演論文集, AK-1, SS-1-SS-4 , AK-1, SS-1-SS-4 2013/09 Japanese Research paper(research society, symposium materials, etc.) Disclose to all
Atsushi Takizawa, Yasufumi Takechi, Akio Ohta, Naoki Katoh, Takeru Inoue, Takashi Horiyama, Jun Kawahara, and Shin-ichi Minato Atsushi Takizawa, Yasufumi Takechi, Akio Ohta, Naoki Katoh, Takeru Inoue, Takashi Horiyama, Jun Kawahara, and Shin-ichi Minato Atsushi Takizawa, Yasufumi Takechi, Akio Ohta, Naoki Katoh, Takeru Inoue, Takashi Horiyama, Jun Kawahara, and Shin-ichi Minato Enumeration of Region Partitioning for Evalcuation Planning based on ZDD Enumeration of Region Partitioning for Evalcuation Planning based on ZDD Enumeration of Region Partitioning for Evalcuation Planning based on ZDD In Proc. of International symposium on Operation Research & its Applications (ISORA2013), 64-71 In Proc. of International symposium on Operation Research & its Applications (ISORA2013), 64-71 In Proc. of International symposium on Operation Research & its Applications (ISORA2013), 64-71 2013/08 Refereed English Research paper(international conference proceedings) Disclose to all
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Recent Research Activities on BDD/ZDD-based Discrete Structure Manipulation Recent Research Activities on BDD/ZDD-based Discrete Structure Manipulation Recent Research Activities on BDD/ZDD-based Discrete Structure Manipulation In Poc. of 2013 International Workshop on Machine Learning and Applications to Biology (MLAB Sapporo 2013), 13-13 In Poc. of 2013 International Workshop on Machine Learning and Applications to Biology (MLAB Sapporo 2013), 13-13 In Poc. of 2013 International Workshop on Machine Learning and Applications to Biology (MLAB Sapporo 2013), 13-13 2013/08 English Research paper(international conference proceedings) Disclose to all
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Techniques of BDD/ZDD: Brief History and Recent Activity Techniques of BDD/ZDD: Brief History and Recent Activity Techniques of BDD/ZDD: Brief History and Recent Activity IEICE Trans. Inf. & Syst., E96-D, 7, 1419-1429 IEICE Trans. Inf. & Syst., E96-D, 7, 1419-1429 IEICE Trans. Inf. & Syst., E96-D, 7, 1419-1429 2013/07 Refereed English Research paper(scientific journal) Disclose to all
Yuma Inoue, Takahisa Toda, and Shin-ichi Minato Yuma Inoue, Takahisa Toda, and Shin-ichi Minato Yuma Inoue, Takahisa Toda, and Shin-ichi Minato Efficiently generating classical and vincular pattern avoiding permutations based on permutation decision diagrams Efficiently generating classical and vincular pattern avoiding permutations based on permutation decision diagrams Efficiently generating classical and vincular pattern avoiding permutations based on permutation decision diagrams In Proc. of Permutation Patterns 2013, 43-44 In Proc. of Permutation Patterns 2013, 43-44 In Proc. of Permutation Patterns 2013, 43-44 2013/07 Refereed English Research paper(international conference proceedings) Disclose to all
Laura Tague, Mathias Soeken, Shin-ichi Minato and Rolf Drechsler Laura Tague, Mathias Soeken, Shin-ichi Minato and Rolf Drechsler Laura Tague, Mathias Soeken, Shin-ichi Minato and Rolf Drechsler Debugging of Reversible Circuits Using PiDDs Debugging of Reversible Circuits Using PiDDs Debugging of Reversible Circuits Using PiDDs In Proc. of IEEE 43rd International Symposium on Multiple-Valued Logic (ISMVL2013), 316-321 In Proc. of IEEE 43rd International Symposium on Multiple-Valued Logic (ISMVL2013), 316-321 In Proc. of IEEE 43rd International Symposium on Multiple-Valued Logic (ISMVL2013), 316-321 2013/05 Refereed English Research paper(international conference proceedings) Disclose to all
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Recent Topics on BDD/ZDD-Based Discrete Structure Manipulation Recent Topics on BDD/ZDD-Based Discrete Structure Manipulation Recent Topics on BDD/ZDD-Based Discrete Structure Manipulation In Proc. of Reed-Muller Workshop 2013 (RM2013), 1-7 In Proc. of Reed-Muller Workshop 2013 (RM2013), 1-7 In Proc. of Reed-Muller Workshop 2013 (RM2013), 1-7 2013/05 English Research paper(international conference proceedings) Disclose to all
AOKI HIROSHI, MINATO SHIN'ICHI, MINATO SHIN'ICHI, YAMASHITA SHIGERU 青木洋士, 湊真一, 湊真一, 山下茂 AOKI HIROSHI, MINATO SHIN'ICHI, MINATO SHIN'ICHI, YAMASHITA SHIGERU An Efficient Sequence Binary Decision Diagrams with Mapping Edges 写像枝を用いた系列二分決定グラフの効率化 An Efficient Sequence Binary Decision Diagrams with Mapping Edges 電子情報通信学会技術研究報告, 113, 50(COMP2013 9-18), 149-156 電子情報通信学会技術研究報告, 113, 50(COMP2013 9-18), 149-156 電子情報通信学会技術研究報告, 113, 50(COMP2013 9-18), 149-156 2013/05 Japanese Research paper(research society, symposium materials, etc.) Disclose to all
Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Kunihiko Sadakane, Shin-ichi Minato Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Kunihiko Sadakane, Shin-ichi Minato Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Kunihiko Sadakane, Shin-ichi Minato Succinct Indices Based on Zero-Suppressed Binary Decision Diagrams Succinct Indices Based on Zero-Suppressed Binary Decision Diagrams Succinct Indices Based on Zero-Suppressed Binary Decision Diagrams 電子情報通信学会コンピュテーション研究会, 信学技報, 112, 498, 23-30 電子情報通信学会コンピュテーション研究会, 信学技報, 112, 498, 23-30 , 112, 498, 23-30 2013/03 English Research paper(research society, symposium materials, etc.) Disclose to all
MINATO SHIN'ICHI, MINATO SHIN'ICHI 湊真一, 湊真一 MINATO SHIN'ICHI, MINATO SHIN'ICHI Auxiliary Skip Links for Quick Traversal of ZDDs to Manipulate Large-Scale Sparse Matrices 大規模疎行列を扱うZDDの演算を高速化する飛び越しリンク構造 Auxiliary Skip Links for Quick Traversal of ZDDs to Manipulate Large-Scale Sparse Matrices 電子情報通信学会技術研究報告, 112, 498(COMP2012 52-62), 15-22 電子情報通信学会技術研究報告, 112, 498(COMP2012 52-62), 15-22 電子情報通信学会技術研究報告, 112, 498(COMP2012 52-62), 15-22 2013/03 Japanese Research paper(research society, symposium materials, etc.) Disclose to all
Mathias Soeken, Robert Wille, Shin-ichi Minato, and Rolf Drechsler Mathias Soeken, Robert Wille, Shin-ichi Minato, and Rolf Drechsler Mathias Soeken, Robert Wille, Shin-ichi Minato, and Rolf Drechsler Using PiDDs in the Design of Reversible Circuits (Work-In-Progress) Using PiDDs in the Design of Reversible Circuits (Work-In-Progress) Using PiDDs in the Design of Reversible Circuits (Work-In-Progress) In Robert Gluck and Tetsuo Yokoyama, editors, "Reversible Computation, 4th International Workshop RC 2012 Revised Papers,", LNCS 7581, 197-203 In Robert Gluck and Tetsuo Yokoyama, editors, "Reversible Computation, 4th International Workshop RC 2012 Revised Papers,", LNCS 7581, 197-203 In Robert Gluck and Tetsuo Yokoyama, editors, "Reversible Computation, 4th International Workshop RC 2012 Revised Papers,", LNCS 7581, 197-203 2013/02 Refereed English Research paper(international conference proceedings) Disclose to all
MINATO Shin-ichi 湊 真一 MINATO Shin-ichi Shared-Memory Parallel Frontier-Based Search Shared-Memory Parallel Frontier-Based Search Shared-Memory Parallel Frontier-Based Search Shogo Takeuchi, Jun Kawahara, Akihiro Kishimoto and Shin-ichi Minato, LNCS 7748, 170-181 Shogo Takeuchi, Jun Kawahara, Akihiro Kishimoto and Shin-ichi Minato, LNCS 7748, 170-181 Shogo Takeuchi, Jun Kawahara, Akihiro Kishimoto and Shin-ichi Minato, LNCS 7748, 170-181 2013/02 Refereed English Research paper(international conference proceedings) Disclose to all
Yuma Inoue, Takahisa Toda, Shin-ichi Minato 井上 祐馬, 戸田 貴久, 湊 真一 Yuma Inoue, Takahisa Toda, Shin-ichi Minato Enumerating and Indexing of Pattern Avoiding Permutations Using πDDs 順列二分決定グラフを用いたパターン回避順列の列挙索引化 Enumerating and Indexing of Pattern Avoiding Permutations Using πDDs IPSJ SIG Notes, 2013, 5, 1-8 情報処理学会研究報告. AL, アルゴリズム研究会報告, 2013, 5, 1-8 IPSJ SIG Notes, 2013, 5, 1-8 2013/02 Japanese Research paper(research society, symposium materials, etc.) Disclose to all
岩下 洋哲, 中澤 吉男, 川原 純, 宇野 毅明, 湊 真一 岩下 洋哲, 中澤 吉男, 川原 純, 宇野 毅明, 湊 真一 最小完全ハッシュ関数を用いたグリッドグラフ上の効率的なパス数え上げ 最小完全ハッシュ関数を用いたグリッドグラフ上の効率的なパス数え上げ 情報処理学会研究報告. AL, アルゴリズム研究会報告, 2013, 8, 1-6 情報処理学会研究報告. AL, アルゴリズム研究会報告, 2013, 8, 1-6 , 2013, 8, 1-6 2013/02 Japanese Research paper(research society, symposium materials, etc.) Disclose to all
吉仲 亮, 岩下 洋哲, 川原 純, 斎藤 寿樹, 鶴間 浩二, 湊 真一 吉仲 亮, 岩下 洋哲, 川原 純, 斎藤 寿樹, 鶴間 浩二, 湊 真一 種々のリンクパズルへの応用(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) 種々のリンクパズルへの応用(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) オペレーションズ・リサーチ : 経営の科学, 57, 11, 616-622 オペレーションズ・リサーチ : 経営の科学, 57, 11, 616-622 , 57, 11, 616-622 2012/11 Refereed Japanese Research paper(scientific journal) Disclose to all
井上 武, 高野 圭司, 渡辺 喬之, 川原 純, 吉仲 亮, 岸本 章宏, 津田 宏治, 湊 真一, 林 泰弘 井上 武, 高野 圭司, 渡辺 喬之, 川原 純, 吉仲 亮, 岸本 章宏, 津田 宏治, 湊 真一, 林 泰弘 フロンティア法による電力網構成制御(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) フロンティア法による電力網構成制御(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) オペレーションズ・リサーチ : 経営の科学, 57, 11, 610-615 オペレーションズ・リサーチ : 経営の科学, 57, 11, 610-615 , 57, 11, 610-615 2012/11 Refereed Japanese Research paper(scientific journal) Disclose to all
川原 純, 湊 真一 川原 純, 湊 真一 グラフ列挙索引化技法の種々の問題への適用(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) グラフ列挙索引化技法の種々の問題への適用(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) オペレーションズ・リサーチ : 経営の科学, 57, 11, 604-609 オペレーションズ・リサーチ : 経営の科学, 57, 11, 604-609 , 57, 11, 604-609 2012/11 Refereed Japanese Research paper(scientific journal) Disclose to all
湊 真一 湊 真一 BDD/ZDDを用いたグラフ列挙索引化技法(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) BDD/ZDDを用いたグラフ列挙索引化技法(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) オペレーションズ・リサーチ : 経営の科学, 57, 11, 597-603 オペレーションズ・リサーチ : 経営の科学, 57, 11, 597-603 , 57, 11, 597-603 2012/11 Refereed Japanese Research paper(scientific journal) Disclose to all
湊 真一 湊 真一 特集にあたって(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) 特集にあたって(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) オペレーションズ・リサーチ : 経営の科学, 57, 11 オペレーションズ・リサーチ : 経営の科学, 57, 11 , 57, 11 2012/11 Refereed Japanese Research paper(scientific journal) Disclose to all
岩下 洋哲, 川原 純, 湊 真一 岩下 洋哲, 川原 純, 湊 真一 An Efficient ZDD Construction Method Using Recursive Specifications 再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法 (VLSI設計技術) An Efficient ZDD Construction Method Using Recursive Specifications 電子情報通信学会技術研究報告 : 信学技報, 112, 320, 25-29 電子情報通信学会技術研究報告 : 信学技報, 112, 320, 25-29 , 112, 320, 25-29 2012/11 Japanese Research paper(research society, symposium materials, etc.) Disclose to all
湊 真一 湊 真一 特別招待講演 ERATO湊離散構造処理系プロジェクトの概要と今後の展望について (通信方式) 特別招待講演 ERATO湊離散構造処理系プロジェクトの概要と今後の展望について (通信方式) 電子情報通信学会技術研究報告 : 信学技報, 112, 309, 35-40 電子情報通信学会技術研究報告 : 信学技報, 112, 309, 35-40 , 112, 309, 35-40 2012/11 Japanese Research paper(research society, symposium materials, etc.) Disclose to all
Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, and Shin-ichi Minato Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, and Shin-ichi Minato Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, and Shin-ichi Minato Counterexamples to the long-standing conjecture on the complexity of BDD binary operations Counterexamples to the long-standing conjecture on the complexity of BDD binary operations Counterexamples to the long-standing conjecture on the complexity of BDD binary operations Information Processing Letters, 112, 16, 636-640 Information Processing Letters, 112, 16, 636-640 Information Processing Letters, 112, 16, 636-640 2012/08 Refereed English Research paper(scientific journal) Disclose to all
Takeru Inoue and Shin-ichi Minato Takeru Inoue and Shin-ichi Minato Takeru Inoue and Shin-ichi Minato On Tackling Flash Crowds with URL Shorteners and Examining User Behavior after Great East Japan Earthquake On Tackling Flash Crowds with URL Shorteners and Examining User Behavior after Great East Japan Earthquake On Tackling Flash Crowds with URL Shorteners and Examining User Behavior after Great East Japan Earthquake IEICE Trans. Communications, special section on "Future Internet Technologies Against Present Crises", E95.B, 7, 2210-2221 IEICE Trans. Communications, special section on "Future Internet Technologies Against Present Crises", E95.B, 7, 2210-2221 IEICE Trans. Communications, special section on "Future Internet Technologies Against Present Crises", E95.B, 7, 2210-2221 2012/07 Refereed English Research paper(scientific journal) Disclose to all
Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, and Yoshikazu Miyanaga Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, and Yoshikazu Miyanaga Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, and Yoshikazu Miyanaga A Dynamically Reconfigurable FPGA-Based Pattern Matching Hardware for Subclasses of Regular Expressions A Dynamically Reconfigurable FPGA-Based Pattern Matching Hardware for Subclasses of Regular Expressions A Dynamically Reconfigurable FPGA-Based Pattern Matching Hardware for Subclasses of Regular Expressions IEICE Transactions on Information and Systems, E95.D, 7, 1847-1857 IEICE Transactions on Information and Systems, E95.D, 7, 1847-1857 IEICE Transactions on Information and Systems, E95.D, 7, 1847-1857 2012/07 Refereed English Research paper(scientific journal) Disclose to all
KAWAHARA Jun, SAITOH Toshiki, MINATO Shinichi 川原 純, 斎藤 寿樹, 湊 真一 KAWAHARA Jun, SAITOH Toshiki, MINATO Shinichi 5. New Enumeration Methods Using ZDD(<Special Section>Diffusion of Enumeration Techniques; Enumeration-based Problem Solving) 5.ZDDを用いた新たな列挙手法(<小特集>広がる列挙の技術-列挙による問題解決アプローチ-) 5. New Enumeration Methods Using ZDD(<Special Section>Diffusion of Enumeration Techniques; Enumeration-based Problem Solving) The Journal of the Institute of Electronics, Information, and Communication Engineers, 95, 6, 505-511 電子情報通信学会誌, 95, 6, 505-511 The Journal of the Institute of Electronics, Information, and Communication Engineers, 95, 6, 505-511 2012/06 Japanese Research paper(research society, symposium materials, etc.) Disclose to all
Minato Shin-ichi 湊 真一 Minato Shin-ichi Techniques of BDDs/ZDDs and Discrete Structure Manipulation Systems(<Special Issue>Discrete Structure Manipulation Systems-The Art of Algorithms for Intelligent Information Processing) BDD/ZDDの技法と離散構造処理系(<特集>離散構造処理系-知能情報処理を支えるアルゴリズムの技法) Techniques of BDDs/ZDDs and Discrete Structure Manipulation Systems(<Special Issue>Discrete Structure Manipulation Systems-The Art of Algorithms for Intelligent Information Processing) Journal of Japanese Society for Artificial Intelligence, 27, 3, 232-238 人工知能学会誌, 27, 3, 232-238 Journal of Japanese Society for Artificial Intelligence, 27, 3, 232-238 2012/05 Refereed Japanese Research paper(scientific journal) Disclose to all
Yasuyuki Shirai, Koji Tsuruma, Yuko Sakurai, Satoshi Oyama, and Shin-ichi Minato Yasuyuki Shirai, Koji Tsuruma, Yuko Sakurai, Satoshi Oyama, and Shin-ichi Minato Yasuyuki Shirai, Koji Tsuruma, Yuko Sakurai, Satoshi Oyama, and Shin-ichi Minato Incremental Set Recommendation Based on Class Differences Incremental Set Recommendation Based on Class Differences Incremental Set Recommendation Based on Class Differences Proc. of 16th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2012), (LNAI 7301, Springer), 7301, 183-194 Proc. of 16th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2012), (LNAI 7301, Springer), 7301, 183-194 Proc. of 16th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2012), (LNAI 7301, Springer), 7301, 183-194 2012/05 Refereed English Research paper(international conference proceedings) Disclose to all
Ryo Yoshinaka, Toshiki Saitoh, Jun Kawahara, Koji Tsuruma, Hiroaki Iwashita, and Shin-ichi Minato Ryo Yoshinaka, Toshiki Saitoh, Jun Kawahara, Koji Tsuruma, Hiroaki Iwashita, and Shin-ichi Minato Ryo Yoshinaka, Toshiki Saitoh, Jun Kawahara, Koji Tsuruma, Hiroaki Iwashita, and Shin-ichi Minato Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs Algorithms, 5, 2, 176-213 Algorithms, 5, 2, 176-213 Algorithms, 5, 2, 176-213 2012/04 Refereed English Research paper(scientific journal) Disclose to all
Shigeru Yamashita, Shin-ichi Minato, and D. Michael Miller Shigeru Yamashita, Shin-ichi Minato, and D. Michael Miller Shigeru Yamashita, Shin-ichi Minato, and D. Michael Miller Synthesis of Semi-Classical Quantum Circuits Synthesis of Semi-Classical Quantum Circuits Synthesis of Semi-Classical Quantum Circuits Journal of Multi-Valued Logic & Soft Computing, 18, 1, 99-113 Journal of Multi-Valued Logic & Soft Computing, 18, 1, 99-113 Journal of Multi-Valued Logic & Soft Computing, 18, 1, 99-113 2012/01 Refereed English Research paper(scientific journal) Disclose to all
Masakazu Ishihata, Taisuke Sato and Shin-ichi Minato Masakazu Ishihata, Taisuke Sato and Shin-ichi Minato Masakazu Ishihata, Taisuke Sato and Shin-ichi Minato Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs Proc. of The 24th Australasian Joint Conference on Artificial Intelligence (AI2011), (LNAI 7106, Springer), 203-212 Proc. of The 24th Australasian Joint Conference on Artificial Intelligence (AI2011), (LNAI 7106, Springer), 203-212 Proc. of The 24th Australasian Joint Conference on Artificial Intelligence (AI2011), (LNAI 7106, Springer), 203-212 2011/12 Refereed English Research paper(international conference proceedings) Disclose to all
SAKURAI Yuko,UEDA Suguru,IWASAKI Atsushi,MINATO Shin‐Ichi,YOKOO Makoto SAKURAI Yuko, UEDA Suguru, IWASAKI Atsushi, MINATO Shin‐Ichi, YOKOO Makoto SAKURAI Yuko,UEDA Suguru,IWASAKI Atsushi,MINATO Shin‐Ichi,YOKOO Makoto A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams Proc. of 14th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2011), (LNAI 7047, Springer), 7047, 4-18 Proc. of 14th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2011), (LNAI 7047, Springer), 7047, 4-18 Proc. of 14th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2011), (LNAI 7047, Springer), 7047, 4-18 2011/11 Refereed English Research paper(international conference proceedings) Disclose to all
Hiroshi Aoki, Shigeru Yamashita and Shin-ichi Minato Hiroshi Aoki, Shigeru Yamashita and Shin-ichi Minato Hiroshi Aoki, Shigeru Yamashita and Shin-ichi Minato An Efficient Algorithm for Constructing a Sequence Binary Decision Diagram Representing a Set of Reversed Sequences An Efficient Algorithm for Constructing a Sequence Binary Decision Diagram Representing a Set of Reversed Sequences An Efficient Algorithm for Constructing a Sequence Binary Decision Diagram Representing a Set of Reversed Sequences Proc. of 2011 IEEE International Confenrece on Granular Computing, 54-59 Proc. of 2011 IEEE International Confenrece on Granular Computing, 54-59 Proc. of 2011 IEEE International Confenrece on Granular Computing, 54-59 2011/11 Refereed English Research paper(international conference proceedings) Disclose to all
Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, and Hiroki Arimura Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, and Hiroki Arimura Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, and Hiroki Arimura High-speed String and Regular Expression Matching on FPGA High-speed String and Regular Expression Matching on FPGA High-speed String and Regular Expression Matching on FPGA Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011 Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011 Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011 2011/10 Refereed English Research paper(international conference proceedings) Disclose to all
Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato Implementation of Sequence BDDs in Erlang Implementation of Sequence BDDs in Erlang Implementation of Sequence BDDs in Erlang Proc. of Tenth ACM SIGPLAN Erlang Workshop, 90-91 Proc. of Tenth ACM SIGPLAN Erlang Workshop, 90-91 Proc. of Tenth ACM SIGPLAN Erlang Workshop, 90-91 2011/09 Refereed English Research paper(international conference proceedings) Disclose to all
Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura and Shin-ichi Minato Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura and Shin-ichi Minato Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura and Shin-ichi Minato Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations Proc. of Prague Stringology Conference 2011 (PSC2011), 147-161 Proc. of Prague Stringology Conference 2011 (PSC2011), 147-161 Proc. of Prague Stringology Conference 2011 (PSC2011), 147-161 2011/08 Refereed English Research paper(international conference proceedings) Disclose to all
MINATO Shin‐ichi MINATO Shin‐ichi MINATO Shin‐ichi PiDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space PiDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space PiDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space Proc. of 14th International Conference on Theory and Applications of Satisfiability Testing (SAT-2011) (LNCS 6695, Springer), 90-104 Proc. of 14th International Conference on Theory and Applications of Satisfiability Testing (SAT-2011) (LNCS 6695, Springer), 90-104 Proc. of 14th International Conference on Theory and Applications of Satisfiability Testing (SAT-2011) (LNCS 6695, Springer), 90-104 2011/06 Refereed English Research paper(international conference proceedings) Disclose to all
MINATO Shin‐ichi MINATO Shin‐ichi MINATO Shin‐ichi Overview of ERATO Minato Project: The Art of Discrete Structure Manipulation between Science and Engineering Overview of ERATO Minato Project: The Art of Discrete Structure Manipulation between Science and Engineering Overview of ERATO Minato Project: The Art of Discrete Structure Manipulation between Science and Engineering New Gener Comput, 29, 2, 223-238 New Gener Comput, 29, 2, 223-238 New Gener Comput, 29, 2, 223-238 2011/04 Refereed English Research paper(scientific journal) Disclose to all
湊 真一 湊 真一 BDD/ZDDを基盤とする離散構造と演算処理系の最近の展開 BDD/ZDDを基盤とする離散構造と演算処理系の最近の展開 電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review, 4, 3, 224-230 電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review, 4, 3, 224-230 , 4, 3, 224-230 2011/01 Refereed Japanese Research paper(scientific journal) Disclose to all
Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura and Yoshikazu Miyanaga Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura and Yoshikazu Miyanaga Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura and Yoshikazu Miyanaga Dynamic Reconfigurable Bit-Parallel Architecture for Large-Scale Regular Expression Matching Dynamic Reconfigurable Bit-Parallel Architecture for Large-Scale Regular Expression Matching Dynamic Reconfigurable Bit-Parallel Architecture for Large-Scale Regular Expression Matching Proc. of the 2010 International Conference on Field-Programmable Technology (FPT'10), 21-28 Proc. of the 2010 International Conference on Field-Programmable Technology (FPT'10), 21-28 Proc. of the 2010 International Conference on Field-Programmable Technology (FPT'10), 21-28 2010/12 Refereed English Research paper(international conference proceedings) Disclose to all
Sato Taisuke, Minato Shin-ichi 佐藤 泰介, 湊 真一 Sato Taisuke, Minato Shin-ichi Bayesian Networks and Discrete Structure Manipulation System(<Special Issue>Advanced Methodologies for Bayesian Networks) ベイジアンネットワークと離散構造処理系(<特集>ベイジアンネットワークの最先端) Bayesian Networks and Discrete Structure Manipulation System(<Special Issue>Advanced Methodologies for Bayesian Networks) Journal of Japanese Society for Artificial Intelligence, 25, 6, 796-802 人工知能学会誌, 25, 6, 796-802 Journal of Japanese Society for Artificial Intelligence, 25, 6, 796-802 2010/11 Refereed Japanese Research paper(scientific journal) Disclose to all
KANETA Yusaku,MINATO Shin‐ichi,ARIMURA Hiroki KANETA Yusaku, MINATO Shin‐ichi, ARIMURA Hiroki KANETA Yusaku,MINATO Shin‐ichi,ARIMURA Hiroki Fast Bit-Parallel Matching for Network and Regular Expressions Fast Bit-Parallel Matching for Network and Regular Expressions Fast Bit-Parallel Matching for Network and Regular Expressions Lect Notes Comput Sci, 6393, 372-384 Lect Notes Comput Sci, 6393, 372-384 Lect Notes Comput Sci, 6393, 372-384 2010 Refereed English Research paper(international conference proceedings) Disclose to all
MIYANAGA Yoshikazu, YOSHIZAWA Shingo, MINATO Shin-ichi 宮永 喜一, 吉澤 真吾, 湊 真一 MIYANAGA Yoshikazu, YOSHIZAWA Shingo, MINATO Shin-ichi 5. Interdisciplinary Research Project on Media and Network Technologies(<Special Section>Next-Generation Information Technology Based on Knowledge Discovery and Knowledge Federation: Hokkaido University Global COE Program and Research Projects on ICT in H 5.メディア系異分野共同研究プロジェクト(北の国から明日のICTに架ける橋,<特別小特集>知の創出を支える次世代IT基盤技術-北海道大学グローバルCOEプログラムと北海道内情報通信系研究グループの活動-) 5. Interdisciplinary Research Project on Media and Network Technologies(<Special Section>Next-Generation Information Technology Based on Knowledge Discovery and Knowledge Federation: Hokkaido University Global COE Program and Research Projects on ICT in H The Journal of the Institute of Electronics, Information, and Communication Engineers, 92, 10, 833-836 電子情報通信学会誌, 92, 10, 833-836 The Journal of the Institute of Electronics, Information, and Communication Engineers, 92, 10, 833-836 2009/10 Refereed Japanese Research paper(scientific journal) Disclose to all
YAMASHITA Shigeru, MINATO Shin-ichi, MILLER D. Michael YAMASHITA Shigeru, MINATO Shin-ichi, MILLER D. Michael YAMASHITA Shigeru, MINATO Shin-ichi, MILLER D. Michael DDMF : An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction DDMF : An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 91, 12, 3793-3802 IEICE transactions on fundamentals of electronics, communications and computer sciences, 91, 12, 3793-3802 IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, 91, 12, 3793-3802 2008/12 Refereed English Research paper(scientific journal) Disclose to all
UNO Takeaki, MINATO Shinichi, TAKEDA Masayuki 宇野 毅明, 湊 真一, 竹田 正幸 UNO Takeaki, MINATO Shinichi, TAKEDA Masayuki Revolutionarily Fast Algorithms for Info-plosion Era(<Special Features>Creating Vital Information Technologies for the Info-plosion Era) 2.情報爆発時代のための新しい超高速アルゴリズム(パートI:情報爆発時代における新しい基盤技術,<特集>情報爆発時代におけるわくわくするITの創出を目指して) Revolutionarily Fast Algorithms for Info-plosion Era(<Special Features>Creating Vital Information Technologies for the Info-plosion Era) IPSJ Magazine, 49, 8, 897-903 情報処理, 49, 8, 897-903 IPSJ Magazine, 49, 8, 897-903 2008/08 Refereed Japanese Research paper(scientific journal) Disclose to all
IWASAKI Haruya, MINATO Shin-ichi, ZEUGMANN Thomas 岩崎 玄弥, 湊 真一, ツォイクマン トーマス IWASAKI Haruya, MINATO Shin-ichi, ZEUGMANN Thomas A Method of ZBDD Variable Ordering for Frequent Pattern Mining 頻出パターンマイニングのためのゼロサプレス型BDDの変数順序付け方法とその評価(データマイニング,<特集>データ工学論文) A Method of ZBDD Variable Ordering for Frequent Pattern Mining The IEICE transactions on information and systems (Japanese edetion), 91, 3, 608-618 電子情報通信学会論文誌. D, 情報・システム, 91, 3, 608-618 The IEICE transactions on information and systems (Japanese edetion), 91, 3, 608-618 2008/03 Refereed Japanese Research paper(scientific journal) Disclose to all
MINATO Shin‐ichi,UNO Takeaki,ARIMURA Hiroki MINATO Shin‐ichi, UNO Takeaki, ARIMURA Hiroki MINATO Shin‐ichi,UNO Takeaki,ARIMURA Hiroki LCM over ZBDDs: Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation LCM over ZBDDs: Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation LCM over ZBDDs: Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation Lect Notes Comput Sci, 5012, 234-246 Lect Notes Comput Sci, 5012, 234-246 Lect Notes Comput Sci, 5012, 234-246 2008 Refereed English Research paper(international conference proceedings) Disclose to all
MINATO Shin-ichi, ARIMURA Hiroki MINATO Shin-ichi, ARIMURA Hiroki MINATO Shin-ichi, ARIMURA Hiroki Frequent Closed Item Set Mining Based on Zero-suppressed BDDs Frequent closed item set mining based on zero-suppressed BDDs (論文特集:データマイニングと統計数理) Frequent Closed Item Set Mining Based on Zero-suppressed BDDs Transactions of the Japanese Society for Artificial Intelligence, 22, 2, 165-172 人工知能学会論文誌 = Transactions of the Japanese Society for Artificial Intelligence : AI, 22, 2, 165-172 Transactions of the Japanese Society for Artificial Intelligence, 22, 2, 165-172 2007/11 Refereed English Research paper(scientific journal) Disclose to all
MINATO Shin-ichi, ITO Kimihito MINATO Shin-ichi, ITO Kimihito MINATO Shin-ichi, ITO Kimihito Symmetric Item Set Mining Method Using Zero-suppressed BDDs and Application to Biological Data Symmetric item set mining method using zero-suppressed BDDs and application to biological data (論文特集:データマイニングと統計数理) Symmetric Item Set Mining Method Using Zero-suppressed BDDs and Application to Biological Data Transactions of the Japanese Society for Artificial Intelligence, 22, 2, 156-164 人工知能学会論文誌 = Transactions of the Japanese Society for Artificial Intelligence : AI, 22, 2, 156-164 Transactions of the Japanese Society for Artificial Intelligence, 22, 2, 156-164 2007/11 Refereed English Research paper(scientific journal) Disclose to all
MINATO Shin-ichi, ARIMURA Hiroki 湊 真一, 有村 博紀 MINATO Shin-ichi, ARIMURA Hiroki Efficient Method of Transaction Database Analysis Using Zero-Suppressed BDDs ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの効率的解析手法(データマイニング,<特集>データ工学論文) Efficient Method of Transaction Database Analysis Using Zero-Suppressed BDDs The IEICE transactions on information and systems (Japanese edetion), 89, 2, 172-182 電子情報通信学会論文誌. D, 情報・システム, 89, 2, 172-182 The IEICE transactions on information and systems (Japanese edetion), 89, 2, 172-182 2006/02 Refereed Japanese Research paper(scientific journal) Disclose to all
MINATO Shin‐ichi MINATO Shin‐ichi MINATO Shin‐ichi Efficient Database Analysis Using VSOP Calculator Based on Zero-Suppressed BDDs Efficient Database Analysis Using VSOP Calculator Based on Zero-Suppressed BDDs Efficient Database Analysis Using VSOP Calculator Based on Zero-Suppressed BDDs Lect Notes Comput Sci, 4012, 169-181 Lect Notes Comput Sci, 4012, 169-181 Lect Notes Comput Sci, 4012, 169-181 2006 Refereed English Research paper(international conference proceedings) Disclose to all
MINATO Shin‐ichi MINATO Shin‐ichi MINATO Shin‐ichi Symmetric Item Set Mining Based on Zero-Suppressed BDDs Symmetric Item Set Mining Based on Zero-Suppressed BDDs Symmetric Item Set Mining Based on Zero-Suppressed BDDs Lect Notes Comput Sci, 4265, 321-326 Lect Notes Comput Sci, 4265, 321-326 Lect Notes Comput Sci, 4265, 321-326 2006 Refereed English Research paper(international conference proceedings) Disclose to all
INOUE Takeru, TANI Seiichiro, TAKAHASHI Hirokazu, MINATO Shinichi, MIYAZAKI Toshiaki, TOYOSHIMA Kan 井上 武, 谷 誠一郎, 高橋 宏和, 湊 真一, 宮崎 敏明, 豊島 鑑 INOUE Takeru, TANI Seiichiro, TAKAHASHI Hirokazu, MINATO Shinichi, MIYAZAKI Toshiaki, TOYOSHIMA Kan Design and Implementation of the Incrementally Deployable Multicast System Based on Flexcast Flexcastによる段階的導入に優れたマルチキャストシステムの設計と実装(ネットワーク・並列分散システムソフトウェア, <特集>システム開発論文) Design and Implementation of the Incrementally Deployable Multicast System Based on Flexcast The transactions of the Institute of Electronics, Information and Communication Engineers. D-I, 88, 2, 272-291 電子情報通信学会論文誌. D-I, 情報・システム, I-情報処理, 88, 2, 272-291 The transactions of the Institute of Electronics, Information and Communication Engineers. D-I, 88, 2, 272-291 2005/02 Refereed Japanese Research paper(scientific journal) Disclose to all
Minato Shin-ichi Minato Shin-ichi Streaming BDD manipulation Streaming BDD manipulation IEEE Transactions on Computers, 51, 5, 474-485 IEEE Transactions on Computers, 51, 5, 474-485 , 51, 5, 474-485 2002/05 Refereed English Research paper(scientific journal) Disclose to all
Minato Shin-ichi 湊 真一 Minato Shin-ichi BDDs (Binary Decision Diagrams) and their Applications BDD(二分決定グラフ)とその応用 BDDs (Binary Decision Diagrams) and their Applications Bulletin of the Japan Society for Industrial and applied Mathematics, 9, 3, 194-206 応用数理, 9, 3, 194-206 Bulletin of the Japan Society for Industrial and applied Mathematics, 9, 3, 194-206 1999/09 Refereed Japanese Research paper(scientific journal) Disclose to all
H. Okuno, S. Minato, and H. Isozaki H. Okuno, S. Minato, and H. Isozaki H. Okuno, S. Minato, and H. Isozaki On the Properties of Combination Set Operations On the Properties of Combination Set Operations On the Properties of Combination Set Operations Information Processing Letters, 66, 4, 195-199 Information Processing Letters, 66, 4, 195-199 Information Processing Letters, 66, 4, 195-199 1998 Refereed English Research paper(scientific journal) Disclose to all
ROTTER Dror, HAMAGUCHI Kiyoharu, MINATO Shin-ichi, YAJIMA Shuzo ROTTER Dror, HAMAGUCHI Kiyoharu, MINATO Shin-ichi, YAJIMA Shuzo ROTTER Dror, HAMAGUCHI Kiyoharu, MINATO Shin-ichi, YAJIMA Shuzo Manipulation of Large-Scale Polynomials Using BMDs (Special Section on VLSI Design and CAD Algorithms) Manipulation of Large-Scale Polynomials Using BMDs : Special Section on VLSI Design and CAD Algorithms Manipulation of Large-Scale Polynomials Using BMDs (Special Section on VLSI Design and CAD Algorithms) IEICE transactions on fundamentals of electronics, communications and computer sciences, 80, 10, 1774-1781 IEICE transactions on fundamentals of electronics, communications and computer sciences, 80, 10, 1774-1781 IEICE transactions on fundamentals of electronics, communications and computer sciences, 80, 10, 1774-1781 1997/10 Refereed English Research paper(scientific journal) Disclose to all
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Arithmetic Boolean Expression Manipulator Using BDDs Arithmetic Boolean Expression Manipulator Using BDDs Arithmetic Boolean Expression Manipulator Using BDDs Formal Methods in System Design, 10, 2, 221-242 Formal Methods in System Design, 10, 2, 221-242 Formal Methods in System Design, 10, 2, 221-242 1997/04 Refereed English Research paper(scientific journal) Disclose to all
Okuno G. Hiroshi, Minato Shin-ichi 奥乃 博, 湊 真一 Okuno G. Hiroshi, Minato Shin-ichi Solving Constraint Statisfaction Problems by Binary Decision Diagram 二分決定グラフによる制約充足問題の解法 Solving Constraint Statisfaction Problems by Binary Decision Diagram IPSJ Journal, 36, 8, 1789-1799 情報処理学会論文誌, 36, 8, 1789-1799 IPSJ Journal, 36, 8, 1789-1799 1995/08 Refereed Japanese Research paper(scientific journal) Disclose to all
Minato Shin-ichi Minato Shin-ichi Minato Shin-ichi BEM-II: An Arithmetic Boolean Expression Manipulator Using BDDs (Special Section on VLSI Design and CAD Algorithms) BEM-II: An Arithmetic Boolean Expression Manipulator Using BDDs (Special Section on VLSI Design and CAD Algorithms) BEM-II: An Arithmetic Boolean Expression Manipulator Using BDDs (Special Section on VLSI Design and CAD Algorithms) IEICE transactions on fundamentals of electronics, communications and computer sciences, 76, 10, 1721-1729 IEICE transactions on fundamentals of electronics, communications and computer sciences, 76, 10, 1721-1729 IEICE transactions on fundamentals of electronics, communications and computer sciences, 76, 10, 1721-1729 1993/10 Refereed English Research paper(scientific journal) Disclose to all
Minato Shin-ichi Minato Shin-ichi Minato Shin-ichi Fast Generation of Prime-Irredundant Covers from Binary Decision Diagrams Fast Generation of Prime-Irredundant Covers from Binary Decision Diagrams Fast Generation of Prime-Irredundant Covers from Binary Decision Diagrams IEICE transactions on fundamentals of electronics, communications and computer sciences, 76, 6, 967-973 IEICE transactions on fundamentals of electronics, communications and computer sciences, 76, 6, 967-973 IEICE transactions on fundamentals of electronics, communications and computer sciences, 76, 6, 967-973 1993/06 Refereed English Research paper(scientific journal) Disclose to all
湊 真一 湊 真一 Techniques for BDD Manipulation on Computers 2. 計算機上での BDD の処理技法 (&lt特集&gt BDD (二分決定グラフ)) Techniques for BDD Manipulation on Computers IPSJ Magazine, 34, 5, 593-599 情報処理, 34, 5, 593-599 IPSJ Magazine, 34, 5, 593-599 1993/05 Refereed Japanese Research paper(scientific journal) Disclose to all
湊 真一 湊 真一 「わくわく」 - 技術革新のキーワード - 「わくわく」 - 技術革新のキーワード - 電子情報通信学会誌, 75, 11, 1146-1149 電子情報通信学会誌, 75, 11, 1146-1149 , 75, 11, 1146-1149 1992/11 Refereed Japanese Research paper(scientific journal) Disclose to all
MINATO SHIN-ICHI, ISHIURA NAGISA, YAJIMA SHUZO 湊 真一, 石浦 菜岐佐, 矢島 脩三 MINATO SHIN-ICHI, ISHIURA NAGISA, YAJIMA SHUZO Shared Binary Decision Diagrams for Efficient Boolean Function Manipulation 論理関数の共有二分決定グラフによる表現とその効率的処理手法 Shared Binary Decision Diagrams for Efficient Boolean Function Manipulation IPSJ Journal, 32, 1, 77-85 情報処理学会論文誌, 32, 1, 77-85 IPSJ Journal, 32, 1, 77-85 1991/01 Refereed Japanese Research paper(scientific journal) Disclose to all
Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, and Hiroki Arimura Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, and Hiroki Arimura Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, and Hiroki Arimura High-speed String and Regular Expression Matching on FPGA High-speed String and Regular Expression Matching on FPGA High-speed String and Regular Expression Matching on FPGA Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011) Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011) Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011) Refereed English Research paper(international conference proceedings) Disclose to all

  • <<
  • >>
Title language:
Misc
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Bibliography Bibliography(Japanese) Bibliography(English) Publication date Refereed paper Language Publishing type Disclose
中畑裕, 川原純, 堀山貴史, 湊真一 中畑裕, 川原純, 堀山貴史, 湊真一 ZDDを用いたグラフ細分構造の列挙 ZDDを用いたグラフ細分構造の列挙 電子情報通信学会コンピュテーション研究会, 信学技報, 119, 21, 51-58 電子情報通信学会コンピュテーション研究会, 信学技報, 119, 21, 51-58 , 119, 21, 51-58 2019/05 Japanese Summary of the papers read (national conference and other science council) Disclose to all
Takashi Horiyama, Jun Kawahara, Shin-ichi Minato, Yu Nakahata Takashi Horiyama, Jun Kawahara, Shin-ichi Minato, Yu Nakahata Takashi Horiyama, Jun Kawahara, Shin-ichi Minato, Yu Nakahata Decomposing a Graph into Unigraphs Decomposing a Graph into Unigraphs Decomposing a Graph into Unigraphs arXiv preprint arXiv:1904.09438 arXiv preprint arXiv:1904.09438 arXiv preprint arXiv:1904.09438 2019/05 English Institution technical report and pre-print, etc. Disclose to all
湊真一 湊真一 湊真一 電力システムに貢献するアルゴリズム技術とその将来 電力システムに貢献するアルゴリズム技術とその将来 電力システムに貢献するアルゴリズム技術とその将来 電気学会全国大会講演論文集(CD-ROM), 2019, ROMBUNNO.H4‐6 電気学会全国大会講演論文集(CD-ROM), 2019, ROMBUNNO.H4‐6 電気学会全国大会講演論文集(CD-ROM), 2019, ROMBUNNO.H4‐6 2019/03 Japanese Summary of the papers read (national conference and other science council) Disclose to all
加藤剛, 湊真一 加藤剛, 湊真一 加藤剛, 湊真一 7次対称方陣の数え上げ 7次対称方陣の数え上げ 7次対称方陣の数え上げ 情報処理学会研究報告(Web), 2019, AL-171, Vol.2019‐AL‐171,No.7,1‐7 (WEB ONLY) 情報処理学会研究報告(Web), 2019, AL-171, Vol.2019‐AL‐171,No.7,1‐7 (WEB ONLY) 情報処理学会研究報告(Web), 2019, AL-171, Vol.2019‐AL‐171,No.7,1‐7 (WEB ONLY) 2019/01 Japanese Summary of the papers read (national conference and other science council) Disclose to all
湊真一 湊真一 湊真一 離散構造処理系プロジェクトの近況について 離散構造処理系プロジェクトの近況について 離散構造処理系プロジェクトの近況について 電子情報通信学会技術研究報告, 118, 268(COMP2018 21-30)(Web), 55 (WEB ONLY) 電子情報通信学会技術研究報告, 118, 268(COMP2018 21-30)(Web), 55 (WEB ONLY) 電子情報通信学会技術研究報告, 118, 268(COMP2018 21-30)(Web), 55 (WEB ONLY) 2018/10 Japanese Summary of the papers read (national conference and other science council) Disclose to all
西野正彬, 井上武, 安田宜仁, 湊真一, 永田昌明 西野正彬, 井上武, 安田宜仁, 湊真一, 永田昌明 西野正彬, 井上武, 安田宜仁, 湊真一, 永田昌明 コミュニケーション科学のさらなる深化 二分決定グラフを用いたネットワーク信頼性最適化法 コミュニケーション科学のさらなる深化 二分決定グラフを用いたネットワーク信頼性最適化法 コミュニケーション科学のさらなる深化 二分決定グラフを用いたネットワーク信頼性最適化法 NTT技術ジャーナル, 30, 9, 16‐19 NTT技術ジャーナル, 30, 9, 16‐19 NTT技術ジャーナル, 30, 9, 16‐19 2018/09 Japanese Introduction and explanation (bulletin of university, research institution) Disclose to all
湊真一, 川原純, 水田正弘, 石岡文生, 栗原考次 湊真一, 川原純, 水田正弘, 石岡文生, 栗原考次 湊真一, 川原純, 水田正弘, 石岡文生, 栗原考次 A Fast Algorithm for Combinatorial Hotspot Mining Based on Scan Statistic スキャン統計量に基づく組合せホットスポット抽出を行う高速アルゴリズム A Fast Algorithm for Combinatorial Hotspot Mining Based on Scan Statistic 情報処理学会研究報告(Web), 2018, AL-169, Vol.2018‐AL‐169,No.3,1‐8 (WEB ONLY) 情報処理学会研究報告(Web), 2018, AL-169, Vol.2018‐AL‐169,No.3,1‐8 (WEB ONLY) 情報処理学会研究報告(Web), 2018, AL-169, Vol.2018‐AL‐169,No.3,1‐8 (WEB ONLY) 2018/08 Japanese Summary of the papers read (national conference and other science council) Disclose to all
鈴木浩史, 中野裕太, 住谷陽輔, 湊真一, 前田理 鈴木浩史, 中野裕太, 住谷陽輔, 湊真一, 前田理 鈴木浩史, 中野裕太, 住谷陽輔, 湊真一, 前田理 化学反応経路ネットワークにおけるZDDを用いたエネルギー制限付き経路列挙 化学反応経路ネットワークにおけるZDDを用いたエネルギー制限付き経路列挙 化学反応経路ネットワークにおけるZDDを用いたエネルギー制限付き経路列挙 情報処理学会研究報告(Web), 2018, AL-169, Vol.2018‐AL‐169,No.7,1‐6 (WEB ONLY) 情報処理学会研究報告(Web), 2018, AL-169, Vol.2018‐AL‐169,No.7,1‐6 (WEB ONLY) 情報処理学会研究報告(Web), 2018, AL-169, Vol.2018‐AL‐169,No.7,1‐6 (WEB ONLY) 2018/08 Japanese Summary of the papers read (national conference and other science council) Disclose to all
高橋翔哉, 湊真一, 瀧川一学 高橋翔哉, 湊真一, 瀧川一学 高橋翔哉, 湊真一, 瀧川一学 SeqBDDを用いた集合分割の族の表現法と実験的評価 SeqBDDを用いた集合分割の族の表現法と実験的評価 SeqBDDを用いた集合分割の族の表現法と実験的評価 情報処理学会研究報告(Web), 2018, AL-169, Vol.2018‐AL‐169,No.6,1‐7 (WEB ONLY) 情報処理学会研究報告(Web), 2018, AL-169, Vol.2018‐AL‐169,No.6,1‐7 (WEB ONLY) 情報処理学会研究報告(Web), 2018, AL-169, Vol.2018‐AL‐169,No.6,1‐7 (WEB ONLY) 2018/08 Japanese Summary of the papers read (national conference and other science council) Disclose to all
SUZUKI Hirofumi, ISHIHATA Masakazu, MINATO Shin-ichi 鈴木 浩史, 石畠 正和, 湊 真一 SUZUKI Hirofumi, ISHIHATA Masakazu, MINATO Shin-ichi Solving Various Network Design Problems Using ZDDs ZDD を用いた種々のネットワーク設計問題の解法 Solving Various Network Design Problems Using ZDDs Proc. of JSAI, 2018, 0, 4K2OS16b03-4K2OS16b03 JSAI大会論文集, 2018, 0, 4K2OS16b03-4K2OS16b03 Proc. of JSAI, 2018, 0, 4K2OS16b03-4K2OS16b03 2018/06 Japanese Summary of the papers read (national conference and other science council) Disclose to all
大畑 翔平, 湊 真一 大畑 翔平, 湊 真一 大畑 翔平, 湊 真一 Experiments and Considerations on Enumerating Combinatorial Test Cases Using ZDDs ZDDを用いた組合せテストケースの列挙索引化に関する実験と考察 (特集 「命題論理の充足可能性問題SATの最新動向」および一般) Experiments and Considerations on Enumerating Combinatorial Test Cases Using ZDDs 人工知能基本問題研究会, 106, 15-19 人工知能基本問題研究会, 106, 15-19 人工知能基本問題研究会, 106, 15-19 2018/03/16 Japanese Disclose to all
湊 真一 湊 真一 湊 真一 LSI Routing Problem - Routing Problem Solver Contest at DA Symposium -:5. Method by using ZDDs LSIの配線問題 -DAシンポジウムの配線問題解法コンテスト-:5.ZDDを用いた解法 LSI Routing Problem - Routing Problem Solver Contest at DA Symposium -:5. Method by using ZDDs 情報処理, 59, 3, 243-247 情報処理, 59, 3, 243-247 情報処理, 59, 3, 243-247 2018/02 Japanese Introduction and explanation (scientific journal) Disclose to all
林 大祐, 羽室 行信, 岡田 克彦, 湊 真一 林 大祐, 羽室 行信, 岡田 克彦, 湊 真一 林 大祐, 羽室 行信, 岡田 克彦, 湊 真一 Exhaustive Analysis of Portfolios under the Day of the Week Effect in the Japanese Stock Market Database 日本株データベースにおける曜日効果を考慮した投資モデルの網羅的分析 (特集 「ビジネスにおける機械学習/人工知能」及び一般) Exhaustive Analysis of Portfolios under the Day of the Week Effect in the Japanese Stock Market Database 人工知能基本問題研究会, 105, 33-39 人工知能基本問題研究会, 105, 33-39 人工知能基本問題研究会, 105, 33-39 2018/01/28 Japanese Disclose to all
金森 憲太朗, 石畠 正和, 湊 真一, 有村 博紀 金森 憲太朗, 石畠 正和, 湊 真一, 有村 博紀 金森 憲太朗, 石畠 正和, 湊 真一, 有村 博紀 Efficient Algorithms for Estimating Regularization Parameters of Ordered Decision Trees 順序決定木に対する正則化パラメータ推定の高速化 (特集 「ビジネスにおける機械学習/人工知能」及び一般) Efficient Algorithms for Estimating Regularization Parameters of Ordered Decision Trees 人工知能基本問題研究会, 105, 50-57 人工知能基本問題研究会, 105, 50-57 人工知能基本問題研究会, 105, 50-57 2018/01/28 Japanese Disclose to all
西野 正彬, 安田 宜仁, 湊 真一, 永田 昌明 西野 正彬, 安田 宜仁, 湊 真一, 永田 昌明 厳密被覆問題の高速な全解列挙法 (特集 人に迫るAI,人に寄り添うAI : corevoを支えるコミュニケーション科学) 厳密被覆問題の高速な全解列挙法 (特集 人に迫るAI,人に寄り添うAI : corevoを支えるコミュニケーション科学) NTT技術ジャーナル, 29, 9, 13-16 NTT技術ジャーナル, 29, 9, 13-16 , 29, 9, 13-16 2017/09 Japanese Disclose to all
戸田 貴久、, 斎藤 寿樹, 岩下 洋哲, 川原 純, 湊 真一 戸田 貴久、, 斎藤 寿樹, 岩下 洋哲, 川原 純, 湊 真一 戸田 貴久、, 斎藤 寿樹, 岩下 洋哲, 川原 純, 湊 真一 ZDDs and enumeration problems: State-of-the-art techniques and programming tool ZDD と列挙問題 - 最新の技法とプログラミングツール ZDDs and enumeration problems: State-of-the-art techniques and programming tool コンピュータ ソフトウェア, 34, 3, 97-120 コンピュータ ソフトウェア, 34, 3, 97-120 コンピュータ ソフトウェア, 34, 3, 97-120 2017/08/09 Japanese Disclose to all
鈴木 浩史, 石畠 正和, 湊 真一 鈴木 浩史, 石畠 正和, 湊 真一 鈴木 浩史, 石畠 正和, 湊 真一 Enumerating Strongly Connected Subgraphs Using Frontier Based Search フロンティア法による強連結な部分グラフの列挙 (特集 「人と接する人工知能技術」および一般) Enumerating Strongly Connected Subgraphs Using Frontier Based Search 人工知能基本問題研究会, 104, 26-31 人工知能基本問題研究会, 104, 26-31 人工知能基本問題研究会, 104, 26-31 2017/08/08 Japanese Disclose to all
間野 暢, 井上 武, 水谷 公宏, 湊 真一, 明石 修 間野 暢, 井上 武, 水谷 公宏, 湊 真一, 明石 修 間野 暢, 井上 武, 水谷 公宏, 湊 真一, 明石 修 Network Reduction Method that Minimizes Total Capacity Change for Virtual Network Embedding Acceleration 仮想NW埋込高速化のための総容量変化を最小化するNW簡約手法 (情報ネットワーク) Network Reduction Method that Minimizes Total Capacity Change for Virtual Network Embedding Acceleration 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 117, 129, 13-18 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 117, 129, 13-18 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 117, 129, 13-18 2017/07/18 Japanese Disclose to all
坂上 晋作, 石畠 正和, 湊 真一 坂上 晋作, 石畠 正和, 湊 真一 坂上 晋作, 石畠 正和, 湊 真一 Efficient Adversarial Combinatorial Bandit Algorithm via Zero-suppressed Decision Diagrams 敵対的組合せバンディット問題に対するZDDを用いたアルゴリズム (情報論的学習理論と機械学習) Efficient Adversarial Combinatorial Bandit Algorithm via Zero-suppressed Decision Diagrams 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 117, 110, 43-48 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 117, 110, 43-48 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 117, 110, 43-48 2017/06/23 Japanese Disclose to all
TODA Takahisa, SAITOH Toshiki, IWASHITA Hiroaki, KAWAHARA Jun, MINATO Shin-ichi 戸田 貴久, 斎藤 寿樹, 岩下 洋哲, 川原 純, 湊 真一 TODA Takahisa, SAITOH Toshiki, IWASHITA Hiroaki, KAWAHARA Jun, MINATO Shin-ichi ZDDs and Enumeration Problems: State-of-The-Art Techniques and Programming Tool ZDDと列挙問題―最新の技法とプログラミングツール ZDDs and Enumeration Problems: State-of-The-Art Techniques and Programming Tool Computer Software, 34, 3, 3_97-3_120 コンピュータ ソフトウェア, 34, 3, 3_97-3_120 Computer Software, 34, 3, 3_97-3_120 2017 Japanese Disclose to all
井上 祐馬, 湊 真一 井上 祐馬, 湊 真一 井上 祐馬, 湊 真一 Applying Permutation Decision Diagrams to Cycle type Partition on a Permutation Set 順列のサイクルタイプ同値類分割に対する順列決定グラフの適用 (特集 「人工知能・機械学習技術の他分野への応用」および一般) Applying Permutation Decision Diagrams to Cycle type Partition on a Permutation Set 人工知能基本問題研究会, 101, 47-52 人工知能基本問題研究会, 101, 47-52 人工知能基本問題研究会, 101, 47-52 2016/08/07 Japanese Disclose to all
鈴木 浩史, 湊 真一 鈴木 浩史, 湊 真一 鈴木 浩史, 湊 真一 Adding the Vertex Indices for Enumerating and Indexing the Graphs via ZDD ZDDを用いたグラフ列挙索引化における頂点インデックスの追加 (特集 「人工知能・機械学習技術の他分野への応用」および一般) Adding the Vertex Indices for Enumerating and Indexing the Graphs via ZDD 人工知能基本問題研究会, 101, 41-46 人工知能基本問題研究会, 101, 41-46 人工知能基本問題研究会, 101, 41-46 2016/08/07 Japanese Disclose to all
和佐 州洋, 石畠 正和, 宇野 毅明, 湊 真一 和佐 州洋, 石畠 正和, 宇野 毅明, 湊 真一 和佐 州洋, 石畠 正和, 宇野 毅明, 湊 真一 Sampling Algorithms for Subgraphs Based on Enumeration Trees and MCMC 列挙木とMCMCを組み合わせた部分グラフサンプリングアルゴリズムの構築 (特集 「人工知能・機械学習技術の他分野への応用」および一般) Sampling Algorithms for Subgraphs Based on Enumeration Trees and MCMC 人工知能基本問題研究会, 101, 35-40 人工知能基本問題研究会, 101, 35-40 人工知能基本問題研究会, 101, 35-40 2016/08/07 Japanese Disclose to all
蓑田 玲緒奈, 湊 真一 蓑田 玲緒奈, 湊 真一 蓑田 玲緒奈, 湊 真一 Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking モデル検査によるSmart Objectの近傍近接連携モデルの検証 (特集 「人工知能・機械学習技術の他分野への応用」および一般) Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking 人工知能基本問題研究会, 101, 7-14 人工知能基本問題研究会, 101, 7-14 人工知能基本問題研究会, 101, 7-14 2016/08/07 Japanese Disclose to all
湊 真一 湊 真一 湊 真一 Looking Back the Turning Points in My Career 私は何がしたかったのか,そしてどのように進んできたのか (つながりが創発するイノベーション(第7回)) Looking Back the Turning Points in My Career 人工知能 : 人工知能学会誌 : journal of the Japanese Society for Artificial Intelligence, 31, 3, 452-463 人工知能 : 人工知能学会誌 : journal of the Japanese Society for Artificial Intelligence, 31, 3, 452-463 人工知能 : 人工知能学会誌 : journal of the Japanese Society for Artificial Intelligence, 31, 3, 452-463 2016/05 Japanese Disclose to all
川原 純, 堀田 敬介, 堀山 貴史, 湊 真一 川原 純, 堀田 敬介, 堀山 貴史, 湊 真一 1-A-4 m連結成分分割の高速列挙法と区割の比較(情報・離散最適化) 1-A-4 m連結成分分割の高速列挙法と区割の比較(情報・離散最適化) 日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, 2015, 12-13 日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, 2015, 12-13 , 2015, 12-13 2015/09/10 Japanese Disclose to all
青木 洋士, 安田 宜仁, 湊 真一 青木 洋士, 安田 宜仁, 湊 真一 青木 洋士, 安田 宜仁, 湊 真一 Enumerating and Indexing Walks Between Any Pair of Vertices 系列二分決定グラフを用いた全頂点対ウォークの列挙と索引化 (Theoretical Foundations of Computing) Enumerating and Indexing Walks Between Any Pair of Vertices 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 115, 205, 35-39 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 115, 205, 35-39 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 115, 205, 35-39 2015/09/01 Japanese Disclose to all
Minato Shin-ichi 湊 真一 Minato Shin-ichi BI-2-1 Discrete Structure Manipulation System Project : Recent Topics and Future Perspectives BI-2-1 離散構造処理系プロジェクト : 最近の話題と今後の展望(BI-2.離散構造処理の技法と情報ネットワークへの応用,依頼シンポジウム,ソサイエティ企画) BI-2-1 Discrete Structure Manipulation System Project : Recent Topics and Future Perspectives Proceedings of the Society Conference of IEICE, 2015, 2, "SS-49"-"SS-50" 電子情報通信学会ソサイエティ大会講演論文集, 2015, 2, "SS-49"-"SS-50" Proceedings of the Society Conference of IEICE, 2015, 2, "SS-49"-"SS-50" 2015/08/25 Japanese Disclose to all
Ito Hana, Inoue Yuma, Minato Shin-ichi 伊藤 華, 井上 祐馬, 湊 真一 Ito Hana, Inoue Yuma, Minato Shin-ichi A-009 Experiments and Considerations on Variable Ordering in Top-Down Construction of ZDDs A-009 ZDDのトップダウン構築における変数順序付け法の実験と考察(A分野:モデル・アルゴリズム・プログラミング,一般論文) A-009 Experiments and Considerations on Variable Ordering in Top-Down Construction of ZDDs 情報科学技術フォーラム講演論文集, 14, 1, 115-116 情報科学技術フォーラム講演論文集, 14, 1, 115-116 情報科学技術フォーラム講演論文集, 14, 1, 115-116 2015/08/24 Japanese Disclose to all
Takeuchi Fumito, Suzuki Hirofumi, Shiraishi Kousuke, Inoue Yuma, Minato Shin-ichi 竹内 文登, 鈴木 浩史, 白石 恒介, 井上 祐馬, 湊 真一 Takeuchi Fumito, Suzuki Hirofumi, Shiraishi Kousuke, Inoue Yuma, Minato Shin-ichi F-021 Similarity between Combinatorial Sets Using MEET Operation and Its Application F-021 MEET演算を用いた組合せ集合間の類似度の定義と応用(F分野:人工知能・ゲーム,一般論文) F-021 Similarity between Combinatorial Sets Using MEET Operation and Its Application 情報科学技術フォーラム講演論文集, 14, 2, 329-330 情報科学技術フォーラム講演論文集, 14, 2, 329-330 情報科学技術フォーラム講演論文集, 14, 2, 329-330 2015/08/24 Japanese Disclose to all
鈴木 浩史, 湊 真一 鈴木 浩史, 湊 真一 鈴木 浩史, 湊 真一 Frontier Method for Enumerating and Indexing the Vertex Induced Subgraphs 頂点誘導部分グラフを列挙索引化するフロンティア法 (コンピュテーション) Frontier Method for Enumerating and Indexing the Vertex Induced Subgraphs 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 115, 15, 15-20 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 115, 15, 15-20 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 115, 15, 15-20 2015/04/23 Japanese Disclose to all
SUGAYA Teruji, TODA Takahisa, MINATO Shin-ichi 菅谷 輝治, 戸田 貴久, 湊 真一 SUGAYA Teruji, TODA Takahisa, MINATO Shin-ichi ZDD Construction for Maximal Independent Set Enumeration on Hypergraph ハイパーグラフにおける極大独立集合列挙のためのZDD構築手法 (コンピュテーション) ZDD Construction for Maximal Independent Set Enumeration on Hypergraph IEICE technical report. Theoretical foundations of Computing, 114, 509, 19-27 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 114, 509, 19-27 IEICE technical report. Theoretical foundations of Computing, 114, 509, 19-27 2015/03/09 Japanese Disclose to all
Inoue Yuma, Minato Shin-ichi 井上 祐馬, 湊 真一 Inoue Yuma, Minato Shin-ichi DS-1-12 Choice of Decision Diagrams Based on Decomposition Considering Problem Properties DS-1-12 問題の性質を考慮した分解法に基づく決定グラフの選択(DS-1.COMP-ELC学生シンポジウム,シンポジウムセッション) DS-1-12 Choice of Decision Diagrams Based on Decomposition Considering Problem Properties Proceedings of the IEICE General Conference, 2015, 1, "S-23"-"S-24" 電子情報通信学会総合大会講演論文集, 2015, 1, "S-23"-"S-24" Proceedings of the IEICE General Conference, 2015, 1, "S-23"-"S-24" 2015/02/24 Japanese Disclose to all
Suzuki Hirofumi, Minato Shin-ichi 鈴木 浩史, 湊 真一 Suzuki Hirofumi, Minato Shin-ichi DS-1-7 An Improvement of the Flontier Method for Enumerating Sub-Graphs under Degree Constraints DS-1-7 次数制約を満たす部分グラフを列挙するためのフロンティア法の効率化(DS-1.COMP-ELC学生シンポジウム,シンポジウムセッション) DS-1-7 An Improvement of the Flontier Method for Enumerating Sub-Graphs under Degree Constraints Proceedings of the IEICE General Conference, 2015, 1, "S-13"-"S-14" 電子情報通信学会総合大会講演論文集, 2015, 1, "S-13"-"S-14" Proceedings of the IEICE General Conference, 2015, 1, "S-13"-"S-14" 2015/02/24 Japanese Disclose to all
SUZUKI HIROFUMI, MINATO SHIN'ICHI 鈴木浩史, 湊真一 SUZUKI HIROFUMI, MINATO SHIN'ICHI 次数制約を満たす部分グラフを列挙するためのフロンティア法の効率化 次数制約を満たす部分グラフを列挙するためのフロンティア法の効率化 次数制約を満たす部分グラフを列挙するためのフロンティア法の効率化 電子情報通信学会大会講演論文集(CD-ROM), 2015, ROMBUNNO.DS-1-7 電子情報通信学会大会講演論文集(CD-ROM), 2015, ROMBUNNO.DS-1-7 電子情報通信学会大会講演論文集(CD-ROM), 2015, ROMBUNNO.DS-1-7 2015/02/24 Japanese Disclose to all
INOUE YUUMA, MINATO SHIN'ICHI, MINATO SHIN'ICHI 井上祐馬, 湊真一, 湊真一 INOUE YUUMA, MINATO SHIN'ICHI, MINATO SHIN'ICHI 問題の性質を考慮した分解法に基づく決定グラフの選択 問題の性質を考慮した分解法に基づく決定グラフの選択 問題の性質を考慮した分解法に基づく決定グラフの選択 電子情報通信学会大会講演論文集(CD-ROM), 2015, ROMBUNNO.DS-1-12 電子情報通信学会大会講演論文集(CD-ROM), 2015, ROMBUNNO.DS-1-12 電子情報通信学会大会講演論文集(CD-ROM), 2015, ROMBUNNO.DS-1-12 2015/02/24 Japanese Disclose to all
ホリルロハマン ムハマド, 湊 真一 ホリルロハマン ムハマド, 湊 真一 ホリルロハマン ムハマド, 湊 真一 A Fast Algorithm for Enumerating and Indexing Eulerian Paths オイラー路の高速な列挙索引化アルゴリズム A Fast Algorithm for Enumerating and Indexing Eulerian Paths 人工知能学会全国大会論文集, 29, 1-4 人工知能学会全国大会論文集, 29, 1-4 人工知能学会全国大会論文集, 29, 1-4 2015 Japanese Disclose to all
竹内 文登, 安田 宜仁, 湊 真一 竹内 文登, 安田 宜仁, 湊 真一 組合せ集合のmeet演算による共通因子抽出 組合せ集合のmeet演算による共通因子抽出 人工知能学会全国大会論文集, 29, 1-4 人工知能学会全国大会論文集, 29, 1-4 , 29, 1-4 2015 Japanese Disclose to all
倉井 龍太郎, 安田 宜仁, 湊 真一 倉井 龍太郎, 安田 宜仁, 湊 真一 倉井 龍太郎, 安田 宜仁, 湊 真一 Fast NFA-based Regular Expression Matching Using Parallel Comparison 状態遷移の並列比較によるNFA照合高速化 Fast NFA-based Regular Expression Matching Using Parallel Comparison 人工知能学会全国大会論文集, 29, 1-4 人工知能学会全国大会論文集, 29, 1-4 人工知能学会全国大会論文集, 29, 1-4 2015 Japanese Disclose to all
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Counting by ZDD. Counting by ZDD. Counting by ZDD. Encyclopedia of Algorithms Encyclopedia of Algorithms Encyclopedia of Algorithms 2015 Refereed Disclose to all
NISHINO MASAAKI, YASUDA NORIHITO, HIRAO TSUTOMU, MINATO SHIN'ICHI, MINATO SHIN'ICHI, NAGATA MASAAKI 西野正彬, 安田宜仁, 平尾努, 湊真一, 湊真一, 永田昌明 NISHINO MASAAKI, YASUDA NORIHITO, HIRAO TSUTOMU, MINATO SHIN'ICHI, MINATO SHIN'ICHI, NAGATA MASAAKI 木刈込みに基づく文書要約のためのZDDを用いた動的計画法 木刈込みに基づく文書要約のためのZDDを用いた動的計画法 木刈込みに基づく文書要約のためのZDDを用いた動的計画法 言語処理学会年次大会発表論文集(Web), 21st, E7-2 (WEB ONLY) 言語処理学会年次大会発表論文集(Web), 21st, E7-2 (WEB ONLY) 言語処理学会年次大会発表論文集(Web), 21st, E7-2 (WEB ONLY) 2015 Japanese Disclose to all
MINATO Shin-ichi 湊 真一 MINATO Shin-ichi Overview of Discrete Structure Manipulation Using BDDs 二分決定グラフによる離散構造処理の概観 (小特集 「フカシギの数え方」から広がるアルゴリズムの理工学 : 二分決定グラフによる離散構造処理と広がる応用分野) Overview of Discrete Structure Manipulation Using BDDs The Journal of the Institute of Electronics, Information, and Communication Engineers, 97, 12, 1074-1079 電子情報通信学会誌 = The journal of the Institute of Electronics, Information and Communication Engineers, 97, 12, 1074-1079 The Journal of the Institute of Electronics, Information, and Communication Engineers, 97, 12, 1074-1079 2014/12 Japanese Disclose to all
KAWAHARA Jun, MINATO Shin-ichi 川原 純, 湊 真一 KAWAHARA Jun, MINATO Shin-ichi Compression, Enumeration and Indexing of Permutations and Sorting 順列の圧縮列挙索引化とソーティング (小特集 「フカシギの数え方」から広がるアルゴリズムの理工学 : 二分決定グラフによる離散構造処理と広がる応用分野) Compression, Enumeration and Indexing of Permutations and Sorting The Journal of the Institute of Electronics, Information, and Communication Engineers, 97, 12, 1086-1090 電子情報通信学会誌 = The journal of the Institute of Electronics, Information and Communication Engineers, 97, 12, 1086-1090 The Journal of the Institute of Electronics, Information, and Communication Engineers, 97, 12, 1086-1090 2014/12 Japanese Disclose to all
INOUE Yuma, MINATO Shin-ichi 井上 祐馬, 湊 真一 INOUE Yuma, MINATO Shin-ichi Fast Indexing All Eulerian Trails Using Permutation Decision Diagrams 順列決定グラフ(πDD)を用いたオイラー路の高速な列挙索引化 (Theoretical Foundations of Computing) Fast Indexing All Eulerian Trails Using Permutation Decision Diagrams IEICE technical report. Theoretical foundations of Computing, 114, 238, 25-29 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 114, 238, 25-29 IEICE technical report. Theoretical foundations of Computing, 114, 238, 25-29 2014/10/08 Japanese Disclose to all
TAKENOBU YUJI, KAWANO SHUNSUKE, HAYASHI YASUHIRO, YASUDA NORIHITO, MINATO SHIN'ICHI 竹延祐二, 河野俊介, 林泰弘, 安田宜仁, 湊真一 TAKENOBU YUJI, KAWANO SHUNSUKE, HAYASHI YASUHIRO, YASUDA NORIHITO, MINATO SHIN'ICHI Yearly Loss Minimization Method by Network Reconfiguration Using Branch and Bound Method 分枝限定法を用いた系統構成切替による年間の配電損失最小化手法 Yearly Loss Minimization Method by Network Reconfiguration Using Branch and Bound Method 電気学会電力技術研究会資料, PE-14, 115-117.119-127.187-202, 127-132 電気学会電力技術研究会資料, PE-14, 115-117.119-127.187-202, 127-132 電気学会電力技術研究会資料, PE-14, 115-117.119-127.187-202, 127-132 2014/09/24 Japanese Disclose to all
INOUE T., MANO T., MIZUTANI K., MINATO S., AKASHI O. 井上 武, 間野 暢, 水谷 后宏, 湊 真一, 明石 修 INOUE T., MANO T., MIZUTANI K., MINATO S., AKASHI O. Packet Classification for Global Network View of SDN with MDDs MDDを用いたSDNグローバルビューのためのパケット分類手法 (情報ネットワーク) Packet Classification for Global Network View of SDN with MDDs IEICE technical report. Information networks, 114, 207, 1-6 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報, 114, 207, 1-6 IEICE technical report. Information networks, 114, 207, 1-6 2014/09/11 Japanese Disclose to all
TAKENOBU YUJI, KAWANO SHUNSUKE, HAYASHI YASUHIRO, YASUDA NORIHITO, MINATO SHIN'ICHI 竹延祐二, 河野俊介, 林泰弘, 安田宜仁, 湊真一 TAKENOBU YUJI, KAWANO SHUNSUKE, HAYASHI YASUHIRO, YASUDA NORIHITO, MINATO SHIN'ICHI 系統構成切替による年間の配電損失最小化手法 系統構成切替による年間の配電損失最小化手法 系統構成切替による年間の配電損失最小化手法 電気学会電力・エネルギー部門大会論文集(CD-ROM), 2014, ROMBUNNO.P22 電気学会電力・エネルギー部門大会論文集(CD-ROM), 2014, ROMBUNNO.P22 電気学会電力・エネルギー部門大会論文集(CD-ROM), 2014, ROMBUNNO.P22 2014/09/10 Japanese Disclose to all
Kholilurrohman Muhammad, Minato Shin-ichi ホリルロハマン ムハマド, 湊 真一 Kholilurrohman Muhammad, Minato Shin-ichi A-017 A Lower Bound of the Number of Graph Walks Visiting Each Vertex at Most Twice A-017 グラフの各頂点を高々2回まで通る経路数の下界の改善(A分野:モデル・アルゴリズム・プログラミング,一般論文) A-017 A Lower Bound of the Number of Graph Walks Visiting Each Vertex at Most Twice 情報科学技術フォーラム講演論文集, 13, 1, 85-86 情報科学技術フォーラム講演論文集, 13, 1, 85-86 情報科学技術フォーラム講演論文集, 13, 1, 85-86 2014/08/19 Japanese Disclose to all
Gao Shan, Minato Shin-ichi 高 サン, 湊 真一 Gao Shan, Minato Shin-ichi A-009 Experiments and Considerations on ZDD Decomposition for Representing Bayesian Networks A-009 ベイジアンネットワークの確率計算のためのZDD分解法に関する実験と考察(A分野:モデル・アルゴリズム・プログラミング,一般論文) A-009 Experiments and Considerations on ZDD Decomposition for Representing Bayesian Networks 情報科学技術フォーラム講演論文集, 13, 1, 59-60 情報科学技術フォーラム講演論文集, 13, 1, 59-60 情報科学技術フォーラム講演論文集, 13, 1, 59-60 2014/08/19 Japanese Disclose to all
鮑若愚, 白井康之, 湊真一 鮑若愚, 白井康之, 湊真一 就職活動学生向けの企業情報推薦システムの提案 就職活動学生向けの企業情報推薦システムの提案 第76回全国大会講演論文集, 2014, 1, 621-622 第76回全国大会講演論文集, 2014, 1, 621-622 , 2014, 1, 621-622 2014/03/11 Japanese Disclose to all
Kholilurrohman Muhammad, Minato Shin-ichi ホリルロハマン ムハマド, 湊 真一 Kholilurrohman Muhammad, Minato Shin-ichi DS-1-10 Enumeration of graph walks visiting each vertex at most twice DS-1-10 グラフの各頂点を高々2回まで通る経路の数え上げ(DS-1.COMP-ELC学生シンポジウム,シンポジウムセッション) DS-1-10 Enumeration of graph walks visiting each vertex at most twice Proceedings of the IEICE General Conference, 2014, 1, "S-19"-"S-20" 電子情報通信学会総合大会講演論文集, 2014, 1, "S-19"-"S-20" Proceedings of the IEICE General Conference, 2014, 1, "S-19"-"S-20" 2014/03/04 Japanese Disclose to all
安井 雄一郎, 藤澤 克樹, 竹内 聖悟, 湊 真一 安井 雄一郎, 藤澤 克樹, 竹内 聖悟, 湊 真一 安井 雄一郎, 藤澤 克樹, 竹内 聖悟, 湊 真一 Fast implementation of shared-memory parallel algorithm using ULIBC (Ubiquity Library for Intelligently Binding Cores) ULIBCライブラリを用いた共有メモリ型並列アルゴリズムの高速化 Fast implementation of shared-memory parallel algorithm using ULIBC (Ubiquity Library for Intelligently Binding Cores) ハイパフォーマンスコンピューティングと計算科学シンポジウム論文集, 2014, 106-115 ハイパフォーマンスコンピューティングと計算科学シンポジウム論文集, 2014, 106-115 ハイパフォーマンスコンピューティングと計算科学シンポジウム論文集, 2014, 106-115 2013/12/31 Japanese Disclose to all
AOKI Hiroshi, TODA Takahisa, MINATO Shin-ichi 青木 洋士, 戸田 貴久, 湊 真一 AOKI Hiroshi, TODA Takahisa, MINATO Shin-ichi Three-way Indexing ZDDs for Large Scale Sparse Dataset 巨大で疎な組合せ集合を表現するための三分索引化ZDD Three-way Indexing ZDDs for Large Scale Sparse Dataset IEICE technical report. Theoretical foundations of Computing, 113, 252, 1-8 電子情報通信学会技術研究報告. COMP, コンピュテーション, 113, 252, 1-8 IEICE technical report. Theoretical foundations of Computing, 113, 252, 1-8 2013/10/11 Japanese Disclose to all
瀧澤 重志, 武知 祥史, 大田 章雄, 中野 浩太郎, 加藤 直樹, 井上 武, 堀山 貴史, 川原 純, 湊 真一 瀧澤 重志, 武知 祥史, 大田 章雄, 中野 浩太郎, 加藤 直樹, 井上 武, 堀山 貴史, 川原 純, 湊 真一 1-D-4 ZDDを用いた都市の避難所割り当ての列挙(災害対策) 1-D-4 ZDDを用いた都市の避難所割り当ての列挙(災害対策) 日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, 2013, 66-67 日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, 2013, 66-67 , 2013, 66-67 2013/09/11 Japanese Disclose to all
瀧澤重志, 武知祥史, 大田章雄, 中野浩太郎, 加藤直樹, 井上武, 堀山貴史, 川原純, 湊真一, 湊真一 瀧澤重志, 武知祥史, 大田章雄, 中野浩太郎, 加藤直樹, 井上武, 堀山貴史, 川原純, 湊真一, 湊真一 瀧澤重志, 武知祥史, 大田章雄, 中野浩太郎, 加藤直樹, 井上武, 堀山貴史, 川原純, 湊真一, 湊真一 ZDDを用いた都市の避難所割り当ての列挙 ZDDを用いた都市の避難所割り当ての列挙 ZDDを用いた都市の避難所割り当ての列挙 日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, 2013, 66-67 日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, 2013, 66-67 日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, 2013, 66-67 2013/09 Japanese Research paper Disclose to all
戸田貴久, 戸田貴久, 湊真一, 湊真一 戸田貴久, 戸田貴久, 湊真一, 湊真一 戸田貴久, 戸田貴久, 湊真一, 湊真一 二分決定グラフに基づく大規模ハイパーグラフの双対化とその応用 二分決定グラフに基づく大規模ハイパーグラフの双対化とその応用 二分決定グラフに基づく大規模ハイパーグラフの双対化とその応用 人工知能学会全国大会論文集(CD-ROM), 27th, ROMBUNNO.2E5-OS-09B-4-4 人工知能学会全国大会論文集(CD-ROM), 27th, ROMBUNNO.2E5-OS-09B-4-4 人工知能学会全国大会論文集(CD-ROM), 27th, ROMBUNNO.2E5-OS-09B-4-4 2013/06 Japanese Research paper Disclose to all
西野正彬, 安田宜仁, 湊真一, 永田昌明 西野正彬, 安田宜仁, 湊真一, 永田昌明 西野正彬, 安田宜仁, 湊真一, 永田昌明 ZDDを用いたPersonalized PageRankの高速計算法 ZDDを用いたPersonalized PageRankの高速計算法 ZDDを用いたPersonalized PageRankの高速計算法 人工知能学会全国大会論文集(CD-ROM), 27th, ROMBUNNO.2E5-OS-09B-3-4 人工知能学会全国大会論文集(CD-ROM), 27th, ROMBUNNO.2E5-OS-09B-3-4 人工知能学会全国大会論文集(CD-ROM), 27th, ROMBUNNO.2E5-OS-09B-3-4 2013/06 Japanese Research paper Disclose to all
DENZUMI Shuhei, KAWAHARA Jun, TSUDA Koji, ARIMURA Hiroki, MINATO Shin-ichi, SADAKANE Kunihiko 伝住 周平, 川原 純, 津田 宏治, 有村 博紀, 湊 真一, 定兼 邦彦 DENZUMI Shuhei, KAWAHARA Jun, TSUDA Koji, ARIMURA Hiroki, MINATO Shin-ichi, SADAKANE Kunihiko Compact and Fast Indices Based on Zero-Suppressed Binary Decision Diagrams ゼロサプレス型二分決定グラフに基くコンパクトかつ高速な索引構造(一般) Compact and Fast Indices Based on Zero-Suppressed Binary Decision Diagrams IEICE technical report. Theoretical foundations of Computing, 112, 498, 23-30 電子情報通信学会技術研究報告. COMP, コンピュテーション, 112, 498, 23-30 IEICE technical report. Theoretical foundations of Computing, 112, 498, 23-30 2013/03/11 English Disclose to all
湊 真一 湊 真一 「今どきの若者」にとっての学会とは 「今どきの若者」にとっての学会とは コンピュータソフトウェア, 30, 1 コンピュータソフトウェア, 30, 1 , 30, 1 2013/01/25 Japanese Disclose to all
IWASHITA Hiroaki, KAWAHARA Jun, MINATO Shin-ichi 岩下 洋哲, 川原 純, 湊 真一 IWASHITA Hiroaki, KAWAHARA Jun, MINATO Shin-ichi An Efficient ZDD Construction Method Using Recuresive Specifications 再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法(システム設計技術(1),デザインガイア2012-VLSI設計の新しい大地-) An Efficient ZDD Construction Method Using Recuresive Specifications IEICE technical report. Dependable computing, 112, 321, 25-29 電子情報通信学会技術研究報告. DC, ディペンダブルコンピューティング, 112, 321, 25-29 IEICE technical report. Dependable computing, 112, 321, 25-29 2012/11/19 Japanese Disclose to all
MINATO Shin-ichi 湊 真一 MINATO Shin-ichi Frontier-based Method : Efficient Graph Enumeration and Indexing Using BDDs/ZDDs ERATO湊離散構造処理系プロジェクトの概要と今後の展望について(ブロードバンドアクセス,ホームネットワーク,ネットワークサービス,通信利用アプリケーション,一般) Frontier-based Method : Efficient Graph Enumeration and Indexing Using BDDs/ZDDs IEICE technical report. Communication systems, 112, 309, 35-40 電子情報通信学会技術研究報告. CS, 通信方式, 112, 309, 35-40 IEICE technical report. Communication systems, 112, 309, 35-40 2012/11/14 Japanese Disclose to all
湊 真一 湊 真一 最先端の開拓者たち 湊真一氏 北海道大学大学院 情報科学研究科 教授 世界的権威が認めた超高速アルゴリズム 電力危機に挑む 最先端の開拓者たち 湊真一氏 北海道大学大学院 情報科学研究科 教授 世界的権威が認めた超高速アルゴリズム 電力危機に挑む 日経コンピュータ, 0, 818, 90-92 日経コンピュータ, 0, 818, 90-92 , 0, 818, 90-92 2012/09/27 Japanese Other article Disclose to all
INOUE Takeru, TAKANO Keiji, WATANABE Takayuki, KAWAHARA Jun, YOSHINAKA Ryo, KISHIMOTO Akihiro, TSUDA Koji, MINATO Shin-ichi, HAYASHI Yasuhiro 井上 武, 高野 圭司, 渡辺 喬之, 川原 純, 吉仲 亮, 岸本 章宏, 津田 宏治, 湊 真一, 林 泰弘 INOUE Takeru, TAKANO Keiji, WATANABE Takayuki, KAWAHARA Jun, YOSHINAKA Ryo, KISHIMOTO Akihiro, TSUDA Koji, MINATO Shin-ichi, HAYASHI Yasuhiro Analyzing power distribution networks by frontier-based method フロンティア法を用いた電力網解析手法(新世代・次世代ネットワーク,ネットワークとシステムの仮想化,仮想化環境の管理・監視,オーバーレイ,IPv6ネットワーク,フォトニックネットワーク及び一般) Analyzing power distribution networks by frontier-based method IEICE technical report. Information networks, 112, 134, 37-42 電子情報通信学会技術研究報告. IN, 情報ネットワーク, 112, 134, 37-42 IEICE technical report. Information networks, 112, 134, 37-42 2012/07/12 Japanese Disclose to all
MINATO Shin-ichi 湊 真一 MINATO Shin-ichi Frontier-based Method : Efficient Graph Enumeration and Indexing Using BDDs/ZDDs フロンティア法 : BDD/ZDDを用いた高速なグラフ列挙索引化の技法(新世代・次世代ネットワーク,ネットワークとシステムの仮想化,仮想化環境の管理・監視,オーバーレイ,IPv6ネットワーク,フォトニックネットワーク及び一般) Frontier-based Method : Efficient Graph Enumeration and Indexing Using BDDs/ZDDs IEICE technical report. Information networks, 112, 134, 31-36 電子情報通信学会技術研究報告. IN, 情報ネットワーク, 112, 134, 31-36 IEICE technical report. Information networks, 112, 134, 31-36 2012/07/12 Japanese Disclose to all
INOUE Takeru, TAKANO Keiji, WATANABE Takayuki, KAWAHARA Jun, YOSHINAKA Ryo, KISHIMOTO Akihiro, TSUDA Koji, MINATO Shin-ichi, HAYASHI Yasuhiro 井上 武, 高野 圭司, 渡辺 喬之, 川原 純, 吉仲 亮, 岸本 章宏, 津田 宏治, 湊 真一, 林 泰弘 INOUE Takeru, TAKANO Keiji, WATANABE Takayuki, KAWAHARA Jun, YOSHINAKA Ryo, KISHIMOTO Akihiro, TSUDA Koji, MINATO Shin-ichi, HAYASHI Yasuhiro Analyzing power distribution networks by frontier-based method フロンティア法を用いた電力網解析手法 Analyzing power distribution networks by frontier-based method 電子情報通信学会技術研究報告. IN, 情報ネットワーク, 112, 134, 37-42 電子情報通信学会技術研究報告. IN, 情報ネットワーク, 112, 134, 37-42 電子情報通信学会技術研究報告. IN, 情報ネットワーク, 112, 134, 37-42 2012/07/12 Japanese Disclose to all
DENZUMI Shuhei, ARIMURA Hiroki, MINATO Shin-ichi 伝住 周平, 有村 博紀, 湊 真一 DENZUMI Shuhei, ARIMURA Hiroki, MINATO Shin-ichi Rich Operations for Manipulating Sequence Binary Decision Diagrams 系列二分決定グラフを操作するための豊富な演算体系の構築 Rich Operations for Manipulating Sequence Binary Decision Diagrams IEICE technical report. Theoretical foundations of Computing, 112, 93, 9-16 電子情報通信学会技術研究報告. COMP, コンピュテーション, 112, 93, 9-16 IEICE technical report. Theoretical foundations of Computing, 112, 93, 9-16 2012/06/14 Japanese Disclose to all
KAWAHARA Jun, MINATO Shin-ichi 川原 純, 湊 真一 KAWAHARA Jun, MINATO Shin-ichi Generalization of ZDD Construction Algorithms for Enumerating and Indexing the Solutions of Combinatorial Problems 組合せ問題の解を列挙索引化するZDD構築アルゴリズムの汎用化 Generalization of ZDD Construction Algorithms for Enumerating and Indexing the Solutions of Combinatorial Problems IEICE technical report. Theoretical foundations of Computing, 112, 93, 1-7 電子情報通信学会技術研究報告. COMP, コンピュテーション, 112, 93, 1-7 IEICE technical report. Theoretical foundations of Computing, 112, 93, 1-7 2012/06/14 Japanese Disclose to all
伝住 周平, 有村 博紀, 湊 真一 伝住 周平, 有村 博紀, 湊 真一 Rich Operations for Manipulating Sequence Binary Decision Diagrams 系列二分決定グラフを操作するための豊富な演算体系の構築 (Theoretical Foundations of Computing) Rich Operations for Manipulating Sequence Binary Decision Diagrams 電子情報通信学会技術研究報告 : 信学技報, 112, 93, 9-16 電子情報通信学会技術研究報告 : 信学技報, 112, 93, 9-16 , 112, 93, 9-16 2012/06 Japanese Research paper Disclose to all
湊 真一 湊 真一 配電網の最適経路を探索し、配電ロスを最小化へ 「超高速アルゴリズム」にできること 配電網の最適経路を探索し、配電ロスを最小化へ 「超高速アルゴリズム」にできること 科学技術振興機構 広報誌 JST NEWS, 5, 8-11 科学技術振興機構 広報誌 JST NEWS, 5, 8-11 , 5, 8-11 2012/05 Japanese Introduction and explanation (bulletin of university, research institution) Disclose to all
青木 洋士, 山下 茂, 湊 真一 青木 洋士, 山下 茂, 湊 真一 青木 洋士, 山下 茂, 湊 真一 Sequence Binary Decision Diagrams with Mapping Edges 写像枝を用いた系列二分決定グラフ (Theoretical Foundations of Computing) Sequence Binary Decision Diagrams with Mapping Edges 電子情報通信学会技術研究報告 : 信学技報, 112, 21, 23-28 電子情報通信学会技術研究報告 : 信学技報, 112, 21, 23-28 電子情報通信学会技術研究報告 : 信学技報, 112, 21, 23-28 2012/04/27 Japanese Disclose to all
INOUE Takeru, TAKANO Keiji, WATANABE Takayuki, KAWAHARA Jun, YOSHINAKA Ryo, KISHIMOTO Akihiro, TSUDA Koji, MINATO Shin-ichi, HAYASHI Yasuhiro 井上 武, 高野 圭司, 渡辺 喬之, 川原 純, 吉仲 亮, 岸本 章宏, 津田 宏治, 湊 真一, 林 泰弘 INOUE Takeru, TAKANO Keiji, WATANABE Takayuki, KAWAHARA Jun, YOSHINAKA Ryo, KISHIMOTO Akihiro, TSUDA Koji, MINATO Shin-ichi, HAYASHI Yasuhiro DK-2-3 An application of the frontier-based method to configure power networks DK-2-3 フロンティア法の電力網構成制御への応用(DK-2.第3回ERATO湊離散構造処理系シンポジウム-グラフ列挙索引化アルゴリズムの新展開-,ソサイエティ特別企画,ソサイエティ企画) DK-2-3 An application of the frontier-based method to configure power networks Proceedings of the IEICE General Conference, 2012, 2, "SS-9"-"SS-12" 電子情報通信学会総合大会講演論文集, 2012, 2, "SS-9"-"SS-12" Proceedings of the IEICE General Conference, 2012, 2, "SS-9"-"SS-12" 2012/03/06 Japanese Disclose to all
Yoshinaka Ryo, Iwashita Hiroaki, Kawahara Jun, Saitoh Toshiki, Tsuruma Koji, Minato Shin-ichi 吉仲 亮, 岩下 洋哲, 川原 純, 斎藤 寿樹, 鶴間 浩二, 湊 真一 Yoshinaka Ryo, Iwashita Hiroaki, Kawahara Jun, Saitoh Toshiki, Tsuruma Koji, Minato Shin-ichi DK-2-2 Applying the Frontier-Based Search Method to Various Link Puzzle Problems DK-2-2 フロンティア法の種々のリンクパズル問題への応用(DK-2.第3回ERATO湊離散構造処理系シンポジウム-グラフ列挙索引化アルゴリズムの新展開-,ソサイエティ特別企画,ソサイエティ企画) DK-2-2 Applying the Frontier-Based Search Method to Various Link Puzzle Problems Proceedings of the IEICE General Conference, 2012, 2, "SS-5"-"SS-8" 電子情報通信学会総合大会講演論文集, 2012, 2, "SS-5"-"SS-8" Proceedings of the IEICE General Conference, 2012, 2, "SS-5"-"SS-8" 2012/03/06 Japanese Disclose to all
Minato Shin-ichi 湊 真一 Minato Shin-ichi DK-2-1 Frontier-based Method : Very Fast Algorithms for Graph Enumeration and Indexing Using ZDDs DK-2-1 フロンティア法 : ZDDを用いた極めて高速なグラフ列挙索引化アルゴリズム(DK-2.第3回ERATO湊離散構造処理系シンポジウム-グラフ列挙索引化アルゴリズムの新展開-,ソサイエティ特別企画,ソサイエティ企画) DK-2-1 Frontier-based Method : Very Fast Algorithms for Graph Enumeration and Indexing Using ZDDs Proceedings of the IEICE General Conference, 2012, 2, "SS-1"-"SS-4" 電子情報通信学会総合大会講演論文集, 2012, 2, "SS-1"-"SS-4" Proceedings of the IEICE General Conference, 2012, 2, "SS-1"-"SS-4" 2012/03/06 Japanese Disclose to all
Inoue Yuma, Minato Shin-ichi 井上 祐馬, 湊 真一 Inoue Yuma, Minato Shin-ichi DS-1-14 Solving Pancake Sorting Problem Based on Permutation Family Algebra Using πDDs DS-1-14 πDDの順列集合演算を用いたパンケーキ整列問題の解析法(DS-1.COMP学生シンポジウム,シンポジウムセッション) DS-1-14 Solving Pancake Sorting Problem Based on Permutation Family Algebra Using πDDs Proceedings of the IEICE General Conference, 2012, 1, "S-27"-"S-28" 電子情報通信学会総合大会講演論文集, 2012, 1, "S-27"-"S-28" Proceedings of the IEICE General Conference, 2012, 1, "S-27"-"S-28" 2012/03/06 Japanese Research paper Disclose to all
Yamada Norihiro, Minato Shin-ichi 山田 倫大, 湊 真一 Yamada Norihiro, Minato Shin-ichi DS-1-13 Application of πDD to Computing Conjugacy Classes and Performance Evaluation DS-1-13 πDDのConjugacy Class計算への適用とその性能評価(DS-1.COMP学生シンポジウム,シンポジウムセッション) DS-1-13 Application of πDD to Computing Conjugacy Classes and Performance Evaluation Proceedings of the IEICE General Conference, 2012, 1, "S-25"-"S-26" 電子情報通信学会総合大会講演論文集, 2012, 1, "S-25"-"S-26" Proceedings of the IEICE General Conference, 2012, 1, "S-25"-"S-26" 2012/03/06 Japanese Research paper Disclose to all
鮑 若愚, 白井 康之, 湊 真一 鮑 若愚, 白井 康之, 湊 真一 鮑 若愚, 白井 康之, 湊 真一 A Method for Multipurpose Information Evaluation Based on User Reviews ユーザレビューに基づく多目的情報評価方法の提案 (人工知能学会全国大会(第26回)文化,科学技術と未来) -- (Webインテリジェンス) A Method for Multipurpose Information Evaluation Based on User Reviews 人工知能学会全国大会論文集, 26, 1-4 人工知能学会全国大会論文集, 26, 1-4 人工知能学会全国大会論文集, 26, 1-4 2012 Japanese Disclose to all
西野 正彬, 安田 宜仁, 湊 真一 西野 正彬, 安田 宜仁, 湊 真一 西野 正彬, 安田 宜仁, 湊 真一 Fast Construction Method of ZDD Representing a Binary Matrix ZDDを用いた行列圧縮における演算高速化 (人工知能学会全国大会(第26回)文化,科学技術と未来) -- (自然言語処理・情報検索) Fast Construction Method of ZDD Representing a Binary Matrix 人工知能学会全国大会論文集, 26, 1-4 人工知能学会全国大会論文集, 26, 1-4 人工知能学会全国大会論文集, 26, 1-4 2012 Japanese Disclose to all
湊 真一 湊 真一 湊 真一 Recent Research Activities on Bayesian Networks and ZDDs ベイジアンネットワークとZDDに関する最近の研究状況について (特集 「ベイジアンネットワークとその応用」および一般) Recent Research Activities on Bayesian Networks and ZDDs 人工知能基本問題研究会, 83, 0, 51-56 人工知能基本問題研究会, 83, 0, 51-56 人工知能基本問題研究会, 83, 0, 51-56 2011/11/18 Japanese Research paper Disclose to all
Minato Shin-ichi 湊 真一 Minato Shin-ichi AI-1-5 A Study of GPU Application for Manipulating Large-Scale Discrete Structure Data AI-1-5 大規模な離散構造データを扱うためのGPU利用法の検討(AI-1.GPUを用いた高速化技術とそのVLSI設計への応用,依頼シンポジウム,ソサイエティ企画) AI-1-5 A Study of GPU Application for Manipulating Large-Scale Discrete Structure Data Proceedings of the Society Conference of IEICE, 2011, 0, "SS-62"-"SS-63" 電子情報通信学会ソサイエティ大会講演論文集, 2011, 0, "SS-62"-"SS-63" Proceedings of the Society Conference of IEICE, 2011, 0, "SS-62"-"SS-63" 2011/08/30 Japanese Research paper Disclose to all
Yamada Norihiro, Minato Shin-ichi 山田 倫大, 湊 真一 Yamada Norihiro, Minato Shin-ichi BS-1-2 Study of Efficient Data Structures and Algorithms for Manipulating Sets of Permutations BS-1-2 順列集合を操作する効率的なデータ構造とアルゴリズムの研究について(BS-1. 学生による研究室交流会,シンポジウムセッション) BS-1-2 Study of Efficient Data Structures and Algorithms for Manipulating Sets of Permutations Proceedings of the Society Conference of IEICE, 2011, 1, "S-2" 電子情報通信学会ソサイエティ大会講演論文集, 2011, 1, "S-2" Proceedings of the Society Conference of IEICE, 2011, 1, "S-2" 2011/08/30 Japanese Research paper Disclose to all
INOUE Takeru, MINATO Shin-ichi 井上 武, 湊 真一 INOUE Takeru, MINATO Shin-ichi Server load balancing with a URL shortener in Tohoku earthquake 東日本大震災での短縮URLによるサーバ負荷分散とアクセス分析(IPv6ネットワーク,フォトニックネットワーク,新世代・次世代ネットワーク及び一般) Server load balancing with a URL shortener in Tohoku earthquake IEICE technical report. Information networks, 111, 146, 63-68 電子情報通信学会技術研究報告. IN, 情報ネットワーク, 111, 146, 63-68 IEICE technical report. Information networks, 111, 146, 63-68 2011/07/14 Japanese Research paper Disclose to all
SAITOH T., KAWAHARA J., YOSHINAKA R., INOUE T., MINATO S.-i. 斎藤 寿樹, 川原 純, 吉仲 亮, 井上 武, 湊 真一 SAITOH T., KAWAHARA J., YOSHINAKA R., INOUE T., MINATO S.-i. Entwork Reliability Evaluation Using Efficient Path Enumeration ALgorithms 高速なパスの列挙アルゴリズムを用いたネットワークの信頼性評価(IPv6ネットワーク,フォトニックネットワーク,新世代・次世代ネットワーク及び一般) Entwork Reliability Evaluation Using Efficient Path Enumeration ALgorithms IEICE technical report. Information networks, 111, 146, 57-62 電子情報通信学会技術研究報告. IN, 情報ネットワーク, 111, 146, 57-62 IEICE technical report. Information networks, 111, 146, 57-62 2011/07/14 Japanese Research paper Disclose to all
MINATO Shin-ichi 湊 真一 MINATO Shin-ichi ERATO MINATO Discrete Structure Manipulation System Project and Recent Research Activities ERATO湊離散構造処理系プロジェクトの概要と最近の研究状況について(IPv6ネットワーク,フォトニックネットワーク,新世代・次世代ネットワーク及び一般) ERATO MINATO Discrete Structure Manipulation System Project and Recent Research Activities IEICE technical report. Information networks, 111, 146, 51-56 電子情報通信学会技術研究報告. IN, 情報ネットワーク, 111, 146, 51-56 IEICE technical report. Information networks, 111, 146, 51-56 2011/07/14 Japanese Research paper Disclose to all
川原 純, 斎藤 寿樹, 鈴木 拡, 湊 真一, 吉仲 亮 川原 純, 斎藤 寿樹, 鈴木 拡, 湊 真一, 吉仲 亮 ZDD によるパスの列挙 (計算機科学とアルゴリズムの数理的基礎とその応用) ZDD によるパスの列挙 (計算機科学とアルゴリズムの数理的基礎とその応用) 数理解析研究所講究録, 1744, 0, 35-41 数理解析研究所講究録, 1744, 0, 35-41 , 1744, 0, 35-41 2011/06 Japanese Research paper Disclose to all
MINATO Shin-ichi 湊 真一 MINATO Shin-ichi ERATO MINATO Discrete Structure Manipulation System Project and Current Work on System Design Area ERATO湊離散構造処理系プロジェクトの概要とシステム設計分野の研究について(FPGA応用) ERATO MINATO Discrete Structure Manipulation System Project and Current Work on System Design Area IEICE technical report, 111, 31, 61-66 電子情報通信学会技術研究報告. RECONF, リコンフィギャラブルシステム, 111, 31, 61-66 IEICE technical report, 111, 31, 61-66 2011/05/05 Japanese Research paper Disclose to all
AOKI Hiroshi, YAMASHITA Shigeru, MINATO Shin-ichi 青木 洋士, 山下 茂, 湊 真一 AOKI Hiroshi, YAMASHITA Shigeru, MINATO Shin-ichi Construction of a SeqBDD representing a set of reversed sequences 逆順の系列集合を表すSeqBDDの構築 Construction of a SeqBDD representing a set of reversed sequences IEICE technical report. Theoretical foundations of Computing, 111, 20, 17-23 電子情報通信学会技術研究報告. COMP, コンピュテーション, 111, 20, 17-23 IEICE technical report. Theoretical foundations of Computing, 111, 20, 17-23 2011/04/15 Japanese Research paper Disclose to all
MINATO Shin-ichi 湊 真一 MINATO Shin-ichi πDD: A New Decision Diagram for Manipulating Sets of Permutations πDD:順列集合を演算処理する二分決定グラフ πDD: A New Decision Diagram for Manipulating Sets of Permutations IEICE technical report. Theoretical foundations of Computing, 111, 20, 25-32 電子情報通信学会技術研究報告. COMP, コンピュテーション, 111, 20, 25-32 IEICE technical report. Theoretical foundations of Computing, 111, 20, 25-32 2011/04/15 Japanese Research paper Disclose to all
KAWAHARA Y., TSUDA K., WASHIO T., TAKEDA A., MINATO S. 河原 吉伸, 津田 宏治, 鷲尾 隆, 武田 朗子, 湊 真一 KAWAHARA Y., TSUDA K., WASHIO T., TAKEDA A., MINATO S. Enumerating Feature-Sets with Submodularity 劣モジュラ性を用いた特徴集合列挙(離散系と機械学習,テキスト・Webマイニング,一般) Enumerating Feature-Sets with Submodularity IEICE technical report, 110, 476, 63-68 電子情報通信学会技術研究報告. IBISML, 情報論的学習理論と機械学習, 110, 476, 63-68 IEICE technical report, 110, 476, 63-68 2011/03/21 Japanese Research paper Disclose to all
Toshiki Saitoh, Jun Kawahara, Ryo Yoshinaka, Hiromu Suzuki, Shin-ichi Minato 斎藤 寿樹, 川原 純, 吉仲 亮, 鈴木 拡, 湊 真一 Toshiki Saitoh, Jun Kawahara, Ryo Yoshinaka, Hiromu Suzuki, Shin-ichi Minato Path Enumeration Algorithms Using ZDD and Their Performance Evaluations ZDDを用いたパスの列挙とその性能評価 Path Enumeration Algorithms Using ZDD and Their Performance Evaluations IPSJ SIG Notes, 2011, 17, 1-6 情報処理学会研究報告. AL, アルゴリズム研究会報告, 2011, 17, 1-6 IPSJ SIG Notes, 2011, 17, 1-6 2011/02/28 Japanese Research paper Disclose to all
MINATO Shin‐ichi,ONSJOE Mikael,WATANABE Osamu MINATO Shin‐ichi, ONSJOE Mikael, WATANABE Osamu MINATO Shin‐ichi,ONSJOE Mikael,WATANABE Osamu Faster Evaluation of ZBDD Compressed Multi-Linear Functions with GPU Parallelism Faster Evaluation of ZBDD Compressed Multi-Linear Functions with GPU Parallelism Faster Evaluation of ZBDD Compressed Multi-Linear Functions with GPU Parallelism Res Rep Math Comput Sci Ser C Comput Sci (Web), 274, WEB ONLY C-274 Res Rep Math Comput Sci Ser C Comput Sci (Web), 274, WEB ONLY C-274 Res Rep Math Comput Sci Ser C Comput Sci (Web), 274, WEB ONLY C-274 2011/01 English Research paper Disclose to all
湊真一, 有村博紀 湊真一, 有村博紀 「おめでとうソサイエティ論文賞」ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの効率的解析手法 「おめでとうソサイエティ論文賞」ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの効率的解析手法 電子情報通信学会 情報・システムソサイエティ誌, 15, 3, 15 電子情報通信学会 情報・システムソサイエティ誌, 15, 3, 15 , 15, 3, 15 2010/11 Japanese Introduction and explanation (scientific journal) Disclose to all
Takahashi Wataru, Minato Shin-ichi 高橋 渉, 湊 真一 Takahashi Wataru, Minato Shin-ichi F-024 Synthesis of Fast Calculation Programs from ZDDs for Representing Bayesian Networks and Its Evaluation F-024 ベイジアンネットワークを表現するZDDからの高速計算プログラムの自動生成とその評価(F分野:人工知能・ゲーム,一般論文) F-024 Synthesis of Fast Calculation Programs from ZDDs for Representing Bayesian Networks and Its Evaluation 情報科学技術フォーラム講演論文集, 9, 2, 411-414 情報科学技術フォーラム講演論文集, 9, 2, 411-414 情報科学技術フォーラム講演論文集, 9, 2, 411-414 2010/08/20 Japanese Research paper Disclose to all
Okazaki Yuta, Minato Shin-ichi 岡崎 佑太, 湊 真一 Okazaki Yuta, Minato Shin-ichi D-009 ZDD-based Processing of Frequent Patterns for Knowledge Discovery in Web Text Data D-009 ZDDを用いた頻出パタン演算によるWebテキストデータからの知識発見とその評価(D分野:データベース,一般論文) D-009 ZDD-based Processing of Frequent Patterns for Knowledge Discovery in Web Text Data 情報科学技術フォーラム講演論文集, 9, 2, 111-113 情報科学技術フォーラム講演論文集, 9, 2, 111-113 情報科学技術フォーラム講演論文集, 9, 2, 111-113 2010/08/20 Japanese Research paper Disclose to all
ISHIHATA Masakazu, KAMEYA Yoshitaka, SATO Taisuke, MINATO Shin-ichi 石畠 正和, 亀谷 由隆, 佐藤 泰介, 湊 真一 ISHIHATA Masakazu, KAMEYA Yoshitaka, SATO Taisuke, MINATO Shin-ichi An EM algorithm on binary decision diagrams with order encoding for propositional logic-based probabilistic models 命題論理に基づく確率モデルのための二部決定グラフと順序符号化を用いた効率的なEMアルゴリズム(一般講演(構造学習・ベイジアンネット・確率推論),機械学習とその応用) An EM algorithm on binary decision diagrams with order encoding for propositional logic-based probabilistic models IEICE technical report, 110, 76, 153-163 電子情報通信学会技術研究報告. IBISML, 情報論的学習理論と機械学習, 110, 76, 153-163 IEICE technical report, 110, 76, 153-163 2010/06/07 Japanese Research paper Disclose to all
金田 悠作, 湊 真一, 有村 博紀 金田 悠作, 湊 真一, 有村 博紀 金田 悠作, 湊 真一, 有村 博紀 Efficient Pattern Matching for Acyclic Regular Expressions 非巡回正規表現に対する効率的なパターン照合 (アルゴリズム(AL) Vol.2010-AL-130) Efficient Pattern Matching for Acyclic Regular Expressions 情報処理学会研究報告, 2010, 1 情報処理学会研究報告, 2010, 1 情報処理学会研究報告, 2010, 1 2010/06 Japanese Disclose to all
KANETA Yusaku, MINATO Shin-ichi, ARIMURA Hiroki 金田 悠作, 湊 真一, 有村 博紀 KANETA Yusaku, MINATO Shin-ichi, ARIMURA Hiroki Efficient Pattern Matching for Acyclic Regular Expressions 非巡回正規表現に対する効率的なパターン照合 Efficient Pattern Matching for Acyclic Regular Expressions IEICE technical report. Theoretical foundations of Computing, 110, 37, 23-29 電子情報通信学会技術研究報告. COMP, コンピュテーション, 110, 37, 23-29 IEICE technical report. Theoretical foundations of Computing, 110, 37, 23-29 2010/05/12 Japanese Research paper Disclose to all
高橋 渉, 湊 真一 高橋 渉, 湊 真一 高橋 渉, 湊 真一 Synthesis of fast calculation programs from ZDDs for representing Bayesian networks ベイジアンネットワークを表現するZDDからの高速計算プログラムの自動生成 (特集 「知識発見の生命科学への応用」および一般) Synthesis of fast calculation programs from ZDDs for representing Bayesian networks 人工知能基本問題研究会, 77, 0, 25-30 人工知能基本問題研究会, 77, 0, 25-30 人工知能基本問題研究会, 77, 0, 25-30 2010/03/17 Japanese Research paper Disclose to all
Suzuki Hiromu, Minato Shin-ichi 鈴木 拡, 湊 真一 Suzuki Hiromu, Minato Shin-ichi 3ZP-5 Enumerating Solutions of Three-dimensional Pentomino Puzzle Using ZDDs 3ZP-5 ZDDを用いた立体ペントミノパズルの解の列挙(情報爆発時代におけるデータマイニング・アルゴリズム,学生セッション,「情報爆発」時代に向けた新IT基盤技術,情報処理学会創立50周年記念(第72回)全国大会) 3ZP-5 Enumerating Solutions of Three-dimensional Pentomino Puzzle Using ZDDs 全国大会講演論文集, 72, 5, "5-245"-"5-246" 全国大会講演論文集, 72, 5, "5-245"-"5-246" 全国大会講演論文集, 72, 5, "5-245"-"5-246" 2010/03/08 Japanese Research paper Disclose to all
Kaneta Yusaku, Minato Shin-ichi, Arimura Hiroki 金田 悠作, 湊 真一, 有村 博紀 Kaneta Yusaku, Minato Shin-ichi, Arimura Hiroki D-1-7 AN EFFICIENT REGULAR EXPRESSION MATCHING ALGORITHM BASED PARALLEL BIT-DISTRIBUTION D-1-7 並列ビット分配にもとづいた効率的な正規表現照合アルゴリズム(D-1.コンピュテーション,一般セッション) D-1-7 AN EFFICIENT REGULAR EXPRESSION MATCHING ALGORITHM BASED PARALLEL BIT-DISTRIBUTION Proceedings of the IEICE General Conference, 2010, 1 電子情報通信学会総合大会講演論文集, 2010, 1 Proceedings of the IEICE General Conference, 2010, 1 2010/03/02 Japanese Research paper Disclose to all
KANETA Yusaku, YOSHIZAWA Shingo, MINATO Shin-ichi, ARIMURA Hiroki, MIYANAGA Yoshikazu 金田 悠作, 吉澤 真吾, 湊 真一, 有村 博紀, 宮永 喜一 KANETA Yusaku, YOSHIZAWA Shingo, MINATO Shin-ichi, ARIMURA Hiroki, MIYANAGA Yoshikazu An efficient hardware-oriented algorithm for regular expression matching based on parallel bit-distribution 効率良い正規表現照合のための並列ビット分配にもとづいたハードウェア指向アルゴリズム(アプリケーション2,FPGA応用及び一般) An efficient hardware-oriented algorithm for regular expression matching based on parallel bit-distribution IEICE technical report, 109, 395, 131-136 電子情報通信学会技術研究報告. RECONF, リコンフィギャラブルシステム, 109, 395, 131-136 IEICE technical report, 109, 395, 131-136 2010/01/19 Japanese Disclose to all
KANETA Yusaku, YOSHIZAWA Shingo, MINATO Shin-ichi, ARIMURA Hiroki, MIYANAGA Yoshikazu 金田 悠作, 吉澤 真吾, 湊 真一, 有村 博紀, 宮永 喜一 KANETA Yusaku, YOSHIZAWA Shingo, MINATO Shin-ichi, ARIMURA Hiroki, MIYANAGA Yoshikazu An efficient hardware-oriented algorithm for regular expression matching based on parallel bit-distribution 効率良い正規表現照合のための並列ビット分配にもとづいたハードウェア指向アルゴリズム(アプリケーション2,FPGA応用及び一般) An efficient hardware-oriented algorithm for regular expression matching based on parallel bit-distribution Technical report of IEICE. VLD, 109, 393, 131-136 電子情報通信学会技術研究報告. VLD, VLSI設計技術, 109, 393, 131-136 Technical report of IEICE. VLD, 109, 393, 131-136 2010/01/19 Japanese Research paper Disclose to all
KIM Jaseong, YOSHIZAWA Shingo, KANETA Yusaku, MINATO Shin-ichi, ARIMURA Hiroki, MIYANAGA Yoshikazu 金 在成, 吉澤 真吾, 金田 悠作, 湊 真一, 有村 博紀, 宮永 喜一 KIM Jaseong, YOSHIZAWA Shingo, KANETA Yusaku, MINATO Shin-ichi, ARIMURA Hiroki, MIYANAGA Yoshikazu Development of Interdisciplinary Research Environment by Collaboration of e-Learning and Remote FPGA eラーニングと遠隔FPGAの連携による異分野共同研究環境の開発(ネットワーク,FPGA応用及び一般) Development of Interdisciplinary Research Environment by Collaboration of e-Learning and Remote FPGA Technical report of IEICE. VLD, 109, 393, 31-34 電子情報通信学会技術研究報告. VLD, VLSI設計技術, 109, 393, 31-34 Technical report of IEICE. VLD, 109, 393, 31-34 2010/01/19 Japanese Research paper Disclose to all
湊 真一 湊 真一 JST戦略的創造研究推進事業EARTOプロジェクトの採択について JST戦略的創造研究推進事業EARTOプロジェクトの採択について 北海道大学大学院情報科学研究科広報誌 IST NEWS, 20, 1-2 北海道大学大学院情報科学研究科広報誌 IST NEWS, 20, 1-2 , 20, 1-2 2010/01 Japanese Introduction and explanation (bulletin of university, research institution) Disclose to all
Ishihata Masakazu, Kameya Yoshitaka, Sato Taisuke, Minato Shin-ich 石畠 正和, 亀谷 由隆, 佐藤 泰介, 湊 真一 Ishihata Masakazu, Kameya Yoshitaka, Sato Taisuke, Minato Shin-ich Propositionalizing the EM algorithm by BDDs BDD上の命題化計算に基づくEMアルゴリズム Propositionalizing the EM algorithm by BDDs Transactions of the Japanese Society for Artificial Intelligence, 25, 3, 475-484 人工知能学会論文誌, 25, 3, 475-484 Transactions of the Japanese Society for Artificial Intelligence, 25, 3, 475-484 2010 Japanese Disclose to all
湊 真一 湊 真一 湊 真一 Fast inference calculation of Bayesian networks using ZDDs ZDDによるベイジアンネットワーク推論の高速化 (特集 「ベイジアン・ネットワークと応用」および一般) Fast inference calculation of Bayesian networks using ZDDs 人工知能基本問題研究会, 75, 0, 93-98 人工知能基本問題研究会, 75, 0, 93-98 人工知能基本問題研究会, 75, 0, 93-98 2009/11/13 Japanese Research paper Disclose to all
Kanasaki Takeshi, Minato Shin-ichi 金崎 健之, 湊 真一 Kanasaki Takeshi, Minato Shin-ichi F-061 An Improvement of Initial Variable Ordering of ZDDs for Representing Bayesian Networks F-061 ベイジアンネットワークを表現するZDDの初期変数順序付け方法の改良(人工知能・ゲーム,一般論文) F-061 An Improvement of Initial Variable Ordering of ZDDs for Representing Bayesian Networks 情報科学技術フォーラム講演論文集, 8, 2, 553-555 情報科学技術フォーラム講演論文集, 8, 2, 553-555 情報科学技術フォーラム講演論文集, 8, 2, 553-555 2009/08/20 Japanese Research paper Disclose to all
Okazaki Yuta, Minato Shin-ichi 岡崎 佑太, 湊 真一 Okazaki Yuta, Minato Shin-ichi D-031 Considerations on Variable Ordering Effects for the Itemset Mining Algorithm LCM over ZDDs D-031 頻出パタン抽出アルゴリズム「LCM over ZDDs」の変数順序付けの影響に関する考察(データベース,一般論文) D-031 Considerations on Variable Ordering Effects for the Itemset Mining Algorithm LCM over ZDDs 情報科学技術フォーラム講演論文集, 8, 2, 199-201 情報科学技術フォーラム講演論文集, 8, 2, 199-201 情報科学技術フォーラム講演論文集, 8, 2, 199-201 2009/08/20 Japanese Research paper Disclose to all
湊 真一 湊 真一 D. E. Knuthの名著「The Art of Computer Programming」に、研究成果「ZDD」が掲載されたことについて D. E. Knuthの名著「The Art of Computer Programming」に、研究成果「ZDD」が掲載されたことについて 北海道大学大学院情報科学研究科広報誌 IST NEWS, 18, 1-2 北海道大学大学院情報科学研究科広報誌 IST NEWS, 18, 1-2 , 18, 1-2 2009/07 Japanese Introduction and explanation (bulletin of university, research institution) Disclose to all
SUZUKI Hiromu, MINATO Shin-ichi 鈴木 拡, 湊 真一 SUZUKI Hiromu, MINATO Shin-ichi Enumerating Solutions of the Pentomino Puzzle Using BDDs/ZDDs BDD/ZDDを用いたペントミノパズルの解の列挙 Enumerating Solutions of the Pentomino Puzzle Using BDDs/ZDDs IEICE technical report. Theoretical foundations of Computing, 109, 54, 1-7 電子情報通信学会技術研究報告. COMP, コンピュテーション, 109, 54, 1-7 IEICE technical report. Theoretical foundations of Computing, 109, 54, 1-7 2009/05/19 Japanese Research paper Disclose to all
KANETA Yusaku, YOSHIZAWA Shingo, MINATO Shin-ichi, ARIMURA Hiroki, MIYANAGA Yoshikazu 金田 悠作, 吉澤 真吾, 湊 真一, 有村 博紀, 宮永 喜一 KANETA Yusaku, YOSHIZAWA Shingo, MINATO Shin-ichi, ARIMURA Hiroki, MIYANAGA Yoshikazu D-4-18 A Fast String Matching Algorithm and Its FPGA Design for High-Speed Stream Processing D-4-18 高速ストリーム処理のための文字列パターン照合手法とそのFPGA設計(D-4. データ工学,一般セッション) D-4-18 A Fast String Matching Algorithm and Its FPGA Design for High-Speed Stream Processing Proceedings of the IEICE General Conference, 2009, 1 電子情報通信学会総合大会講演論文集, 2009, 1 Proceedings of the IEICE General Conference, 2009, 1 2009/03 Japanese Research paper Disclose to all
Isomatsu Kouhei, Minato Shin-ichi 礒松 紘平, 湊 真一 Isomatsu Kouhei, Minato Shin-ichi F-050 Experiments and Considerations on ZBDD Variable Ordering for Representing Bayesian Networks F-050 ベイジアンネットワークを表現するゼロサプレス型BDDの変数順序付けに関する実験と考察(人工知能・ゲーム,一般論文) F-050 Experiments and Considerations on ZBDD Variable Ordering for Representing Bayesian Networks 情報科学技術フォーラム講演論文集, 7, 2, 433-435 情報科学技術フォーラム講演論文集, 7, 2, 433-435 情報科学技術フォーラム講演論文集, 7, 2, 433-435 2008/08/20 Japanese Disclose to all
KURAI Ryutaro, MINATO Shin-ichi, ZEUGMANN Thomas 倉井 龍太郎, 湊 真一, ツォイクマン トーマス KURAI Ryutaro, MINATO Shin-ichi, ZEUGMANN Thomas Knowledge Discovery and Compression by Using Zero-suppressed BDDs ゼロサプレス型二分決定グラフによる圧縮と知識発見(テーマ,膨大なデータから学ぶもの) Knowledge Discovery and Compression by Using Zero-suppressed BDDs Technical report of IEICE. PRMU, 108, 94, 53-57 電子情報通信学会技術研究報告. PRMU, パターン認識・メディア理解, 108, 94, 53-57 Technical report of IEICE. PRMU, 108, 94, 53-57 2008/06/12 Japanese Disclose to all
Minato Shin-ichi, Ishihara Shinya 湊 真一, 石原 晋也 Minato Shin-ichi, Ishihara Shinya Stream-type BDD Manipulation Algorithm with Data-Size-Independent Memory Requirement BDDの規模によらず一定の実記憶の範囲内で動作するストリーム形式BDD処理アルゴリズム Stream-type BDD Manipulation Algorithm with Data-Size-Independent Memory Requirement 情報処理学会研究報告. SLDM, [システムLSI設計技術], 30, 133-140 情報処理学会研究報告. SLDM, [システムLSI設計技術], 30, 133-140 情報処理学会研究報告. SLDM, [システムLSI設計技術], 30, 133-140 2001/09/27 Japanese Disclose to all
Minato Shin-ichi 湊 真一 Minato Shin-ichi Report from Prof. De Micheli's Laboratory at Stan ford University(Overseas,Laboratories) スタンフォード大学De Micheli研究室に留学して(海外,ラボラトリーズ) Report from Prof. De Micheli's Laboratory at Stan ford University(Overseas,Laboratories) Bulletin of the Japan Society for Industrial and applied Mathematics, 7, 4, 316-318 応用数理, 7, 4, 316-318 Bulletin of the Japan Society for Industrial and applied Mathematics, 7, 4, 316-318 1997/12/15 Japanese Disclose to all
奥乃 博, 湊 真一 奥乃 博, 湊 真一 算術論理式システムBEM-2を使ってパズルを解こう 算術論理式システムBEM-2を使ってパズルを解こう Bit, 29, 4, 67-77 Bit, 29, 4, 67-77 , 29, 4, 67-77 1997/04 Japanese Disclose to all
湊 真一 湊 真一 座長集約 核医学(29〜34)(北海道部会) 座長集約 核医学(29〜34)(北海道部会) 日本放射線技術学会雑誌, 52, 5 日本放射線技術学会雑誌, 52, 5 , 52, 5 1996 Japanese Disclose to all
湊真一 湊真一 湊真一 Fast Generation of Irredundant Sum -of- Products from Binary Decision Diagrams 二分決定グラフからの非冗長積和論理の高速生成手法 Fast Generation of Irredundant Sum -of- Products from Binary Decision Diagrams 情報処理学会研究報告システムLSI設計技術(SLDM), 1991, 110, 147-154 情報処理学会研究報告システムLSI設計技術(SLDM), 1991, 110, 147-154 情報処理学会研究報告システムLSI設計技術(SLDM), 1991, 110, 147-154 1991/12/12 Japanese Disclose to all
湊 真一, 石浦 菜岐佐, 矢島 脩三 湊 真一, 石浦 菜岐佐, 矢島 脩三 湊 真一, 石浦 菜岐佐, 矢島 脩三 Shared Binary Decision Diagram for Efficient Boolean Function Manipulation 論理関数の共有二分決定グラフによる表現とその効率的処理手法 Shared Binary Decision Diagram for Efficient Boolean Function Manipulation 情報処理学会研究報告システムLSI設計技術(SLDM), 1989, 108, 39-45 情報処理学会研究報告システムLSI設計技術(SLDM), 1989, 108, 39-45 情報処理学会研究報告システムLSI設計技術(SLDM), 1989, 108, 39-45 1989/12/14 Japanese Disclose to all

  • <<
  • >>
Title language:
Conference Activities & Talks
Title Title(Japanese) Title(English) Conference Conference(Japanese) Conference(English) Promotor Promotor(Japanese) Promotor(English) Date Language Assortment Disclose
離散構造処理系プロジェクト:10年の研究経過と今後の展開 離散構造処理系プロジェクト:10年の研究経過と今後の展開 情報処理学会第81回全国大会 情報処理学会第81回全国大会 情報処理学会 情報処理学会 2019/03/15 Japanese Oral presentation(invited, special) Disclose to all
Algorithmic Techniques for Discrete Structure Manipulation and Application to Chemical Reaction Network Analysis[Invited] Algorithmic Techniques for Discrete Structure Manipulation and Application to Chemical Reaction Network Analysis [Invited] Algorithmic Techniques for Discrete Structure Manipulation and Application to Chemical Reaction Network Analysis [Invited] 1st ICReDD International Symposium, Institute for Chemical Reaction Design and Discovery, Hokkaido University 1st ICReDD International Symposium, Institute for Chemical Reaction Design and Discovery, Hokkaido University 1st ICReDD International Symposium, Institute for Chemical Reaction Design and Discovery, Hokkaido University Institute for Chemical Reaction Design and Discovery, Hokkaido University Institute for Chemical Reaction Design and Discovery, Hokkaido University Institute for Chemical Reaction Design and Discovery, Hokkaido University 2019/03/13 English Oral presentation(general) Disclose to all
グラフ・列挙・確率に関わる離散構造処理アルゴリズムの最近の研究トピックについて グラフ・列挙・確率に関わる離散構造処理アルゴリズムの最近の研究トピックについて 人工知能学会 人工知能基本問題研究会 合同研究会企画シンポジウム 人工知能学会 人工知能基本問題研究会 合同研究会企画シンポジウム 人工知能学会 人工知能基本問題研究会 人工知能学会 人工知能基本問題研究会 2018/11/23 Japanese Public discourse, seminar, tutorial, course, lecture and others Disclose to all
Decision Diagram-Based Techniquesfor Enumeration Problems and Applications[Invited] Decision Diagram-Based Techniquesfor Enumeration Problems and Applications [Invited] Decision Diagram-Based Techniquesfor Enumeration Problems and Applications [Invited] 2nd International Workshop on Enumeration Problems & Applications (WEPA 2018) 2nd International Workshop on Enumeration Problems & Applications (WEPA 2018) 2nd International Workshop on Enumeration Problems & Applications (WEPA 2018) WEPA Organizing Committee WEPA Organizing Committee WEPA Organizing Committee 2018/11/08 English Oral presentation(invited, special) Disclose to all
離散構造処理系:その概要と最近の研究状況について[Invited] 離散構造処理系:その概要と最近の研究状況について [Invited] 第21回情報論的学習理論ワークショップ (IBIS 2018) 第21回情報論的学習理論ワークショップ (IBIS 2018) 電子情報通信学会 IBIS-ML研究会 電子情報通信学会 IBIS-ML研究会 2018/11/05 Japanese Oral presentation(invited, special) Disclose to all
離散構造処理系の技法と組合せ列挙・最適化[Invited] 離散構造処理系の技法と組合せ列挙・最適化 [Invited] 進化計算シンポジウム 2017 進化計算シンポジウム 2017 進化計算学会 進化計算学会 2017/12/09 Japanese Oral presentation(invited, special) Disclose to all
“BDD/ZDD-based enumeration techniques and real-life applications[Invited] “BDD/ZDD-based enumeration techniques and real-life applications [Invited] “BDD/ZDD-based enumeration techniques and real-life applications [Invited] EPFL Workshop on Logic Synthesis and Emerging Technologies EPFL Workshop on Logic Synthesis and Emerging Technologies EPFL Workshop on Logic Synthesis and Emerging Technologies EPFL EPFL EPFL 2017/09/29 English Oral presentation(general) Disclose to all
Power of Enumeration ― BDD/ZDD-Based Techniques for Solving Combinatorial Problems[Invited] Power of Enumeration ― BDD/ZDD-Based Techniques for Solving Combinatorial Problems [Invited] Power of Enumeration ― BDD/ZDD-Based Techniques for Solving Combinatorial Problems [Invited] The 10th Annual Symposium on Combinatorial Search (SoCS2017) The 10th Annual Symposium on Combinatorial Search (SoCS2017) The 10th Annual Symposium on Combinatorial Search (SoCS2017) SoCS Organizing Committee SoCS Organizing Committee SoCS Organizing Committee 2017/06/17 English Oral presentation(invited, special) Disclose to all
「フカシギの数え方」― 組合せ爆発に立ち向かう最先端アルゴリズム 技術[Invited] 「フカシギの数え方」― 組合せ爆発に立ち向かう最先端アルゴリズム 技術 [Invited] 国立情報学研究所オープンハウス2013基調講演 国立情報学研究所オープンハウス2013基調講演 国立情報学研究所 国立情報学研究所 2013/06/14 Japanese Oral presentation(keynote) Disclose to all
フカシギの不思議[Invited] フカシギの不思議 [Invited] 日本科学未来館 第11期メディアラボ トークイベ ント 日本科学未来館 第11期メディアラボ トークイベ ント 日本科学未来館 日本科学未来館 2013/01/19 Japanese Public discourse, seminar, tutorial, course, lecture and others Disclose to all
Title language:
Books etc
Author Author(Japanese) Author(English) Title Title(Japanese) Title(English) Publisher Publisher(Japanese) Publisher(English) Publication date Language Type Disclose
湊 真一 湊 真一 2017年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録 2017年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録 基盤(S)離散構造処理系プロジェクト, 基盤(S)離散構造処理系プロジェクト, 2018/07 Disclose to all
湊 真一 湊 真一 人工知能学大事典, 人工知能学会編 人工知能学大事典, 人工知能学会編 共立出版 共立出版 2017/07 Contributor Disclose to all
湊 真一 湊 真一 2016年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録 2016年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録 基盤(S)離散構造処理系プロジェクト, 基盤(S)離散構造処理系プロジェクト, 2017/06 Supervisor Disclose to all
鈴木 譲, 植野 真臣, 黒木 学, 清水 昌平, 湊 真一, 石畠 正和, 樺島 祥介, 田中 和之, 本村 陽一, 玉田 嘉紀 鈴木 譲, 植野 真臣, 黒木 学, 清水 昌平, 湊 真一, 石畠 正和, 樺島 祥介, 田中 和之, 本村 陽一, 玉田 嘉紀 確率的グラフィカルモデル 確率的グラフィカルモデル 共立出版 共立出版 2016/07 Contributor Disclose to all
湊 真一 湊 真一 2015年度 JST ERATO湊離散構造処理系プロジェクト / JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録 2015年度 JST ERATO湊離散構造処理系プロジェクト / JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録 基盤(S)離散構造処理系プロジェクト, 基盤(S)離散構造処理系プロジェクト, 2016/06 Supervisor Disclose to all
湊 真一 湊 真一 2014年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 2014年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 ERATO湊離散構造処理系プロジェクト ERATO湊離散構造処理系プロジェクト 2015/06 Japanese Supervisor Disclose to all
ERATO 湊離散構造処理系プロジェクト ERATO 湊離散構造処理系プロジェクト 超高速グラフ列挙アルゴリズム-〈フカシギの数え方〉が拓く,組合せ問題への新アプローチ- 超高速グラフ列挙アルゴリズム-〈フカシギの数え方〉が拓く,組合せ問題への新アプローチ- 森北出版 森北出版 2015/04/08 Editor Disclose to all
T. Sasao and J. Butler, editor T. Sasao and J. Butler, editor T. Sasao and J. Butler, editor Applications of Zero-Suppressed Decision Diagrams (Synthesis Lectures on Digital Circuits and Systems) Applications of Zero-Suppressed Decision Diagrams (Synthesis Lectures on Digital Circuits and Systems) Applications of Zero-Suppressed Decision Diagrams (Synthesis Lectures on Digital Circuits and Systems) Morgan & Claypool Publishers Morgan & Claypool Publishers Morgan & Claypool Publishers 2014/11 Contributor Disclose to all
Ming-Yang Kao, editor Ming-Yang Kao, editor Ming-Yang Kao, editor Encyclopedia of Algorithms Encyclopedia of Algorithms Encyclopedia of Algorithms 2014/09 Contributor Disclose to all
湊 真一 湊 真一 2013年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 2013年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 ERATO湊離散構造処理系プロジェクト ERATO湊離散構造処理系プロジェクト 2014/07 Japanese Supervisor Disclose to all
Shigeru Yamashita and Shin-ichi Minato Shigeru Yamashita and Shin-ichi Minato Shigeru Yamashita and Shin-ichi Minato Reversible Computation," 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings Reversible Computation," 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings Reversible Computation," 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings Springer Springer Springer 2014/07 English Joint Editor Disclose to all
湊 真一 湊 真一 2012年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 2012年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 ERATO湊離散構造処理系プロジェクト ERATO湊離散構造処理系プロジェクト 2013/07 Japanese Supervisor Disclose to all
中村 篤祥, 湊 真一, 喜田 拓也 中村 篤祥, 湊 真一, 喜田 拓也 基礎から学ぶ情報理論 基礎から学ぶ情報理論 ムイスリ出版 ムイスリ出版 2013/04 Joint Work Disclose to all
湊 真一 湊 真一 2011年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 2011年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 ERATO湊離散構造処理系プロジェクト ERATO湊離散構造処理系プロジェクト 2012/07 Japanese Supervisor Disclose to all
湊 真一 湊 真一 2010年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 2010年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 ERATO湊離散構造処理系プロジェクト ERATO湊離散構造処理系プロジェクト 2011/06 Japanese Supervisor Disclose to all
湊 真一 湊 真一 電子情報通信学会「知識ベース」 電子情報通信学会「知識ベース」 電子情報通信学会 電子情報通信学会 2011/03 Japanese Contributor Disclose to all
Shin-ichi Minato and Nicolas Spyratos Shin-ichi Minato and Nicolas Spyratos Shin-ichi Minato and Nicolas Spyratos Interdisciplinary advances in adaptive and Intelligent assistant Systems: concepts, techniques, applications, and Use Interdisciplinary advances in adaptive and Intelligent assistant Systems: concepts, techniques, applications, and Use Interdisciplinary advances in adaptive and Intelligent assistant Systems: concepts, techniques, applications, and Use IGI Global IGI Global IGI Global 2011/01 English Contributor Disclose to all
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Progress in Representation of Discrete Functions (Synthesis Lectures on Digital Circuits and Systems) Progress in Representation of Discrete Functions (Synthesis Lectures on Digital Circuits and Systems) Progress in Representation of Discrete Functions (Synthesis Lectures on Digital Circuits and Systems) Morgan & Claypool Publishers Morgan & Claypool Publishers Morgan & Claypool Publishers 2010/05 English Contributor Disclose to all
Thomas Zeugmann, 湊 真一, 大久保 好章 Thomas Zeugmann, 湊 真一, 大久保 好章 英語で学ぶ計算理論 英語で学ぶ計算理論 コロナ社 コロナ社 2009/03 English Joint Work Disclose to all
S. Chawla, T. Washio, S. Minato, S. Tsumoto, T. Onoda, S. Yamada, A. Inokuchi S. Chawla, T. Washio, S. Minato, S. Tsumoto, T. Onoda, S. Yamada, A. Inokuchi S. Chawla, T. Washio, S. Minato, S. Tsumoto, T. Onoda, S. Yamada, A. Inokuchi New Frontiers in Applied Data Mining," PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008, Revised Selected Papers New Frontiers in Applied Data Mining," PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008, Revised Selected Papers New Frontiers in Applied Data Mining," PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008, Revised Selected Papers Springer Springer Springer 2009/02 English Joint Editor Disclose to all
Shin-ichi Minato and Saburo Muroga Shin-ichi Minato and Saburo Muroga Shin-ichi Minato and Saburo Muroga The VLSI Handbook The VLSI Handbook The VLSI Handbook CRC/IEEE Press CRC/IEEE Press CRC/IEEE Press 1999/12 English Contributor Disclose to all
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Binary Decision Diagrams and Applications for VLSI CAD Binary Decision Diagrams and Applications for VLSI CAD Binary Decision Diagrams and Applications for VLSI CAD Kluwer Academic Publishers Kluwer Academic Publishers Kluwer Academic Publishers 1996/11 English Single Work Disclose to all
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Representation of Discrete Functions Representation of Discrete Functions Representation of Discrete Functions Kluwer Academic Publishers Kluwer Academic Publishers Kluwer Academic Publishers 1996/05 English Contributor Disclose to all

  • <<
  • >>
Title language:
Patents
Inventor(s) Inventor(s) (Japanese) Inventor(s) (English) Title Title(Japanese) Title(English) Stage Patent number Date Disclose
Disclose to all
Disclose to all
Disclose to all
Title language:
Awards
Title(Japanese) Title(English) Organization name(Japanese) Organization name(English) Date
論文賞 日本計算機統計学会 2019/06/01
External funds: competitive funds and Grants-in-Aid for Scientific Research (Kakenhi)
Type Position Title(Japanese) Title(English) Period
基盤研究(S) Representative 離散構造処理系の基盤アルゴリズムの研究 Research on Core Algorithms for Discrete Structure Manipulation Systems 2015/06/01-2020/03/31
基盤研究(A) Assignment 実世界知識基盤形成のための次世代半構造マイニング技術の研究 2016/05/01-2020/03/31
External funds: other than those above
System Main person Title(Japanese) Title(English) Period
JST CREST 本村 真人 学習/数理モデルに基づく時空間展開型アーキテクチャの創出と応用 2018/10/01-2023/03/31
JST ERATO 湊 真一 湊離散構造処理系プロジェクト MINATO Discrete Structure Manipulation System Project 2009/10/01-2016/03/31
Teaching subject(s)
Name(Japanese) Name(English) Term Department Period
アルゴリズム論 Theory of Algorithms 後期 工学部 2018/04-2019/03
離散アルゴリズム理論 Theory of Discrete Algorithms 前期 情報学研究科 2018/04-2019/03
ILASセミナー ILAS Seminar 前期 全学共通科目 2019/04-2020/03
アルゴリズム論 Theory of Algorithms 後期 工学部 2019/04-2020/03
離散アルゴリズム理論 Theory of Discrete Algorithms 前期 情報学研究科 2019/04-2020/03
School management (title, position)
Title Period
国際高等教育院 基盤企画評価専門委員会 情報学部会 委員 2019/04/01-2020/03/31
国際高等教育院 企画評価専門委員会 情報学部会 委員 2019/04/01-2020/03/31
Faculty management (title, position)
Title Period
図書WG委員長 2019/04/01-2020/03/31
基盤整備委員会副委員長 2019/04/01-2020/03/31
Academic organizations (administrative history with title(s), position(s), etc.)
Organization name(Japanese) Organization name(English) Title(Japanese) Title(English) Period
情報処理学会 IPSJ 理事 2018/06/06-2020/06/01
人工知能学会 JSAI 評議員 2010/06/01-2014/05/31