湊 真一

最終更新日時: 2019/06/16 17:51:41

印刷する

氏名(漢字/フリガナ/アルファベット表記)
湊 真一/ミナト シンイチ/Minato, Shinichi
所属部署・職名(部局/所属/講座等/職名)
情報学研究科/通信情報システム専攻コンピュータ工学講座/教授
学部兼担
部局 所属 講座等 職名
工学部
連絡先住所
種別 住所(日本語) 住所(英語)
職場 〒606-8501 京都市左京区吉田本町 京都大学 情報学研究科 総合研究7号館 234号室 Room 234, Research Bldg No 7, Graduate School of Informatics, Kyoto University, 606-8501 Japan.
所属学会(国内)
学会名(日本語) 学会名(英語)
情報処理学会 IPSJ
電子情報通信学会 IEICE
人工知能学会 JSAI
日本計算機統計学会 JAPANESE SOCIETY OF COMPUTATIONAL STATISTICS
所属学会(海外)
学会名(英語) 国名
IEEE 米国
取得学位
学位名(日本語) 学位名(英語) 大学(日本語) 大学(英語) 取得区分
工学修士 M. Eng. 京都大学 Kyoto University
博士(工学) Dr. Eng. 京都大学 Kyoto University
出身大学院・研究科等
大学名(日本語) 大学名(英語) 研究科名(日本語) 研究科名(英語) 専攻名(日本語) 専攻名(英語) 修了区分
京都大学 Kyoto University 大学院工学研究科情報工学専攻修士課程 Graduate School of Engineering Division of Information Science 修了
京都大学 Kyoto University 大学院工学研究科情報工学専攻博士後期課程 Graduate School of Engineering Division of Information Science 修了
出身学校・専攻等
大学名(日本語) 大学名(英語) 学部名(日本語) 学部名(英語) 学科名(日本語) 学科名(英語) 卒業区分
京都大学 Kyoto University 工学部情報工学科 Faculty of Engineering Departmet of Information Science 卒業
出身高等学校
高等学校名 ふりがな
金沢大学教育学部附属高等学校 かなざわだいがくきょういくがくぶふぞくこうとうがっこう
職歴
期間 組織名(日本語) 組織名(英語) 職名(日本語) 職名(英語)
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
プロフィール
(日本語)
京都大学 大学院 情報学研究科 通信情報システム専攻 教授. (工学部 情報学科 計算機科学コース 兼担). 大規模離散構造データの表現と演算処理アルゴリズムの研究・教育に従事. 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, 人工知能学会 各会員.
(英語)
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.
個人ホームページ
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
研究分野(キーワード)
キーワード(日本語) キーワード(英語)
離散構造処理系 Discrete Structure Manipulation
データ構造とアルゴリズム Data structures and algorithms
論文
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
Fumio Ishioka, Jun Kawahara, Masahiro Mizuta, Shin-ichi Minato, and Koji Kurihara Fumio Ishioka, Jun Kawahara, Masahiro Mizuta, Shin-ichi Minato, and Koji Kurihara Fumio Ishioka, Jun Kawahara, Masahiro Mizuta, Shin-ichi Minato, and Koji Kurihara Evaluation of Hotspot Cluster Detection using Spatial Scan Statistic based on Exact Counting Evaluation of Hotspot Cluster Detection using Spatial Scan Statistic based on Exact Counting Evaluation of Hotspot Cluster Detection using Spatial Scan Statistic based on Exact Counting Japanese Journal of Statistics and Data Science (JJSD), 2, 1, 241-262 Japanese Journal of Statistics and Data Science (JJSD), 2, 1, 241-262 Japanese Journal of Statistics and Data Science (JJSD), 2, 1, 241-262 2019/06 英語 研究論文(学術雑誌) 公開
Shin-ichi Minato, Jun Kawahara, Fumio Ishioka, Masahiro Mizuta, and Koji Kurihara Shin-ichi Minato, Jun Kawahara, Fumio Ishioka, Masahiro Mizuta, and Koji Kurihara Shin-ichi Minato, Jun Kawahara, Fumio Ishioka, Masahiro Mizuta, and Koji Kurihara A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic Proc. of SIAM International Conference on Data Mining (SDM2019), 91-99 Proc. of SIAM International Conference on Data Mining (SDM2019), 91-99 Proc. of SIAM International Conference on Data Mining (SDM2019), 91-99 2019/05 英語 研究論文(国際会議プロシーディングス) 公開
Hirofumi Suzuki, Masakazu Ishihata, and Shin-ichi Minato Hirofumi Suzuki, Masakazu Ishihata, and Shin-ichi Minato Hirofumi Suzuki, Masakazu Ishihata, and Shin-ichi Minato Exact Computation of Strongly Connected Reliability by BDDs Exact Computation of Strongly Connected Reliability by BDDs Exact Computation of Strongly Connected Reliability by BDDs Proc. of the 12th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2018), 281-295 Proc. of the 12th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2018), 281-295 Proc. of the 12th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2018), 281-295 2018/12 英語 研究論文(国際会議プロシーディングス) 公開
akashi Takemoto, Normann Mertig, Masato Hayashi, Saki Susa-Tanaka, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Tamiki Komatsuzaki and Masanao Yamaoka akashi Takemoto, Normann Mertig, Masato Hayashi, Saki Susa-Tanaka, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Tamiki Komatsuzaki and Masanao Yamaoka akashi Takemoto, Normann Mertig, Masato Hayashi, Saki Susa-Tanaka, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Tamiki Komatsuzaki and Masanao Yamaoka FPGA-Based QBoost with Large-Scale Annealing Processor and Accelerated Hyperparameter Search FPGA-Based QBoost with Large-Scale Annealing Processor and Accelerated Hyperparameter Search FPGA-Based QBoost with Large-Scale Annealing Processor and Accelerated Hyperparameter Search Proc. of IEEE CAS 2018 International Conference on Reconfigurable Computing and FPGAs (ReConFig 2018) Proc. of IEEE CAS 2018 International Conference on Reconfigurable Computing and FPGAs (ReConFig 2018) Proc. of IEEE CAS 2018 International Conference on Reconfigurable Computing and FPGAs (ReConFig 2018) 2018/12 英語 研究論文(国際会議プロシーディングス) 公開
Yuji Takenobu, Norihito Yasuda, Shin-ichi Minato, and Yasuhiro Hayashi Yuji Takenobu, Norihito Yasuda, Shin-ichi Minato, and Yasuhiro Hayashi Yuji Takenobu, Norihito Yasuda, Shin-ichi Minato, and Yasuhiro Hayashi Scalable Enumeration Approach for Maximizing Hosting Capacity of Distributed Generation Scalable Enumeration Approach for Maximizing Hosting Capacity of Distributed Generation Scalable Enumeration Approach for Maximizing Hosting Capacity of Distributed Generation International Journal of Electrical Power & Energy Systems, 105, 867-876 International Journal of Electrical Power & Energy Systems, 105, 867-876 International Journal of Electrical Power & Energy Systems, 105, 867-876 2018/12 英語 研究論文(学術雑誌) 公開
Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, and Tamiki Komatsuzaki Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, and Tamiki Komatsuzaki Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, and Tamiki Komatsuzaki Graph Minors from Simulated Annealing for Annealing Machines with Sparse Connectivity Graph Minors from Simulated Annealing for Annealing Machines with Sparse Connectivity Graph Minors from Simulated Annealing for Annealing Machines with Sparse Connectivity Proc. of 7th International Conference on the Theory and Practice of Natural Computing (TPNC 2018, 111-123 Proc. of 7th International Conference on the Theory and Practice of Natural Computing (TPNC 2018, 111-123 Proc. of 7th International Conference on the Theory and Practice of Natural Computing (TPNC 2018, 111-123 2018/12 英語 研究論文(国際会議プロシーディングス) 公開
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 人工知能学会論文誌, 33, 6A, A-I35.1-15 人工知能学会論文誌, 33, 6A, A-I35.1-15 Artificial Inteligence, 33, 6A, A-I35.1-15 2018/11 英語 研究論文(学術雑誌) 公開
Hirofumi Suzuki and Shin-ichi Minato Hirofumi Suzuki and Shin-ichi Minato Hirofumi Suzuki and Shin-ichi Minato Fast Enumeration of All Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems Using ZDDs Fast Enumeration of All Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems Using ZDDs Fast Enumeration of All Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems Using ZDDs IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E101-A, 9, 1375-1382 IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E101-A, 9, 1375-1382 IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E101-A, 9, 1375-1382 2018/09 英語 研究論文(学術雑誌) 公開
Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, and Shin‑ichi Minato Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, and Shin‑ichi Minato Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, and Shin‑ichi Minato Fast compilation of graph substructures for counting and enumeration Fast compilation of graph substructures for counting and enumeration Fast compilation of graph substructures for counting and enumeration Behaviormetrika, 45, 2, 423-450 Behaviormetrika, 45, 2, 423-450 Behaviormetrika, 45, 2, 423-450 2018/06 英語 研究論文(学術雑誌) 公開
IYuji Takenobu, Norihito Yasuda, Shunsuke Kawano, Yasuhiro Hayashi, and Shin-ichi Minato: IYuji Takenobu, Norihito Yasuda, Shunsuke Kawano, Yasuhiro Hayashi, and Shin-ichi Minato: Yuji Takenobu, Norihito Yasuda, Shunsuke Kawano, Yasuhiro Hayashi, and Shin-ichi Minato: Evaluation of Annual Energy Loss Reduction Based on Reconfiguration Scheduling Evaluation of Annual Energy Loss Reduction Based on Reconfiguration Scheduling Evaluation of Annual Energy Loss Reduction Based on Reconfiguration Scheduling IEEE Trans. Smart Grid, 9, 3, 1986-1996 IEEE Trans. Smart Grid, 9, 3, 1986-1996 IEEE Trans. Smart Grid, 9, 3, 1986-1996 2018/05 英語 研究論文(学術雑誌) 公開
Shinsaku Sakaue, Masakazu Ishihata, and Shin-ichi Minato Shinsaku Sakaue, Masakazu Ishihata, and Shin-ichi Minato Shinsaku Sakaue, Masakazu Ishihata, and Shin-ichi Minato Efficient Bandit Combinatorial Optimization Algorithm with Zero-Suppressed Binary Decision Diagrams Efficient Bandit Combinatorial Optimization Algorithm with Zero-Suppressed Binary Decision Diagrams Efficient Bandit Combinatorial Optimization Algorithm with Zero-Suppressed Binary Decision Diagrams Proc. of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS 2018), 585-594 Proc. of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS 2018), 585-594 Proc. of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS 2018), 585-594 2018/04 英語 研究論文(国際会議プロシーディングス) 公開
蓑田玲緒奈, 湊真一 蓑田玲緒奈, 湊真一 記号モデル検査によるスマートオブジェクトの近接連携シナリオの効率的な検証 記号モデル検査によるスマートオブジェクトの近接連携シナリオの効率的な検証 電子情報通信学会論文誌D 学生論文特集号, J101-D, 3, 470-480 電子情報通信学会論文誌D 学生論文特集号, J101-D, 3, 470-480 , J101-D, 3, 470-480 2018/03 日本語 研究論文(学術雑誌) 公開
Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, and Osamu Akashi Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, and Osamu Akashi Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, and Osamu Akashi Fast Packet Classification Algorithm for Network-wide Forwarding Behaviors Fast Packet Classification Algorithm for Network-wide Forwarding Behaviors Fast Packet Classification Algorithm for Network-wide Forwarding Behaviors Computer Communications, 116, 101-117 Computer Communications, 116, 101-117 Computer Communications, 116, 101-117 2018/01 英語 研究論文(学術雑誌) 公開
Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato and Masaaki Nagata Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato and Masaaki Nagata Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato and Masaaki Nagata BDD-Constrained A* Search: A Fast Method for Solving Constrained Shortest-Path Problems BDD-Constrained A* Search: A Fast Method for Solving Constrained Shortest-Path Problems BDD-Constrained A* Search: A Fast Method for Solving Constrained Shortest-Path Problems IEICE Transactions on Information and Systems, E100-D, 12, 2945-2952 IEICE Transactions on Information and Systems, E100-D, 12, 2945-2952 IEICE Transactions on Information and Systems, E100-D, 12, 2945-2952 2017/12 英語 研究論文(学術雑誌) 公開
Reona Minoda, Masakazu Ishihata, and Shin-ichi Minato Reona Minoda, Masakazu Ishihata, and Shin-ichi Minato Reona Minoda, Masakazu Ishihata, and Shin-ichi Minato Probabilistic CCRN: Reliability Analysis of Ubiquitous Computing Scenarios Using Probabilistic Model Checking Probabilistic CCRN: Reliability Analysis of Ubiquitous Computing Scenarios Using Probabilistic Model Checking Probabilistic CCRN: Reliability Analysis of Ubiquitous Computing Scenarios Using Probabilistic Model Checking Proc. of the 11th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2017), 85-91 Proc. of the 11th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2017), 85-91 Proc. of the 11th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2017), 85-91 2017/11 英語 研究論文(国際会議プロシーディングス) 公開
Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, and Shin-ichi Minato Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, and Shin-ichi Minato Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, and Shin-ichi Minato Fast Compilation of s-t Paths on a Graph for Counting and Enumeration Fast Compilation of s-t Paths on a Graph for Counting and Enumeration Fast Compilation of s-t Paths on a Graph for Counting and Enumeration Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), 129-140 Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), 129-140 Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), 129-140 2017/09 英語 研究論文(国際会議プロシーディングス) 公開
Gao Shan, Masakazu Ishihata, and Shin-ichi Minato Gao Shan, Masakazu Ishihata, and Shin-ichi Minato Gao Shan, Masakazu Ishihata, and Shin-ichi Minato Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), 117-128 Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), 117-128 Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), 117-128 2017/09 英語 研究論文(国際会議プロシーディングス) 公開
Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, and Shin-ichi Minato Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, and Shin-ichi Minato Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, and Shin-ichi Minato Frontier-based Search for Enumerating All Constrained Subgraphs with Compressed Representation Frontier-based Search for Enumerating All Constrained Subgraphs with Compressed Representation Frontier-based Search for Enumerating All Constrained Subgraphs with Compressed Representation IEICE Trans. Fundamentals, E100-A, 9, 1773-1784 IEICE Trans. Fundamentals, E100-A, 9, 1773-1784 IEICE Trans. Fundamentals, E100-A, 9, 1773-1784 2017/09 英語 研究論文(学術雑誌) 公開
Junpei Komiyama, Maskazu Ishihata, Hiroki Arimura, Takashi Nishibayashi and Shin-ichi Minato Junpei Komiyama, Maskazu Ishihata, Hiroki Arimura, Takashi Nishibayashi and Shin-ichi Minato Junpei Komiyama, Maskazu Ishihata, Hiroki Arimura, Takashi Nishibayashi and Shin-ichi Minato Statistical Emerging Pattern Mining with Multiple Testing Correction Statistical Emerging Pattern Mining with Multiple Testing Correction Statistical Emerging Pattern Mining with Multiple Testing Correction Proc. of the 23rd SIGKDD Conference on Knowledge Discovery and Data Mining (KDD 2017), 897-906 Proc. of the 23rd SIGKDD Conference on Knowledge Discovery and Data Mining (KDD 2017), 897-906 Proc. of the 23rd SIGKDD Conference on Knowledge Discovery and Data Mining (KDD 2017), 897-906 2017/08 英語 研究論文(国際会議プロシーディングス) 公開
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation IEICE Transactions on Information and Systems, E100-D, 8, 1556-1562 IEICE Transactions on Information and Systems, E100-D, 8, 1556-1562 IEICE Transactions on Information and Systems, E100-D, 8, 1556-1562 2017/08 英語 研究論文(学術雑誌) 公開
Reona Minoda and Shin-ichi Minato Reona Minoda and Shin-ichi Minato Reona Minoda and Shin-ichi Minato Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking Proc. of the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PEC 2017), 13-21 Proc. of the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PEC 2017), 13-21 Proc. of the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PEC 2017), 13-21 2017/07 英語 研究論文(国際会議プロシーディングス) 公開
Reona MINODA and Shin-ichi MINATO Reona MINODA and Shin-ichi MINATO Reona MINODA and Shin-ichi MINATO Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking and Its Advantages Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking and Its Advantages Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking and Its Advantages IEICE Transactions on Information and Systems, E100-D, 6, 1172-1181 IEICE Transactions on Information and Systems, E100-D, 6, 1172-1181 IEICE Transactions on Information and Systems, E100-D, 6, 1172-1181 2017/06 英語 研究論文(学術雑誌) 公開
Jun Kawahara, Takashi Horiyama, Keisuke Hotta, and Shin-ichi Minato Jun Kawahara, Takashi Horiyama, Keisuke Hotta, and Shin-ichi Minato Jun Kawahara, Takashi Horiyama, Keisuke Hotta, and Shin-ichi Minato Generating All Patterns of Graph Partitions within a Disparity Bound Generating All Patterns of Graph Partitions within a Disparity Bound Generating All Patterns of Graph Partitions within a Disparity Bound Proc. of the 11th International Workshop of Algorithms and Computation (WALCOM2017), LNCS 20267, 119-131 Proc. of the 11th International Workshop of Algorithms and Computation (WALCOM2017), LNCS 20267, 119-131 Proc. of the 11th International Workshop of Algorithms and Computation (WALCOM2017), LNCS 20267, 119-131 2017/03 英語 研究論文(国際会議プロシーディングス) 公開
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato and Masaaki Nagata Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato and Masaaki Nagata Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato and Masaaki Nagata Dancing with Decision Diagrams: A Combined Approach to Exact Cover Dancing with Decision Diagrams: A Combined Approach to Exact Cover Dancing with Decision Diagrams: A Combined Approach to Exact Cover Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), 868-874 Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), 868-874 Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), 868-874 2017/02 英語 研究論文(国際会議プロシーディングス) 公開
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato and Masaaki Nagata Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato and Masaaki Nagata Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato and Masaaki Nagata Compiling Graph Substructures into Sentential Decision Diagrams Compiling Graph Substructures into Sentential Decision Diagrams Compiling Graph Substructures into Sentential Decision Diagrams Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), 1213-1221 Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), 1213-1221 Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), 1213-1221 2017/02 英語 研究論文(国際会議プロシーディングス) 公開
Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato and Masaaki Nagata Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato and Masaaki Nagata Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato and Masaaki Nagata BDD-Constrained A* Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems BDD-Constrained A* Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems BDD-Constrained A* Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems Proc. of Workshops at the 31st AAAI Conference on Artificial Intelligence, The AAAI-17 Workshop on Symbolic Inference and Optimization (SymInfOpt 2017), 944-950 Proc. of Workshops at the 31st AAAI Conference on Artificial Intelligence, The AAAI-17 Workshop on Symbolic Inference and Optimization (SymInfOpt 2017), 944-950 Proc. of Workshops at the 31st AAAI Conference on Artificial Intelligence, The AAAI-17 Workshop on Symbolic Inference and Optimization (SymInfOpt 2017), 944-950 2017/02 研究論文(国際会議プロシーディングス) 公開
Reona Minoda, Yuzuru Tanaka, and Shin-ichi Minato Reona Minoda, Yuzuru Tanaka, and Shin-ichi Minato Reona Minoda, Yuzuru Tanaka, and Shin-ichi Minato Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking Proc. of the Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016), 65-71 Proc. of the Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016), 65-71 Proc. of the Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016), 65-71 2016/10 英語 研究論文(国際会議プロシーディングス) 公開
Hirofumi Suzuki, Sun Hao, and Shin-ichi Minato Hirofumi Suzuki, Sun Hao, and Shin-ichi Minato Hirofumi Suzuki, Sun Hao, and Shin-ichi Minato Generating All Solutions of Minesweeper Problem Using Degree Constrained Subgraph Model Generating All Solutions of Minesweeper Problem Using Degree Constrained Subgraph Model Generating All Solutions of Minesweeper Problem Using Degree Constrained Subgraph Model Proc. of the 2016 International Conference on Parallel & Distributed Processing Techniques & Applications (PDPTA'16), 356-362 Proc. of the 2016 International Conference on Parallel & Distributed Processing Techniques & Applications (PDPTA'16), 356-362 Proc. of the 2016 International Conference on Parallel & Distributed Processing Techniques & Applications (PDPTA'16), 356-362 2016/07 英語 研究論文(国際会議プロシーディングス) 公開
Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, and Shin-ichi Minato Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, and Shin-ichi Minato Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, and Shin-ichi Minato Using PiDDs for Nearest Neighbor Optimization of Quantum Circuits Using PiDDs for Nearest Neighbor Optimization of Quantum Circuits Using PiDDs for Nearest Neighbor Optimization of Quantum Circuits Proc. of the 8th International Conference on Reversible Computation (RC 2016), 181-196 Proc. of the 8th International Conference on Reversible Computation (RC 2016), 181-196 Proc. of the 8th International Conference on Reversible Computation (RC 2016), 181-196 2016/07 英語 研究論文(国際会議プロシーディングス) 公開
Yuji Takenobu, Shunsuke Kawano, Yasuhiro Hayashi, Norihito Yasuda, and Shin-ichi Minato Yuji Takenobu, Shunsuke Kawano, Yasuhiro Hayashi, Norihito Yasuda, and Shin-ichi Minato Yuji Takenobu, Shunsuke Kawano, Yasuhiro Hayashi, Norihito Yasuda, and Shin-ichi Minato Maximizing Hosting Capacity of Distributed Generation by Network Reconfiguration in Distribution System Maximizing Hosting Capacity of Distributed Generation by Network Reconfiguration in Distribution System Maximizing Hosting Capacity of Distributed Generation by Network Reconfiguration in Distribution System Proc. of 19th Power Systems Computation Conference (PSCC 2016), 1-7 Proc. of 19th Power Systems Computation Conference (PSCC 2016), 1-7 Proc. of 19th Power Systems Computation Conference (PSCC 2016), 1-7 2016/06 英語 研究論文(国際会議プロシーディングス) 公開
Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, and Shin-ichi Minato Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, and Shin-ichi Minato Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, and Shin-ichi Minato A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization International Journal on Software Tools for Technology Transfer (STTT), 18, 1, 57-66 International Journal on Software Tools for Technology Transfer (STTT), 18, 1, 57-66 International Journal on Software Tools for Technology Transfer (STTT), 18, 1, 57-66 2016/02 英語 研究論文(学術雑誌) 公開
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, and Masaaki Nagata Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, and Masaaki Nagata Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, and Masaaki Nagata Zero-suppressed Sentential Decision Diagrams Zero-suppressed Sentential Decision Diagrams Zero-suppressed Sentential Decision Diagrams Proc. of the 30th AAAI Conference on Artificial Intelligence (AAAI2016), 1058-1066 Proc. of the 30th AAAI Conference on Artificial Intelligence (AAAI2016), 1058-1066 Proc. of the 30th AAAI Conference on Artificial Intelligence (AAAI2016), 1058-1066 2016/02 英語 研究論文(国際会議プロシーディングス) 公開
Shan Gao and Shin-ichi Minato Shan Gao and Shin-ichi Minato Shan Gao and Shin-ichi Minato Factorization of ZDDs for Representing Bayesian Networks Based on d-Separations Factorization of ZDDs for Representing Bayesian Networks Based on d-Separations Factorization of ZDDs for Representing Bayesian Networks Based on d-Separations Proc. of the Second International Workshop on Advanced Methodologies for Bayesian Networks (AMBN 2015), 168-183 Proc. of the Second International Workshop on Advanced Methodologies for Bayesian Networks (AMBN 2015), 168-183 Proc. of the Second International Workshop on Advanced Methodologies for Bayesian Networks (AMBN 2015), 168-183 2015/11 英語 研究論文(国際会議プロシーディングス) 公開
Yuma Inoue,Shin-ichi Minato Yuma Inoue,Shin-ichi Minato Yuma Inoue,Shin-ichi Minato Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits. Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits. Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits. Reversible Computation - 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings, 9138, 186-199 Reversible Computation - 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings, 9138, 186-199 Reversible Computation - 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings, 9138, 186-199 2015/07 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
Takeru Inoue,Norihito Yasuda,Shunsuke Kawano,Yuji Takenobu,Shin-ichi Minato,Yasuhiro Hayashi Takeru Inoue,Norihito Yasuda,Shunsuke Kawano,Yuji Takenobu,Shin-ichi Minato,Yasuhiro Hayashi Takeru Inoue,Norihito Yasuda,Shunsuke Kawano,Yuji Takenobu,Shin-ichi Minato,Yasuhiro Hayashi Distribution Network Verification for Secure Restoration by Enumerating All Critical Failures. Distribution Network Verification for Secure Restoration by Enumerating All Critical Failures. Distribution Network Verification for Secure Restoration by Enumerating All Critical Failures. IEEE Trans. Smart Grid, 6, 2, 843-852 IEEE Trans. Smart Grid, 6, 2, 843-852 IEEE Trans. Smart Grid, 6, 2, 843-852 2015 公開
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 公開
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 公開
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 公開
Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura and Shin-ichi Minato Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura and Shin-ichi Minato Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura and Shin-ichi Minato Sequence Binary Decision Diagram: Minimization, Relation-ship to Acyclic Automata, and Complexities of Boolean Set Operations Sequence Binary Decision Diagram: Minimization, Relation-ship to Acyclic Automata, and Complexities of Boolean Set Operations Sequence Binary Decision Diagram: Minimization, Relation-ship to Acyclic Automata, and Complexities of Boolean Set Operations Journal of Discrete Applied Mathematics Journal of Discrete Applied Mathematics Journal of Discrete Applied Mathematics 2015 英語 研究論文(学術雑誌) 公開
川原純, 湊真一 川原純, 湊真一 KAWAHARA JUN, MINATO SHIN'ICHI 「フカシギの数え方」から広がるアルゴリズムの理工学―二分決定グラフによる離散構造処理と広がる応用分野―3.順列の圧縮列挙索引化とソーティング 「フカシギの数え方」から広がるアルゴリズムの理工学―二分決定グラフによる離散構造処理と広がる応用分野―3.順列の圧縮列挙索引化とソーティング 「フカシギの数え方」から広がるアルゴリズムの理工学―二分決定グラフによる離散構造処理と広がる応用分野―3.順列の圧縮列挙索引化とソーティング 電子情報通信学会誌, 97, 12, 1086-1090 電子情報通信学会誌, 97, 12, 1086-1090 電子情報通信学会誌, 97, 12, 1086-1090 2014/12/01 日本語 公開
湊真一 湊真一 MINATO SHIN'ICHI 「フカシギの数え方」から広がるアルゴリズムの理工学―二分決定グラフによる離散構造処理と広がる応用分野―1.二分決定グラフによる離散構造処理の概観 「フカシギの数え方」から広がるアルゴリズムの理工学―二分決定グラフによる離散構造処理と広がる応用分野―1.二分決定グラフによる離散構造処理の概観 「フカシギの数え方」から広がるアルゴリズムの理工学―二分決定グラフによる離散構造処理と広がる応用分野―1.二分決定グラフによる離散構造処理の概観 電子情報通信学会誌, 97, 12, 1074-1079 電子情報通信学会誌, 97, 12, 1074-1079 電子情報通信学会誌, 97, 12, 1074-1079 2014/12/01 日本語 公開
Yuma Inoue,Takahisa Toda,Shin-ichi Minato Yuma Inoue,Takahisa Toda,Shin-ichi Minato Yuma Inoue,Takahisa Toda,Shin-ichi Minato Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams. Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams. Implicit Generation of Pattern-Avoiding Permutations by Using Permutation Decision Diagrams. IEICE Transactions, 97-A, 6, 1171-1179 IEICE Transactions, 97-A, 6, 1171-1179 IEICE Transactions, 97-A, 6, 1171-1179 2014 公開
Takeru Inoue,Keiji Takano,Takayuki Watanabe,Jun Kawahara,Ryo Yoshinaka,Akihiro Kishimoto,Koji Tsuda,Shin-ichi Minato,Yasuhiro Hayashi Takeru Inoue,Keiji Takano,Takayuki Watanabe,Jun Kawahara,Ryo Yoshinaka,Akihiro Kishimoto,Koji Tsuda,Shin-ichi Minato,Yasuhiro Hayashi Takeru Inoue,Keiji Takano,Takayuki Watanabe,Jun Kawahara,Ryo Yoshinaka,Akihiro Kishimoto,Koji Tsuda,Shin-ichi Minato,Yasuhiro Hayashi Distribution Loss Minimization With Guaranteed Error Bound. Distribution Loss Minimization With Guaranteed Error Bound. Distribution Loss Minimization With Guaranteed Error Bound. IEEE Trans. Smart Grid, 5, 1, 102-111 IEEE Trans. Smart Grid, 5, 1, 102-111 IEEE Trans. Smart Grid, 5, 1, 102-111 2014 公開
Takeru Inoue,Toru Mano,Kimihiro Mizutani,Shin-ichi Minato,Osamu Akashi Takeru Inoue,Toru Mano,Kimihiro Mizutani,Shin-ichi Minato,Osamu Akashi Takeru Inoue,Toru Mano,Kimihiro Mizutani,Shin-ichi Minato,Osamu Akashi Rethinking Packet Classification for Global Network View of Software-Defined Networking. Rethinking Packet Classification for Global Network View of Software-Defined Networking. Rethinking Packet Classification for Global Network View of Software-Defined Networking. 22nd IEEE International Conference on Network Protocols, ICNP 2014, Raleigh, NC, USA, October 21-24, 2014, 296-307 22nd IEEE International Conference on Network Protocols, ICNP 2014, Raleigh, NC, USA, October 21-24, 2014, 296-307 22nd IEEE International Conference on Network Protocols, ICNP 2014, Raleigh, NC, USA, October 21-24, 2014, 296-307 2014 公開
Yuma Inoue,Shin-ichi Minato Yuma Inoue,Shin-ichi Minato Yuma Inoue,Shin-ichi Minato An Efficient Method for Indexing All Topological Orders of a Directed Graph. An Efficient Method for Indexing All Topological Orders of a Directed Graph. An Efficient Method for Indexing All Topological Orders of a Directed Graph. Algorithms and Computation - 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings, 103-114 Algorithms and Computation - 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings, 103-114 Algorithms and Computation - 25th International Symposium, ISAAC 2014, Jeonju, Korea, December 15-17, 2014, Proceedings, 103-114 2014 公開
Hiroshi Aoki,Takahisa Toda,Shin-ichi Minato Hiroshi Aoki,Takahisa Toda,Shin-ichi Minato Hiroshi Aoki,Takahisa Toda,Shin-ichi Minato Three-way Indexing ZDDs for Large-Scale Sparse Datasets. Three-way Indexing ZDDs for Large-Scale Sparse Datasets. Three-way Indexing ZDDs for Large-Scale Sparse Datasets. Trends and Applications in Knowledge Discovery and Data Mining - PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers, 457-469 Trends and Applications in Knowledge Discovery and Data Mining - PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers, 457-469 Trends and Applications in Knowledge Discovery and Data Mining - PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers, 457-469 2014 公開
Shogo Takeuchi,Takahisa Toda,Shin-ichi Minato Shogo Takeuchi,Takahisa Toda,Shin-ichi Minato Shogo Takeuchi,Takahisa Toda,Shin-ichi Minato A General Framework for Parallel Unary Operations on ZDDs. A General Framework for Parallel Unary Operations on ZDDs. A General Framework for Parallel Unary Operations on ZDDs. Trends and Applications in Knowledge Discovery and Data Mining - PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers, 494-503 Trends and Applications in Knowledge Discovery and Data Mining - PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers, 494-503 Trends and Applications in Knowledge Discovery and Data Mining - PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers, 494-503 2014 公開
Norihito Yasuda,Masaaki Nishino,Shin-ichi Minato Norihito Yasuda,Masaaki Nishino,Shin-ichi Minato Norihito Yasuda,Masaaki Nishino,Shin-ichi Minato On the Size of the Zero-Suppressed Binary Decision Diagram that Represents All the Subtrees in a Tree. On the Size of the Zero-Suppressed Binary Decision Diagram that Represents All the Subtrees in a Tree. On the Size of the Zero-Suppressed Binary Decision Diagram that Represents All the Subtrees in a Tree. Trends and Applications in Knowledge Discovery and Data Mining - PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers, 504-510 Trends and Applications in Knowledge Discovery and Data Mining - PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers, 504-510 Trends and Applications in Knowledge Discovery and Data Mining - PAKDD 2014 International Workshops: DANTH, BDM, MobiSocial, BigEC, CloudSD, MSMV-MBI, SDA, DMDA-Health, ALSIP, SocNet, DMBIH, BigPMA,Tainan, Taiwan, May 13-16, 2014. Revised Selected Papers, 504-510 2014 公開
Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, and Shin-ichi Minato Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, and Shin-ichi Minato Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, and Shin-ichi Minato Graphillion: software library for very large sets of labeled graphs Graphillion: software library for very large sets of labeled graphs Graphillion: software library for very large sets of labeled graphs Journal on Software Tools for Technology Transfer (STTT) Journal on Software Tools for Technology Transfer (STTT) Journal on Software Tools for Technology Transfer (STTT) 2014 英語 研究論文(学術雑誌) 公開
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 公開
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 公開
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 公開
Shuhei Denzumi,Jun Kawahara,Koji Tsuda,Hiroki Arimura,Shin-ichi Minato,Kunihiko Sadakane Shuhei Denzumi,Jun Kawahara,Koji Tsuda,Hiroki Arimura,Shin-ichi Minato,Kunihiko Sadakane Shuhei Denzumi,Jun Kawahara,Koji Tsuda,Hiroki Arimura,Shin-ichi Minato,Kunihiko Sadakane DenseZDD: A Compact and Fast Index for Families of Sets. DenseZDD: A Compact and Fast Index for Families of Sets. DenseZDD: A Compact and Fast Index for Families of Sets. Experimental Algorithms - 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 - July 1, 2014. Proceedings, 187-198 Experimental Algorithms - 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 - July 1, 2014. Proceedings, 187-198 Experimental Algorithms - 13th International Symposium, SEA 2014, Copenhagen, Denmark, June 29 - July 1, 2014. Proceedings, 187-198 2014 公開
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 公開
湊 真一 湊 真一 「おねえさんの問題」の最先端 ― YouTube動画と世界記録 ― 「おねえさんの問題」の最先端 ― YouTube動画と世界記録 ― 情報処理, 54, 11, 1152-1159 情報処理, 54, 11, 1152-1159 , 54, 11, 1152-1159 2013/10 日本語 研究論文(学術雑誌) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
Shuhei Denzumi, Koji Tsuda, Hiroki Arimura and Shin-ichi Minato Shuhei Denzumi, Koji Tsuda, Hiroki Arimura and Shin-ichi Minato Shuhei Denzumi, Koji Tsuda, Hiroki Arimura and Shin-ichi Minato Compact Complete Inverted Files for Texts and Directed Acyclic Graphs Based on Sequence Binary Decision Diagrams Compact Complete Inverted Files for Texts and Directed Acyclic Graphs Based on Sequence Binary Decision Diagrams Compact Complete Inverted Files for Texts and Directed Acyclic Graphs Based on Sequence Binary Decision Diagrams In Proc. of Prague Stringology Conference 2013 (PSC2013), 157-167 In Proc. of Prague Stringology Conference 2013 (PSC2013), 157-167 In Proc. of Prague Stringology Conference 2013 (PSC2013), 157-167 2013/09 英語 研究論文(国際会議プロシーディングス) 公開
湊 真一 湊 真一 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 日本語 研究論文(研究会、シンポジウム資料等) 公開
Atsushi Takizawa, Yasufumi Takechi, Akio Ohta, Naoki Katoh, Takeru Inoue, Takashi Horiyama, Jun Kawahara, and Shin-ichi Minato Atsushi Takizawa, Yasufumi Takechi, Akio Ohta, Naoki Katoh, Takeru Inoue, Takashi Horiyama, Jun Kawahara, and Shin-ichi Minato Atsushi Takizawa, Yasufumi Takechi, Akio Ohta, Naoki Katoh, Takeru Inoue, Takashi Horiyama, Jun Kawahara, and Shin-ichi Minato Enumeration of Region Partitioning for Evalcuation Planning based on ZDD Enumeration of Region Partitioning for Evalcuation Planning based on ZDD Enumeration of Region Partitioning for Evalcuation Planning based on ZDD In Proc. of International symposium on Operation Research & its Applications (ISORA2013), 64-71 In Proc. of International symposium on Operation Research & its Applications (ISORA2013), 64-71 In Proc. of International symposium on Operation Research & its Applications (ISORA2013), 64-71 2013/08 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Techniques of BDD/ZDD: Brief History and Recent Activity Techniques of BDD/ZDD: Brief History and Recent Activity Techniques of BDD/ZDD: Brief History and Recent Activity IEICE Trans. Inf. & Syst., E96-D, 7, 1419-1429 IEICE Trans. Inf. & Syst., E96-D, 7, 1419-1429 IEICE Trans. Inf. & Syst., E96-D, 7, 1419-1429 2013/07 英語 研究論文(学術雑誌) 公開
Yuma Inoue, Takahisa Toda, and Shin-ichi Minato Yuma Inoue, Takahisa Toda, and Shin-ichi Minato Yuma Inoue, Takahisa Toda, and Shin-ichi Minato Efficiently generating classical and vincular pattern avoiding permutations based on permutation decision diagrams Efficiently generating classical and vincular pattern avoiding permutations based on permutation decision diagrams Efficiently generating classical and vincular pattern avoiding permutations based on permutation decision diagrams In Proc. of Permutation Patterns 2013, 43-44 In Proc. of Permutation Patterns 2013, 43-44 In Proc. of Permutation Patterns 2013, 43-44 2013/07 英語 研究論文(国際会議プロシーディングス) 公開
Laura Tague, Mathias Soeken, Shin-ichi Minato and Rolf Drechsler Laura Tague, Mathias Soeken, Shin-ichi Minato and Rolf Drechsler Laura Tague, Mathias Soeken, Shin-ichi Minato and Rolf Drechsler Debugging of Reversible Circuits Using PiDDs Debugging of Reversible Circuits Using PiDDs Debugging of Reversible Circuits Using PiDDs In Proc. of IEEE 43rd International Symposium on Multiple-Valued Logic (ISMVL2013), 316-321 In Proc. of IEEE 43rd International Symposium on Multiple-Valued Logic (ISMVL2013), 316-321 In Proc. of IEEE 43rd International Symposium on Multiple-Valued Logic (ISMVL2013), 316-321 2013/05 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
青木洋士, 湊真一, 湊真一, 山下茂 青木洋士, 湊真一, 湊真一, 山下茂 AOKI HIROSHI, MINATO SHIN'ICHI, MINATO SHIN'ICHI, YAMASHITA SHIGERU 写像枝を用いた系列二分決定グラフの効率化 写像枝を用いた系列二分決定グラフの効率化 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 日本語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(研究会、シンポジウム資料等) 公開
湊真一, 湊真一 湊真一, 湊真一 MINATO SHIN'ICHI, MINATO SHIN'ICHI 大規模疎行列を扱うZDDの演算を高速化する飛び越しリンク構造 大規模疎行列を扱う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 日本語 研究論文(研究会、シンポジウム資料等) 公開
Mathias Soeken, Robert Wille, Shin-ichi Minato, and Rolf Drechsler Mathias Soeken, Robert Wille, Shin-ichi Minato, and Rolf Drechsler Mathias Soeken, Robert Wille, Shin-ichi Minato, and Rolf Drechsler Using PiDDs in the Design of Reversible Circuits (Work-In-Progress) Using PiDDs in the Design of Reversible Circuits (Work-In-Progress) Using PiDDs in the Design of Reversible Circuits (Work-In-Progress) In Robert Gluck and Tetsuo Yokoyama, editors, "Reversible Computation, 4th International Workshop RC 2012 Revised Papers,", LNCS 7581, 197-203 In Robert Gluck and Tetsuo Yokoyama, editors, "Reversible Computation, 4th International Workshop RC 2012 Revised Papers,", LNCS 7581, 197-203 In Robert Gluck and Tetsuo Yokoyama, editors, "Reversible Computation, 4th International Workshop RC 2012 Revised Papers,", LNCS 7581, 197-203 2013/02 英語 研究論文(国際会議プロシーディングス) 公開
湊 真一 湊 真一 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 英語 研究論文(国際会議プロシーディングス) 公開
井上 祐馬, 戸田 貴久, 湊 真一 井上 祐馬, 戸田 貴久, 湊 真一 Yuma Inoue, Takahisa Toda, Shin-ichi Minato 順列二分決定グラフを用いたパターン回避順列の列挙索引化 順列二分決定グラフを用いたパターン回避順列の列挙索引化 Enumerating and Indexing of Pattern Avoiding Permutations Using πDDs 情報処理学会研究報告. AL, アルゴリズム研究会報告, 2013, 5, 1-8 情報処理学会研究報告. AL, アルゴリズム研究会報告, 2013, 5, 1-8 IPSJ SIG Notes, 2013, 5, 1-8 2013/02 日本語 研究論文(研究会、シンポジウム資料等) 公開
岩下 洋哲, 中澤 吉男, 川原 純, 宇野 毅明, 湊 真一 岩下 洋哲, 中澤 吉男, 川原 純, 宇野 毅明, 湊 真一 最小完全ハッシュ関数を用いたグリッドグラフ上の効率的なパス数え上げ 最小完全ハッシュ関数を用いたグリッドグラフ上の効率的なパス数え上げ 情報処理学会研究報告. AL, アルゴリズム研究会報告, 2013, 8, 1-6 情報処理学会研究報告. AL, アルゴリズム研究会報告, 2013, 8, 1-6 , 2013, 8, 1-6 2013/02 日本語 研究論文(研究会、シンポジウム資料等) 公開
吉仲 亮, 岩下 洋哲, 川原 純, 斎藤 寿樹, 鶴間 浩二, 湊 真一 吉仲 亮, 岩下 洋哲, 川原 純, 斎藤 寿樹, 鶴間 浩二, 湊 真一 種々のリンクパズルへの応用(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) 種々のリンクパズルへの応用(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) オペレーションズ・リサーチ : 経営の科学, 57, 11, 616-622 オペレーションズ・リサーチ : 経営の科学, 57, 11, 616-622 , 57, 11, 616-622 2012/11 日本語 研究論文(学術雑誌) 公開
井上 武, 高野 圭司, 渡辺 喬之, 川原 純, 吉仲 亮, 岸本 章宏, 津田 宏治, 湊 真一, 林 泰弘 井上 武, 高野 圭司, 渡辺 喬之, 川原 純, 吉仲 亮, 岸本 章宏, 津田 宏治, 湊 真一, 林 泰弘 フロンティア法による電力網構成制御(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) フロンティア法による電力網構成制御(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) オペレーションズ・リサーチ : 経営の科学, 57, 11, 610-615 オペレーションズ・リサーチ : 経営の科学, 57, 11, 610-615 , 57, 11, 610-615 2012/11 日本語 研究論文(学術雑誌) 公開
川原 純, 湊 真一 川原 純, 湊 真一 グラフ列挙索引化技法の種々の問題への適用(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) グラフ列挙索引化技法の種々の問題への適用(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) オペレーションズ・リサーチ : 経営の科学, 57, 11, 604-609 オペレーションズ・リサーチ : 経営の科学, 57, 11, 604-609 , 57, 11, 604-609 2012/11 日本語 研究論文(学術雑誌) 公開
湊 真一 湊 真一 BDD/ZDDを用いたグラフ列挙索引化技法(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) BDD/ZDDを用いたグラフ列挙索引化技法(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) オペレーションズ・リサーチ : 経営の科学, 57, 11, 597-603 オペレーションズ・リサーチ : 経営の科学, 57, 11, 597-603 , 57, 11, 597-603 2012/11 日本語 研究論文(学術雑誌) 公開
湊 真一 湊 真一 特集にあたって(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) 特集にあたって(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) オペレーションズ・リサーチ : 経営の科学, 57, 11 オペレーションズ・リサーチ : 経営の科学, 57, 11 , 57, 11 2012/11 日本語 研究論文(学術雑誌) 公開
岩下 洋哲, 川原 純, 湊 真一 岩下 洋哲, 川原 純, 湊 真一 再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法 (VLSI設計技術) 再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法 (VLSI設計技術) An Efficient ZDD Construction Method Using Recursive Specifications 電子情報通信学会技術研究報告 : 信学技報, 112, 320, 25-29 電子情報通信学会技術研究報告 : 信学技報, 112, 320, 25-29 , 112, 320, 25-29 2012/11 日本語 研究論文(研究会、シンポジウム資料等) 公開
湊 真一 湊 真一 特別招待講演 ERATO湊離散構造処理系プロジェクトの概要と今後の展望について (通信方式) 特別招待講演 ERATO湊離散構造処理系プロジェクトの概要と今後の展望について (通信方式) 電子情報通信学会技術研究報告 : 信学技報, 112, 309, 35-40 電子情報通信学会技術研究報告 : 信学技報, 112, 309, 35-40 , 112, 309, 35-40 2012/11 日本語 研究論文(研究会、シンポジウム資料等) 公開
Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, and Shin-ichi Minato Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, and Shin-ichi Minato Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, and Shin-ichi Minato Counterexamples to the long-standing conjecture on the complexity of BDD binary operations Counterexamples to the long-standing conjecture on the complexity of BDD binary operations Counterexamples to the long-standing conjecture on the complexity of BDD binary operations Information Processing Letters, 112, 16, 636-640 Information Processing Letters, 112, 16, 636-640 Information Processing Letters, 112, 16, 636-640 2012/08 英語 研究論文(学術雑誌) 公開
Takeru Inoue and Shin-ichi Minato Takeru Inoue and Shin-ichi Minato Takeru Inoue and Shin-ichi Minato On Tackling Flash Crowds with URL Shorteners and Examining User Behavior after Great East Japan Earthquake On Tackling Flash Crowds with URL Shorteners and Examining User Behavior after Great East Japan Earthquake On Tackling Flash Crowds with URL Shorteners and Examining User Behavior after Great East Japan Earthquake IEICE Trans. Communications, special section on "Future Internet Technologies Against Present Crises", E95.B, 7, 2210-2221 IEICE Trans. Communications, special section on "Future Internet Technologies Against Present Crises", E95.B, 7, 2210-2221 IEICE Trans. Communications, special section on "Future Internet Technologies Against Present Crises", E95.B, 7, 2210-2221 2012/07 英語 研究論文(学術雑誌) 公開
Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, and Yoshikazu Miyanaga Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, and Yoshikazu Miyanaga Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, and Yoshikazu Miyanaga A Dynamically Reconfigurable FPGA-Based Pattern Matching Hardware for Subclasses of Regular Expressions A Dynamically Reconfigurable FPGA-Based Pattern Matching Hardware for Subclasses of Regular Expressions A Dynamically Reconfigurable FPGA-Based Pattern Matching Hardware for Subclasses of Regular Expressions IEICE Transactions on Information and Systems, E95.D, 7, 1847-1857 IEICE Transactions on Information and Systems, E95.D, 7, 1847-1857 IEICE Transactions on Information and Systems, E95.D, 7, 1847-1857 2012/07 英語 研究論文(学術雑誌) 公開
川原 純, 斎藤 寿樹, 湊 真一 川原 純, 斎藤 寿樹, 湊 真一 KAWAHARA Jun, SAITOH Toshiki, MINATO Shinichi 5.ZDDを用いた新たな列挙手法(<小特集>広がる列挙の技術-列挙による問題解決アプローチ-) 5.ZDDを用いた新たな列挙手法(<小特集>広がる列挙の技術-列挙による問題解決アプローチ-) 5. New Enumeration Methods Using ZDD(<Special Section>Diffusion of Enumeration Techniques; Enumeration-based Problem Solving) 電子情報通信学会誌, 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 日本語 研究論文(研究会、シンポジウム資料等) 公開
湊 真一 湊 真一 Minato Shin-ichi BDD/ZDDの技法と離散構造処理系(<特集>離散構造処理系-知能情報処理を支えるアルゴリズムの技法) 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) 人工知能学会誌, 27, 3, 232-238 人工知能学会誌, 27, 3, 232-238 Journal of Japanese Society for Artificial Intelligence, 27, 3, 232-238 2012/05 日本語 研究論文(学術雑誌) 公開
Yasuyuki Shirai, Koji Tsuruma, Yuko Sakurai, Satoshi Oyama, and Shin-ichi Minato Yasuyuki Shirai, Koji Tsuruma, Yuko Sakurai, Satoshi Oyama, and Shin-ichi Minato Yasuyuki Shirai, Koji Tsuruma, Yuko Sakurai, Satoshi Oyama, and Shin-ichi Minato Incremental Set Recommendation Based on Class Differences Incremental Set Recommendation Based on Class Differences Incremental Set Recommendation Based on Class Differences Proc. of 16th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2012), (LNAI 7301, Springer), 7301, 183-194 Proc. of 16th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2012), (LNAI 7301, Springer), 7301, 183-194 Proc. of 16th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD 2012), (LNAI 7301, Springer), 7301, 183-194 2012/05 英語 研究論文(国際会議プロシーディングス) 公開
Ryo Yoshinaka, Toshiki Saitoh, Jun Kawahara, Koji Tsuruma, Hiroaki Iwashita, and Shin-ichi Minato Ryo Yoshinaka, Toshiki Saitoh, Jun Kawahara, Koji Tsuruma, Hiroaki Iwashita, and Shin-ichi Minato Ryo Yoshinaka, Toshiki Saitoh, Jun Kawahara, Koji Tsuruma, Hiroaki Iwashita, and Shin-ichi Minato Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs Algorithms, 5, 2, 176-213 Algorithms, 5, 2, 176-213 Algorithms, 5, 2, 176-213 2012/04 英語 研究論文(学術雑誌) 公開
Shigeru Yamashita, Shin-ichi Minato, and D. Michael Miller Shigeru Yamashita, Shin-ichi Minato, and D. Michael Miller Shigeru Yamashita, Shin-ichi Minato, and D. Michael Miller Synthesis of Semi-Classical Quantum Circuits Synthesis of Semi-Classical Quantum Circuits Synthesis of Semi-Classical Quantum Circuits Journal of Multi-Valued Logic & Soft Computing, 18, 1, 99-113 Journal of Multi-Valued Logic & Soft Computing, 18, 1, 99-113 Journal of Multi-Valued Logic & Soft Computing, 18, 1, 99-113 2012/01 英語 研究論文(学術雑誌) 公開
Masakazu Ishihata, Taisuke Sato and Shin-ichi Minato Masakazu Ishihata, Taisuke Sato and Shin-ichi Minato Masakazu Ishihata, Taisuke Sato and Shin-ichi Minato Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs Proc. of The 24th Australasian Joint Conference on Artificial Intelligence (AI2011), (LNAI 7106, Springer), 203-212 Proc. of The 24th Australasian Joint Conference on Artificial Intelligence (AI2011), (LNAI 7106, Springer), 203-212 Proc. of The 24th Australasian Joint Conference on Artificial Intelligence (AI2011), (LNAI 7106, Springer), 203-212 2011/12 英語 研究論文(国際会議プロシーディングス) 公開
SAKURAI Yuko, UEDA Suguru, IWASAKI Atsushi, MINATO Shin‐Ichi, YOKOO Makoto SAKURAI Yuko, UEDA Suguru, IWASAKI Atsushi, MINATO Shin‐Ichi, YOKOO Makoto SAKURAI Yuko,UEDA Suguru,IWASAKI Atsushi,MINATO Shin‐Ichi,YOKOO Makoto A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams Proc. of 14th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2011), (LNAI 7047, Springer), 7047, 4-18 Proc. of 14th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2011), (LNAI 7047, Springer), 7047, 4-18 Proc. of 14th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA-2011), (LNAI 7047, Springer), 7047, 4-18 2011/11 英語 研究論文(国際会議プロシーディングス) 公開
Hiroshi Aoki, Shigeru Yamashita and Shin-ichi Minato Hiroshi Aoki, Shigeru Yamashita and Shin-ichi Minato Hiroshi Aoki, Shigeru Yamashita and Shin-ichi Minato An Efficient Algorithm for Constructing a Sequence Binary Decision Diagram Representing a Set of Reversed Sequences An Efficient Algorithm for Constructing a Sequence Binary Decision Diagram Representing a Set of Reversed Sequences An Efficient Algorithm for Constructing a Sequence Binary Decision Diagram Representing a Set of Reversed Sequences Proc. of 2011 IEEE International Confenrece on Granular Computing, 54-59 Proc. of 2011 IEEE International Confenrece on Granular Computing, 54-59 Proc. of 2011 IEEE International Confenrece on Granular Computing, 54-59 2011/11 英語 研究論文(国際会議プロシーディングス) 公開
Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, and Hiroki Arimura Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, and Hiroki Arimura Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, and Hiroki Arimura High-speed String and Regular Expression Matching on FPGA High-speed String and Regular Expression Matching on FPGA High-speed String and Regular Expression Matching on FPGA Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011 Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011 Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011 2011/10 英語 研究論文(国際会議プロシーディングス) 公開
Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato Implementation of Sequence BDDs in Erlang Implementation of Sequence BDDs in Erlang Implementation of Sequence BDDs in Erlang Proc. of Tenth ACM SIGPLAN Erlang Workshop, 90-91 Proc. of Tenth ACM SIGPLAN Erlang Workshop, 90-91 Proc. of Tenth ACM SIGPLAN Erlang Workshop, 90-91 2011/09 英語 研究論文(国際会議プロシーディングス) 公開
Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura and Shin-ichi Minato Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura and Shin-ichi Minato Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura and Shin-ichi Minato Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations Proc. of Prague Stringology Conference 2011 (PSC2011), 147-161 Proc. of Prague Stringology Conference 2011 (PSC2011), 147-161 Proc. of Prague Stringology Conference 2011 (PSC2011), 147-161 2011/08 英語 研究論文(国際会議プロシーディングス) 公開
MINATO Shin‐ichi MINATO Shin‐ichi MINATO Shin‐ichi PiDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space PiDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space PiDD: A New Decision Diagram for Efficient Problem Solving in Permutation Space Proc. of 14th International Conference on Theory and Applications of Satisfiability Testing (SAT-2011) (LNCS 6695, Springer), 90-104 Proc. of 14th International Conference on Theory and Applications of Satisfiability Testing (SAT-2011) (LNCS 6695, Springer), 90-104 Proc. of 14th International Conference on Theory and Applications of Satisfiability Testing (SAT-2011) (LNCS 6695, Springer), 90-104 2011/06 英語 研究論文(国際会議プロシーディングス) 公開
MINATO Shin‐ichi MINATO Shin‐ichi MINATO Shin‐ichi Overview of ERATO Minato Project: The Art of Discrete Structure Manipulation between Science and Engineering Overview of ERATO Minato Project: The Art of Discrete Structure Manipulation between Science and Engineering Overview of ERATO Minato Project: The Art of Discrete Structure Manipulation between Science and Engineering New Gener Comput, 29, 2, 223-238 New Gener Comput, 29, 2, 223-238 New Gener Comput, 29, 2, 223-238 2011/04 英語 研究論文(学術雑誌) 公開
湊 真一 湊 真一 BDD/ZDDを基盤とする離散構造と演算処理系の最近の展開 BDD/ZDDを基盤とする離散構造と演算処理系の最近の展開 電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review, 4, 3, 224-230 電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review, 4, 3, 224-230 , 4, 3, 224-230 2011/01 日本語 研究論文(学術雑誌) 公開
Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura and Yoshikazu Miyanaga Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura and Yoshikazu Miyanaga Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura and Yoshikazu Miyanaga Dynamic Reconfigurable Bit-Parallel Architecture for Large-Scale Regular Expression Matching Dynamic Reconfigurable Bit-Parallel Architecture for Large-Scale Regular Expression Matching Dynamic Reconfigurable Bit-Parallel Architecture for Large-Scale Regular Expression Matching Proc. of the 2010 International Conference on Field-Programmable Technology (FPT'10), 21-28 Proc. of the 2010 International Conference on Field-Programmable Technology (FPT'10), 21-28 Proc. of the 2010 International Conference on Field-Programmable Technology (FPT'10), 21-28 2010/12 英語 研究論文(国際会議プロシーディングス) 公開
佐藤 泰介, 湊 真一 佐藤 泰介, 湊 真一 Sato Taisuke, Minato Shin-ichi ベイジアンネットワークと離散構造処理系(<特集>ベイジアンネットワークの最先端) ベイジアンネットワークと離散構造処理系(<特集>ベイジアンネットワークの最先端) Bayesian Networks and Discrete Structure Manipulation System(<Special Issue>Advanced Methodologies for Bayesian Networks) 人工知能学会誌, 25, 6, 796-802 人工知能学会誌, 25, 6, 796-802 Journal of Japanese Society for Artificial Intelligence, 25, 6, 796-802 2010/11 日本語 研究論文(学術雑誌) 公開
KANETA Yusaku, MINATO Shin‐ichi, ARIMURA Hiroki KANETA Yusaku, MINATO Shin‐ichi, ARIMURA Hiroki KANETA Yusaku,MINATO Shin‐ichi,ARIMURA Hiroki Fast Bit-Parallel Matching for Network and Regular Expressions Fast Bit-Parallel Matching for Network and Regular Expressions Fast Bit-Parallel Matching for Network and Regular Expressions Lect Notes Comput Sci, 6393, 372-384 Lect Notes Comput Sci, 6393, 372-384 Lect Notes Comput Sci, 6393, 372-384 2010 英語 研究論文(国際会議プロシーディングス) 公開
宮永 喜一, 吉澤 真吾, 湊 真一 宮永 喜一, 吉澤 真吾, 湊 真一 MIYANAGA Yoshikazu, YOSHIZAWA Shingo, MINATO Shin-ichi 5.メディア系異分野共同研究プロジェクト(北の国から明日のICTに架ける橋,<特別小特集>知の創出を支える次世代IT基盤技術-北海道大学グローバルCOEプログラムと北海道内情報通信系研究グループの活動-) 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 電子情報通信学会誌, 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 日本語 研究論文(学術雑誌) 公開
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 英語 研究論文(学術雑誌) 公開
宇野 毅明, 湊 真一, 竹田 正幸 宇野 毅明, 湊 真一, 竹田 正幸 UNO Takeaki, MINATO Shinichi, TAKEDA Masayuki 2.情報爆発時代のための新しい超高速アルゴリズム(パートI:情報爆発時代における新しい基盤技術,<特集>情報爆発時代におけるわくわくするITの創出を目指して) 2.情報爆発時代のための新しい超高速アルゴリズム(パートI:情報爆発時代における新しい基盤技術,<特集>情報爆発時代におけるわくわくするITの創出を目指して) Revolutionarily Fast Algorithms for Info-plosion Era(<Special Features>Creating Vital Information Technologies for the Info-plosion Era) 情報処理, 49, 8, 897-903 情報処理, 49, 8, 897-903 IPSJ Magazine, 49, 8, 897-903 2008/08 日本語 研究論文(学術雑誌) 公開
岩崎 玄弥, 湊 真一, ツォイクマン トーマス 岩崎 玄弥, 湊 真一, ツォイクマン トーマス IWASAKI Haruya, MINATO Shin-ichi, ZEUGMANN Thomas 頻出パターンマイニングのためのゼロサプレス型BDDの変数順序付け方法とその評価(データマイニング,<特集>データ工学論文) 頻出パターンマイニングのためのゼロサプレス型BDDの変数順序付け方法とその評価(データマイニング,<特集>データ工学論文) A Method of ZBDD Variable Ordering for Frequent Pattern Mining 電子情報通信学会論文誌. D, 情報・システム, 91, 3, 608-618 電子情報通信学会論文誌. D, 情報・システム, 91, 3, 608-618 The IEICE transactions on information and systems (Japanese edetion), 91, 3, 608-618 2008/03 日本語 研究論文(学術雑誌) 公開
MINATO Shin‐ichi, UNO Takeaki, ARIMURA Hiroki MINATO Shin‐ichi, UNO Takeaki, ARIMURA Hiroki MINATO Shin‐ichi,UNO Takeaki,ARIMURA Hiroki LCM over ZBDDs: Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation LCM over ZBDDs: Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation LCM over ZBDDs: Fast Generation of Very Large-Scale Frequent Itemsets Using a Compact Graph-Based Representation Lect Notes Comput Sci, 5012, 234-246 Lect Notes Comput Sci, 5012, 234-246 Lect Notes Comput Sci, 5012, 234-246 2008 英語 研究論文(国際会議プロシーディングス) 公開
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 : AI, 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 英語 研究論文(学術雑誌) 公開
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 : AI, 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 英語 研究論文(学術雑誌) 公開
湊 真一, 有村 博紀 湊 真一, 有村 博紀 MINATO Shin-ichi, ARIMURA Hiroki ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの効率的解析手法(データマイニング,<特集>データ工学論文) ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの効率的解析手法(データマイニング,<特集>データ工学論文) Efficient Method of Transaction Database Analysis Using Zero-Suppressed BDDs 電子情報通信学会論文誌. D, 情報・システム, 89, 2, 172-182 電子情報通信学会論文誌. D, 情報・システム, 89, 2, 172-182 The IEICE transactions on information and systems (Japanese edetion), 89, 2, 172-182 2006/02 日本語 研究論文(学術雑誌) 公開
MINATO Shin‐ichi MINATO Shin‐ichi MINATO Shin‐ichi Efficient Database Analysis Using VSOP Calculator Based on Zero-Suppressed BDDs Efficient Database Analysis Using VSOP Calculator Based on Zero-Suppressed BDDs Efficient Database Analysis Using VSOP Calculator Based on Zero-Suppressed BDDs Lect Notes Comput Sci, 4012, 169-181 Lect Notes Comput Sci, 4012, 169-181 Lect Notes Comput Sci, 4012, 169-181 2006 英語 研究論文(国際会議プロシーディングス) 公開
MINATO Shin‐ichi MINATO Shin‐ichi MINATO Shin‐ichi Symmetric Item Set Mining Based on Zero-Suppressed BDDs Symmetric Item Set Mining Based on Zero-Suppressed BDDs Symmetric Item Set Mining Based on Zero-Suppressed BDDs Lect Notes Comput Sci, 4265, 321-326 Lect Notes Comput Sci, 4265, 321-326 Lect Notes Comput Sci, 4265, 321-326 2006 英語 研究論文(国際会議プロシーディングス) 公開
井上 武, 谷 誠一郎, 高橋 宏和, 湊 真一, 宮崎 敏明, 豊島 鑑 井上 武, 谷 誠一郎, 高橋 宏和, 湊 真一, 宮崎 敏明, 豊島 鑑 INOUE Takeru, TANI Seiichiro, TAKAHASHI Hirokazu, MINATO Shinichi, MIYAZAKI Toshiaki, TOYOSHIMA Kan Flexcastによる段階的導入に優れたマルチキャストシステムの設計と実装(ネットワーク・並列分散システムソフトウェア, <特集>システム開発論文) Flexcastによる段階的導入に優れたマルチキャストシステムの設計と実装(ネットワーク・並列分散システムソフトウェア, <特集>システム開発論文) Design and Implementation of the Incrementally Deployable Multicast System Based on Flexcast 電子情報通信学会論文誌. D-I, 情報・システム, 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 日本語 研究論文(学術雑誌) 公開
Minato Shin-ichi Minato Shin-ichi Streaming BDD manipulation Streaming BDD manipulation IEEE Transactions on Computers, 51, 5, 474-485 IEEE Transactions on Computers, 51, 5, 474-485 , 51, 5, 474-485 2002/05 英語 研究論文(学術雑誌) 公開
湊 真一 湊 真一 Minato Shin-ichi BDD(二分決定グラフ)とその応用 BDD(二分決定グラフ)とその応用 BDDs (Binary Decision Diagrams) and their Applications 応用数理, 9, 3, 194-206 応用数理, 9, 3, 194-206 Bulletin of the Japan Society for Industrial and applied Mathematics, 9, 3, 194-206 1999/09 日本語 研究論文(学術雑誌) 公開
H. Okuno, S. Minato, and H. Isozaki H. Okuno, S. Minato, and H. Isozaki H. Okuno, S. Minato, and H. Isozaki On the Properties of Combination Set Operations On the Properties of Combination Set Operations On the Properties of Combination Set Operations Information Processing Letters, 66, 4, 195-199 Information Processing Letters, 66, 4, 195-199 Information Processing Letters, 66, 4, 195-199 1998 英語 研究論文(学術雑誌) 公開
ROTTER Dror, HAMAGUCHI Kiyoharu, MINATO Shin-ichi, YAJIMA Shuzo ROTTER Dror, HAMAGUCHI Kiyoharu, MINATO Shin-ichi, YAJIMA Shuzo ROTTER Dror, HAMAGUCHI Kiyoharu, MINATO Shin-ichi, YAJIMA Shuzo Manipulation of Large-Scale Polynomials Using BMDs : Special Section on VLSI Design and CAD Algorithms Manipulation of Large-Scale Polynomials Using BMDs : Special Section on VLSI Design and CAD Algorithms Manipulation of Large-Scale Polynomials Using BMDs (Special Section on VLSI Design and CAD Algorithms) IEICE transactions on fundamentals of electronics, communications and computer sciences, 80, 10, 1774-1781 IEICE transactions on fundamentals of electronics, communications and computer sciences, 80, 10, 1774-1781 IEICE transactions on fundamentals of electronics, communications and computer sciences, 80, 10, 1774-1781 1997/10 英語 研究論文(学術雑誌) 公開
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Arithmetic Boolean Expression Manipulator Using BDDs Arithmetic Boolean Expression Manipulator Using BDDs Arithmetic Boolean Expression Manipulator Using BDDs Formal Methods in System Design, 10, 2, 221-242 Formal Methods in System Design, 10, 2, 221-242 Formal Methods in System Design, 10, 2, 221-242 1997/04 英語 研究論文(学術雑誌) 公開
奥乃 博, 湊 真一 奥乃 博, 湊 真一 Okuno G. Hiroshi, Minato Shin-ichi 二分決定グラフによる制約充足問題の解法 二分決定グラフによる制約充足問題の解法 Solving Constraint Statisfaction Problems by Binary Decision Diagram 情報処理学会論文誌, 36, 8, 1789-1799 情報処理学会論文誌, 36, 8, 1789-1799 IPSJ Journal, 36, 8, 1789-1799 1995/08 日本語 研究論文(学術雑誌) 公開
Minato Shin-ichi Minato Shin-ichi Minato Shin-ichi BEM-II: An Arithmetic Boolean Expression Manipulator Using BDDs (Special Section on VLSI Design and CAD Algorithms) BEM-II: An Arithmetic Boolean Expression Manipulator Using BDDs (Special Section on VLSI Design and CAD Algorithms) BEM-II: An Arithmetic Boolean Expression Manipulator Using BDDs (Special Section on VLSI Design and CAD Algorithms) IEICE transactions on fundamentals of electronics, communications and computer sciences, 76, 10, 1721-1729 IEICE transactions on fundamentals of electronics, communications and computer sciences, 76, 10, 1721-1729 IEICE transactions on fundamentals of electronics, communications and computer sciences, 76, 10, 1721-1729 1993/10 英語 研究論文(学術雑誌) 公開
Minato Shin-ichi Minato Shin-ichi Minato Shin-ichi Fast Generation of Prime-Irredundant Covers from Binary Decision Diagrams Fast Generation of Prime-Irredundant Covers from Binary Decision Diagrams Fast Generation of Prime-Irredundant Covers from Binary Decision Diagrams IEICE transactions on fundamentals of electronics, communications and computer sciences, 76, 6, 967-973 IEICE transactions on fundamentals of electronics, communications and computer sciences, 76, 6, 967-973 IEICE transactions on fundamentals of electronics, communications and computer sciences, 76, 6, 967-973 1993/06 英語 研究論文(学術雑誌) 公開
湊 真一 湊 真一 2. 計算機上での BDD の処理技法 (&lt特集&gt BDD (二分決定グラフ)) 2. 計算機上での BDD の処理技法 (&lt特集&gt BDD (二分決定グラフ)) Techniques for BDD Manipulation on Computers 情報処理, 34, 5, 593-599 情報処理, 34, 5, 593-599 IPSJ Magazine, 34, 5, 593-599 1993/05 日本語 研究論文(学術雑誌) 公開
湊 真一 湊 真一 「わくわく」 - 技術革新のキーワード - 「わくわく」 - 技術革新のキーワード - 電子情報通信学会誌, 75, 11, 1146-1149 電子情報通信学会誌, 75, 11, 1146-1149 , 75, 11, 1146-1149 1992/11 日本語 研究論文(学術雑誌) 公開
湊 真一, 石浦 菜岐佐, 矢島 脩三 湊 真一, 石浦 菜岐佐, 矢島 脩三 MINATO SHIN-ICHI, ISHIURA NAGISA, YAJIMA SHUZO 論理関数の共有二分決定グラフによる表現とその効率的処理手法 論理関数の共有二分決定グラフによる表現とその効率的処理手法 Shared Binary Decision Diagrams for Efficient Boolean Function Manipulation 情報処理学会論文誌, 32, 1, 77-85 情報処理学会論文誌, 32, 1, 77-85 IPSJ Journal, 32, 1, 77-85 1991/01 日本語 研究論文(学術雑誌) 公開
Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, and Hiroki Arimura Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, and Hiroki Arimura Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, and Hiroki Arimura High-speed String and Regular Expression Matching on FPGA High-speed String and Regular Expression Matching on FPGA High-speed String and Regular Expression Matching on FPGA Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011) Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011) Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011) 英語 研究論文(国際会議プロシーディングス) 公開

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

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

  • <<
  • >>
  • 表示
タイトル言語:
特許
発明者 発明者(日本語) 発明者(英語) 発明の名称 発明の名称(日本語) 発明の名称(英語) 審査の段階 番号 年月 公開
公開
公開
公開
タイトル言語:
学術賞等
賞の名称(日本語) 賞の名称(英語) 授与組織名(日本語) 授与組織名(英語) 年月
論文賞 日本計算機統計学会 2019/06/01
外部資金:競争的資金・科学研究費補助金
種別 代表/分担 テーマ(日本語) テーマ(英語) 期間
基盤研究(S) 代表 離散構造処理系の基盤アルゴリズムの研究 Research on Core Algorithms for Discrete Structure Manipulation Systems 2015/06/01〜2020/03/31
基盤研究(A) 分担 実世界知識基盤形成のための次世代半構造マイニング技術の研究 2016/05/01〜2020/03/31
外部資金:競争的資金・科学研究費補助金以外
制度名 代表者名 研究課題(日本語) 研究課題(英語) 期間
JST CREST 本村 真人 学習/数理モデルに基づく時空間展開型アーキテクチャの創出と応用 2018/10/01〜2023/03/31
JST ERATO 湊 真一 湊離散構造処理系プロジェクト MINATO Discrete Structure Manipulation System Project 2009/10/01〜2016/03/31
担当科目
講義名(日本語) 講義名(英語) 開講期 学部/研究科 年度
アルゴリズム論 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
全学運営(役職等)
役職名 期間
国際高等教育院 基盤企画評価専門委員会 情報学部会 委員 2019/04/01〜2020/03/31
国際高等教育院 企画評価専門委員会 情報学部会 委員 2019/04/01〜2020/03/31
部局運営(役職等)
役職名 期間
図書WG委員長 2019/04/01〜2020/03/31
基盤整備委員会副委員長 2019/04/01〜2020/03/31
学会活動:学会役員歴
学会名(日本語) 学会名(英語) 役職名(日本語) 役職名(英語) 期間
情報処理学会 IPSJ 理事 2018/06/06〜2020/06/01
人工知能学会 JSAI 評議員 2010/06/01〜2014/05/31