湊 真一

Last Update: 2020/08/05 02:46:50

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.
Language of Instruction
Language(japanese) Language(english) Code
英語 English eng
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
Research Topics
(Japanese)
離散構造処理アルゴリズム
(English)
Algorithms for Discrete Structure Manipulation
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
Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato Tree Decomposition-based Approach for Compiling Independent Sets Tree Decomposition-based Approach for Compiling Independent Sets Tree Decomposition-based Approach for Compiling Independent Sets Journal of Information Processing, 28, 0, 354-368 Journal of Information Processing, 28, 0, 354-368 Journal of Information Processing, 28, 0, 354-368 2020/07 Refereed English Research paper(scientific journal) Disclose to all
Yu Nakahata, Masaaki Nishino, Jun Kawahara, Shin-ichi Minato Yu Nakahata, Masaaki Nishino, Jun Kawahara, Shin-ichi Minato Yu Nakahata, Masaaki Nishino, Jun Kawahara, Shin-ichi Minato Enumerating All Subgraphs Under Given Constraints Using Zero-Suppressed Sentential Decision Diagrams. Enumerating All Subgraphs Under Given Constraints Using Zero-Suppressed Sentential Decision Diagrams. Enumerating All Subgraphs Under Given Constraints Using Zero-Suppressed Sentential Decision Diagrams. Proc of 18th Symposium on Experimental Algorithms (SEA2020), 9:1-9:14 Proc of 18th Symposium on Experimental Algorithms (SEA2020), 9:1-9:14 Proc of 18th Symposium on Experimental Algorithms (SEA2020), 9:1-9:14 2020/06 Refereed English Research paper(international conference proceedings) Disclose to all
Yu Nakahata, Jun Kawahara, Takashi Horiyama, Shin-ichi Minato Yu Nakahata, Jun Kawahara, Takashi Horiyama, Shin-ichi Minato Yu Nakahata, Jun Kawahara, Takashi Horiyama, Shin-ichi Minato Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration. Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration. Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration. Proc. of the 14th International Workshop of Algorithms and Computation (WALCOM2020), (LNCS 12049, Springer), 211-222 Proc. of the 14th International Workshop of Algorithms and Computation (WALCOM2020), (LNCS 12049, Springer), 211-222 Proc. of the 14th International Workshop of Algorithms and Computation (WALCOM2020), (LNCS 12049, Springer), 211-222 2020/03 Refereed English Research paper(international conference proceedings) Disclose to all
Hirofumi Suzuki, Masakazu Ishihata, Shin-ichi Minato Hirofumi Suzuki, Masakazu Ishihata, Shin-ichi Minato Hirofumi Suzuki, Masakazu Ishihata, Shin-ichi Minato Designing Survivable Networks with Zero-Suppressed Binary Decision Diagrams. Designing Survivable Networks with Zero-Suppressed Binary Decision Diagrams. Designing Survivable Networks with Zero-Suppressed Binary Decision Diagrams. Proc. of the 14th International Workshop of Algorithms and Computation (WALCOM2020), (LNCS 12049, Springer), 273-285 Proc. of the 14th International Workshop of Algorithms and Computation (WALCOM2020), (LNCS 12049, Springer), 273-285 Proc. of the 14th International Workshop of Algorithms and Computation (WALCOM2020), (LNCS 12049, Springer), 273-285 2020/03 Refereed English Research paper(international conference proceedings) Disclose to all
Yuya Sugie, Normann Mertig, Yoichi Iwata, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Tamiki Komatsuzaki, Takashi Takemoto Yuya Sugie, Normann Mertig, Yoichi Iwata, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Tamiki Komatsuzaki, Takashi Takemoto Yuya Sugie, Normann Mertig, Yoichi Iwata, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Tamiki Komatsuzaki, Takashi Takemoto Compiling higher order binary optimization problems into annealing processors Compiling higher order binary optimization problems into annealing processors Compiling higher order binary optimization problems into annealing processors Proc. of 25th International Symposium on Artificial Life and Robotics (AROB 25th 2020) Proc. of 25th International Symposium on Artificial Life and Robotics (AROB 25th 2020) Proc. of 25th International Symposium on Artificial Life and Robotics (AROB 25th 2020) 2020/01 Refereed English Research paper(international conference proceedings) Disclose to all
Go Kato, Shin-ichi Minato Go Kato, Shin-ichi Minato Go Kato, Shin-ichi Minato Enumerating associative magic squares of order 7 Enumerating associative magic squares of order 7 Enumerating associative magic squares of order 7 Collection of abst. of Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2019), 85-86 Collection of abst. of Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2019), 85-86 Collection of abst. of Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2019), 85-86 2019/09 Refereed English Research paper(international conference proceedings) Disclose to all
Fumio Ishioka, Jun Kawahara, Masahiro Mizuta, Shin-ichi Minato, Koji Kurihara Fumio Ishioka, Jun Kawahara, Masahiro Mizuta, Shin-ichi Minato, Koji Kurihara Fumio Ishioka, Jun Kawahara, Masahiro Mizuta, Shin-ichi Minato, 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, 2, 1, 241-262 Japanese Journal of Statistics and Data Science, 2, 1, 241-262 Japanese Journal of Statistics and Data Science, 2, 1, 241-262 2019/06 Refereed English Research paper(scientific journal) Disclose to all
Shin-ichi Minato, Jun Kawahara, Fumio Ishioka, Masahiro Mizuta, Koji Kurihara Shin-ichi Minato, Jun Kawahara, Fumio Ishioka, Masahiro Mizuta, Koji Kurihara Shin-ichi Minato, Jun Kawahara, Fumio Ishioka, Masahiro Mizuta, 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
Yuji Takenobu, Norihito Yasuda, Shin-ichi Minato, Yasuhiro Hayashi Yuji Takenobu, Norihito Yasuda, Shin-ichi Minato, Yasuhiro Hayashi Yuji Takenobu, Norihito Yasuda, Shin-ichi Minato, 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 2019/02 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, Tamiki Komatsuzaki Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, Tamiki Komatsuzaki Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, 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
akashi Takemoto, Normann Mertig, Masato Hayashi, Saki Susa-Tanaka, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Tamiki Komatsuzaki, Masanao Yamaoka akashi Takemoto, Normann Mertig, Masato Hayashi, Saki Susa-Tanaka, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Tamiki Komatsuzaki, Masanao Yamaoka akashi Takemoto, Normann Mertig, Masato Hayashi, Saki Susa-Tanaka, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Tamiki Komatsuzaki, 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
Hirofumi Suzuki, Masakazu Ishihata, Shin-ichi Minato Hirofumi Suzuki, Masakazu Ishihata, Shin-ichi Minato Hirofumi Suzuki, Masakazu Ishihata, 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
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, Shin-ichi Minato Hirofumi Suzuki, Shin-ichi Minato Hirofumi Suzuki, 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
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 Algorithms, 11, 8 Algorithms, 11, 8 Algorithms, 11, 8 2018/08 Refereed English Research paper(scientific journal) Disclose to all
Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, Shin‐ichi Minato Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, Shin‐ichi Minato Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, 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, Shin-ichi Minato IYuji Takenobu, Norihito Yasuda, Shunsuke Kawano, Yasuhiro Hayashi, Shin-ichi Minato Yuji Takenobu, Norihito Yasuda, Shunsuke Kawano, Yasuhiro Hayashi, 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, Shin-ichi Minato Shinsaku Sakaue, Masakazu Ishihata, Shin-ichi Minato Shinsaku Sakaue, Masakazu Ishihata, 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
Masaaki Nishino, Takeru Inoue, Norihito Yaasuda, Shin-ichi Minato, Masaaki Nagata Masaaki Nishino, Takeru Inoue, Norihito Yaasuda, Shin-ichi Minato, Masaaki Nagata Masaaki Nishino, Takeru Inoue, Norihito Yaasuda, Shin-ichi Minato, Masaaki Nagata Optimizing Network Reliability via Best-First Search over Decision Diagrams Optimizing Network Reliability via Best-First Search over Decision Diagrams Optimizing Network Reliability via Best-First Search over Decision Diagrams Proc. of 37th Annual IEEE International Conference on Computer Communications (INFOCOM), 1817-1825 Proc. of 37th Annual IEEE International Conference on Computer Communications (INFOCOM), 1817-1825 Proc. of 37th Annual IEEE International Conference on Computer Communications (INFOCOM), 1817-1825 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, Osamu Akashi Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, Osamu Akashi Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, 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, Masaaki Nagata Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato, Masaaki Nagata Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato, 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, E100D, 12, 2945-2952 IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E100D, 12, 2945-2952 IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E100D, 12, 2945-2952 2017/12 Refereed English Research paper(scientific journal) Disclose to all
Reona Minoda, Masakazu Ishihata, Shin-ichi Minato Reona Minoda, Masakazu Ishihata, Shin-ichi Minato Reona Minoda, Masakazu Ishihata, 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
Gao Shan, Masakazu Ishihata, Shin-ichi Minato Gao Shan, Masakazu Ishihata, Shin-ichi Minato Gao Shan, Masakazu Ishihata, 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
Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, 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
Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, Shin Ichi Minato Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, Shin Ichi Minato Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, 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 Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E100A, 9, 1773-1784 IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E100A, 9, 1773-1784 IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E100A, 9, 1773-1784 2017/09 Refereed Research paper(scientific journal) Disclose to all
Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, Shin-ichi Minato Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, Shin-ichi Minato Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, 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 TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E100A, 9, 1773-1784 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E100A, 9, 1773-1784 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E100A, 9, 1773-1784 2017/09 Refereed English Research paper(scientific journal) Disclose to all
Junpei Komiyama, Maskazu Ishihata, Hiroki Arimura, Takashi Nishibayashi, Shin-ichi Minato Junpei Komiyama, Maskazu Ishihata, Hiroki Arimura, Takashi Nishibayashi, Shin-ichi Minato Junpei Komiyama, Maskazu Ishihata, Hiroki Arimura, Takashi Nishibayashi, 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, E100D, 8, 1556-1562 IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E100D, 8, 1556-1562 IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E100D, 8, 1556-1562 2017/08 Refereed English Research paper(scientific journal) Disclose to all
Reona Minoda, Shin-ichi Minato Reona Minoda, Shin-ichi Minato Reona Minoda, 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, Shin-ichi Minato Reona Minoda, Shin-ichi Minato Reona Minoda, 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, E100D, 6, 1172-1181 IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E100D, 6, 1172-1181 IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E100D, 6, 1172-1181 2017/06 Refereed English Research paper(scientific journal) Disclose to all
Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato, Masaaki Nagata Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato, Masaaki Nagata Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato, 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
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 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
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 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
Jun Kawahara, Takashi Horiyama, Keisuke Hotta, Shin-ichi Minato Jun Kawahara, Takashi Horiyama, Keisuke Hotta, Shin-ichi Minato Jun Kawahara, Takashi Horiyama, Keisuke Hotta, 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 WALCOM: ALGORITHMS AND COMPUTATION, WALCOM 2017, 10167, 119-131 WALCOM: ALGORITHMS AND COMPUTATION, WALCOM 2017, 10167, 119-131 WALCOM: ALGORITHMS AND COMPUTATION, WALCOM 2017, 10167, 119-131 2017 Refereed English Research paper(international conference proceedings) Disclose to all
Reona Minoda, Yuzuru Tanaka, Shin-ichi Minato Reona Minoda, Yuzuru Tanaka, Shin-ichi Minato Reona Minoda, Yuzuru Tanaka, 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
Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-ichi Minato Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-ichi Minato Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-ichi Minato Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations DISCRETE APPLIED MATHEMATICS, 212, 61-80 DISCRETE APPLIED MATHEMATICS, 212, 61-80 DISCRETE APPLIED MATHEMATICS, 212, 61-80 2016/10 Refereed English Research paper(scientific journal) Disclose to all
Hirofumi Suzuki, Sun Hao, Shin-ichi Minato Hirofumi Suzuki, Sun Hao, Shin-ichi Minato Hirofumi Suzuki, Sun Hao, 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
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 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
Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, Shin-ichi Minato Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, Shin-ichi Minato Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, 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
Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, Shin-ichi Minato Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, Shin-ichi Minato Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, 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 INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 18, 1, 57-66 INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 18, 1, 57-66 INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 18, 1, 57-66 2016/02 Refereed English Research paper(scientific journal) Disclose to all
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Power of Enumeration-BDD/ZDD-Based Techniques for Discrete Structure Manipulation Power of Enumeration-BDD/ZDD-Based Techniques for Discrete Structure Manipulation Power of Enumeration-BDD/ZDD-Based Techniques for Discrete Structure Manipulation 2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016), 143-143 2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016), 143-143 2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016), 143-143 2016 Refereed English Research paper(international conference proceedings) Disclose to all
Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, Shin-ichi Minato Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, Shin-ichi Minato Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, Shin-ichi Minato Using pi DDs for Nearest Neighbor Optimization of Quantum Circuits Using pi DDs for Nearest Neighbor Optimization of Quantum Circuits Using pi DDs for Nearest Neighbor Optimization of Quantum Circuits REVERSIBLE COMPUTATION, RC 2016, 9720, 181-196 REVERSIBLE COMPUTATION, RC 2016, 9720, 181-196 REVERSIBLE COMPUTATION, RC 2016, 9720, 181-196 2016 Refereed English Research paper(international conference proceedings) Disclose to all
Yuji Takenobu, Shunsuke Kawano, Yasuhiro Hayashi, Norihito Yasuda, Shin-ichi Minato Yuji Takenobu, Shunsuke Kawano, Yasuhiro Hayashi, Norihito Yasuda, Shin-ichi Minato Yuji Takenobu, Shunsuke Kawano, Yasuhiro Hayashi, Norihito Yasuda, 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 2016 POWER SYSTEMS COMPUTATION CONFERENCE (PSCC), 1-7 2016 POWER SYSTEMS COMPUTATION CONFERENCE (PSCC), 1-7 2016 POWER SYSTEMS COMPUTATION CONFERENCE (PSCC), 1-7 2016 Refereed English Research paper(international conference proceedings) Disclose to all
Shan Gao, Shin-ichi Minato Shan Gao, Shin-ichi Minato Shan Gao, 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
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 TRANSACTIONS ON SMART GRID, 6, 2, 843-852 IEEE TRANSACTIONS ON SMART GRID, 6, 2, 843-852 IEEE TRANSACTIONS ON SMART GRID, 6, 2, 843-852 2015/03 Refereed English Research paper(scientific journal) 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
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
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, RC 2015, 9138, 186-199 REVERSIBLE COMPUTATION, RC 2015, 9138, 186-199 REVERSIBLE COMPUTATION, RC 2015, 9138, 186-199 2015 Refereed English Research paper(international conference proceedings) 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
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
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
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 ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E97A, 6, 1171-1179 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E97A, 6, 1171-1179 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E97A, 6, 1171-1179 2014/06 Refereed English Research paper(scientific journal) Disclose to all
岩下 洋哲, 戸田 貴久, 津田 宏治, 湊 真一 岩下 洋哲, 戸田 貴久, 津田 宏治, 湊 真一 乗法標準形で与えられた論理関数に対する二分決定グラフ構築の効率化 乗法標準形で与えられた論理関数に対する二分決定グラフ構築の効率化 人工知能学会全国大会論文集, 2014, 0, 1D4OS11a2i-1D4OS11a2i 人工知能学会全国大会論文集, 2014, 0, 1D4OS11a2i-1D4OS11a2i , 2014, 0, 1D4OS11a2i-1D4OS11a2i 2014 Refereed Japanese 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
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, SEA 2014, 8504, 187-198 EXPERIMENTAL ALGORITHMS, SEA 2014, 8504, 187-198 EXPERIMENTAL ALGORITHMS, SEA 2014, 8504, 187-198 2014 Refereed English Research paper(international conference proceedings) 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
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
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
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, 8643, 504-510 TRENDS AND APPLICATIONS IN KNOWLEDGE DISCOVERY AND DATA MINING, 8643, 504-510 TRENDS AND APPLICATIONS IN KNOWLEDGE DISCOVERY AND DATA MINING, 8643, 504-510 2014 Refereed English Research paper(international conference proceedings) 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, 8643, 494-503 TRENDS AND APPLICATIONS IN KNOWLEDGE DISCOVERY AND DATA MINING, 8643, 494-503 TRENDS AND APPLICATIONS IN KNOWLEDGE DISCOVERY AND DATA MINING, 8643, 494-503 2014 Refereed English Research paper(international conference proceedings) 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, 8643, 457-469 TRENDS AND APPLICATIONS IN KNOWLEDGE DISCOVERY AND DATA MINING, 8643, 457-469 TRENDS AND APPLICATIONS IN KNOWLEDGE DISCOVERY AND DATA MINING, 8643, 457-469 2014 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 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, ISAAC 2014, 8889, 103-114 ALGORITHMS AND COMPUTATION, ISAAC 2014, 8889, 103-114 ALGORITHMS AND COMPUTATION, ISAAC 2014, 8889, 103-114 2014 Refereed English Research paper(international conference proceedings) 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 2014 IEEE 22ND INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS (ICNP), 296-307 2014 IEEE 22ND INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS (ICNP), 296-307 2014 IEEE 22ND INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS (ICNP), 296-307 2014 Refereed English Research paper(international conference proceedings) 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 TRANSACTIONS ON SMART GRID, 5, 1, 102-111 IEEE TRANSACTIONS ON SMART GRID, 5, 1, 102-111 IEEE TRANSACTIONS ON SMART GRID, 5, 1, 102-111 2014/01 Refereed English Research paper(scientific journal) 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
湊 真一 湊 真一 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
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
瀧澤重志, 武知祥史, 大田章雄, 中野浩太郎, 加藤直樹, 井上武, 堀山貴史, 川原純, 湊真一, 湊真一 瀧澤重志, 武知祥史, 大田章雄, 中野浩太郎, 加藤直樹, 井上武, 堀山貴史, 川原純, 湊真一, 湊真一 瀧澤重志, 武知祥史, 大田章雄, 中野浩太郎, 加藤直樹, 井上武, 堀山貴史, 川原純, 湊真一, 湊真一 ZDDを用いた都市の避難所割り当ての列挙 ZDDを用いた都市の避難所割り当ての列挙 ZDDを用いた都市の避難所割り当ての列挙 日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, 2013, 66-67 日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, 2013, 66-67 日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, 2013, 66-67 2013/09 Japanese 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
Atsushi Takizawa, Yasufumi Takechi, Akio Ohta, Naoki Katoh, Takeru Inoue, Takashi Horiyama, Jun Kawahara, Shin-ichi Minato Atsushi Takizawa, Yasufumi Takechi, Akio Ohta, Naoki Katoh, Takeru Inoue, Takashi Horiyama, Jun Kawahara, Shin-ichi Minato Atsushi Takizawa, Yasufumi Takechi, Akio Ohta, Naoki Katoh, Takeru Inoue, Takashi Horiyama, Jun Kawahara, 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
Yuma Inoue, Takahisa Toda, Shin-ichi Minato Yuma Inoue, Takahisa Toda, Shin-ichi Minato Yuma Inoue, Takahisa Toda, 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
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 TRANSACTIONS ON INFORMATION AND SYSTEMS, E96D, 7, 1419-1429 IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E96D, 7, 1419-1429 IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E96D, 7, 1419-1429 2013/07 Refereed English Research paper(scientific journal) 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 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 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
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
Laura Tague, Mathias Soeken, Shin-ichi Minato, Rolf Drechsler Laura Tague, Mathias Soeken, Shin-ichi Minato, Rolf Drechsler Laura Tague, Mathias Soeken, Shin-ichi Minato, 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
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
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
岩下 洋哲, 中澤 吉男, 川原 純, 宇野 毅明, 湊 真一 岩下 洋哲, 中澤 吉男, 川原 純, 宇野 毅明, 湊 真一 最小完全ハッシュ関数を用いたグリッドグラフ上の効率的なパス数え上げ 最小完全ハッシュ関数を用いたグリッドグラフ上の効率的なパス数え上げ 研究報告アルゴリズム(AL), 2013, 8, 1-6 研究報告アルゴリズム(AL), 2013, 8, 1-6 , 2013, 8, 1-6 2013/02/22 Japanese Research paper(research society, symposium materials, etc.) 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
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
Mathias Soeken, Robert Wille, Shin-ichi Minato, Rolf Drechsler Mathias Soeken, Robert Wille, Shin-ichi Minato, Rolf Drechsler Mathias Soeken, Robert Wille, Shin-ichi Minato, 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
Shuhei Denzumi, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato Shuhei Denzumi, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato Shuhei Denzumi, Koji Tsuda, Hiroki Arimura, 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 PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2013, 157-167 PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2013, 157-167 PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2013, 157-167 2013 Refereed English Research paper(international conference proceedings) Disclose to all
湊 真一 湊 真一 特集にあたって(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) 特集にあたって(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) オペレーションズ・リサーチ : 経営の科学, 57, 11 オペレーションズ・リサーチ : 経営の科学, 57, 11 , 57, 11 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, 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を用いた新しい列挙索引化技法(フロンティア法)とその応用) オペレーションズ・リサーチ : 経営の科学, 57, 11, 610-615 オペレーションズ・リサーチ : 経営の科学, 57, 11, 610-615 , 57, 11, 610-615 2012/11 Refereed Japanese Research paper(scientific journal) Disclose to all
吉仲 亮, 岩下 洋哲, 川原 純, 斎藤 寿樹, 鶴間 浩二, 湊 真一 吉仲 亮, 岩下 洋哲, 川原 純, 斎藤 寿樹, 鶴間 浩二, 湊 真一 種々のリンクパズルへの応用 種々のリンクパズルへの応用 オペレーションズ・リサーチ : 経営の科学 = [O]perations research as a management science [r]esearch, 57, 11, 616-622 オペレーションズ・リサーチ : 経営の科学 = [O]perations research as a management science [r]esearch, 57, 11, 616-622 , 57, 11, 616-622 2012/11/01 Refereed Japanese Research paper(scientific journal) 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
岩下 洋哲, 川原 純, 湊 真一 岩下 洋哲, 川原 純, 湊 真一 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
Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, 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, Shin-ichi Minato Takeru Inoue, Shin-ichi Minato Takeru Inoue, 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 TRANSACTIONS ON COMMUNICATIONS, E95B, 7, 2210-2221 IEICE TRANSACTIONS ON COMMUNICATIONS, E95B, 7, 2210-2221 IEICE TRANSACTIONS ON COMMUNICATIONS, E95B, 7, 2210-2221 2012/07 Refereed English Research paper(scientific journal) Disclose to all
Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, Yoshikazu Miyanaga Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, Yoshikazu Miyanaga Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, 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, E95D, 7, 1847-1857 IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E95D, 7, 1847-1857 IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E95D, 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
伝住 周平, 有村 博紀, 湊 真一 伝住 周平, 有村 博紀, 湊 真一 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 Disclose to all
Yasuyuki Shirai, Koji Tsuruma, Yuko Sakurai, Satoshi Oyama, Shin-ichi Minato Yasuyuki Shirai, Koji Tsuruma, Yuko Sakurai, Satoshi Oyama, Shin-ichi Minato Yasuyuki Shirai, Koji Tsuruma, Yuko Sakurai, Satoshi Oyama, 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
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
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 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 Disclose to all
Ryo Yoshinaka, Toshiki Saitoh, Jun Kawahara, Koji Tsuruma, Hiroaki Iwashita, Shin-ichi Minato Ryo Yoshinaka, Toshiki Saitoh, Jun Kawahara, Koji Tsuruma, Hiroaki Iwashita, Shin-ichi Minato Ryo Yoshinaka, Toshiki Saitoh, Jun Kawahara, Koji Tsuruma, Hiroaki Iwashita, 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 Refereed English Research paper(scientific journal) Disclose to all
Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller Synthesis of Semi-Classical Quantum Circuits Synthesis of Semi-Classical Quantum Circuits Synthesis of Semi-Classical Quantum Circuits JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 18, 1, 99-114 JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 18, 1, 99-114 JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 18, 1, 99-114 2012 Refereed English Research paper(scientific journal) Disclose to all
Takeru Inoue, Fujio Toriumi, Yasuyuki Shirai, Shin-ichi Minato Takeru Inoue, Fujio Toriumi, Yasuyuki Shirai, Shin-ichi Minato Takeru Inoue, Fujio Toriumi, Yasuyuki Shirai, Shin-ichi Minato Great east Japan earthquake viewed from a URL shortener Great east Japan earthquake viewed from a URL shortener Great east Japan earthquake viewed from a URL shortener Proc. of the Special Workshop on Internet and Disasters (ACM CoNEXT workshop), 8:1-8:8 Proc. of the Special Workshop on Internet and Disasters (ACM CoNEXT workshop), 8:1-8:8 Proc. of the Special Workshop on Internet and Disasters (ACM CoNEXT workshop), 8:1-8:8 2011/12 Refereed English Research paper(international conference proceedings) 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 Disclose to all
Hiroshi Aoki, Shigeru Yamashita, Shin-ichi Minato Hiroshi Aoki, Shigeru Yamashita, Shin-ichi Minato Hiroshi Aoki, Shigeru Yamashita, 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, Hiroki Arimura Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, 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
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 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 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 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 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 Disclose to all
川原 純, 斎藤 寿樹, 鈴木 拡, 湊 真一, 吉仲 亮 川原 純, 斎藤 寿樹, 鈴木 拡, 湊 真一, 吉仲 亮 ZDD によるパスの列挙 (計算機科学とアルゴリズムの数理的基礎とその応用) ZDD によるパスの列挙 (計算機科学とアルゴリズムの数理的基礎とその応用) 数理解析研究所講究録, 1744, 0, 35-41 数理解析研究所講究録, 1744, 0, 35-41 , 1744, 0, 35-41 2011/06 Japanese 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 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 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 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 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 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
Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-ichi Minato Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-ichi Minato Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, 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 PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2011, 147-161 PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2011, 147-161 PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2011, 147-161 2011 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 ERLANG 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN ERLANG WORKSHOP, 90-91 ERLANG 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN ERLANG WORKSHOP, 90-91 ERLANG 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN ERLANG WORKSHOP, 90-91 2011 Refereed English Research paper(international conference proceedings) Disclose to all
Masakazu Ishihata, Taisuke Sato, Shin-ichi Minato Masakazu Ishihata, Taisuke Sato, Shin-ichi Minato Masakazu Ishihata, Taisuke Sato, 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 AI 2011: ADVANCES IN ARTIFICIAL INTELLIGENCE, 7106, 203-+ AI 2011: ADVANCES IN ARTIFICIAL INTELLIGENCE, 7106, 203-+ AI 2011: ADVANCES IN ARTIFICIAL INTELLIGENCE, 7106, 203-+ 2011 Refereed English Research paper(international conference proceedings) Disclose to all
Yuko Sakurai, Suguru Ueda, Atsushi Iwasaki, Shin-Ichi Minato, Makoto Yokoo Yuko Sakurai, Suguru Ueda, Atsushi Iwasaki, Shin-Ichi Minato, Makoto Yokoo Yuko Sakurai, Suguru Ueda, Atsushi Iwasaki, Shin-Ichi Minato, Makoto Yokoo 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 AGENTS IN PRINCIPLE, AGENTS IN PRACTICE, 7047, 4-+ AGENTS IN PRINCIPLE, AGENTS IN PRACTICE, 7047, 4-+ AGENTS IN PRINCIPLE, AGENTS IN PRACTICE, 7047, 4-+ 2011 Refereed English Research paper(international conference proceedings) Disclose to all
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato 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 GENERATION COMPUTING, 29, 2, 223-238 NEW GENERATION COMPUTING, 29, 2, 223-238 NEW GENERATION COMPUTING, 29, 2, 223-238 2011 Refereed English Research paper(scientific journal) Disclose to all
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato pi DD: A New Decision Diagram for Efficient Problem Solving in Permutation Space pi DD: A New Decision Diagram for Efficient Problem Solving in Permutation Space pi DD: A New Decision Diagram for Efficient Problem Solving in Permutation Space THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, 6695, 90-104 THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, 6695, 90-104 THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, 6695, 90-104 2011 Refereed English Research paper(international conference proceedings) 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 Disclose to all
Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, Yoshikazu Miyanaga Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, Yoshikazu Miyanaga Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, 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
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 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 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 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 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 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 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 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 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 Disclose to all
Yusaku Kaneta, Shin-ichi Minato, Hiroki Arimura Yusaku Kaneta, Shin-ichi Minato, Hiroki Arimura Yusaku Kaneta, Shin-ichi Minato, Hiroki Arimura 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 STRING PROCESSING AND INFORMATION RETRIEVAL, 6393, 372-384 STRING PROCESSING AND INFORMATION RETRIEVAL, 6393, 372-384 STRING PROCESSING AND INFORMATION RETRIEVAL, 6393, 372-384 2010 Refereed English Research paper(international conference proceedings) Disclose to all
Shin-ichi Minato, Takeaki Uno Shin-ichi Minato, Takeaki Uno Shin-ichi Minato, Takeaki Uno Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases SDM2010, 339-349 SDM2010, 339-349 SDM2010, 339-349 2010 Refereed Disclose to all
Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato An EM Algorithm on BDDs with Order Encoding for Logic-based Probabilistic Models. An EM Algorithm on BDDs with Order Encoding for Logic-based Probabilistic Models. An EM Algorithm on BDDs with Order Encoding for Logic-based Probabilistic Models. Proceedings of the 2nd Asian Conference on Machine Learning, ACML 2010, Tokyo, Japan, November 8-10, 2010, 161-176 Proceedings of the 2nd Asian Conference on Machine Learning, ACML 2010, Tokyo, Japan, November 8-10, 2010, 161-176 Proceedings of the 2nd Asian Conference on Machine Learning, ACML 2010, Tokyo, Japan, November 8-10, 2010, 161-176 2010 Refereed 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 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
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 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 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 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 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
Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller 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, E91A, 12, 3793-3802 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E91A, 12, 3793-3802 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E91A, 12, 3793-3802 2008/12 Refereed English Research paper(scientific journal) Disclose to all
Hitoshi Uematsu, Kan Toyoshima, Takeru Inoue, Kazuhiro Takahashi, Satsuki Nishina, Tsuyoshi Takagi, Shinichi Minato Hitoshi Uematsu, Kan Toyoshima, Takeru Inoue, Kazuhiro Takahashi, Satsuki Nishina, Tsuyoshi Takagi, Shinichi Minato Hitoshi Uematsu, Kan Toyoshima, Takeru Inoue, Kazuhiro Takahashi, Satsuki Nishina, Tsuyoshi Takagi, Shinichi Minato Contents Muticast Method Enabling Determination of Leakage Origin and Exclusion Contents Muticast Method Enabling Determination of Leakage Origin and Exclusion Contents Muticast Method Enabling Determination of Leakage Origin and Exclusion Proc. of the 14th Asia-Pacific Conference on Communications (APCC), 1-5 Proc. of the 14th Asia-Pacific Conference on Communications (APCC), 1-5 Proc. of the 14th Asia-Pacific Conference on Communications (APCC), 1-5 2008/09 Refereed English Research paper(international conference proceedings) 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
Shin-ichi Minato, Takeaki Uno, Hiroki Arimura Shin-ichi Minato, Takeaki Uno, Hiroki Arimura Shin-ichi Minato, Takeaki Uno, Hiroki Arimura 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 ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, 5012, 234-+ ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, 5012, 234-+ ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, 5012, 234-+ 2008 Refereed English Research paper(international conference proceedings) Disclose to all
Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller An efficient verification of quantum circuits under a practical restriction An efficient verification of quantum circuits under a practical restriction An efficient verification of quantum circuits under a practical restriction 2008 IEEE 8TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, VOLS 1 AND 2, 873-+ 2008 IEEE 8TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, VOLS 1 AND 2, 873-+ 2008 IEEE 8TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, VOLS 1 AND 2, 873-+ 2008 Refereed English Research paper(international conference proceedings) 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 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
Shin-Ichi Minato, Hiroki Arimura Shin-Ichi Minato, Hiroki Arimura Shin-Ichi Minato, Hiroki Arimura Frequent pattern mining and knowledge indexing based on zero-suppressed BDDs Frequent pattern mining and knowledge indexing based on zero-suppressed BDDs Frequent pattern mining and knowledge indexing based on zero-suppressed BDDs KNOWLEDGE DISCOVERY IN INDUCTIVE DATABASES, 4747, 152-169 KNOWLEDGE DISCOVERY IN INDUCTIVE DATABASES, 4747, 152-169 KNOWLEDGE DISCOVERY IN INDUCTIVE DATABASES, 4747, 152-169 2007 Refereed English Research paper(international conference proceedings) Disclose to all
Haruya Iwasaki, Shin-ichi Minato, Thomas Zeugmann Haruya Iwasaki, Shin-ichi Minato, Thomas Zeugmann Haruya Iwasaki, Shin-ichi Minato, Thomas Zeugmann A method of variable ordering for zero-suppressed binary decision diagrams in data mining applications A method of variable ordering for zero-suppressed binary decision diagrams in data mining applications A method of variable ordering for zero-suppressed binary decision diagrams in data mining applications 2007 IEEE INTERNATIONAL WORKSHOP ON DATABASES FOR NEXT GENERATION RESEARCHERS, 85-+ 2007 IEEE INTERNATIONAL WORKSHOP ON DATABASES FOR NEXT GENERATION RESEARCHERS, 85-+ 2007 IEEE INTERNATIONAL WORKSHOP ON DATABASES FOR NEXT GENERATION RESEARCHERS, 85-+ 2007 Refereed English Research paper(international conference proceedings) Disclose to all
Shin-ichi Minato, Ken Satoh, Taisuke Sato Shin-ichi Minato, Ken Satoh, Taisuke Sato Shin-ichi Minato, Ken Satoh, Taisuke Sato Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-suppressed BDDs Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-suppressed BDDs Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-suppressed BDDs 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2550-2555 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2550-2555 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2550-2555 2007 Refereed English Research paper(international conference proceedings) Disclose to all
Ryutaro Kurai, Shin-Ichi Minato, Thomas Zeugmarm Ryutaro Kurai, Shin-Ichi Minato, Thomas Zeugmarm Ryutaro Kurai, Shin-Ichi Minato, Thomas Zeugmarm N-gram analysis based on zero-suppressed BDDs N-gram analysis based on zero-suppressed BDDs N-gram analysis based on zero-suppressed BDDs NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 4384, 289-300 NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 4384, 289-300 NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 4384, 289-300 2007 Refereed English Research paper(international conference proceedings) Disclose to all
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato A theoretical study on variable ordering of zero-suppressed BDDs for representing frequent itemsets A theoretical study on variable ordering of zero-suppressed BDDs for representing frequent itemsets A theoretical study on variable ordering of zero-suppressed BDDs for representing frequent itemsets DISCOVERY SCIENCE, PROCEEDINGS, 4755, 139-150 DISCOVERY SCIENCE, PROCEEDINGS, 4755, 139-150 DISCOVERY SCIENCE, PROCEEDINGS, 4755, 139-150 2007 Refereed English Research paper(international conference proceedings) 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 Inform. Media Technol., 2, 1, 300-308 Inform. Media Technol., 2, 1, 300-308 Inform. Media Technol., 2, 1, 300-308 2007 Refereed 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
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato 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 DISCOVERY SCIENCE, PROCEEDINGS, 4265, 321-326 DISCOVERY SCIENCE, PROCEEDINGS, 4265, 321-326 DISCOVERY SCIENCE, PROCEEDINGS, 4265, 321-326 2006 Refereed English Research paper(scientific journal) Disclose to all
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato 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 NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 4012, 169-181 NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 4012, 169-181 NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 4012, 169-181 2006 Refereed English Research paper(scientific journal) Disclose to all
SI Minato SI Minato SI Minato VSOP (Valued-sum-of-products) calculator for knowledge processing based on zero-suppressed BDDs VSOP (Valued-sum-of-products) calculator for knowledge processing based on zero-suppressed BDDs VSOP (Valued-sum-of-products) calculator for knowledge processing based on zero-suppressed BDDs FEDERATION OVER THE WEB, 3847, 40-58 FEDERATION OVER THE WEB, 3847, 40-58 FEDERATION OVER THE WEB, 3847, 40-58 2006 Refereed English Research paper(scientific journal) Disclose to all
Shin-ichi Minato, Hiroki Arimura Shin-ichi Minato, Hiroki Arimura Shin-ichi Minato, Hiroki Arimura Efficient Method of Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs. Efficient Method of Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs. Efficient Method of Combinatorial Item Set Analysis Based on Zero-Suppressed BDDs. 2005 International Workshop on Challenges in Web Information Retrieval and Integration (WIRI 2005), 4-11 2005 International Workshop on Challenges in Web Information Retrieval and Integration (WIRI 2005), 4-11 2005 International Workshop on Challenges in Web Information Retrieval and Integration (WIRI 2005), 4-11 2005/04 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
T Inoue, S Tani, F Takahashi, SI Minato, T Miyazaki, K Toyoshima T Inoue, S Tani, F Takahashi, SI Minato, T Miyazaki, K Toyoshima T Inoue, S Tani, F Takahashi, SI Minato, T Miyazaki, K Toyoshima Design and implementation of advanced multicast router based on cluster computing Design and implementation of advanced multicast router based on cluster computing Design and implementation of advanced multicast router based on cluster computing 11TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, VOL I, PROCEEDINGS, 328-334 11TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, VOL I, PROCEEDINGS, 328-334 11TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, VOL I, PROCEEDINGS, 328-334 2005 Refereed English Research paper(international conference proceedings) Disclose to all
Takeru Inoue, Seiichiro Tani, Katsuhiro Ishimaru, Shin-ichi Minato, Toshiaki Miyazaki Takeru Inoue, Seiichiro Tani, Katsuhiro Ishimaru, Shin-ichi Minato, Toshiaki Miyazaki Takeru Inoue, Seiichiro Tani, Katsuhiro Ishimaru, Shin-ichi Minato, Toshiaki Miyazaki Wide-Area Multicasting based on Flexcast: Toward the Ubiquitous Network Wide-Area Multicasting based on Flexcast: Toward the Ubiquitous Network Wide-Area Multicasting based on Flexcast: Toward the Ubiquitous Network Proc. of the 5th Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT), 301-306 Proc. of the 5th Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT), 301-306 Proc. of the 5th Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT), 301-306 2003/11 Refereed English Research paper(international conference proceedings) Disclose to all
S Minato S Minato S Minato Streaming BDD manipulation Streaming BDD manipulation Streaming BDD manipulation IEEE TRANSACTIONS ON COMPUTERS, 51, 5, 474-485 IEEE TRANSACTIONS ON COMPUTERS, 51, 5, 474-485 IEEE TRANSACTIONS ON COMPUTERS, 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
HG Okuno, S Minato, H Isozaki HG Okuno, S Minato, H Isozaki HG Okuno, S Minato, 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/05 Refereed English Research paper(scientific journal) Disclose to all
D Rotter, K Hamaguchi, S Minato, S Yajima D Rotter, K Hamaguchi, S Minato, S Yajima D Rotter, K Hamaguchi, S Minato, S Yajima Manipulation of large-scale polynomials using BMDs Manipulation of large-scale polynomials using BMDs Manipulation of large-scale polynomials using BMDs IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E80A, 10, 1774-1781 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E80A, 10, 1774-1781 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E80A, 10, 1774-1781 1997/10 Refereed English Research paper(scientific journal) Disclose to all
SI Minato SI Minato SI 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-3, 221-242 FORMAL METHODS IN SYSTEM DESIGN, 10, 2-3, 221-242 FORMAL METHODS IN SYSTEM DESIGN, 10, 2-3, 221-242 1997/04 Refereed English Research paper(scientific journal) Disclose to all
T Yoneda, H Hatori, A Takahara, S Minato T Yoneda, H Hatori, A Takahara, S Minato T Yoneda, H Hatori, A Takahara, S Minato BDDs vs. zero-suppressed BDDs: for CTL symbolic model checking of Petri nets BDDs vs. zero-suppressed BDDs: for CTL symbolic model checking of Petri nets BDDs vs. zero-suppressed BDDs: for CTL symbolic model checking of Petri nets FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1166, 435-449 FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1166, 435-449 FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1166, 435-449 1996 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
S MINATO S MINATO S MINATO BEM-II - AN ARITHMETIC BOOLEAN EXPRESSION MANIPULATOR USING BDDS BEM-II - AN ARITHMETIC BOOLEAN EXPRESSION MANIPULATOR USING BDDS BEM-II - AN ARITHMETIC BOOLEAN EXPRESSION MANIPULATOR USING BDDS IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E76A, 10, 1721-1729 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E76A, 10, 1721-1729 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E76A, 10, 1721-1729 1993/10 Refereed English Research paper(scientific journal) Disclose to all
S MINATO S MINATO S MINATO 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, E76A, 6, 967-973 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E76A, 6, 967-973 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E76A, 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, Hiroki Arimura Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, 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
髙橋昌大, 川原純, 湊真一 髙橋昌大, 川原純, 湊真一 グラフの全点対間の点カットを索引化するBDD の構築 グラフの全点対間の点カットを索引化するBDD の構築 2020年度人工知能学会全国大会(第34回), 2N5-OS-17b-03 2020年度人工知能学会全国大会(第34回), 2N5-OS-17b-03 , 2N5-OS-17b-03 2020/06 Japanese Summary of the papers read (national conference and other science council) Disclose to all
Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, Tamiki Komatsuzaki Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, Tamiki Komatsuzaki Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, Tamiki Komatsuzaki Minor-embedding heuristics for large-scale annealing processors with sparse hardware graphs of up to 102, 400 nodes. Minor-embedding heuristics for large-scale annealing processors with sparse hardware graphs of up to 102, 400 nodes. Minor-embedding heuristics for large-scale annealing processors with sparse hardware graphs of up to 102, 400 nodes. CoRR, abs/2004.03819 CoRR, abs/2004.03819 CoRR, abs/2004.03819 2020 English Institution technical report and pre-print, etc. Disclose to all
Yu Nakahata, Takashi Horiyama, Shin-ichi Minato, Katsuhisa Yamanaka Yu Nakahata, Takashi Horiyama, Shin-ichi Minato, Katsuhisa Yamanaka Yu Nakahata, Takashi Horiyama, Shin-ichi Minato, Katsuhisa Yamanaka Compiling Crossing-free Geometric Graphs with Connectivity Constraint for Fast Enumeration, Random Sampling, and Optimization. Compiling Crossing-free Geometric Graphs with Connectivity Constraint for Fast Enumeration, Random Sampling, and Optimization. Compiling Crossing-free Geometric Graphs with Connectivity Constraint for Fast Enumeration, Random Sampling, and Optimization. CoRR, abs/2001.08899 CoRR, abs/2001.08899 CoRR, abs/2001.08899 2020/01 English Institution technical report and pre-print, etc. Disclose to all
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Graphillion: ZDD-based Compilation tool for Graph Enumeration and Random Sampling Graphillion: ZDD-based Compilation tool for Graph Enumeration and Random Sampling Graphillion: ZDD-based Compilation tool for Graph Enumeration and Random Sampling Abstract Note of KOCOON Workshop Abstract Note of KOCOON Workshop Abstract Note of KOCOON Workshop 2019/12 English Summary of the papers read (international conference) Disclose to all
Yu Nakahata, Jun Kawahara, Takashi Horiyama, Shin-ichi Minato Yu Nakahata, Jun Kawahara, Takashi Horiyama, Shin-ichi Minato Yu Nakahata, Jun Kawahara, Takashi Horiyama, Shin-ichi Minato Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration. Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration. Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration. CoRR, abs/1911.07465 CoRR, abs/1911.07465 CoRR, abs/1911.07465 2019/11 English Institution technical report and pre-print, etc. Disclose to all
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Depth-First ZDD Construction with Frontier-Based Search Method for Graph Enumeration Problems Depth-First ZDD Construction with Frontier-Based Search Method for Graph Enumeration Problems Depth-First ZDD Construction with Frontier-Based Search Method for Graph Enumeration Problems Proc. of 3rd International Workshop on Enumeration Problems & Applications (WEPA2019), 10 Proc. of 3rd International Workshop on Enumeration Problems & Applications (WEPA2019), 10 Proc. of 3rd International Workshop on Enumeration Problems & Applications (WEPA2019), 10 2019/10 English Summary of the papers read (international conference) Disclose to all
Yu Nakahata, Jun Kawahara, Shin-ichi Minato Yu Nakahata, Jun Kawahara, Shin-ichi Minato Yu Nakahata, Jun Kawahara, Shin-ichi Minato Decision-Diagram-Based Enumeration of d-Cutsets Decision-Diagram-Based Enumeration of d-Cutsets Decision-Diagram-Based Enumeration of d-Cutsets Proc. of 3rd International Workshop on Enumeration Problems & Applications (WEPA2019), 11 Proc. of 3rd International Workshop on Enumeration Problems & Applications (WEPA2019), 11 Proc. of 3rd International Workshop on Enumeration Problems & Applications (WEPA2019), 11 2019/10 English Summary of the papers read (international conference) Disclose to all
伊藤健洋, 川原純, 湊真一, 大舘陽太, 斎藤寿樹, 鈴木顕, 上原隆平, 宇野毅明, 山中克久, 吉仲亮 伊藤健洋, 川原純, 湊真一, 大舘陽太, 斎藤寿樹, 鈴木顕, 上原隆平, 宇野毅明, 山中克久, 吉仲亮 隣接互換による最短長ユニバーサル列 隣接互換による最短長ユニバーサル列 電子情報通信学会コンピュテーション研究会, 119, 191, 1-5 電子情報通信学会コンピュテーション研究会, 119, 191, 1-5 , 119, 191, 1-5 2019/09 English Summary of the papers read (national conference and other science council) Disclose to all
大澤賢悟, 中畑裕, 湊真一 大澤賢悟, 中畑裕, 湊真一 グラフ同型に関する代表元のグラフを列挙するZDDの構築について グラフ同型に関する代表元のグラフを列挙するZDDの構築について 人工知能学会第110回人工知能基本問題研究会資料, SIG-FPAI-B901-05, 25-30 人工知能学会第110回人工知能基本問題研究会資料, SIG-FPAI-B901-05, 25-30 , SIG-FPAI-B901-05, 25-30 2019/09 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. CoRR, abs/1904.09438 CoRR, abs/1904.09438 CoRR, abs/1904.09438 2019/05 English Institution technical report and pre-print, etc. Disclose to all
中畑裕, 川原純, 堀山貴史, 湊真一 中畑裕, 川原純, 堀山貴史, 湊真一 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
湊真一 湊真一 湊真一 電力システムに貢献するアルゴリズム技術とその将来 電力システムに貢献するアルゴリズム技術とその将来 電力システムに貢献するアルゴリズム技術とその将来 電気学会全国大会講演論文集(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
高橋翔哉, 湊真一, 瀧川一学 高橋翔哉, 湊真一, 瀧川一学 高橋翔哉, 湊真一, 瀧川一学 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
鈴木浩史, 中野裕太, 住谷陽輔, 湊真一, 前田理 鈴木浩史, 中野裕太, 住谷陽輔, 湊真一, 前田理 鈴木浩史, 中野裕太, 住谷陽輔, 湊真一, 前田理 化学反応経路ネットワークにおける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
湊真一, 川原純, 水田正弘, 石岡文生, 栗原考次 湊真一, 川原純, 水田正弘, 石岡文生, 栗原考次 湊真一, 川原純, 水田正弘, 石岡文生, 栗原考次 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
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
金森 憲太朗, 石畠 正和, 湊 真一, 有村 博紀 金森 憲太朗, 石畠 正和, 湊 真一, 有村 博紀 金森 憲太朗, 石畠 正和, 湊 真一, 有村 博紀 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
林 大祐, 羽室 行信, 岡田 克彦, 湊 真一 林 大祐, 羽室 行信, 岡田 克彦, 湊 真一 林 大祐, 羽室 行信, 岡田 克彦, 湊 真一 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
西野 正彬, 安田 宜仁, 湊 真一, 永田 昌明 西野 正彬, 安田 宜仁, 湊 真一, 永田 昌明 厳密被覆問題の高速な全解列挙法 (特集 人に迫る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
鈴木 浩史, 石畠 正和, 湊 真一 鈴木 浩史, 石畠 正和, 湊 真一 鈴木 浩史, 石畠 正和, 湊 真一 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
岡崎 文哉, 奥山 葉月, 瀧川 一学, 湊 真一 岡崎 文哉, 奥山 葉月, 瀧川 一学, 湊 真一 系列二分決定グラフを用いた頻出部分グラフの圧縮表現 系列二分決定グラフを用いた頻出部分グラフの圧縮表現 JSAI大会論文集, 2017, 0, 4A11-4A11 JSAI大会論文集, 2017, 0, 4A11-4A11 , 2017, 0, 4A11-4A11 2017 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
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
鈴木慶介, 今井英幸, ZHANG Ruoni, 瀧川一学, 瀧川一学, 湊真一 鈴木慶介, 今井英幸, ZHANG Ruoni, 瀧川一学, 瀧川一学, 湊真一 鈴木慶介, 今井英幸, ZHANG Ruoni, 瀧川一学, 瀧川一学, 湊真一 平行移動不変な非負値行列因子分解とその分析 平行移動不変な非負値行列因子分解とその分析 平行移動不変な非負値行列因子分解とその分析 情報科学技術フォーラム講演論文集, 15th, 175‐176 情報科学技術フォーラム講演論文集, 15th, 175‐176 情報科学技術フォーラム講演論文集, 15th, 175‐176 2016/08/23 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
和佐 州洋, 石畠 正和, 宇野 毅明, 湊 真一 和佐 州洋, 石畠 正和, 宇野 毅明, 湊 真一 和佐 州洋, 石畠 正和, 宇野 毅明, 湊 真一 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
鈴木 浩史, 湊 真一 鈴木 浩史, 湊 真一 鈴木 浩史, 湊 真一 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
井上 祐馬, 湊 真一 井上 祐馬, 湊 真一 井上 祐馬, 湊 真一 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
湊 真一 湊 真一 湊 真一 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
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
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
鈴木 浩史, 湊 真一 鈴木 浩史, 湊 真一 鈴木 浩史, 湊 真一 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
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
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
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
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
倉井 龍太郎, 安田 宜仁, 湊 真一 倉井 龍太郎, 安田 宜仁, 湊 真一 倉井 龍太郎, 安田 宜仁, 湊 真一 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
竹内 文登, 安田 宜仁, 湊 真一 竹内 文登, 安田 宜仁, 湊 真一 組合せ集合のmeet演算による共通因子抽出 組合せ集合のmeet演算による共通因子抽出 人工知能学会全国大会論文集, 29, 1-4 人工知能学会全国大会論文集, 29, 1-4 , 29, 1-4 2015 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
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
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
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
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
Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, Shin-ichi Minato Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, Shin-ichi Minato Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, 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 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 14, 76 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 14, 76 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 14, 76 2014/09 English Institution technical report and pre-print, etc. 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
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
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 Packet Classification for Global Network View of Software-Defined Networking Packet Classification for Global Network View of Software-Defined Networking Packet Classification for Global Network View of Software-Defined Networking TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 14, 74 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 14, 74 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 14, 74 2014/07 English Institution technical report and pre-print, etc. 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
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 Verifying Distribution Networks for Secure Restoration by Enumerating All Critical Failures Verifying Distribution Networks for Secure Restoration by Enumerating All Critical Failures Verifying Distribution Networks for Secure Restoration by Enumerating All Critical Failures TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 14, 70 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 14, 70 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 14, 70 2014/01 English Institution technical report and pre-print, etc. 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, 2014, 106-115 ハイパフォーマンスコンピューティングと計算科学シンポジウム論文集, 2014, 2014, 106-115 ハイパフォーマンスコンピューティングと計算科学シンポジウム論文集, 2014, 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
Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, Shin-ichi Minato Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, Shin-ichi Minato Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, Shin-ichi Minato Graphillion: Software Library Designed for Very Large Sets of Graphs in Python Graphillion: Software Library Designed for Very Large Sets of Graphs in Python Graphillion: Software Library Designed for Very Large Sets of Graphs in Python TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 13, 65 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 13, 65 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 13, 65 2013/06 English Institution technical report and pre-print, etc. 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の効率的な構築手法 An Efficient ZDD Construction Method Using Recuresive Specifications IEICE technical report. Dependable computing, 112, 321, 25-29 電子情報通信学会技術研究報告. DC, ディペンダブルコンピューティング : IEICE technical report, 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
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 Loss Minimization of Power Distribution Networks with Guaranteed Error Bound Loss Minimization of Power Distribution Networks with Guaranteed Error Bound Loss Minimization of Power Distribution Networks with Guaranteed Error Bound TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 12, 59 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 12, 59 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 12, 59 2012/08 English Institution technical report and pre-print, etc. 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
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 フロンティア法を用いた電力網解析手法(新世代・次世代ネットワーク,ネットワークとシステムの仮想化,仮想化環境の管理・監視,オーバーレイ,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
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
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
湊 真一 湊 真一 配電網の最適経路を探索し、配電ロスを最小化へ 「超高速アルゴリズム」にできること 配電網の最適経路を探索し、配電ロスを最小化へ 「超高速アルゴリズム」にできること 科学技術振興機構 広報誌 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
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
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
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
井上武, 高野圭司, 渡辺喬之, 川原純, 吉仲亮, 岸本章宏, 津田宏治, 湊真一, 林泰弘 井上武, 高野圭司, 渡辺喬之, 川原純, 吉仲亮, 岸本章宏, 津田宏治, 湊真一, 林泰弘 井上武, 高野圭司, 渡辺喬之, 川原純, 吉仲亮, 岸本章宏, 津田宏治, 湊真一, 林泰弘 ZDDを用いた系統運用制約を満たす配電網構成の網羅的探索手法 ZDDを用いた系統運用制約を満たす配電網構成の網羅的探索手法 ZDDを用いた系統運用制約を満たす配電網構成の網羅的探索手法 電気学会 全国大会, 2012, 6, 52-53 電気学会 全国大会, 2012, 6, 52-53 電気学会 全国大会, 2012, 6, 52-53 2012/03 Japanese Summary of the papers read (national conference and other science council) Disclose to all
井上武, 高野圭司, 渡辺喬之, 川原純, 吉仲亮, 岸本章宏, 津田宏治, 湊真一, 林泰弘 井上武, 高野圭司, 渡辺喬之, 川原純, 吉仲亮, 岸本章宏, 津田宏治, 湊真一, 林泰弘 井上武, 高野圭司, 渡辺喬之, 川原純, 吉仲亮, 岸本章宏, 津田宏治, 湊真一, 林泰弘 フロンティア法の電力網構成制御への応用 フロンティア法の電力網構成制御への応用 フロンティア法の電力網構成制御への応用 電子情報通信学会 総合大会, DK, 2, 3 電子情報通信学会 総合大会, DK, 2, 3 電子情報通信学会 総合大会, DK, 2, 3 2012/03 Japanese Summary of the papers read (national conference and other science council) 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
鮑 若愚, 白井 康之, 湊 真一 鮑 若愚, 白井 康之, 湊 真一 鮑 若愚, 白井 康之, 湊 真一 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
湊真一, 有村博紀 湊真一, 有村博紀 「おめでとうソサイエティ論文賞」ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの効率的解析手法 「おめでとうソサイエティ論文賞」ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの効率的解析手法 電子情報通信学会 情報・システムソサイエティ誌, 15, 3, 15 電子情報通信学会 情報・システムソサイエティ誌, 15, 3, 15 , 15, 3, 15 2010/11 Japanese Introduction and explanation (scientific journal) 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, 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
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
湊 真一 湊 真一 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
湊 真一 湊 真一 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
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
石畠正和, 亀谷由隆, 佐藤泰介, 湊真一 石畠正和, 亀谷由隆, 佐藤泰介, 湊真一 石畠正和, 亀谷由隆, 佐藤泰介, 湊真一 Propositionalizing the EM algorithm by BDDs BDD上の命題化確率計算に基づくEMアルゴリズム Propositionalizing the EM algorithm by BDDs 人工知能学会人工知能基本問題研究会資料, 70th, 15-22 人工知能学会人工知能基本問題研究会資料, 70th, 15-22 人工知能学会人工知能基本問題研究会資料, 70th, 15-22 2008/06/30 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
Shin-ichi Minato, Hirokazu Takahashi, Takeru Inoue, Hiroshi Tohjo, Kan Toyoshima Shin-ichi Minato, Hirokazu Takahashi, Takeru Inoue, Hiroshi Tohjo, Kan Toyoshima Shin-ichi Minato, Hirokazu Takahashi, Takeru Inoue, Hiroshi Tohjo, Kan Toyoshima Framework of Programmable Multicast Applications Using Flexcast and Java Applet Framework of Programmable Multicast Applications Using Flexcast and Java Applet Framework of Programmable Multicast Applications Using Flexcast and Java Applet TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 06, 10 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 06, 10 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 06, 10 2006/01 English Institution technical report and pre-print, etc. Disclose to all
高橋宏和, 湊真一, 井上武, 東条弘, 豊島鑑 高橋宏和, 湊真一, 井上武, 東条弘, 豊島鑑 高橋宏和, 湊真一, 井上武, 東条弘, 豊島鑑 MulticastVNCを用いた構義ノート配信システムのトラヒック特性評価 MulticastVNCを用いた構義ノート配信システムのトラヒック特性評価 MulticastVNCを用いた構義ノート配信システムのトラヒック特性評価 電子情報通信学会 総合大会, B, 7, 73 電子情報通信学会 総合大会, B, 7, 73 電子情報通信学会 総合大会, B, 7, 73 2005/03 Japanese Summary of the papers read (national conference and other science council) Disclose to all
Seiichiro Tani, Takeru Inoue, Shin-ichi Minato, Hirokazu Takahashi, Satoshi Kotabe, Toshiaki Miyazaki Seiichiro Tani, Takeru Inoue, Shin-ichi Minato, Hirokazu Takahashi, Satoshi Kotabe, Toshiaki Miyazaki Seiichiro Tani, Takeru Inoue, Shin-ichi Minato, Hirokazu Takahashi, Satoshi Kotabe, Toshiaki Miyazaki Global Multi-Point Streaming Experiments Based on Flexcast Protocol Global Multi-Point Streaming Experiments Based on Flexcast Protocol Global Multi-Point Streaming Experiments Based on Flexcast Protocol NTT Technical Review, 1, 5, 24-30 NTT Technical Review, 1, 5, 24-30 NTT Technical Review, 1, 5, 24-30 2003/08 English Introduction and explanation (bulletin of university, research institution) Disclose to all
井上武, 谷誠一郎, 湊真一, 宮崎敏明 井上武, 谷誠一郎, 湊真一, 宮崎敏明 井上武, 谷誠一郎, 湊真一, 宮崎敏明 自律広域マルチキャスト方式 Flexcast におけるソケットAPI の設計と実装 自律広域マルチキャスト方式 Flexcast におけるソケットAPI の設計と実装 自律広域マルチキャスト方式 Flexcast におけるソケットAPI の設計と実装 情報処理学会 全国大会, 2003, 1, 349-350 情報処理学会 全国大会, 2003, 1, 349-350 情報処理学会 全国大会, 2003, 1, 349-350 2003/03 Japanese Summary of the papers read (national conference and other science council) 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
奥乃博, 湊真一 奥乃博, 湊真一 奥乃博, 湊真一 Solve a puzzle by using the arithmetic logical expression system, BEM-II. 算術論理式システムBEM‐IIを使ってパズルを解こう Solve a puzzle by using the arithmetic logical expression system, BEM-II. BIT (Tokyo), 29, 4, 67-77 BIT (Tokyo), 29, 4, 67-77 BIT (Tokyo), 29, 4, 67-77 1997/04 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
Recent Topics and Future Perspectives on BDD/ZDD-Based Discrete Structure Manipulation[Invited] Recent Topics and Future Perspectives on BDD/ZDD-Based Discrete Structure Manipulation [Invited] Recent Topics and Future Perspectives on BDD/ZDD-Based Discrete Structure Manipulation [Invited] International Workshop on Logic and Synthesis International Workshop on Logic and Synthesis International Workshop on Logic and Synthesis 2020/07/29 English Oral presentation(keynote) Disclose to all
Graphillion: ZDD-based Compilation tool for Graph Enumeration and Random Sampling Graphillion: ZDD-based Compilation tool for Graph Enumeration and Random Sampling Graphillion: ZDD-based Compilation tool for Graph Enumeration and Random Sampling KOCOON Workshop KOCOON Workshop KOCOON Workshop 2019/12/18 English Oral presentation(general) Disclose to all
離散構造処理系プロジェクト: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 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 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] 電子情報通信学会コンピュテーション研究会 電子情報通信学会コンピュテーション研究会 2018/10/26 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 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 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
中村, 篤祥, 喜田, 拓也, 湊, 真一, 廣瀬, 善大 中村, 篤祥, 喜田, 拓也, 湊, 真一, 廣瀬, 善大 基礎から学ぶ情報理論 基礎から学ぶ情報理論 ムイスリ出版 ムイスリ出版 2020 Japanese Joint Work Disclose to all
湊 真一 湊 真一 2018年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録 2018年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録 2019/09 Supervisor Disclose to all
湊 真一 湊 真一 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
湊 真一 湊 真一 2015年度 JST ERATO湊離散構造処理系プロジェクト / JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録 2015年度 JST ERATO湊離散構造処理系プロジェクト / JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録 基盤(S)離散構造処理系プロジェクト, 基盤(S)離散構造処理系プロジェクト, 2016/06 Supervisor Disclose to all
鈴木, 譲, 植野, 真臣, 黒木, 学(工学), 清水, 昌平, 湊, 真一, 石畠, 正和, 樺島, 祥介, 田中, 和之, 本村, 陽一, 玉田, 嘉紀 鈴木, 譲, 植野, 真臣, 黒木, 学(工学), 清水, 昌平, 湊, 真一, 石畠, 正和, 樺島, 祥介, 田中, 和之, 本村, 陽一, 玉田, 嘉紀 確率的グラフィカルモデル 確率的グラフィカルモデル 共立出版 共立出版 2016 Japanese Contributor 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
湊, 真一, ERATO湊離散構造処理系プロジェクト, 科学技術振興機構 湊, 真一, ERATO湊離散構造処理系プロジェクト, 科学技術振興機構 超高速グラフ列挙アルゴリズム : 「フカシギの数え方」が拓く, 組合せ問題への新アプローチ 超高速グラフ列挙アルゴリズム : 「フカシギの数え方」が拓く, 組合せ問題への新アプローチ 森北出版 森北出版 2015 Japanese Disclose to all
T. Sasao, J. Butler, ditor T. Sasao, J. Butler, ditor T. Sasao, J. Butler, ditor 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 Ming-Yang Kao Ming-Yang Kao Encyclopedia of Algorithms Encyclopedia of Algorithms Encyclopedia of Algorithms 2014/09 Contributor Disclose to all
Shigeru Yamashita, Shin-ichi Minato Shigeru Yamashita, Shin-ichi Minato Shigeru Yamashita, 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
湊 真一 湊 真一 2013年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 2013年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 ERATO湊離散構造処理系プロジェクト ERATO湊離散構造処理系プロジェクト 2014/07 Japanese Supervisor Disclose to all
湊 真一 湊 真一 2012年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 2012年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 ERATO湊離散構造処理系プロジェクト ERATO湊離散構造処理系プロジェクト 2013/07 Japanese Supervisor Disclose to all
中村, 篤祥, 喜田, 拓也, 湊, 真一 中村, 篤祥, 喜田, 拓也, 湊, 真一 基礎から学ぶ情報理論 基礎から学ぶ情報理論 ムイスリ出版 ムイスリ出版 2013 Japanese 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, Nicolas Spyratos Shin-ichi Minato, Nicolas Spyratos Shin-ichi Minato, 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 Thomas Zeugmann, 湊 真一, 大久保 好章, Thomas Zeugmann 英語で学ぶ計算理論 英語で学ぶ計算理論 コロナ社 コロナ社 2009/03 English Joint Work Disclose to all
Pacific-Asia Conference on Knowledge Discovery and Data Mining, Chawla, Sanjay, Washio, Takashi, 湊, 真一, 津本, 周作, Onoda, Takashi, Yamada, Seiji, Inokuchi, Akihiro Pacific-Asia Conference on Knowledge Discovery and Data Mining, Chawla, Sanjay, Washio, Takashi, 湊, 真一, 津本, 周作, Onoda, Takashi, Yamada, Seiji, Inokuchi, Akihiro Pacific-Asia Conference on Knowledge Discovery and Data Mining, Chawla, Sanjay, Washio, Takashi, 湊, 真一, 津本, 周作, Onoda, Takashi, Yamada, Seiji, Inokuchi, Akihiro New frontiers in applied data minig : PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008 : revised selected papers New frontiers in applied data minig : PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008 : revised selected papers New frontiers in applied data minig : PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008 : revised selected papers Springer Springer Springer 2009/02 English Joint Editor Disclose to all
Zeugmann, Thomas, 湊, 真一, 大久保, 好章 Zeugmann, Thomas, 湊, 真一, 大久保, 好章 Zeugmann, Thomas, 湊, 真一, 大久保, 好章 英語で学ぶ計算理論 = Theory of computation 英語で学ぶ計算理論 = Theory of computation 英語で学ぶ計算理論 = Theory of computation コロナ社 コロナ社 コロナ社 2009 English Disclose to all
湊, 真一 湊, 真一 湊, 真一 二分決定グラフに基づく大規模データベースの効率的解析処理アルゴリズムの研究 二分決定グラフに基づく大規模データベースの効率的解析処理アルゴリズムの研究 二分決定グラフに基づく大規模データベースの効率的解析処理アルゴリズムの研究 [北海道大学大学院情報科学研究科] [北海道大学大学院情報科学研究科] [北海道大学大学院情報科学研究科] 2008 Disclose to all
Shin-ichi Minato, Saburo Muroga Shin-ichi Minato, Saburo Muroga Shin-ichi Minato, 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
湊, 真一 湊, 真一 湊, 真一 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 Kluwer Academic Kluwer Academic English 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
基盤研究(S) Representative 離散構造処理系の基盤アルゴリズムの研究 (2019年度分) 2019/04/01-2020/03/31
基盤研究(A) Representative 離散構造処理系に基づく列挙と最適化の統合的技法の研究 2020/04/05-2025/03/31
External funds: other than those above
System Main person Title(Japanese) Title(English) Period
JST CREST 本村 真人 学習/数理モデルに基づく時空間展開型アーキテクチャの創出と応用 Steering Toward Spatio-Temporal Computing Architecture Driven by Learning/Math-Scientific Models 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
情報符号理論 Information and Coding Theory 前期 工学部 2020/04-2021/03
情報と職業 Information and Business 前期 工学部 2020/04-2021/03
特別研究1(計算機) Graduation Thesis 1 前期集中 工学部 2020/04-2021/03
特別研究1(計算機) Graduation Thesis 1 後期集中 工学部 2020/04-2021/03
特別研究2(計算機) Graduation Thesis 2 前期集中 工学部 2020/04-2021/03
特別研究2(計算機) Graduation Thesis 2 後期集中 工学部 2020/04-2021/03
アルゴリズム論 Theory of Algorithms 後期 工学部 2020/04-2021/03
離散アルゴリズム理論 Theory of Discrete Algorithms 前期 情報学研究科 2020/04-2021/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
基盤整備委員会委員 2020/04/01-2021/03/31
計算機小委員会委員長 2020/04/01-2021/03/31
情報学科長 2020/04/01-2021/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