湊 真一

最終更新日時: 2021/07/30 19:35:44

印刷する

氏名(漢字/フリガナ/アルファベット表記)
湊 真一/ミナト シンイチ/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 卒業
出身高等学校
高等学校名 ふりがな
金沢大学教育学部附属高等学校 かなざわだいがくきょういくがくぶふぞくこうとうがっこう
職歴
期間 組織名(日本語) 組織名(英語) 職名(日本語) 職名(英語)
2018/04/01〜2022/03/31 北海道大学 電子科学研究所 客員教授(兼任) Visiting Professor
2017/10/01〜2023/09/30 日本学術会議 連携会員
2014/04/01〜2022/03/31 国立情報学研究所 客員教授(兼任) Visiting Professor
2011/04/01〜2022/03/31 早稲田大学 先進グリッド技術研究所 招聘研究員(兼任) Visiting Researcher
2010/10/01〜2018/03/31 北海道大学 大学院情報科学研究科 Graduate School of Information Science and Technology 教授 Professor
2009/10/01〜2015/03/31 JST ERATO湊離散構造処理系プロジェクト JST ERATO Project 研究総括(兼任) Project Leader
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〜2022/03/31 スタンフォード大学 計算機科学科 Stanford University Computer Science Department 客員研究員(兼務) Visiting Faculty
1990/04/01〜2022/03/31 日本電信電話(株)通信研究所 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年~2020年 JST さきがけ「社会と調和した情報基盤技術の構築」領域アドバイザ. 2016年よりJST ACT-I 「情報と未来」領域アドバイザ.2014年~2019年 電子情報通信学会 コンピュテーション(COMP)研究会 専門委員. 2010年~2014年 人工知能学会 評議員. 電子情報通信学会シニア会員, 情報処理学会シニア会員, IEEE Senior Member, 人工知能学会, 日本計算機統計学会 各会員.
(英語)
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
研究テーマ
(日本語)
離散構造処理アルゴリズム
(英語)
Algorithms for Discrete Structure Manipulation
研究分野(キーワード)
キーワード(日本語) キーワード(英語)
離散構造処理系 Discrete Structure Manipulation
データ構造とアルゴリズム Data structures and algorithms
論文
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, Tamiki Komatsuzaki Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, Tamiki Komatsuzaki Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, Tamiki Komatsuzaki Minor-embedding heuristics for large-scale annealing processors with sparse hardware graphs of up to 102, 400 nodes. Minor-embedding heuristics for large-scale annealing processors with sparse hardware graphs of up to 102, 400 nodes. Minor-embedding heuristics for large-scale annealing processors with sparse hardware graphs of up to 102, 400 nodes. Soft Comput., 25, 3, 1731-1749 Soft Comput., 25, 3, 1731-1749 Soft Comput., 25, 3, 1731-1749 2021 研究論文(学術雑誌) 公開
Yu Nakahata, Masaaki Nishino, Jun Kawahara, Shin-ichi Minato Yu Nakahata, Masaaki Nishino, Jun Kawahara, Shin-ichi Minato Yu Nakahata, Masaaki Nishino, Jun Kawahara, Shin-ichi Minato Enumerating All Subgraphs Under Given Constraints Using Zero-Suppressed Sentential Decision Diagrams. Enumerating All Subgraphs Under Given Constraints Using Zero-Suppressed Sentential Decision Diagrams. Enumerating All Subgraphs Under Given Constraints Using Zero-Suppressed Sentential Decision Diagrams. Proc of 18th Symposium on Experimental Algorithms (SEA2020), 9:1-9:14 Proc of 18th Symposium on Experimental Algorithms (SEA2020), 9:1-9:14 Proc of 18th Symposium on Experimental Algorithms (SEA2020), 9:1-9:14 2020/06 英語 研究論文(国際会議プロシーディングス) 公開
Yu Nakahata, Jun Kawahara, Takashi Horiyama, Shin-ichi Minato Yu Nakahata, Jun Kawahara, Takashi Horiyama, Shin-ichi Minato Yu Nakahata, Jun Kawahara, Takashi Horiyama, Shin-ichi Minato Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration. Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration. Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration. Proc. of the 14th International Workshop of Algorithms and Computation (WALCOM2020), (LNCS 12049, Springer), 211-222 Proc. of the 14th International Workshop of Algorithms and Computation (WALCOM2020), (LNCS 12049, Springer), 211-222 Proc. of the 14th International Workshop of Algorithms and Computation (WALCOM2020), (LNCS 12049, Springer), 211-222 2020/03 英語 研究論文(国際会議プロシーディングス) 公開
Hirofumi Suzuki, Masakazu Ishihata, Shin-ichi Minato Hirofumi Suzuki, Masakazu Ishihata, Shin-ichi Minato Hirofumi Suzuki, Masakazu Ishihata, Shin-ichi Minato Designing Survivable Networks with Zero-Suppressed Binary Decision Diagrams. Designing Survivable Networks with Zero-Suppressed Binary Decision Diagrams. Designing Survivable Networks with Zero-Suppressed Binary Decision Diagrams. Proc. of the 14th International Workshop of Algorithms and Computation (WALCOM2020), (LNCS 12049, Springer), 273-285 Proc. of the 14th International Workshop of Algorithms and Computation (WALCOM2020), (LNCS 12049, Springer), 273-285 Proc. of the 14th International Workshop of Algorithms and Computation (WALCOM2020), (LNCS 12049, Springer), 273-285 2020/03 英語 研究論文(国際会議プロシーディングス) 公開
Go Kato, Shin-ichi Minato Go Kato, Shin-ichi Minato Go Kato, Shin-ichi Minato Enumeration of Associative Magic Squares of Order 7. Enumeration of Associative Magic Squares of Order 7. Enumeration of Associative Magic Squares of Order 7. J. Inf. Process., 28, 903-910 J. Inf. Process., 28, 903-910 J. Inf. Process., 28, 903-910 2020 研究論文(学術雑誌) 公開
Yuya Sugie, Normann Mertig, Yoichi Iwata, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Tamiki Komatsuzaki, Takashi Takemoto Yuya Sugie, Normann Mertig, Yoichi Iwata, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Tamiki Komatsuzaki, Takashi Takemoto Yuya Sugie, Normann Mertig, Yoichi Iwata, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Tamiki Komatsuzaki, Takashi Takemoto Compiling higher order binary optimization problems into annealing processors Compiling higher order binary optimization problems into annealing processors Compiling higher order binary optimization problems into annealing processors Proc. of 25th International Symposium on Artificial Life and Robotics (AROB 25th 2020) Proc. of 25th International Symposium on Artificial Life and Robotics (AROB 25th 2020) Proc. of 25th International Symposium on Artificial Life and Robotics (AROB 25th 2020) 2020/01 英語 研究論文(国際会議プロシーディングス) 公開
Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato Tree Decomposition-based Approach for Compiling Independent Sets Tree Decomposition-based Approach for Compiling Independent Sets Tree Decomposition-based Approach for Compiling Independent Sets Journal of Information Processing, 28, 0, 354-368 Journal of Information Processing, 28, 0, 354-368 Journal of Information Processing, 28, 0, 354-368 2020 英語 研究論文(学術雑誌) 公開
Go Kato, Shin-ichi Minato Go Kato, Shin-ichi Minato Go Kato, Shin-ichi Minato Enumerating associative magic squares of order 7 Enumerating associative magic squares of order 7 Enumerating associative magic squares of order 7 Collection of abst. of Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2019), 85-86 Collection of abst. of Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2019), 85-86 Collection of abst. of Japan Conference on Discrete and Computational Geometry, Graphs, and Games (JCDCG^3 2019), 85-86 2019/09 英語 研究論文(国際会議プロシーディングス) 公開
Fumio Ishioka, Jun Kawahara, Masahiro Mizuta, Shin-ichi Minato, Koji Kurihara Fumio Ishioka, Jun Kawahara, Masahiro Mizuta, Shin-ichi Minato, Koji Kurihara Fumio Ishioka, Jun Kawahara, Masahiro Mizuta, Shin-ichi Minato, Koji Kurihara Evaluation of hotspot cluster detection using spatial scan statistic based on exact counting Evaluation of hotspot cluster detection using spatial scan statistic based on exact counting Evaluation of hotspot cluster detection using spatial scan statistic based on exact counting Japanese Journal of Statistics and Data Science, 2, 1, 241-262 Japanese Journal of Statistics and Data Science, 2, 1, 241-262 Japanese Journal of Statistics and Data Science, 2, 1, 241-262 2019/06 英語 研究論文(学術雑誌) 公開
Shin-ichi Minato, Jun Kawahara, Fumio Ishioka, Masahiro Mizuta, Koji Kurihara Shin-ichi Minato, Jun Kawahara, Fumio Ishioka, Masahiro Mizuta, Koji Kurihara Shin-ichi Minato, Jun Kawahara, Fumio Ishioka, Masahiro Mizuta, Koji Kurihara A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic. A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic. A Fast Algorithm for Combinatorial Hotspot Mining Based on Spatial Scan Statistic. Proc. of SIAM International Conference on Data Mining (SDM2019), 91-99 Proc. of SIAM International Conference on Data Mining (SDM2019), 91-99 Proc. of SIAM International Conference on Data Mining (SDM2019), 91-99 2019/05 英語 研究論文(国際会議プロシーディングス) 公開
Yuji Takenobu, Norihito Yasuda, Shin-ichi Minato, Yasuhiro Hayashi Yuji Takenobu, Norihito Yasuda, Shin-ichi Minato, Yasuhiro Hayashi Yuji Takenobu, Norihito Yasuda, Shin-ichi Minato, Yasuhiro Hayashi Scalable enumeration approach for maximizing hosting capacity of distributed generation Scalable enumeration approach for maximizing hosting capacity of distributed generation Scalable enumeration approach for maximizing hosting capacity of distributed generation International Journal of Electrical Power & Energy Systems, 105, 867-876 International Journal of Electrical Power & Energy Systems, 105, 867-876 International Journal of Electrical Power & Energy Systems, 105, 867-876 2019/02 英語 研究論文(学術雑誌) 公開
Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, Tamiki Komatsuzaki Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, Tamiki Komatsuzaki Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, Tamiki Komatsuzaki Graph Minors from Simulated Annealing for Annealing Machines with Sparse Connectivity Graph Minors from Simulated Annealing for Annealing Machines with Sparse Connectivity Graph Minors from Simulated Annealing for Annealing Machines with Sparse Connectivity Proc. of 7th International Conference on the Theory and Practice of Natural Computing (TPNC 2018, 111-123 Proc. of 7th International Conference on the Theory and Practice of Natural Computing (TPNC 2018, 111-123 Proc. of 7th International Conference on the Theory and Practice of Natural Computing (TPNC 2018, 111-123 2018/12 英語 研究論文(国際会議プロシーディングス) 公開
akashi Takemoto, Normann Mertig, Masato Hayashi, Saki Susa-Tanaka, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Tamiki Komatsuzaki, Masanao Yamaoka akashi Takemoto, Normann Mertig, Masato Hayashi, Saki Susa-Tanaka, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Tamiki Komatsuzaki, Masanao Yamaoka akashi Takemoto, Normann Mertig, Masato Hayashi, Saki Susa-Tanaka, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Tamiki Komatsuzaki, Masanao Yamaoka FPGA-Based QBoost with Large-Scale Annealing Processor and Accelerated Hyperparameter Search FPGA-Based QBoost with Large-Scale Annealing Processor and Accelerated Hyperparameter Search FPGA-Based QBoost with Large-Scale Annealing Processor and Accelerated Hyperparameter Search Proc. of IEEE CAS 2018 International Conference on Reconfigurable Computing and FPGAs (ReConFig 2018) Proc. of IEEE CAS 2018 International Conference on Reconfigurable Computing and FPGAs (ReConFig 2018) Proc. of IEEE CAS 2018 International Conference on Reconfigurable Computing and FPGAs (ReConFig 2018) 2018/12 英語 研究論文(国際会議プロシーディングス) 公開
Hirofumi Suzuki, Masakazu Ishihata, Shin-ichi Minato Hirofumi Suzuki, Masakazu Ishihata, Shin-ichi Minato Hirofumi Suzuki, Masakazu Ishihata, Shin-ichi Minato Exact Computation of Strongly Connected Reliability by BDDs Exact Computation of Strongly Connected Reliability by BDDs Exact Computation of Strongly Connected Reliability by BDDs Proc. of the 12th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2018), 281-295 Proc. of the 12th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2018), 281-295 Proc. of the 12th Annual International Conference on Combinatorial Optimization and Applications (COCOA 2018), 281-295 2018/12 英語 研究論文(国際会議プロシーディングス) 公開
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, Shin-ichi Minato Hirofumi Suzuki, Shin-ichi Minato Hirofumi Suzuki, Shin-ichi Minato Fast Enumeration of All Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems Using ZDDs Fast Enumeration of All Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems Using ZDDs Fast Enumeration of All Pareto-Optimal Solutions for 0-1 Multi-Objective Knapsack Problems Using ZDDs IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E101-A, 9, 1375-1382 IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E101-A, 9, 1375-1382 IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E101-A, 9, 1375-1382 2018/09 英語 研究論文(学術雑誌) 公開
Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato, Kunihiko Sadakane Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato, Kunihiko Sadakane Shuhei Denzumi, Jun Kawahara, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato, Kunihiko Sadakane DenseZDD: a compact and fast index for families of sets DenseZDD: a compact and fast index for families of sets DenseZDD: a compact and fast index for families of sets Algorithms, 11, 8 Algorithms, 11, 8 Algorithms, 11, 8 2018/08 英語 研究論文(学術雑誌) 公開
Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, Shin‐ichi Minato Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, Shin‐ichi Minato Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, Shin‐ichi Minato Fast compilation of graph substructures for counting and enumeration Fast compilation of graph substructures for counting and enumeration Fast compilation of graph substructures for counting and enumeration Behaviormetrika, 45, 2, 423-450 Behaviormetrika, 45, 2, 423-450 Behaviormetrika, 45, 2, 423-450 2018/06 英語 研究論文(学術雑誌) 公開
Yuji Takenobu, Norihito Yasuda, Shunsuke Kawano, Shin-Ichi Minato, Yasuhiro Hayashi Yuji Takenobu, Norihito Yasuda, Shunsuke Kawano, Shin-Ichi Minato, Yasuhiro Hayashi Yuji Takenobu, Norihito Yasuda, Shunsuke Kawano, Shin-Ichi Minato, Yasuhiro Hayashi 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 Transactions on Smart Grid, 9, 3, 1-11 IEEE Transactions on Smart Grid, 9, 3, 1-11 IEEE Transactions on Smart Grid, 9, 3, 1-11 2018/05/01 英語 研究論文(学術雑誌) 公開
Shinsaku Sakaue, Masakazu Ishihata, Shin-ichi Minato Shinsaku Sakaue, Masakazu Ishihata, Shin-ichi Minato Shinsaku Sakaue, Masakazu Ishihata, Shin-ichi Minato Efficient Bandit Combinatorial Optimization Algorithm with Zero-Suppressed Binary Decision Diagrams Efficient Bandit Combinatorial Optimization Algorithm with Zero-Suppressed Binary Decision Diagrams Efficient Bandit Combinatorial Optimization Algorithm with Zero-Suppressed Binary Decision Diagrams Proc. of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS 2018), 585-594 Proc. of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS 2018), 585-594 Proc. of the 21st International Conference on Artificial Intelligence and Statistics (AISTATS 2018), 585-594 2018/04 英語 研究論文(国際会議プロシーディングス) 公開
Masaaki Nishino, Takeru Inoue, Norihito Yaasuda, Shin-ichi Minato, Masaaki Nagata Masaaki Nishino, Takeru Inoue, Norihito Yaasuda, Shin-ichi Minato, Masaaki Nagata Masaaki Nishino, Takeru Inoue, Norihito Yaasuda, Shin-ichi Minato, Masaaki Nagata Optimizing Network Reliability via Best-First Search over Decision Diagrams Optimizing Network Reliability via Best-First Search over Decision Diagrams Optimizing Network Reliability via Best-First Search over Decision Diagrams Proc. of 37th Annual IEEE International Conference on Computer Communications (INFOCOM), 1817-1825 Proc. of 37th Annual IEEE International Conference on Computer Communications (INFOCOM), 1817-1825 Proc. of 37th Annual IEEE International Conference on Computer Communications (INFOCOM), 1817-1825 2018/04 英語 研究論文(国際会議プロシーディングス) 公開
蓑田玲緒奈, 湊真一 蓑田玲緒奈, 湊真一 記号モデル検査によるスマートオブジェクトの近接連携シナリオの効率的な検証 記号モデル検査によるスマートオブジェクトの近接連携シナリオの効率的な検証 電子情報通信学会論文誌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, Osamu Akashi Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, Osamu Akashi Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, Osamu Akashi Fast packet classification algorithm for network-wide forwarding behaviors Fast packet classification algorithm for network-wide forwarding behaviors Fast packet classification algorithm for network-wide forwarding behaviors Computer Communications, 116, 101-117 Computer Communications, 116, 101-117 Computer Communications, 116, 101-117 2018/01/01 英語 研究論文(学術雑誌) 公開
Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato, Masaaki Nagata Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato, Masaaki Nagata Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato, Masaaki Nagata BDD-Constrained A* Search: A Fast Method for Solving Constrained Shortest-Path Problems BDD-Constrained A* Search: A Fast Method for Solving Constrained Shortest-Path Problems BDD-Constrained A* Search: A Fast Method for Solving Constrained Shortest-Path Problems IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E100D, 12, 2945-2952 IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E100D, 12, 2945-2952 IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E100D, 12, 2945-2952 2017/12 英語 研究論文(学術雑誌) 公開
Reona Minoda, Masakazu Ishihata, Shin-ichi Minato Reona Minoda, Masakazu Ishihata, Shin-ichi Minato Reona Minoda, Masakazu Ishihata, Shin-ichi Minato Probabilistic CCRN: Reliability Analysis of Ubiquitous Computing Scenarios Using Probabilistic Model Checking Probabilistic CCRN: Reliability Analysis of Ubiquitous Computing Scenarios Using Probabilistic Model Checking Probabilistic CCRN: Reliability Analysis of Ubiquitous Computing Scenarios Using Probabilistic Model Checking Proc. of the 11th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2017), 85-91 Proc. of the 11th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2017), 85-91 Proc. of the 11th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2017), 85-91 2017/11 英語 研究論文(国際会議プロシーディングス) 公開
Gao Shan, Masakazu Ishihata, Shin-ichi Minato Gao Shan, Masakazu Ishihata, Shin-ichi Minato Gao Shan, Masakazu Ishihata, Shin-ichi Minato Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation Fast Message Passing Algorithm Using ZDD-Based Local Structure Compilation Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), 117-128 Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), 117-128 Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), 117-128 2017/09 英語 研究論文(国際会議プロシーディングス) 公開
Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato Teruji Sugaya, Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato Fast Compilation of s-t Paths on a Graph for Counting and Enumeration Fast Compilation of s-t Paths on a Graph for Counting and Enumeration Fast Compilation of s-t Paths on a Graph for Counting and Enumeration Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), 129-140 Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), 129-140 Proc. of the Third Workshop on Advanced Methodologies for Bayesian Networks (AMBN2017), 129-140 2017/09 英語 研究論文(国際会議プロシーディングス) 公開
Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, Shin Ichi Minato Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, Shin Ichi Minato Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, Shin Ichi Minato Frontier-based search for enumerating all constrained subgraphs with compressed representation Frontier-based search for enumerating all constrained subgraphs with compressed representation Frontier-based search for enumerating all constrained subgraphs with compressed representation IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E100A, 9, 1773-1784 IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E100A, 9, 1773-1784 IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E100A, 9, 1773-1784 2017/09 研究論文(学術雑誌) 公開
Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, Shin-ichi Minato Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, Shin-ichi Minato Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, Shin-ichi Minato Frontier-Based Search for Enumerating All Constrained Subgraphs with Compressed Representation Frontier-Based Search for Enumerating All Constrained Subgraphs with Compressed Representation Frontier-Based Search for Enumerating All Constrained Subgraphs with Compressed Representation IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E100A, 9, 1773-1784 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E100A, 9, 1773-1784 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E100A, 9, 1773-1784 2017/09 英語 研究論文(学術雑誌) 公開
Junpei Komiyama, Masakazu Ishihata, Hiroki Arimura, Takashi Nishibayashi, Shin-Ichi Minato Junpei Komiyama, Masakazu Ishihata, Hiroki Arimura, Takashi Nishibayashi, Shin-Ichi Minato Junpei Komiyama, Masakazu Ishihata, Hiroki Arimura, Takashi Nishibayashi, Shin-Ichi Minato Statistical emerging pattern mining with multiple testing correction Statistical emerging pattern mining with multiple testing correction Statistical emerging pattern mining with multiple testing correction Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 129685, 897-906 Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 129685, 897-906 Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, 129685, 897-906 2017/08/13 英語 研究論文(国際会議プロシーディングス) 公開
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation Power of Enumeration - Recent Topics on BDD/ZDD-Based Techniques for Discrete Structure Manipulation IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E100D, 8, 1556-1562 IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E100D, 8, 1556-1562 IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E100D, 8, 1556-1562 2017/08 英語 研究論文(学術雑誌) 公開
Reona Minoda, Shin-ichi Minato Reona Minoda, Shin-ichi Minato Reona Minoda, Shin-ichi Minato Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking Efficient Scenario Verification of Proximity-based Federations among Smart Objects through Symbolic Model Checking Proc. of the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PEC 2017), 13-21 Proc. of the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PEC 2017), 13-21 Proc. of the 7th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PEC 2017), 13-21 2017/07 英語 研究論文(国際会議プロシーディングス) 公開
Reona Minoda, Shin-ichi Minato Reona Minoda, Shin-ichi Minato Reona Minoda, Shin-ichi Minato Verifying Scenarios of Proximity-Based Federations among Smart Objects through Model Checking and Its Advantages Verifying Scenarios of Proximity-Based Federations among Smart Objects through Model Checking and Its Advantages Verifying Scenarios of Proximity-Based Federations among Smart Objects through Model Checking and Its Advantages IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E100D, 6, 1172-1181 IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E100D, 6, 1172-1181 IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E100D, 6, 1172-1181 2017/06 英語 研究論文(学術雑誌) 公開
Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato, Masaaki Nagata Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato, Masaaki Nagata Fumito Takeuchi, Masaaki Nishino, Norihito Yasuda, Takuya Akiba, Shin-ichi Minato, Masaaki Nagata BDD-Constrained A* Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems BDD-Constrained A* Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems BDD-Constrained A* Search: A Fast Method for Solving Constrained DAG Shortest-Path Problems Proc. of Workshops at the 31st AAAI Conference on Artificial Intelligence, The AAAI-17 Workshop on Symbolic Inference and Optimization (SymInfOpt 2017), 944-950 Proc. of Workshops at the 31st AAAI Conference on Artificial Intelligence, The AAAI-17 Workshop on Symbolic Inference and Optimization (SymInfOpt 2017), 944-950 Proc. of Workshops at the 31st AAAI Conference on Artificial Intelligence, The AAAI-17 Workshop on Symbolic Inference and Optimization (SymInfOpt 2017), 944-950 2017/02 研究論文(国際会議プロシーディングス) 公開
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata Compiling Graph Substructures into Sentential Decision Diagrams Compiling Graph Substructures into Sentential Decision Diagrams Compiling Graph Substructures into Sentential Decision Diagrams Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), 1213-1221 Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), 1213-1221 Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), 1213-1221 2017/02 英語 研究論文(国際会議プロシーディングス) 公開
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata Dancing with Decision Diagrams: A Combined Approach to Exact Cover Dancing with Decision Diagrams: A Combined Approach to Exact Cover Dancing with Decision Diagrams: A Combined Approach to Exact Cover Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), 868-874 Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), 868-874 Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI2017), 868-874 2017/02 英語 研究論文(国際会議プロシーディングス) 公開
Jun Kawahara, Takashi Horiyama, Keisuke Hotta, Shin-ichi Minato Jun Kawahara, Takashi Horiyama, Keisuke Hotta, Shin-ichi Minato Jun Kawahara, Takashi Horiyama, Keisuke Hotta, Shin-ichi Minato Generating All Patterns of Graph Partitions Within a Disparity Bound Generating All Patterns of Graph Partitions Within a Disparity Bound Generating All Patterns of Graph Partitions Within a Disparity Bound WALCOM: ALGORITHMS AND COMPUTATION, WALCOM 2017, 10167, 119-131 WALCOM: ALGORITHMS AND COMPUTATION, WALCOM 2017, 10167, 119-131 WALCOM: ALGORITHMS AND COMPUTATION, WALCOM 2017, 10167, 119-131 2017 英語 研究論文(国際会議プロシーディングス) 公開
Reona Minoda, Yuzuru Tanaka, Shin-ichi Minato Reona Minoda, Yuzuru Tanaka, Shin-ichi Minato Reona Minoda, Yuzuru Tanaka, Shin-ichi Minato Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking Verifying Scenarios of Proximity-based Federations among Smart Objects through Model Checking Proc. of the Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016), 65-71 Proc. of the Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016), 65-71 Proc. of the Tenth International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies (UBICOMM 2016), 65-71 2016/10 英語 研究論文(国際会議プロシーディングス) 公開
Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-ichi Minato Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-ichi Minato Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-ichi Minato Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations Sequence binary decision diagram: Minimization, relationship to acyclic automata, and complexities of Boolean set operations DISCRETE APPLIED MATHEMATICS, 212, 61-80 DISCRETE APPLIED MATHEMATICS, 212, 61-80 DISCRETE APPLIED MATHEMATICS, 212, 61-80 2016/10 英語 研究論文(学術雑誌) 公開
Hirofumi Suzuki, Sun Hao, Shin-ichi Minato Hirofumi Suzuki, Sun Hao, Shin-ichi Minato Hirofumi Suzuki, Sun Hao, Shin-ichi Minato Generating All Solutions of Minesweeper Problem Using Degree Constrained Subgraph Model Generating All Solutions of Minesweeper Problem Using Degree Constrained Subgraph Model Generating All Solutions of Minesweeper Problem Using Degree Constrained Subgraph Model Proc. of the 2016 International Conference on Parallel & Distributed Processing Techniques & Applications (PDPTA'16), 356-362 Proc. of the 2016 International Conference on Parallel & Distributed Processing Techniques & Applications (PDPTA'16), 356-362 Proc. of the 2016 International Conference on Parallel & Distributed Processing Techniques & Applications (PDPTA'16), 356-362 2016/07 英語 研究論文(国際会議プロシーディングス) 公開
Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata Masaaki Nishino, Norihito Yasuda, Shin-ichi Minato, Masaaki Nagata Zero-suppressed Sentential Decision Diagrams Zero-suppressed Sentential Decision Diagrams Zero-suppressed Sentential Decision Diagrams Proc. of the 30th AAAI Conference on Artificial Intelligence (AAAI2016), 1058-1066 Proc. of the 30th AAAI Conference on Artificial Intelligence (AAAI2016), 1058-1066 Proc. of the 30th AAAI Conference on Artificial Intelligence (AAAI2016), 1058-1066 2016/02 英語 研究論文(国際会議プロシーディングス) 公開
Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, Shin-ichi Minato Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, Shin-ichi Minato Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, Shin-ichi Minato A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization A Dynamic Programming Algorithm for Tree Trimming-based Text Summarization International Journal on Software Tools for Technology Transfer (STTT), 18, 1, 57-66 International Journal on Software Tools for Technology Transfer (STTT), 18, 1, 57-66 International Journal on Software Tools for Technology Transfer (STTT), 18, 1, 57-66 2016/02 英語 研究論文(学術雑誌) 公開
Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, Shin-ichi Minato Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, Shin-ichi Minato Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, Shin-ichi Minato Graphillion: software library for very large sets of labeled graphs Graphillion: software library for very large sets of labeled graphs Graphillion: software library for very large sets of labeled graphs INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 18, 1, 57-66 INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 18, 1, 57-66 INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 18, 1, 57-66 2016/02 英語 研究論文(学術雑誌) 公開
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Power of Enumeration-BDD/ZDD-Based Techniques for Discrete Structure Manipulation Power of Enumeration-BDD/ZDD-Based Techniques for Discrete Structure Manipulation Power of Enumeration-BDD/ZDD-Based Techniques for Discrete Structure Manipulation 2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016), 143-143 2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016), 143-143 2016 IEEE 46TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC (ISMVL 2016), 143-143 2016 英語 研究論文(国際会議プロシーディングス) 公開
Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, Shin-ichi Minato Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, Shin-ichi Minato Robert Wille, Nils Quetschlich, Yuma Inoue, Norihito Yasuda, Shin-ichi Minato Using pi DDs for Nearest Neighbor Optimization of Quantum Circuits Using pi DDs for Nearest Neighbor Optimization of Quantum Circuits Using pi DDs for Nearest Neighbor Optimization of Quantum Circuits REVERSIBLE COMPUTATION, RC 2016, 9720, 181-196 REVERSIBLE COMPUTATION, RC 2016, 9720, 181-196 REVERSIBLE COMPUTATION, RC 2016, 9720, 181-196 2016 英語 研究論文(国際会議プロシーディングス) 公開
Yuji Takenobu, Shunsuke Kawano, Yasuhiro Hayashi, Norihito Yasuda, Shin-ichi Minato Yuji Takenobu, Shunsuke Kawano, Yasuhiro Hayashi, Norihito Yasuda, Shin-ichi Minato Yuji Takenobu, Shunsuke Kawano, Yasuhiro Hayashi, Norihito Yasuda, Shin-ichi Minato Maximizing Hosting Capacity of Distributed Generation by Network Reconfiguration in Distribution System Maximizing Hosting Capacity of Distributed Generation by Network Reconfiguration in Distribution System Maximizing Hosting Capacity of Distributed Generation by Network Reconfiguration in Distribution System 2016 POWER SYSTEMS COMPUTATION CONFERENCE (PSCC), 1-7 2016 POWER SYSTEMS COMPUTATION CONFERENCE (PSCC), 1-7 2016 POWER SYSTEMS COMPUTATION CONFERENCE (PSCC), 1-7 2016 英語 研究論文(国際会議プロシーディングス) 公開
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 TRANSACTIONS ON SMART GRID, 6, 2, 843-852 IEEE TRANSACTIONS ON SMART GRID, 6, 2, 843-852 IEEE TRANSACTIONS ON SMART GRID, 6, 2, 843-852 2015/03 英語 研究論文(学術雑誌) 公開
Shan Gao, Shin-ichi Minato Shan Gao, Shin-ichi Minato Shan Gao, Shin-ichi Minato Factorization of ZDDs for representing Bayesian networks based on d-separations Factorization of ZDDs for representing Bayesian networks based on d-separations Factorization of ZDDs for representing Bayesian networks based on d-separations Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9505, 168-183 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9505, 168-183 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9505, 168-183 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 公開
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 公開
Yuma Inoue, Shin-ichi Minato Yuma Inoue, Shin-ichi Minato Yuma Inoue, Shin-ichi Minato Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits REVERSIBLE COMPUTATION, RC 2015, 9138, 186-199 REVERSIBLE COMPUTATION, RC 2015, 9138, 186-199 REVERSIBLE COMPUTATION, RC 2015, 9138, 186-199 2015 英語 研究論文(国際会議プロシーディングス) 公開
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 公開
湊真一 湊真一 MINATO SHIN'ICHI 「フカシギの数え方」から広がるアルゴリズムの理工学―二分決定グラフによる離散構造処理と広がる応用分野―1.二分決定グラフによる離散構造処理の概観 「フカシギの数え方」から広がるアルゴリズムの理工学―二分決定グラフによる離散構造処理と広がる応用分野―1.二分決定グラフによる離散構造処理の概観 「フカシギの数え方」から広がるアルゴリズムの理工学―二分決定グラフによる離散構造処理と広がる応用分野―1.二分決定グラフによる離散構造処理の概観 電子情報通信学会誌, 97, 12, 1074-1079 電子情報通信学会誌, 97, 12, 1074-1079 電子情報通信学会誌, 97, 12, 1074-1079 2014/12/01 日本語 公開
川原純, 湊真一 川原純, 湊真一 KAWAHARA JUN, MINATO SHIN'ICHI 「フカシギの数え方」から広がるアルゴリズムの理工学―二分決定グラフによる離散構造処理と広がる応用分野―3.順列の圧縮列挙索引化とソーティング 「フカシギの数え方」から広がるアルゴリズムの理工学―二分決定グラフによる離散構造処理と広がる応用分野―3.順列の圧縮列挙索引化とソーティング 「フカシギの数え方」から広がるアルゴリズムの理工学―二分決定グラフによる離散構造処理と広がる応用分野―3.順列の圧縮列挙索引化とソーティング 電子情報通信学会誌, 97, 12, 1086-1090 電子情報通信学会誌, 97, 12, 1086-1090 電子情報通信学会誌, 97, 12, 1086-1090 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 ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E97A, 6, 1171-1179 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E97A, 6, 1171-1179 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E97A, 6, 1171-1179 2014/06 英語 研究論文(学術雑誌) 公開
岩下 洋哲, 戸田 貴久, 津田 宏治, 湊 真一 岩下 洋哲, 戸田 貴久, 津田 宏治, 湊 真一 乗法標準形で与えられた論理関数に対する二分決定グラフ構築の効率化 乗法標準形で与えられた論理関数に対する二分決定グラフ構築の効率化 人工知能学会全国大会論文集, 2014, 0, 1D4OS11a2i-1D4OS11a2i 人工知能学会全国大会論文集, 2014, 0, 1D4OS11a2i-1D4OS11a2i , 2014, 0, 1D4OS11a2i-1D4OS11a2i 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, SEA 2014, 8504, 187-198 EXPERIMENTAL ALGORITHMS, SEA 2014, 8504, 187-198 EXPERIMENTAL ALGORITHMS, SEA 2014, 8504, 187-198 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 公開
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 SIAM International Conference on Data Mining 2014, SDM 2014, 2, 1073-1081 SIAM International Conference on Data Mining 2014, SDM 2014, 2, 1073-1081 SIAM International Conference on Data Mining 2014, SDM 2014, 2, 1073-1081 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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8725, 2, 422-436 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8725, 2, 422-436 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8725, 2, 422-436 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, 8643, 504-510 TRENDS AND APPLICATIONS IN KNOWLEDGE DISCOVERY AND DATA MINING, 8643, 504-510 TRENDS AND APPLICATIONS IN KNOWLEDGE DISCOVERY AND DATA MINING, 8643, 504-510 2014 英語 研究論文(国際会議プロシーディングス) 公開
Shogo Takeuchi, Takahisa Toda, Shin-ichi Minato Shogo Takeuchi, Takahisa Toda, Shin-ichi Minato Shogo Takeuchi, Takahisa Toda, Shin-ichi Minato A General Framework for Parallel Unary Operations on ZDDs A General Framework for Parallel Unary Operations on ZDDs A General Framework for Parallel Unary Operations on ZDDs TRENDS AND APPLICATIONS IN KNOWLEDGE DISCOVERY AND DATA MINING, 8643, 494-503 TRENDS AND APPLICATIONS IN KNOWLEDGE DISCOVERY AND DATA MINING, 8643, 494-503 TRENDS AND APPLICATIONS IN KNOWLEDGE DISCOVERY AND DATA MINING, 8643, 494-503 2014 英語 研究論文(国際会議プロシーディングス) 公開
Hiroshi Aoki, Takahisa Toda, Shin-ichi Minato Hiroshi Aoki, Takahisa Toda, Shin-ichi Minato Hiroshi Aoki, Takahisa Toda, Shin-ichi Minato Three-way Indexing ZDDs for Large-Scale Sparse Datasets Three-way Indexing ZDDs for Large-Scale Sparse Datasets Three-way Indexing ZDDs for Large-Scale Sparse Datasets TRENDS AND APPLICATIONS IN KNOWLEDGE DISCOVERY AND DATA MINING, 8643, 457-469 TRENDS AND APPLICATIONS IN KNOWLEDGE DISCOVERY AND DATA MINING, 8643, 457-469 TRENDS AND APPLICATIONS IN KNOWLEDGE DISCOVERY AND DATA MINING, 8643, 457-469 2014 英語 研究論文(国際会議プロシーディングス) 公開
Yuma Inoue, Shin-ichi Minato Yuma Inoue, Shin-ichi Minato Yuma Inoue, Shin-ichi Minato An Efficient Method for Indexing All Topological Orders of a Directed Graph An Efficient Method for Indexing All Topological Orders of a Directed Graph An Efficient Method for Indexing All Topological Orders of a Directed Graph ALGORITHMS AND COMPUTATION, ISAAC 2014, 8889, 103-114 ALGORITHMS AND COMPUTATION, ISAAC 2014, 8889, 103-114 ALGORITHMS AND COMPUTATION, ISAAC 2014, 8889, 103-114 2014 英語 研究論文(国際会議プロシーディングス) 公開
Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, Osamu Akashi Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, Osamu Akashi Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, Osamu Akashi Rethinking Packet Classification for Global Network View of Software-Defined Networking Rethinking Packet Classification for Global Network View of Software-Defined Networking Rethinking Packet Classification for Global Network View of Software-Defined Networking 2014 IEEE 22ND INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS (ICNP), 296-307 2014 IEEE 22ND INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS (ICNP), 296-307 2014 IEEE 22ND INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS (ICNP), 296-307 2014 英語 研究論文(国際会議プロシーディングス) 公開
Takeru Inoue, Keiji Takano, Takayuki Watanabe, Jun Kawahara, Ryo Yoshinaka, Akihiro Kishimoto, Koji Tsuda, Shin-ichi Minato, Yasuhiro Hayashi Takeru Inoue, Keiji Takano, Takayuki Watanabe, Jun Kawahara, Ryo Yoshinaka, Akihiro Kishimoto, Koji Tsuda, Shin-ichi Minato, Yasuhiro Hayashi Takeru Inoue, Keiji Takano, Takayuki Watanabe, Jun Kawahara, Ryo Yoshinaka, Akihiro Kishimoto, Koji Tsuda, Shin-ichi Minato, Yasuhiro Hayashi Distribution Loss Minimization With Guaranteed Error Bound Distribution Loss Minimization With Guaranteed Error Bound Distribution Loss Minimization With Guaranteed Error Bound IEEE TRANSACTIONS ON SMART GRID, 5, 1, 102-111 IEEE TRANSACTIONS ON SMART GRID, 5, 1, 102-111 IEEE TRANSACTIONS ON SMART GRID, 5, 1, 102-111 2014/01 英語 研究論文(学術雑誌) 公開
湊 真一 湊 真一 「おねえさんの問題」の最先端 ― YouTube動画と世界記録 ― 「おねえさんの問題」の最先端 ― YouTube動画と世界記録 ― 情報処理, 54, 11, 1152-1159 情報処理, 54, 11, 1152-1159 , 54, 11, 1152-1159 2013/10 日本語 研究論文(学術雑誌) 公開
湊 真一 湊 真一 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 日本語 研究論文(研究会、シンポジウム資料等) 公開
瀧澤重志, 武知祥史, 大田章雄, 中野浩太郎, 加藤直樹, 井上武, 堀山貴史, 川原純, 湊真一, 湊真一 瀧澤重志, 武知祥史, 大田章雄, 中野浩太郎, 加藤直樹, 井上武, 堀山貴史, 川原純, 湊真一, 湊真一 瀧澤重志, 武知祥史, 大田章雄, 中野浩太郎, 加藤直樹, 井上武, 堀山貴史, 川原純, 湊真一, 湊真一 ZDDを用いた都市の避難所割り当ての列挙 ZDDを用いた都市の避難所割り当ての列挙 ZDDを用いた都市の避難所割り当ての列挙 日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, 2013, 66-67 日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, 2013, 66-67 日本オペレーションズ・リサーチ学会秋季研究発表会アブストラクト集, 2013, 66-67 2013/09 日本語 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
Atsushi Takizawa, Yasufumi Takechi, Akio Ohta, Naoki Katoh, Takeru Inoue, Takashi Horiyama, Jun Kawahara, Shin-ichi Minato Atsushi Takizawa, Yasufumi Takechi, Akio Ohta, Naoki Katoh, Takeru Inoue, Takashi Horiyama, Jun Kawahara, Shin-ichi Minato Atsushi Takizawa, Yasufumi Takechi, Akio Ohta, Naoki Katoh, Takeru Inoue, Takashi Horiyama, Jun Kawahara, Shin-ichi Minato Enumeration of Region Partitioning for Evalcuation Planning based on ZDD Enumeration of Region Partitioning for Evalcuation Planning based on ZDD Enumeration of Region Partitioning for Evalcuation Planning based on ZDD In Proc. of International symposium on Operation Research & its Applications (ISORA2013), 64-71 In Proc. of International symposium on Operation Research & its Applications (ISORA2013), 64-71 In Proc. of International symposium on Operation Research & its Applications (ISORA2013), 64-71 2013/08 英語 研究論文(国際会議プロシーディングス) 公開
Yuma Inoue, Takahisa Toda, Shin-ichi Minato Yuma Inoue, Takahisa Toda, Shin-ichi Minato Yuma Inoue, Takahisa Toda, Shin-ichi Minato Efficiently generating classical and vincular pattern avoiding permutations based on permutation decision diagrams Efficiently generating classical and vincular pattern avoiding permutations based on permutation decision diagrams Efficiently generating classical and vincular pattern avoiding permutations based on permutation decision diagrams In Proc. of Permutation Patterns 2013, 43-44 In Proc. of Permutation Patterns 2013, 43-44 In Proc. of Permutation Patterns 2013, 43-44 2013/07 英語 研究論文(国際会議プロシーディングス) 公開
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Techniques of BDD/ZDD: Brief History and Recent Activity Techniques of BDD/ZDD: Brief History and Recent Activity Techniques of BDD/ZDD: Brief History and Recent Activity IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E96D, 7, 1419-1429 IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E96D, 7, 1419-1429 IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E96D, 7, 1419-1429 2013/07 英語 研究論文(学術雑誌) 公開
西野正彬, 安田宜仁, 湊真一, 永田昌明 西野正彬, 安田宜仁, 湊真一, 永田昌明 西野正彬, 安田宜仁, 湊真一, 永田昌明 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 日本語 公開
戸田貴久, 戸田貴久, 湊真一, 湊真一 戸田貴久, 戸田貴久, 湊真一, 湊真一 戸田貴久, 戸田貴久, 湊真一, 湊真一 二分決定グラフに基づく大規模ハイパーグラフの双対化とその応用 二分決定グラフに基づく大規模ハイパーグラフの双対化とその応用 二分決定グラフに基づく大規模ハイパーグラフの双対化とその応用 人工知能学会全国大会論文集(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 日本語 公開
青木洋士, 湊真一, 湊真一, 山下茂 青木洋士, 湊真一, 湊真一, 山下茂 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 日本語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(国際会議プロシーディングス) 公開
湊真一, 湊真一 湊真一, 湊真一 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 日本語 研究論文(研究会、シンポジウム資料等) 公開
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 英語 研究論文(研究会、シンポジウム資料等) 公開
岩下 洋哲, 中澤 吉男, 川原 純, 宇野 毅明, 湊 真一 岩下 洋哲, 中澤 吉男, 川原 純, 宇野 毅明, 湊 真一 最小完全ハッシュ関数を用いたグリッドグラフ上の効率的なパス数え上げ 最小完全ハッシュ関数を用いたグリッドグラフ上の効率的なパス数え上げ 研究報告アルゴリズム(AL), 2013, 8, 1-6 研究報告アルゴリズム(AL), 2013, 8, 1-6 , 2013, 8, 1-6 2013/02/22 日本語 研究論文(研究会、シンポジウム資料等) 公開
井上 祐馬, 戸田 貴久, 湊 真一 井上 祐馬, 戸田 貴久, 湊 真一 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 日本語 研究論文(研究会、シンポジウム資料等) 公開
Shogo Takeuchi, Jun Kawahara, Akihiro Kishimoto, Shin-Ichi Minato Shogo Takeuchi, Jun Kawahara, Akihiro Kishimoto, Shin-Ichi Minato Shogo Takeuchi, Jun Kawahara, Akihiro Kishimoto, Shin-Ichi Minato Shared-memory parallel frontier-based search Shared-memory parallel frontier-based search Shared-memory parallel frontier-based search Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7748, 170-181 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7748, 170-181 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7748, 170-181 2013 英語 研究論文(国際会議プロシーディングス) 公開
Laura Tague, Mathias Soeken, Shin-Ichi Minato, Rolf Drechsler Laura Tague, Mathias Soeken, Shin-Ichi Minato, Rolf Drechsler Laura Tague, Mathias Soeken, Shin-Ichi Minato, Rolf Drechsler Debugging of reversible circuits using pDDs Debugging of reversible circuits using pDDs Debugging of reversible circuits using pDDs Proceedings of The International Symposium on Multiple-Valued Logic, 316-321 Proceedings of The International Symposium on Multiple-Valued Logic, 316-321 Proceedings of The International Symposium on Multiple-Valued Logic, 316-321 2013 英語 研究論文(国際会議プロシーディングス) 公開
Shuhei Denzumi, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato Shuhei Denzumi, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato Shuhei Denzumi, Koji Tsuda, Hiroki Arimura, Shin-ichi Minato Compact Complete Inverted Files for Texts and Directed Acyclic Graphs Based on Sequence Binary Decision Diagrams Compact Complete Inverted Files for Texts and Directed Acyclic Graphs Based on Sequence Binary Decision Diagrams Compact Complete Inverted Files for Texts and Directed Acyclic Graphs Based on Sequence Binary Decision Diagrams PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2013, 157-167 PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2013, 157-167 PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2013, 157-167 2013 英語 研究論文(国際会議プロシーディングス) 公開
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 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8125, 731-742 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8125, 731-742 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8125, 731-742 2013 英語 研究論文(国際会議プロシーディングス) 公開
Mathias Soeken, Robert Wille, Shin-Ichi Minato, Rolf Drechsler Mathias Soeken, Robert Wille, Shin-Ichi Minato, Rolf Drechsler Mathias Soeken, Robert Wille, Shin-Ichi Minato, Rolf Drechsler Using πdDs in the design of reversible circuits (work-in-progress) Using πdDs in the design of reversible circuits (work-in-progress) Using πdDs in the design of reversible circuits (work-in-progress) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7581, 197-203 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7581, 197-203 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7581, 197-203 2013 英語 研究論文(国際会議プロシーディングス) 公開
Atsushi Takizawa, Yasufumi Takechi, Akio Ohta, Naoki Katoh, Takeru Inoue, Takashi Horiyama, Jun Kawahara, Shin-Ichi Minato Atsushi Takizawa, Yasufumi Takechi, Akio Ohta, Naoki Katoh, Takeru Inoue, Takashi Horiyama, Jun Kawahara, Shin-Ichi Minato Atsushi Takizawa, Yasufumi Takechi, Akio Ohta, Naoki Katoh, Takeru Inoue, Takashi Horiyama, Jun Kawahara, Shin-Ichi Minato Enumeration of region partitioning for evacuation planning based on ZDD Enumeration of region partitioning for evacuation planning based on ZDD Enumeration of region partitioning for evacuation planning based on ZDD IET Conference Publications, 2013, 644, 65-72 IET Conference Publications, 2013, 644, 65-72 IET Conference Publications, 2013, 644, 65-72 2013 英語 研究論文(国際会議プロシーディングス) 公開
湊 真一 湊 真一 特集にあたって(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) 特集にあたって(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) オペレーションズ・リサーチ : 経営の科学, 57, 11 オペレーションズ・リサーチ : 経営の科学, 57, 11 , 57, 11 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, 604-609 オペレーションズ・リサーチ : 経営の科学, 57, 11, 604-609 , 57, 11, 604-609 2012/11 日本語 研究論文(学術雑誌) 公開
井上 武, 高野 圭司, 渡辺 喬之, 川原 純, 吉仲 亮, 岸本 章宏, 津田 宏治, 湊 真一, 林 泰弘 井上 武, 高野 圭司, 渡辺 喬之, 川原 純, 吉仲 亮, 岸本 章宏, 津田 宏治, 湊 真一, 林 泰弘 フロンティア法による電力網構成制御(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) フロンティア法による電力網構成制御(<特集>BDD/ZDDを用いた新しい列挙索引化技法(フロンティア法)とその応用) オペレーションズ・リサーチ : 経営の科学, 57, 11, 610-615 オペレーションズ・リサーチ : 経営の科学, 57, 11, 610-615 , 57, 11, 610-615 2012/11 日本語 研究論文(学術雑誌) 公開
吉仲 亮, 岩下 洋哲, 川原 純, 斎藤 寿樹, 鶴間 浩二, 湊 真一 吉仲 亮, 岩下 洋哲, 川原 純, 斎藤 寿樹, 鶴間 浩二, 湊 真一 種々のリンクパズルへの応用 種々のリンクパズルへの応用 オペレーションズ・リサーチ : 経営の科学 = [O]perations research as a management science [r]esearch, 57, 11, 616-622 オペレーションズ・リサーチ : 経営の科学 = [O]perations research as a management science [r]esearch, 57, 11, 616-622 , 57, 11, 616-622 2012/11/01 日本語 研究論文(学術雑誌) 公開
湊 真一 湊 真一 特別招待講演 ERATO湊離散構造処理系プロジェクトの概要と今後の展望について (通信方式) 特別招待講演 ERATO湊離散構造処理系プロジェクトの概要と今後の展望について (通信方式) 電子情報通信学会技術研究報告 : 信学技報, 112, 309, 35-40 電子情報通信学会技術研究報告 : 信学技報, 112, 309, 35-40 , 112, 309, 35-40 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 日本語 研究論文(研究会、シンポジウム資料等) 公開
Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato Ryo Yoshinaka, Jun Kawahara, Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato Counterexamples to the long-standing conjecture on the complexity of BDD binary operations Counterexamples to the long-standing conjecture on the complexity of BDD binary operations Counterexamples to the long-standing conjecture on the complexity of BDD binary operations INFORMATION PROCESSING LETTERS, 112, 16, 636-640 INFORMATION PROCESSING LETTERS, 112, 16, 636-640 INFORMATION PROCESSING LETTERS, 112, 16, 636-640 2012/08 英語 研究論文(学術雑誌) 公開
Takeru Inoue, Shin-ichi Minato Takeru Inoue, Shin-ichi Minato Takeru Inoue, Shin-ichi Minato On Tackling Flash Crowds with URL Shorteners and Examining User Behavior after Great East Japan Earthquake On Tackling Flash Crowds with URL Shorteners and Examining User Behavior after Great East Japan Earthquake On Tackling Flash Crowds with URL Shorteners and Examining User Behavior after Great East Japan Earthquake IEICE TRANSACTIONS ON COMMUNICATIONS, E95B, 7, 2210-2221 IEICE TRANSACTIONS ON COMMUNICATIONS, E95B, 7, 2210-2221 IEICE TRANSACTIONS ON COMMUNICATIONS, E95B, 7, 2210-2221 2012/07 英語 研究論文(学術雑誌) 公開
Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, Yoshikazu Miyanaga Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, Yoshikazu Miyanaga Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura, Yoshikazu Miyanaga A Dynamically Reconfigurable FPGA-Based Pattern Matching Hardware for Subclasses of Regular Expressions A Dynamically Reconfigurable FPGA-Based Pattern Matching Hardware for Subclasses of Regular Expressions A Dynamically Reconfigurable FPGA-Based Pattern Matching Hardware for Subclasses of Regular Expressions IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E95D, 7, 1847-1857 IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E95D, 7, 1847-1857 IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, E95D, 7, 1847-1857 2012/07 英語 研究論文(学術雑誌) 公開
川原 純, 斎藤 寿樹, 湊 真一 川原 純, 斎藤 寿樹, 湊 真一 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 日本語 研究論文(研究会、シンポジウム資料等) 公開
伝住 周平, 有村 博紀, 湊 真一 伝住 周平, 有村 博紀, 湊 真一 系列二分決定グラフを操作するための豊富な演算体系の構築 (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 日本語 公開
湊 真一 湊 真一 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 日本語 研究論文(学術雑誌) 公開
山田 倫大, 湊 真一 山田 倫大, 湊 真一 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 日本語 公開
井上 祐馬, 湊 真一 井上 祐馬, 湊 真一 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 日本語 公開
Ryo Yoshinaka, Toshiki Saitoh, Jun Kawahara, Koji Tsuruma, Hiroaki Iwashita, Shin-ichi Minato Ryo Yoshinaka, Toshiki Saitoh, Jun Kawahara, Koji Tsuruma, Hiroaki Iwashita, Shin-ichi Minato Ryo Yoshinaka, Toshiki Saitoh, Jun Kawahara, Koji Tsuruma, Hiroaki Iwashita, Shin-ichi Minato Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs. Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs. Finding All Solutions and Instances of Numberlink and Slitherlink by ZDDs. Algorithms, 5, 2, 176-213 Algorithms, 5, 2, 176-213 Algorithms, 5, 2, 176-213 2012 英語 研究論文(学術雑誌) 公開
Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller Synthesis of Semi-Classical Quantum Circuits Synthesis of Semi-Classical Quantum Circuits Synthesis of Semi-Classical Quantum Circuits JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 18, 1, 99-114 JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 18, 1, 99-114 JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 18, 1, 99-114 2012 英語 研究論文(学術雑誌) 公開
Yasuyuki Shirai, Koji Tsuruma, Yuko Sakurai, Satoshi Oyama, Shin-Ichi Minato Yasuyuki Shirai, Koji Tsuruma, Yuko Sakurai, Satoshi Oyama, Shin-Ichi Minato Yasuyuki Shirai, Koji Tsuruma, Yuko Sakurai, Satoshi Oyama, Shin-Ichi Minato Incremental set recommendation based on class differences Incremental set recommendation based on class differences Incremental set recommendation based on class differences Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7301, 1, 183-194 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7301, 1, 183-194 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7301, 1, 183-194 2012 英語 研究論文(国際会議プロシーディングス) 公開
Koji Tsuda, Shin-Ichi Minato Koji Tsuda, Shin-Ichi Minato Koji Tsuda, Shin-Ichi Minato Second workshop on Algorithms for Large-Scale Information Processing in knowledge discovery (ALSIP) Second workshop on Algorithms for Large-Scale Information Processing in knowledge discovery (ALSIP) Second workshop on Algorithms for Large-Scale Information Processing in knowledge discovery (ALSIP) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7258, 184-185 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7258, 184-185 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7258, 184-185 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 日本語 公開
Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura High-speed String and Regular Expression Matching on FPGA High-speed String and Regular Expression Matching on FPGA High-speed String and Regular Expression Matching on FPGA Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011 Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011 Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011 2011/10 英語 研究論文(国際会議プロシーディングス) 公開
山田 倫大, 湊 真一 山田 倫大, 湊 真一 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 日本語 公開
湊 真一 湊 真一 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 日本語 公開
湊 真一 湊 真一 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 日本語 公開
斎藤 寿樹, 川原 純, 吉仲 亮, 井上 武, 湊 真一 斎藤 寿樹, 川原 純, 吉仲 亮, 井上 武, 湊 真一 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 日本語 公開
井上 武, 湊 真一 井上 武, 湊 真一 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 日本語 公開
川原 純, 斎藤 寿樹, 鈴木 拡, 湊 真一, 吉仲 亮 川原 純, 斎藤 寿樹, 鈴木 拡, 湊 真一, 吉仲 亮 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 日本語 公開
湊 真一 湊 真一 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 日本語 公開
青木 洋士, 山下 茂, 湊 真一 青木 洋士, 山下 茂, 湊 真一 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 日本語 公開
河原 吉伸, 津田 宏治, 鷲尾 隆, 武田 朗子, 湊 真一 河原 吉伸, 津田 宏治, 鷲尾 隆, 武田 朗子, 湊 真一 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 日本語 公開
湊 真一 湊 真一 BDD/ZDDを基盤とする離散構造と演算処理系の最近の展開 BDD/ZDDを基盤とする離散構造と演算処理系の最近の展開 電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review, 4, 3, 224-230 電子情報通信学会 基礎・境界ソサイエティ Fundamentals Review, 4, 3, 224-230 , 4, 3, 224-230 2011/01 日本語 研究論文(学術雑誌) 公開
Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-ichi Minato Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-ichi Minato Shuhei Denzumi, Ryo Yoshinaka, Hiroki Arimura, Shin-ichi Minato Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations Notes on Sequence Binary Decision Diagrams: Relationship to Acyclic Automata and Complexities of Binary Set Operations PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2011, 147-161 PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2011, 147-161 PROCEEDINGS OF THE PRAGUE STRINGOLOGY CONFERENCE 2011, 147-161 2011 英語 研究論文(国際会議プロシーディングス) 公開
Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato Shuhei Denzumi, Hiroki Arimura, Shin-ichi Minato Implementation of Sequence BDDs in Erlang Implementation of Sequence BDDs in Erlang Implementation of Sequence BDDs in Erlang ERLANG 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN ERLANG WORKSHOP, 90-91 ERLANG 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN ERLANG WORKSHOP, 90-91 ERLANG 11: PROCEEDINGS OF THE 2011 ACM SIGPLAN ERLANG WORKSHOP, 90-91 2011 英語 研究論文(国際会議プロシーディングス) 公開
Hiroshi Aoki, Shigeru Yamashita, Shin-Ichi Minato Hiroshi Aoki, Shigeru Yamashita, Shin-Ichi Minato Hiroshi Aoki, Shigeru Yamashita, Shin-Ichi Minato An efficient algorithm for constructing a sequence binary decision diagram representing a set of reversed sequences An efficient algorithm for constructing a sequence binary decision diagram representing a set of reversed sequences An efficient algorithm for constructing a sequence binary decision diagram representing a set of reversed sequences Proceedings - 2011 IEEE International Conference on Granular Computing, GrC 2011, 54-59 Proceedings - 2011 IEEE International Conference on Granular Computing, GrC 2011, 54-59 Proceedings - 2011 IEEE International Conference on Granular Computing, GrC 2011, 54-59 2011 英語 研究論文(国際会議プロシーディングス) 公開
Masakazu Ishihata, Taisuke Sato, Shin-ichi Minato Masakazu Ishihata, Taisuke Sato, Shin-ichi Minato Masakazu Ishihata, Taisuke Sato, Shin-ichi Minato Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs Compiling Bayesian Networks for Parameter Learning Based on Shared BDDs AI 2011: ADVANCES IN ARTIFICIAL INTELLIGENCE, 7106, 203-+ AI 2011: ADVANCES IN ARTIFICIAL INTELLIGENCE, 7106, 203-+ AI 2011: ADVANCES IN ARTIFICIAL INTELLIGENCE, 7106, 203-+ 2011 英語 研究論文(国際会議プロシーディングス) 公開
Yuko Sakurai, Suguru Ueda, Atsushi Iwasaki, Shin-Ichi Minato, Makoto Yokoo Yuko Sakurai, Suguru Ueda, Atsushi Iwasaki, Shin-Ichi Minato, Makoto Yokoo Yuko Sakurai, Suguru Ueda, Atsushi Iwasaki, Shin-Ichi Minato, Makoto Yokoo A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams A Compact Representation Scheme of Coalitional Games Based on Multi-Terminal Zero-Suppressed Binary Decision Diagrams AGENTS IN PRINCIPLE, AGENTS IN PRACTICE, 7047, 4-+ AGENTS IN PRINCIPLE, AGENTS IN PRACTICE, 7047, 4-+ AGENTS IN PRINCIPLE, AGENTS IN PRACTICE, 7047, 4-+ 2011 英語 研究論文(国際会議プロシーディングス) 公開
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Overview of ERATO Minato Project: The Art of Discrete Structure Manipulation between Science and Engineering Overview of ERATO Minato Project: The Art of Discrete Structure Manipulation between Science and Engineering Overview of ERATO Minato Project: The Art of Discrete Structure Manipulation between Science and Engineering NEW GENERATION COMPUTING, 29, 2, 223-238 NEW GENERATION COMPUTING, 29, 2, 223-238 NEW GENERATION COMPUTING, 29, 2, 223-238 2011 英語 研究論文(学術雑誌) 公開
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato pi DD: A New Decision Diagram for Efficient Problem Solving in Permutation Space pi DD: A New Decision Diagram for Efficient Problem Solving in Permutation Space pi DD: A New Decision Diagram for Efficient Problem Solving in Permutation Space THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, 6695, 90-104 THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, 6695, 90-104 THEORY AND APPLICATIONS OF SATISFIABILITY TESTING - SAT 2011, 6695, 90-104 2011 英語 研究論文(国際会議プロシーディングス) 公開
Takeru Inoue, Fujio Toriumi, Yasuyuki Shirai, Shin-Ichi Minato Takeru Inoue, Fujio Toriumi, Yasuyuki Shirai, Shin-Ichi Minato Takeru Inoue, Fujio Toriumi, Yasuyuki Shirai, Shin-Ichi Minato Great east Japan earthquake viewed from a URL shortener Great east Japan earthquake viewed from a URL shortener Great east Japan earthquake viewed from a URL shortener Proceedings of the Special Workshop on Internet and Disasters, SWID'11, 8:1-8:8 Proceedings of the Special Workshop on Internet and Disasters, SWID'11, 8:1-8:8 Proceedings of the Special Workshop on Internet and Disasters, SWID'11, 8:1-8:8 2011 英語 研究論文(国際会議プロシーディングス) 公開
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 英語 公開
佐藤 泰介, 湊 真一 佐藤 泰介, 湊 真一 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 日本語 研究論文(学術雑誌) 公開
岡崎 佑太, 湊 真一 岡崎 佑太, 湊 真一 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 日本語 公開
高橋 渉, 湊 真一 高橋 渉, 湊 真一 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 日本語 公開
石畠 正和, 亀谷 由隆, 佐藤 泰介, 湊 真一 石畠 正和, 亀谷 由隆, 佐藤 泰介, 湊 真一 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 日本語 公開
金田 悠作, 湊 真一, 有村 博紀 金田 悠作, 湊 真一, 有村 博紀 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 日本語 公開
金 在成, 吉澤 真吾, 金田 悠作, 湊 真一, 有村 博紀, 宮永 喜一 金 在成, 吉澤 真吾, 金田 悠作, 湊 真一, 有村 博紀, 宮永 喜一 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 日本語 公開
金田 悠作, 吉澤 真吾, 湊 真一, 有村 博紀, 宮永 喜一 金田 悠作, 吉澤 真吾, 湊 真一, 有村 博紀, 宮永 喜一 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 日本語 公開
Yusaku Kaneta, Shingo Yoshizawa, Shin-Ichi Minato, Hiroki Arimura, Yoshikazu Miyanaga Yusaku Kaneta, Shingo Yoshizawa, Shin-Ichi Minato, Hiroki Arimura, Yoshikazu Miyanaga Yusaku Kaneta, Shingo Yoshizawa, Shin-Ichi Minato, Hiroki Arimura, Yoshikazu Miyanaga Dynamic reconfigurable bit-parallel architecture for large-scale regular expression matching Dynamic reconfigurable bit-parallel architecture for large-scale regular expression matching Dynamic reconfigurable bit-parallel architecture for large-scale regular expression matching Proceedings - 2010 International Conference on Field-Programmable Technology, FPT'10, 21-28 Proceedings - 2010 International Conference on Field-Programmable Technology, FPT'10, 21-28 Proceedings - 2010 International Conference on Field-Programmable Technology, FPT'10, 21-28 2010 英語 研究論文(国際会議プロシーディングス) 公開
Yusaku Kaneta, Shin-ichi Minato, Hiroki Arimura Yusaku Kaneta, Shin-ichi Minato, Hiroki Arimura Yusaku Kaneta, Shin-ichi Minato, Hiroki Arimura Fast Bit-Parallel Matching for Network and Regular Expressions Fast Bit-Parallel Matching for Network and Regular Expressions Fast Bit-Parallel Matching for Network and Regular Expressions STRING PROCESSING AND INFORMATION RETRIEVAL, 6393, 372-384 STRING PROCESSING AND INFORMATION RETRIEVAL, 6393, 372-384 STRING PROCESSING AND INFORMATION RETRIEVAL, 6393, 372-384 2010 英語 研究論文(国際会議プロシーディングス) 公開
Shin-Ichi Minato Shin-Ichi Minato Shin-Ichi Minato Discrete structure manipulation for discovery science problems Discrete structure manipulation for discovery science problems Discrete structure manipulation for discovery science problems Lecture Notes in Electrical Engineering, 62, 359-364 Lecture Notes in Electrical Engineering, 62, 359-364 Lecture Notes in Electrical Engineering, 62, 359-364 2010 英語 研究論文(国際会議プロシーディングス) 公開
Akihiro Yamamoto, Kouichi Hirata, Shin-Ichi Minato Akihiro Yamamoto, Kouichi Hirata, Shin-Ichi Minato Akihiro Yamamoto, Kouichi Hirata, Shin-Ichi Minato The Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009) The Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009) The Sixth Workshop on Learning with Logics and Logics for Learning (LLLL2009) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6284, 315-316 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6284, 315-316 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 6284, 315-316 2010 英語 研究論文(国際会議プロシーディングス) 公開
Shin-ichi Minato, Takeaki Uno Shin-ichi Minato, Takeaki Uno Shin-ichi Minato, Takeaki Uno Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases Frequentness-Transition Queries for Distinctive Pattern Mining from Time-Segmented Databases SDM2010, 339-349 SDM2010, 339-349 SDM2010, 339-349 2010 公開
Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-ichi Minato An EM Algorithm on BDDs with Order Encoding for Logic-based Probabilistic Models. An EM Algorithm on BDDs with Order Encoding for Logic-based Probabilistic Models. An EM Algorithm on BDDs with Order Encoding for Logic-based Probabilistic Models. Proceedings of the 2nd Asian Conference on Machine Learning, ACML 2010, Tokyo, Japan, November 8-10, 2010, 161-176 Proceedings of the 2nd Asian Conference on Machine Learning, ACML 2010, Tokyo, Japan, November 8-10, 2010, 161-176 Proceedings of the 2nd Asian Conference on Machine Learning, ACML 2010, Tokyo, Japan, November 8-10, 2010, 161-176 2010 公開
湊 真一 湊 真一 湊 真一 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 日本語 公開
宮永 喜一, 吉澤 真吾, 湊 真一 宮永 喜一, 吉澤 真吾, 湊 真一 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 日本語 研究論文(学術雑誌) 公開
岡崎 佑太, 湊 真一 岡崎 佑太, 湊 真一 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 日本語 公開
金崎 健之, 湊 真一 金崎 健之, 湊 真一 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 日本語 公開
鈴木 拡, 湊 真一 鈴木 拡, 湊 真一 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 日本語 公開
Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction DDMF: An Efficient Decision Diagram Structure for Design Verification of Quantum Circuits under a Practical Restriction IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E91A, 12, 3793-3802 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E91A, 12, 3793-3802 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E91A, 12, 3793-3802 2008/12 英語 研究論文(学術雑誌) 公開
Hitoshi Uematsu, Kan Toyoshima, Takeru Inoue, Kazuhiro Takahashi, Satsuki Nishina, Tsuyoshi Takagi, Shinichi Minato Hitoshi Uematsu, Kan Toyoshima, Takeru Inoue, Kazuhiro Takahashi, Satsuki Nishina, Tsuyoshi Takagi, Shinichi Minato Hitoshi Uematsu, Kan Toyoshima, Takeru Inoue, Kazuhiro Takahashi, Satsuki Nishina, Tsuyoshi Takagi, Shinichi Minato Contents Muticast Method Enabling Determination of Leakage Origin and Exclusion Contents Muticast Method Enabling Determination of Leakage Origin and Exclusion Contents Muticast Method Enabling Determination of Leakage Origin and Exclusion Proc. of the 14th Asia-Pacific Conference on Communications (APCC), 1-5 Proc. of the 14th Asia-Pacific Conference on Communications (APCC), 1-5 Proc. of the 14th Asia-Pacific Conference on Communications (APCC), 1-5 2008/09 英語 研究論文(国際会議プロシーディングス) 公開
宇野 毅明, 湊 真一, 竹田 正幸 宇野 毅明, 湊 真一, 竹田 正幸 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 日本語 研究論文(学術雑誌) 公開
Shin-ichi Minato, Takeaki Uno, Hiroki Arimura Shin-ichi Minato, Takeaki Uno, Hiroki Arimura Shin-ichi Minato, Takeaki Uno, Hiroki Arimura LCM over ZBDDs: Fast generation of very large-scale frequent itemsets using a compact graph-based representation LCM over ZBDDs: Fast generation of very large-scale frequent itemsets using a compact graph-based representation LCM over ZBDDs: Fast generation of very large-scale frequent itemsets using a compact graph-based representation ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, 5012, 234-+ ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, 5012, 234-+ ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PROCEEDINGS, 5012, 234-+ 2008 英語 研究論文(国際会議プロシーディングス) 公開
Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller DDMF: An efficient decision diagram structure for design verification of quantum circuits under a practical restriction DDMF: An efficient decision diagram structure for design verification of quantum circuits under a practical restriction DDMF: An efficient decision diagram structure for design verification of quantum circuits under a practical restriction IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E91-A, 12, 3793-3802 IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E91-A, 12, 3793-3802 IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, E91-A, 12, 3793-3802 2008 英語 研究論文(学術雑誌) 公開
Shin-Ichi Minato Shin-Ichi Minato Shin-Ichi Minato A fast algorithm for cofactor implication checking and its application for knowledge discovery A fast algorithm for cofactor implication checking and its application for knowledge discovery A fast algorithm for cofactor implication checking and its application for knowledge discovery Proceedings - 2008 IEEE 8th International Conference on Computer and Information Technology, CIT 2008, 53-58 Proceedings - 2008 IEEE 8th International Conference on Computer and Information Technology, CIT 2008, 53-58 Proceedings - 2008 IEEE 8th International Conference on Computer and Information Technology, CIT 2008, 53-58 2008 英語 研究論文(国際会議プロシーディングス) 公開
Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller Shigeru Yamashita, Shin-ichi Minato, D. Michael Miller An efficient verification of quantum circuits under a practical restriction An efficient verification of quantum circuits under a practical restriction An efficient verification of quantum circuits under a practical restriction 2008 IEEE 8TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, VOLS 1 AND 2, 873-+ 2008 IEEE 8TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, VOLS 1 AND 2, 873-+ 2008 IEEE 8TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION TECHNOLOGY, VOLS 1 AND 2, 873-+ 2008 英語 研究論文(国際会議プロシーディングス) 公開
MINATO Shin-ichi, ITO Kimihito MINATO Shin-ichi, ITO Kimihito Shin-Ichi Minato, Kimihito Ito 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 英語 研究論文(学術雑誌) 公開
MINATO Shin-ichi, ARIMURA Hiroki MINATO Shin-ichi, ARIMURA Hiroki Shin-Ichi Minato, Hiroki Arimura 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 英語 研究論文(学術雑誌) 公開
Shin-Ichi Minato, Hiroki Arimura Shin-Ichi Minato, Hiroki Arimura Shin-Ichi Minato, Hiroki Arimura Frequent pattern mining and knowledge indexing based on zero-suppressed BDDs Frequent pattern mining and knowledge indexing based on zero-suppressed BDDs Frequent pattern mining and knowledge indexing based on zero-suppressed BDDs KNOWLEDGE DISCOVERY IN INDUCTIVE DATABASES, 4747, 152-169 KNOWLEDGE DISCOVERY IN INDUCTIVE DATABASES, 4747, 152-169 KNOWLEDGE DISCOVERY IN INDUCTIVE DATABASES, 4747, 152-169 2007 英語 研究論文(国際会議プロシーディングス) 公開
Haruya Iwasaki, Shin-ichi Minato, Thomas Zeugmann Haruya Iwasaki, Shin-ichi Minato, Thomas Zeugmann Haruya Iwasaki, Shin-ichi Minato, Thomas Zeugmann A method of variable ordering for zero-suppressed binary decision diagrams in data mining applications A method of variable ordering for zero-suppressed binary decision diagrams in data mining applications A method of variable ordering for zero-suppressed binary decision diagrams in data mining applications 2007 IEEE INTERNATIONAL WORKSHOP ON DATABASES FOR NEXT GENERATION RESEARCHERS, 85-+ 2007 IEEE INTERNATIONAL WORKSHOP ON DATABASES FOR NEXT GENERATION RESEARCHERS, 85-+ 2007 IEEE INTERNATIONAL WORKSHOP ON DATABASES FOR NEXT GENERATION RESEARCHERS, 85-+ 2007 英語 研究論文(国際会議プロシーディングス) 公開
Shin-ichi Minato, Ken Satoh, Taisuke Sato Shin-ichi Minato, Ken Satoh, Taisuke Sato Shin-ichi Minato, Ken Satoh, Taisuke Sato Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-suppressed BDDs Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-suppressed BDDs Compiling Bayesian Networks by Symbolic Probability Calculation Based on Zero-suppressed BDDs 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2550-2555 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2550-2555 20TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2550-2555 2007 英語 研究論文(国際会議プロシーディングス) 公開
Ryutaro Kurai, Shin-Ichi Minato, Thomas Zeugmarm Ryutaro Kurai, Shin-Ichi Minato, Thomas Zeugmarm Ryutaro Kurai, Shin-Ichi Minato, Thomas Zeugmarm N-gram analysis based on zero-suppressed BDDs N-gram analysis based on zero-suppressed BDDs N-gram analysis based on zero-suppressed BDDs NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 4384, 289-300 NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 4384, 289-300 NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 4384, 289-300 2007 英語 研究論文(国際会議プロシーディングス) 公開
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato A theoretical study on variable ordering of zero-suppressed BDDs for representing frequent itemsets A theoretical study on variable ordering of zero-suppressed BDDs for representing frequent itemsets A theoretical study on variable ordering of zero-suppressed BDDs for representing frequent itemsets DISCOVERY SCIENCE, PROCEEDINGS, 4755, 139-150 DISCOVERY SCIENCE, PROCEEDINGS, 4755, 139-150 DISCOVERY SCIENCE, PROCEEDINGS, 4755, 139-150 2007 英語 研究論文(国際会議プロシーディングス) 公開
Minato Shin-ichi, Ito Kimihito Minato Shin-ichi, Ito Kimihito Minato Shin-ichi, Ito Kimihito Symmetric item set mining method using zero-suppressed BDDs and application to biological data Symmetric item set mining method using zero-suppressed BDDs and application to biological data Symmetric item set mining method using zero-suppressed BDDs and application to biological data Inform. Media Technol., 2, 1, 300-308 Inform. Media Technol., 2, 1, 300-308 Inform. Media Technol., 2, 1, 300-308 2007 公開
湊 真一, 有村 博紀 湊 真一, 有村 博紀 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 日本語 研究論文(学術雑誌) 公開
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Symmetric item set mining based on zero-suppressed BDDs Symmetric item set mining based on zero-suppressed BDDs Symmetric item set mining based on zero-suppressed BDDs DISCOVERY SCIENCE, PROCEEDINGS, 4265, 321-326 DISCOVERY SCIENCE, PROCEEDINGS, 4265, 321-326 DISCOVERY SCIENCE, PROCEEDINGS, 4265, 321-326 2006 英語 研究論文(学術雑誌) 公開
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Efficient database analysis using VSOP calculator based on zero-suppressed BDDs Efficient database analysis using VSOP calculator based on zero-suppressed BDDs Efficient database analysis using VSOP calculator based on zero-suppressed BDDs NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 4012, 169-181 NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 4012, 169-181 NEW FRONTIERS IN ARTIFICIAL INTELLIGENCE, 4012, 169-181 2006 英語 研究論文(学術雑誌) 公開
SI Minato SI Minato SI Minato VSOP (Valued-sum-of-products) calculator for knowledge processing based on zero-suppressed BDDs VSOP (Valued-sum-of-products) calculator for knowledge processing based on zero-suppressed BDDs VSOP (Valued-sum-of-products) calculator for knowledge processing based on zero-suppressed BDDs FEDERATION OVER THE WEB, 3847, 40-58 FEDERATION OVER THE WEB, 3847, 40-58 FEDERATION OVER THE WEB, 3847, 40-58 2006 英語 研究論文(学術雑誌) 公開
井上 武, 谷 誠一郎, 高橋 宏和, 湊 真一, 宮崎 敏明, 豊島 鑑 井上 武, 谷 誠一郎, 高橋 宏和, 湊 真一, 宮崎 敏明, 豊島 鑑 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 日本語 研究論文(学術雑誌) 公開
T Inoue, S Tani, F Takahashi, SI Minato, T Miyazaki, K Toyoshima T Inoue, S Tani, F Takahashi, SI Minato, T Miyazaki, K Toyoshima T Inoue, S Tani, F Takahashi, SI Minato, T Miyazaki, K Toyoshima Design and implementation of advanced multicast router based on cluster computing Design and implementation of advanced multicast router based on cluster computing Design and implementation of advanced multicast router based on cluster computing 11TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, VOL I, PROCEEDINGS, 328-334 11TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, VOL I, PROCEEDINGS, 328-334 11TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS, VOL I, PROCEEDINGS, 328-334 2005 英語 研究論文(国際会議プロシーディングス) 公開
Shin-Ichi Minato, Hiroki Arimura Shin-Ichi Minato, Hiroki Arimura Shin-Ichi Minato, Hiroki Arimura Efficient method of combinatorial item set analysis based on zero-suppressed BDDs Efficient method of combinatorial item set analysis based on zero-suppressed BDDs Efficient method of combinatorial item set analysis based on zero-suppressed BDDs Proceedings - International Workshop on Challenges in Web Information Retrieval and Integration, WIRI'05, 2005, 4-11 Proceedings - International Workshop on Challenges in Web Information Retrieval and Integration, WIRI'05, 2005, 4-11 Proceedings - International Workshop on Challenges in Web Information Retrieval and Integration, WIRI'05, 2005, 4-11 2005 英語 研究論文(国際会議プロシーディングス) 公開
Takeru Inoue, Seiichiro Tani, Katsuhiro Ishimaru, Shin-ichi Minato, Toshiaki Miyazaki Takeru Inoue, Seiichiro Tani, Katsuhiro Ishimaru, Shin-ichi Minato, Toshiaki Miyazaki Takeru Inoue, Seiichiro Tani, Katsuhiro Ishimaru, Shin-ichi Minato, Toshiaki Miyazaki Wide-Area Multicasting based on Flexcast: Toward the Ubiquitous Network Wide-Area Multicasting based on Flexcast: Toward the Ubiquitous Network Wide-Area Multicasting based on Flexcast: Toward the Ubiquitous Network Proc. of the 5th Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT), 301-306 Proc. of the 5th Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT), 301-306 Proc. of the 5th Asia-Pacific Symposium on Information and Telecommunication Technologies (APSITT), 301-306 2003/11 英語 研究論文(国際会議プロシーディングス) 公開
S Minato S Minato S Minato Streaming BDD manipulation Streaming BDD manipulation Streaming BDD manipulation IEEE TRANSACTIONS ON COMPUTERS, 51, 5, 474-485 IEEE TRANSACTIONS ON COMPUTERS, 51, 5, 474-485 IEEE TRANSACTIONS ON COMPUTERS, 51, 5, 474-485 2002/05 英語 研究論文(学術雑誌) 公開
Shin-Ichi Minato, Shinya Ishihara Shin-Ichi Minato, Shinya Ishihara Shin-Ichi Minato, Shinya Ishihara Streaming BDD manipulation for large-scale combinatorial problems Streaming BDD manipulation for large-scale combinatorial problems Streaming BDD manipulation for large-scale combinatorial problems Proceedings -Design, Automation and Test in Europe, DATE, 702-707 Proceedings -Design, Automation and Test in Europe, DATE, 702-707 Proceedings -Design, Automation and Test in Europe, DATE, 702-707 2001 英語 研究論文(国際会議プロシーディングス) 公開
湊 真一 湊 真一 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 日本語 研究論文(学術雑誌) 公開
HG Okuno, S Minato, H Isozaki HG Okuno, S Minato, H Isozaki HG Okuno, S Minato, H Isozaki On the properties of combination set operations On the properties of combination set operations On the properties of combination set operations INFORMATION PROCESSING LETTERS, 66, 4, 195-199 INFORMATION PROCESSING LETTERS, 66, 4, 195-199 INFORMATION PROCESSING LETTERS, 66, 4, 195-199 1998/05 英語 研究論文(学術雑誌) 公開
D Rotter, K Hamaguchi, S Minato, S Yajima D Rotter, K Hamaguchi, S Minato, S Yajima D Rotter, K Hamaguchi, S Minato, S Yajima Manipulation of large-scale polynomials using BMDs Manipulation of large-scale polynomials using BMDs Manipulation of large-scale polynomials using BMDs IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E80A, 10, 1774-1781 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E80A, 10, 1774-1781 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E80A, 10, 1774-1781 1997/10 英語 研究論文(学術雑誌) 公開
SI Minato SI Minato SI Minato Arithmetic Boolean expression manipulator using BDDs Arithmetic Boolean expression manipulator using BDDs Arithmetic Boolean expression manipulator using BDDs FORMAL METHODS IN SYSTEM DESIGN, 10, 2-3, 221-242 FORMAL METHODS IN SYSTEM DESIGN, 10, 2-3, 221-242 FORMAL METHODS IN SYSTEM DESIGN, 10, 2-3, 221-242 1997/04 英語 研究論文(学術雑誌) 公開
Shin-Ichi Minato Shin-Ichi Minato Shin-Ichi Minato Fast factorization method for implicit cube set representation Fast factorization method for implicit cube set representation Fast factorization method for implicit cube set representation IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 15, 4, 377-384 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 15, 4, 377-384 IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 15, 4, 377-384 1996 英語 研究論文(学術雑誌) 公開
T Yoneda, H Hatori, A Takahara, S Minato T Yoneda, H Hatori, A Takahara, S Minato T Yoneda, H Hatori, A Takahara, S Minato BDDs vs. zero-suppressed BDDs: for CTL symbolic model checking of Petri nets BDDs vs. zero-suppressed BDDs: for CTL symbolic model checking of Petri nets BDDs vs. zero-suppressed BDDs: for CTL symbolic model checking of Petri nets FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1166, 435-449 FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1166, 435-449 FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1166, 435-449 1996 英語 研究論文(学術雑誌) 公開
奥乃 博, 湊 真一 奥乃 博, 湊 真一 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 日本語 研究論文(学術雑誌) 公開
S MINATO S MINATO S MINATO BEM-II - AN ARITHMETIC BOOLEAN EXPRESSION MANIPULATOR USING BDDS BEM-II - AN ARITHMETIC BOOLEAN EXPRESSION MANIPULATOR USING BDDS BEM-II - AN ARITHMETIC BOOLEAN EXPRESSION MANIPULATOR USING BDDS IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E76A, 10, 1721-1729 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E76A, 10, 1721-1729 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E76A, 10, 1721-1729 1993/10 英語 研究論文(学術雑誌) 公開
S MINATO S MINATO S MINATO FAST GENERATION OF PRIME-IRREDUNDANT COVERS FROM BINARY DECISION DIAGRAMS FAST GENERATION OF PRIME-IRREDUNDANT COVERS FROM BINARY DECISION DIAGRAMS FAST GENERATION OF PRIME-IRREDUNDANT COVERS FROM BINARY DECISION DIAGRAMS IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E76A, 6, 967-973 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E76A, 6, 967-973 IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, E76A, 6, 967-973 1993/06 英語 研究論文(学術雑誌) 公開
湊 真一 湊 真一 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, Hiroki Arimura Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura Yusaku Kaneta, Shingo Yoshizawa, Shin-ichi Minato, Hiroki Arimura High-speed String and Regular Expression Matching on FPGA High-speed String and Regular Expression Matching on FPGA High-speed String and Regular Expression Matching on FPGA Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011) Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011) Proc. of Asia Pacific Signal and Information Processing Association Annual Summit and Conference 2011 (APSIPA ASC 2011) 英語 研究論文(国際会議プロシーディングス) 公開

  • <<
  • >>
  • 表示
タイトル言語:
Misc
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 書誌情報等 書誌情報等(日本語) 書誌情報等(英語) 出版年月 査読の有無 記述言語 掲載種別 公開
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Editor's Message to Special Issue of Young Researchers' Papers. Editor's Message to Special Issue of Young Researchers' Papers. Editor's Message to Special Issue of Young Researchers' Papers. J. Inf. Process., 29, 205-205 J. Inf. Process., 29, 205-205 J. Inf. Process., 29, 205-205 2021 公開
中畑裕, 堀山貴史, 湊真一, 山中克久 中畑裕, 堀山貴史, 湊真一, 山中克久 中畑裕, 堀山貴史, 湊真一, 山中克久 動的計画法に基づくSimple Polygonization列挙アルゴリズムの実験的評価 動的計画法に基づくSimple Polygonization列挙アルゴリズムの実験的評価 Experimental Evaluation of a Dynamic-Programming-Based Algorithm for Enumerating Simple Polygonizations 情報処理学会研究報告(Web), 2021, AL-182 情報処理学会研究報告(Web), 2021, AL-182 情報処理学会研究報告(Web), 2021, AL-182 2021 公開
髙橋昌大, 川原純, 湊真一 髙橋昌大, 川原純, 湊真一 グラフの全点対間の点カットを索引化するBDD の構築 グラフの全点対間の点カットを索引化するBDD の構築 2020年度人工知能学会全国大会(第34回), 2N5-OS-17b-03 2020年度人工知能学会全国大会(第34回), 2N5-OS-17b-03 , 2N5-OS-17b-03 2020/06 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
森順平, 川原純, 湊真一 森順平, 川原純, 湊真一 森順平, 川原純, 湊真一 次数制限付きハッセ図表現の情報理論的下限 次数制限付きハッセ図表現の情報理論的下限 Information theoretic lower bound of Hasse diagrams with degree constraint 電子情報通信学会技術研究報告, 119, 433(COMP2019 45-56)(Web) 電子情報通信学会技術研究報告, 119, 433(COMP2019 45-56)(Web) 電子情報通信学会技術研究報告, 119, 433(COMP2019 45-56)(Web) 2020 公開
山田健太郎, 湊真一, 番原睦則 山田健太郎, 湊真一, 番原睦則 山田健太郎, 湊真一, 番原睦則 解集合プログラミングを用いた配電網問題の解法に関する一考察 解集合プログラミングを用いた配電網問題の解法に関する一考察 A Study on Solving Power Distribution Network Problem with Answer Set Programming. 日本ソフトウェア科学会大会講演論文集(Web), 37th 日本ソフトウェア科学会大会講演論文集(Web), 37th 日本ソフトウェア科学会大会講演論文集(Web), 37th 2020 公開
山崎宏紀, 川原純, 湊真一 山崎宏紀, 川原純, 湊真一 選挙区割問題に対するZDDを用いた近似的列挙手法の提案と評価 選挙区割問題に対するZDDを用いた近似的列挙手法の提案と評価 情報科学技術フォーラム講演論文集, 19th 情報科学技術フォーラム講演論文集, 19th , 19th 2020 公開
松尾亮祐, 湊真一 松尾亮祐, 湊真一 松尾亮祐, 湊真一 BDDに基づく光論理回路の消費電力を最小化する変数順序付け BDDに基づく光論理回路の消費電力を最小化する変数順序付け Variable Ordering for Minimizing Power Consumption of BDD-based Optical Logic Circuits 電子情報通信学会技術研究報告(Web), 120, 234(VLD2020 11-38) 電子情報通信学会技術研究報告(Web), 120, 234(VLD2020 11-38) 電子情報通信学会技術研究報告(Web), 120, 234(VLD2020 11-38) 2020 公開
湊真一, 番原睦則, 堀山貴史, 川原純, 瀧川一学, 瀧川一学, 山口勇太郎 湊真一, 番原睦則, 堀山貴史, 川原純, 瀧川一学, 瀧川一学, 山口勇太郎 湊真一, 番原睦則, 堀山貴史, 川原純, 瀧川一学, 瀧川一学, 山口勇太郎 コスト制約つき組合せ問題に対するZDDを用いた高速な解列挙手法 コスト制約つき組合せ問題に対するZDDを用いた高速な解列挙手法 A Fast ZDD-Based Method for Enumerating All Solutions of Cost-Bounded Combinatorial Problems 電子情報通信学会技術研究報告(Web), 120, 276(COMP2020 18-27) 電子情報通信学会技術研究報告(Web), 120, 276(COMP2020 18-27) 電子情報通信学会技術研究報告(Web), 120, 276(COMP2020 18-27) 2020 公開
Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, Tamiki Komatsuzaki Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, Tamiki Komatsuzaki Yuya Sugie, Yuki Yoshida, Normann Mertig, Takashi Takemoto, Hiroshi Teramoto, Atsuyoshi Nakamura, Ichigaku Takigawa, Shin-ichi Minato, Masanao Yamaoka, Tamiki Komatsuzaki Minor-embedding heuristics for large-scale annealing processors with sparse hardware graphs of up to 102, 400 nodes. Minor-embedding heuristics for large-scale annealing processors with sparse hardware graphs of up to 102, 400 nodes. Minor-embedding heuristics for large-scale annealing processors with sparse hardware graphs of up to 102, 400 nodes. CoRR, abs/2004.03819 CoRR, abs/2004.03819 CoRR, abs/2004.03819 2020 英語 機関テクニカルレポート、技術報告書、プレプリント等 公開
Yu Nakahata, Takashi Horiyama, Shin-ichi Minato, Katsuhisa Yamanaka Yu Nakahata, Takashi Horiyama, Shin-ichi Minato, Katsuhisa Yamanaka Yu Nakahata, Takashi Horiyama, Shin-ichi Minato, Katsuhisa Yamanaka Compiling Crossing-free Geometric Graphs with Connectivity Constraint for Fast Enumeration, Random Sampling, and Optimization. Compiling Crossing-free Geometric Graphs with Connectivity Constraint for Fast Enumeration, Random Sampling, and Optimization. Compiling Crossing-free Geometric Graphs with Connectivity Constraint for Fast Enumeration, Random Sampling, and Optimization. CoRR, abs/2001.08899 CoRR, abs/2001.08899 CoRR, abs/2001.08899 2020/01 英語 機関テクニカルレポート、技術報告書、プレプリント等 公開
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Graphillion: ZDD-based Compilation tool for Graph Enumeration and Random Sampling Graphillion: ZDD-based Compilation tool for Graph Enumeration and Random Sampling Graphillion: ZDD-based Compilation tool for Graph Enumeration and Random Sampling Abstract Note of KOCOON Workshop Abstract Note of KOCOON Workshop Abstract Note of KOCOON Workshop 2019/12 英語 研究発表ペーパー・要旨(国際会議) 公開
Yu Nakahata, Jun Kawahara, Takashi Horiyama, Shin-ichi Minato Yu Nakahata, Jun Kawahara, Takashi Horiyama, Shin-ichi Minato Yu Nakahata, Jun Kawahara, Takashi Horiyama, Shin-ichi Minato Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration. Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration. Implicit Enumeration of Topological-Minor-Embeddings and Its Application to Planar Subgraph Enumeration. CoRR, abs/1911.07465 CoRR, abs/1911.07465 CoRR, abs/1911.07465 2019/11 英語 機関テクニカルレポート、技術報告書、プレプリント等 公開
Shin-ichi Minato Shin-ichi Minato Shin-ichi Minato Depth-First ZDD Construction with Frontier-Based Search Method for Graph Enumeration Problems Depth-First ZDD Construction with Frontier-Based Search Method for Graph Enumeration Problems Depth-First ZDD Construction with Frontier-Based Search Method for Graph Enumeration Problems Proc. of 3rd International Workshop on Enumeration Problems & Applications (WEPA2019), 10 Proc. of 3rd International Workshop on Enumeration Problems & Applications (WEPA2019), 10 Proc. of 3rd International Workshop on Enumeration Problems & Applications (WEPA2019), 10 2019/10 英語 研究発表ペーパー・要旨(国際会議) 公開
Yu Nakahata, Jun Kawahara, Shin-ichi Minato Yu Nakahata, Jun Kawahara, Shin-ichi Minato Yu Nakahata, Jun Kawahara, Shin-ichi Minato Decision-Diagram-Based Enumeration of d-Cutsets Decision-Diagram-Based Enumeration of d-Cutsets Decision-Diagram-Based Enumeration of d-Cutsets Proc. of 3rd International Workshop on Enumeration Problems & Applications (WEPA2019), 11 Proc. of 3rd International Workshop on Enumeration Problems & Applications (WEPA2019), 11 Proc. of 3rd International Workshop on Enumeration Problems & Applications (WEPA2019), 11 2019/10 英語 研究発表ペーパー・要旨(国際会議) 公開
伊藤健洋, 川原純, 湊真一, 大舘陽太, 斎藤寿樹, 鈴木顕, 上原隆平, 宇野毅明, 山中克久, 吉仲亮 伊藤健洋, 川原純, 湊真一, 大舘陽太, 斎藤寿樹, 鈴木顕, 上原隆平, 宇野毅明, 山中克久, 吉仲亮 隣接互換による最短長ユニバーサル列 隣接互換による最短長ユニバーサル列 電子情報通信学会コンピュテーション研究会, 119, 191, 1-5 電子情報通信学会コンピュテーション研究会, 119, 191, 1-5 , 119, 191, 1-5 2019/09 英語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
大澤賢悟, 中畑裕, 湊真一 大澤賢悟, 中畑裕, 湊真一 グラフ同型に関する代表元のグラフを列挙するZDDの構築について グラフ同型に関する代表元のグラフを列挙するZDDの構築について 人工知能学会第110回人工知能基本問題研究会資料, SIG-FPAI-B901-05, 25-30 人工知能学会第110回人工知能基本問題研究会資料, SIG-FPAI-B901-05, 25-30 , SIG-FPAI-B901-05, 25-30 2019/09 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
Takashi Horiyama, Jun Kawahara, Shin-ichi Minato, Yu Nakahata Takashi Horiyama, Jun Kawahara, Shin-ichi Minato, Yu Nakahata Takashi Horiyama, Jun Kawahara, Shin-ichi Minato, Yu Nakahata Decomposing a Graph into Unigraphs. Decomposing a Graph into Unigraphs. Decomposing a Graph into Unigraphs. CoRR, abs/1904.09438 CoRR, abs/1904.09438 CoRR, abs/1904.09438 2019/05 英語 機関テクニカルレポート、技術報告書、プレプリント等 公開
中畑裕, 川原純, 堀山貴史, 湊真一 中畑裕, 川原純, 堀山貴史, 湊真一 ZDDを用いたグラフ細分構造の列挙 ZDDを用いたグラフ細分構造の列挙 電子情報通信学会コンピュテーション研究会, 信学技報, 119, 21, 51-58 電子情報通信学会コンピュテーション研究会, 信学技報, 119, 21, 51-58 , 119, 21, 51-58 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 日本語 記事・総説・解説・論説等(大学・研究機関紀要) 公開
高橋翔哉, 湊真一, 瀧川一学 高橋翔哉, 湊真一, 瀧川一学 高橋翔哉, 湊真一, 瀧川一学 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 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
鈴木浩史, 中野裕太, 住谷陽輔, 湊真一, 前田理 鈴木浩史, 中野裕太, 住谷陽輔, 湊真一, 前田理 鈴木浩史, 中野裕太, 住谷陽輔, 湊真一, 前田理 化学反応経路ネットワークにおける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 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
湊真一, 川原純, 水田正弘, 石岡文生, 栗原考次 湊真一, 川原純, 水田正弘, 石岡文生, 栗原考次 湊真一, 川原純, 水田正弘, 石岡文生, 栗原考次 スキャン統計量に基づく組合せホットスポット抽出を行う高速アルゴリズム スキャン統計量に基づく組合せホットスポット抽出を行う高速アルゴリズム 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 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
鈴木 浩史, 石畠 正和, 湊 真一 鈴木 浩史, 石畠 正和, 湊 真一 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 日本語 記事・総説・解説・論説等(学術雑誌) 公開
金森 憲太朗, 石畠 正和, 湊 真一, 有村 博紀 金森 憲太朗, 石畠 正和, 湊 真一, 有村 博紀 金森 憲太朗, 石畠 正和, 湊 真一, 有村 博紀 順序決定木に対する正則化パラメータ推定の高速化 (特集 「ビジネスにおける機械学習/人工知能」及び一般) 順序決定木に対する正則化パラメータ推定の高速化 (特集 「ビジネスにおける機械学習/人工知能」及び一般) Efficient Algorithms for Estimating Regularization Parameters of Ordered Decision Trees 人工知能基本問題研究会, 105, 50-57 人工知能基本問題研究会, 105, 50-57 人工知能基本問題研究会, 105, 50-57 2018/01/28 日本語 公開
林 大祐, 羽室 行信, 岡田 克彦, 湊 真一 林 大祐, 羽室 行信, 岡田 克彦, 湊 真一 林 大祐, 羽室 行信, 岡田 克彦, 湊 真一 日本株データベースにおける曜日効果を考慮した投資モデルの網羅的分析 (特集 「ビジネスにおける機械学習/人工知能」及び一般) 日本株データベースにおける曜日効果を考慮した投資モデルの網羅的分析 (特集 「ビジネスにおける機械学習/人工知能」及び一般) 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 日本語 公開
西野 正彬, 安田 宜仁, 湊 真一, 永田 昌明 西野 正彬, 安田 宜仁, 湊 真一, 永田 昌明 厳密被覆問題の高速な全解列挙法 (特集 人に迫るAI,人に寄り添うAI : corevoを支えるコミュニケーション科学) 厳密被覆問題の高速な全解列挙法 (特集 人に迫るAI,人に寄り添うAI : corevoを支えるコミュニケーション科学) NTT技術ジャーナル, 29, 9, 13-16 NTT技術ジャーナル, 29, 9, 13-16 , 29, 9, 13-16 2017/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 日本語 公開
岡崎 文哉, 奥山 葉月, 瀧川 一学, 湊 真一 岡崎 文哉, 奥山 葉月, 瀧川 一学, 湊 真一 系列二分決定グラフを用いた頻出部分グラフの圧縮表現 系列二分決定グラフを用いた頻出部分グラフの圧縮表現 JSAI大会論文集, 2017, 0, 4A11-4A11 JSAI大会論文集, 2017, 0, 4A11-4A11 , 2017, 0, 4A11-4A11 2017 日本語 公開
戸田 貴久, 斎藤 寿樹, 岩下 洋哲, 川原 純, 湊 真一 戸田 貴久, 斎藤 寿樹, 岩下 洋哲, 川原 純, 湊 真一 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 日本語 公開
戸田 貴久, 斎藤 寿樹, 岩下 洋哲, 川原 純, 湊 真一 戸田 貴久, 斎藤 寿樹, 岩下 洋哲, 川原 純, 湊 真一 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 日本語 公開
鈴木慶介, 今井英幸, ZHANG Ruoni, 瀧川一学, 瀧川一学, 湊真一 鈴木慶介, 今井英幸, ZHANG Ruoni, 瀧川一学, 瀧川一学, 湊真一 鈴木慶介, 今井英幸, ZHANG Ruoni, 瀧川一学, 瀧川一学, 湊真一 平行移動不変な非負値行列因子分解とその分析 平行移動不変な非負値行列因子分解とその分析 平行移動不変な非負値行列因子分解とその分析 情報科学技術フォーラム講演論文集, 15th, 175‐176 情報科学技術フォーラム講演論文集, 15th, 175‐176 情報科学技術フォーラム講演論文集, 15th, 175‐176 2016/08/23 日本語 公開
蓑田 玲緒奈, 湊 真一 蓑田 玲緒奈, 湊 真一 蓑田 玲緒奈, 湊 真一 モデル検査による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 日本語 公開
和佐 州洋, 石畠 正和, 宇野 毅明, 湊 真一 和佐 州洋, 石畠 正和, 宇野 毅明, 湊 真一 和佐 州洋, 石畠 正和, 宇野 毅明, 湊 真一 列挙木とMCMCを組み合わせた部分グラフサンプリングアルゴリズムの構築 (特集 「人工知能・機械学習技術の他分野への応用」および一般) 列挙木とMCMCを組み合わせた部分グラフサンプリングアルゴリズムの構築 (特集 「人工知能・機械学習技術の他分野への応用」および一般) Sampling Algorithms for Subgraphs Based on Enumeration Trees and MCMC 人工知能基本問題研究会, 101, 35-40 人工知能基本問題研究会, 101, 35-40 人工知能基本問題研究会, 101, 35-40 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 日本語 公開
井上 祐馬, 湊 真一 井上 祐馬, 湊 真一 井上 祐馬, 湊 真一 順列のサイクルタイプ同値類分割に対する順列決定グラフの適用 (特集 「人工知能・機械学習技術の他分野への応用」および一般) 順列のサイクルタイプ同値類分割に対する順列決定グラフの適用 (特集 「人工知能・機械学習技術の他分野への応用」および一般) Applying Permutation Decision Diagrams to Cycle type Partition on a Permutation Set 人工知能基本問題研究会, 101, 47-52 人工知能基本問題研究会, 101, 47-52 人工知能基本問題研究会, 101, 47-52 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 日本語 公開
竹内 文登, 鈴木 浩史, 白石 恒介, 井上 祐馬, 湊 真一 竹内 文登, 鈴木 浩史, 白石 恒介, 井上 祐馬, 湊 真一 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 日本語 公開
伊藤 華, 井上 祐馬, 湊 真一 伊藤 華, 井上 祐馬, 湊 真一 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 日本語 公開
鈴木 浩史, 湊 真一 鈴木 浩史, 湊 真一 鈴木 浩史, 湊 真一 頂点誘導部分グラフを列挙索引化するフロンティア法 (コンピュテーション) 頂点誘導部分グラフを列挙索引化するフロンティア法 (コンピュテーション) 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 日本語 公開
鈴木 浩史, 湊 真一 鈴木 浩史, 湊 真一 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 日本語 公開
井上 祐馬, 湊 真一 井上 祐馬, 湊 真一 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 日本語 公開
井上祐馬, 湊真一, 湊真一 井上祐馬, 湊真一, 湊真一 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 日本語 公開
鈴木浩史, 湊真一 鈴木浩史, 湊真一 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 日本語 公開
倉井 龍太郎, 安田 宜仁, 湊 真一 倉井 龍太郎, 安田 宜仁, 湊 真一 倉井 龍太郎, 安田 宜仁, 湊 真一 状態遷移の並列比較によるNFA照合高速化 状態遷移の並列比較によるNFA照合高速化 Fast NFA-based Regular Expression Matching Using Parallel Comparison 人工知能学会全国大会論文集, 29, 1-4 人工知能学会全国大会論文集, 29, 1-4 人工知能学会全国大会論文集, 29, 1-4 2015 日本語 公開
竹内 文登, 安田 宜仁, 湊 真一 竹内 文登, 安田 宜仁, 湊 真一 組合せ集合のmeet演算による共通因子抽出 組合せ集合のmeet演算による共通因子抽出 人工知能学会全国大会論文集, 29, 1-4 人工知能学会全国大会論文集, 29, 1-4 , 29, 1-4 2015 日本語 公開
ホリルロハマン ムハマド, 湊 真一 ホリルロハマン ムハマド, 湊 真一 ホリルロハマン ムハマド, 湊 真一 オイラー路の高速な列挙索引化アルゴリズム オイラー路の高速な列挙索引化アルゴリズム A Fast Algorithm for Enumerating and Indexing Eulerian Paths 人工知能学会全国大会論文集, 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 日本語 公開
川原 純, 湊 真一 川原 純, 湊 真一 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 日本語 公開
湊 真一 湊 真一 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 日本語 公開
井上 祐馬, 湊 真一 井上 祐馬, 湊 真一 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 日本語 公開
Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, Shin-ichi Minato Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, Shin-ichi Minato Jun Kawahara, Takeru Inoue, Hiroaki Iwashita, Shin-ichi Minato Frontier-based Search for Enumerating All Constrained Subgraphs with Compressed Representation Frontier-based Search for Enumerating All Constrained Subgraphs with Compressed Representation Frontier-based Search for Enumerating All Constrained Subgraphs with Compressed Representation TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 14, 76 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 14, 76 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 14, 76 2014/09 英語 機関テクニカルレポート、技術報告書、プレプリント等 公開
高 サン, 湊 真一 高 サン, 湊 真一 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 日本語 公開
ホリルロハマン ムハマド, 湊 真一 ホリルロハマン ムハマド, 湊 真一 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 日本語 公開
Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, Osamu Akashi Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, Osamu Akashi Takeru Inoue, Toru Mano, Kimihiro Mizutani, Shin-ichi Minato, Osamu Akashi Packet Classification for Global Network View of Software-Defined Networking Packet Classification for Global Network View of Software-Defined Networking Packet Classification for Global Network View of Software-Defined Networking TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 14, 74 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 14, 74 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 14, 74 2014/07 英語 機関テクニカルレポート、技術報告書、プレプリント等 公開
鮑若愚, 白井康之, 湊真一 鮑若愚, 白井康之, 湊真一 就職活動学生向けの企業情報推薦システムの提案 就職活動学生向けの企業情報推薦システムの提案 第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 日本語 公開
Shin-Ichi Minato, Shigeru Yamashita Shin-Ichi Minato, Shigeru Yamashita Shin-Ichi Minato, Shigeru Yamashita Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8507, V-VI Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8507, V-VI Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 8507, V-VI 2014 英語 その他記事 公開
Takeru Inoue, Norihito Yasuda, Shunsuke Kawano, Yuji Takenobu, Shin-ichi Minato, Yasuhiro Hayashi Takeru Inoue, Norihito Yasuda, Shunsuke Kawano, Yuji Takenobu, Shin-ichi Minato, Yasuhiro Hayashi Takeru Inoue, Norihito Yasuda, Shunsuke Kawano, Yuji Takenobu, Shin-ichi Minato, Yasuhiro Hayashi Verifying Distribution Networks for Secure Restoration by Enumerating All Critical Failures Verifying Distribution Networks for Secure Restoration by Enumerating All Critical Failures Verifying Distribution Networks for Secure Restoration by Enumerating All Critical Failures TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 14, 70 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 14, 70 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 14, 70 2014/01 英語 機関テクニカルレポート、技術報告書、プレプリント等 公開
安井 雄一郎, 藤澤 克樹, 竹内 聖悟, 湊 真一 安井 雄一郎, 藤澤 克樹, 竹内 聖悟, 湊 真一 安井 雄一郎, 藤澤 克樹, 竹内 聖悟, 湊 真一 ULIBCライブラリを用いた共有メモリ型並列アルゴリズムの高速化 ULIBCライブラリを用いた共有メモリ型並列アルゴリズムの高速化 Fast implementation of shared-memory parallel algorithm using ULIBC (Ubiquity Library for Intelligently Binding Cores) ハイパフォーマンスコンピューティングと計算科学シンポジウム論文集, 2014, 2014, 106-115 ハイパフォーマンスコンピューティングと計算科学シンポジウム論文集, 2014, 2014, 106-115 ハイパフォーマンスコンピューティングと計算科学シンポジウム論文集, 2014, 2014, 106-115 2013/12/31 日本語 公開
青木 洋士, 戸田 貴久, 湊 真一 青木 洋士, 戸田 貴久, 湊 真一 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 日本語 公開
Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, Shin-ichi Minato Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, Shin-ichi Minato Takeru Inoue, Hiroaki Iwashita, Jun Kawahara, Shin-ichi Minato Graphillion: Software Library Designed for Very Large Sets of Graphs in Python Graphillion: Software Library Designed for Very Large Sets of Graphs in Python Graphillion: Software Library Designed for Very Large Sets of Graphs in Python TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 13, 65 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 13, 65 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 13, 65 2013/06 英語 機関テクニカルレポート、技術報告書、プレプリント等 公開
伝住 周平, 川原 純, 津田 宏治, 有村 博紀, 湊 真一, 定兼 邦彦 伝住 周平, 川原 純, 津田 宏治, 有村 博紀, 湊 真一, 定兼 邦彦 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の効率的な構築手法 再帰的仕様記述を用いた組合せ列挙ZDDの効率的な構築手法 An Efficient ZDD Construction Method Using Recuresive Specifications 電子情報通信学会技術研究報告. DC, ディペンダブルコンピューティング : IEICE technical report, 112, 321, 25-29 電子情報通信学会技術研究報告. DC, ディペンダブルコンピューティング : IEICE technical report, 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 日本語 その他記事 公開
Takeru Inoue, Keiji Takano, Takayuki Watanabe, Jun Kawahara, Ryo Yoshinaka, Akihiro Kishimoto, Koji Tsuda, Shin-ichi Minato, Yasuhiro Hayashi Takeru Inoue, Keiji Takano, Takayuki Watanabe, Jun Kawahara, Ryo Yoshinaka, Akihiro Kishimoto, Koji Tsuda, Shin-ichi Minato, Yasuhiro Hayashi Takeru Inoue, Keiji Takano, Takayuki Watanabe, Jun Kawahara, Ryo Yoshinaka, Akihiro Kishimoto, Koji Tsuda, Shin-ichi Minato, Yasuhiro Hayashi Loss Minimization of Power Distribution Networks with Guaranteed Error Bound Loss Minimization of Power Distribution Networks with Guaranteed Error Bound Loss Minimization of Power Distribution Networks with Guaranteed Error Bound TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 12, 59 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 12, 59 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 12, 59 2012/08 英語 機関テクニカルレポート、技術報告書、プレプリント等 公開
井上 武, 高野 圭司, 渡辺 喬之, 川原 純, 吉仲 亮, 岸本 章宏, 津田 宏治, 湊 真一, 林 泰弘 井上 武, 高野 圭司, 渡辺 喬之, 川原 純, 吉仲 亮, 岸本 章宏, 津田 宏治, 湊 真一, 林 泰弘 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 日本語 公開
湊 真一 湊 真一 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 フロンティア法を用いた電力網解析手法(新世代・次世代ネットワーク,ネットワークとシステムの仮想化,仮想化環境の管理・監視,オーバーレイ,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 日本語 公開
川原 純, 湊 真一 川原 純, 湊 真一 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 日本語 公開
伝住 周平, 有村 博紀, 湊 真一 伝住 周平, 有村 博紀, 湊 真一 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 日本語 公開
湊 真一 湊 真一 配電網の最適経路を探索し、配電ロスを最小化へ 「超高速アルゴリズム」にできること 配電網の最適経路を探索し、配電ロスを最小化へ 「超高速アルゴリズム」にできること 科学技術振興機構 広報誌 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 日本語 公開
湊 真一 湊 真一 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 日本語 公開
吉仲 亮, 岩下 洋哲, 川原 純, 斎藤 寿樹, 鶴間 浩二, 湊 真一 吉仲 亮, 岩下 洋哲, 川原 純, 斎藤 寿樹, 鶴間 浩二, 湊 真一 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 日本語 公開
井上 武, 高野 圭司, 渡辺 喬之, 川原 純, 吉仲 亮, 岸本 章宏, 津田 宏治, 湊 真一, 林 泰弘 井上 武, 高野 圭司, 渡辺 喬之, 川原 純, 吉仲 亮, 岸本 章宏, 津田 宏治, 湊 真一, 林 泰弘 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 日本語 公開
井上武, 高野圭司, 渡辺喬之, 川原純, 吉仲亮, 岸本章宏, 津田宏治, 湊真一, 林泰弘 井上武, 高野圭司, 渡辺喬之, 川原純, 吉仲亮, 岸本章宏, 津田宏治, 湊真一, 林泰弘 井上武, 高野圭司, 渡辺喬之, 川原純, 吉仲亮, 岸本章宏, 津田宏治, 湊真一, 林泰弘 ZDDを用いた系統運用制約を満たす配電網構成の網羅的探索手法 ZDDを用いた系統運用制約を満たす配電網構成の網羅的探索手法 ZDDを用いた系統運用制約を満たす配電網構成の網羅的探索手法 電気学会 全国大会, 2012, 6, 52-53 電気学会 全国大会, 2012, 6, 52-53 電気学会 全国大会, 2012, 6, 52-53 2012/03 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
井上武, 高野圭司, 渡辺喬之, 川原純, 吉仲亮, 岸本章宏, 津田宏治, 湊真一, 林泰弘 井上武, 高野圭司, 渡辺喬之, 川原純, 吉仲亮, 岸本章宏, 津田宏治, 湊真一, 林泰弘 井上武, 高野圭司, 渡辺喬之, 川原純, 吉仲亮, 岸本章宏, 津田宏治, 湊真一, 林泰弘 フロンティア法の電力網構成制御への応用 フロンティア法の電力網構成制御への応用 フロンティア法の電力網構成制御への応用 電子情報通信学会 総合大会, DK, 2, 3 電子情報通信学会 総合大会, DK, 2, 3 電子情報通信学会 総合大会, DK, 2, 3 2012/03 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
西野 正彬, 安田 宜仁, 湊 真一 西野 正彬, 安田 宜仁, 湊 真一 西野 正彬, 安田 宜仁, 湊 真一 ZDDを用いた行列圧縮における演算高速化 (人工知能学会全国大会(第26回)文化,科学技術と未来) -- (自然言語処理・情報検索) ZDDを用いた行列圧縮における演算高速化 (人工知能学会全国大会(第26回)文化,科学技術と未来) -- (自然言語処理・情報検索) Fast Construction Method of ZDD Representing a Binary Matrix 人工知能学会全国大会論文集, 26, 1-4 人工知能学会全国大会論文集, 26, 1-4 人工知能学会全国大会論文集, 26, 1-4 2012 日本語 公開
鮑 若愚, 白井 康之, 湊 真一 鮑 若愚, 白井 康之, 湊 真一 鮑 若愚, 白井 康之, 湊 真一 ユーザレビューに基づく多目的情報評価方法の提案 (人工知能学会全国大会(第26回)文化,科学技術と未来) -- (Webインテリジェンス) ユーザレビューに基づく多目的情報評価方法の提案 (人工知能学会全国大会(第26回)文化,科学技術と未来) -- (Webインテリジェンス) A Method for Multipurpose Information Evaluation Based on User Reviews 人工知能学会全国大会論文集, 26, 1-4 人工知能学会全国大会論文集, 26, 1-4 人工知能学会全国大会論文集, 26, 1-4 2012 日本語 公開
湊真一, 有村博紀 湊真一, 有村博紀 「おめでとうソサイエティ論文賞」ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの効率的解析手法 「おめでとうソサイエティ論文賞」ゼロサプレス型二分決定グラフを用いたトランザクションデータベースの効率的解析手法 電子情報通信学会 情報・システムソサイエティ誌, 15, 3, 15 電子情報通信学会 情報・システムソサイエティ誌, 15, 3, 15 , 15, 3, 15 2010/11 日本語 記事・総説・解説・論説等(学術雑誌) 公開
金田 悠作, 湊 真一, 有村 博紀 金田 悠作, 湊 真一, 有村 博紀 金田 悠作, 湊 真一, 有村 博紀 非巡回正規表現に対する効率的なパターン照合 (アルゴリズム(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, 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 日本語 公開
石畠 正和, 亀谷 由隆, 佐藤 泰介, 湊 真一 石畠 正和, 亀谷 由隆, 佐藤 泰介, 湊 真一 Masakazu Ishihata, Yoshitaka Kameya, Taisuke Sato, Shin-Ich Minato 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 日本語 公開
湊 真一 湊 真一 JST戦略的創造研究推進事業EARTOプロジェクトの採択について JST戦略的創造研究推進事業EARTOプロジェクトの採択について 北海道大学大学院情報科学研究科広報誌 IST NEWS, 20, 1-2 北海道大学大学院情報科学研究科広報誌 IST NEWS, 20, 1-2 , 20, 1-2 2010/01 日本語 記事・総説・解説・論説等(大学・研究機関紀要) 公開
湊 真一 湊 真一 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 日本語 記事・総説・解説・論説等(大学・研究機関紀要) 公開
礒松 紘平, 湊 真一 礒松 紘平, 湊 真一 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 日本語 公開
石畠正和, 亀谷由隆, 佐藤泰介, 湊真一 石畠正和, 亀谷由隆, 佐藤泰介, 湊真一 石畠正和, 亀谷由隆, 佐藤泰介, 湊真一 BDD上の命題化確率計算に基づくEMアルゴリズム BDD上の命題化確率計算に基づくEMアルゴリズム Propositionalizing the EM algorithm by BDDs 人工知能学会人工知能基本問題研究会資料, 70th, 15-22 人工知能学会人工知能基本問題研究会資料, 70th, 15-22 人工知能学会人工知能基本問題研究会資料, 70th, 15-22 2008/06/30 日本語 公開
倉井 龍太郎, 湊 真一, ツォイクマン トーマス 倉井 龍太郎, 湊 真一, ツォイクマン トーマス 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 日本語 公開
Shin-ichi Minato, Hirokazu Takahashi, Takeru Inoue, Hiroshi Tohjo, Kan Toyoshima Shin-ichi Minato, Hirokazu Takahashi, Takeru Inoue, Hiroshi Tohjo, Kan Toyoshima Shin-ichi Minato, Hirokazu Takahashi, Takeru Inoue, Hiroshi Tohjo, Kan Toyoshima Framework of Programmable Multicast Applications Using Flexcast and Java Applet Framework of Programmable Multicast Applications Using Flexcast and Java Applet Framework of Programmable Multicast Applications Using Flexcast and Java Applet TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 06, 10 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 06, 10 TCS Technical Reports, Division of Computer Science, Hokkaido University, A, 06, 10 2006/01 英語 機関テクニカルレポート、技術報告書、プレプリント等 公開
高橋宏和, 湊真一, 井上武, 東条弘, 豊島鑑 高橋宏和, 湊真一, 井上武, 東条弘, 豊島鑑 高橋宏和, 湊真一, 井上武, 東条弘, 豊島鑑 MulticastVNCを用いた構義ノート配信システムのトラヒック特性評価 MulticastVNCを用いた構義ノート配信システムのトラヒック特性評価 MulticastVNCを用いた構義ノート配信システムのトラヒック特性評価 電子情報通信学会 総合大会, B, 7, 73 電子情報通信学会 総合大会, B, 7, 73 電子情報通信学会 総合大会, B, 7, 73 2005/03 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
Seiichiro Tani, Takeru Inoue, Shin-ichi Minato, Hirokazu Takahashi, Satoshi Kotabe, Toshiaki Miyazaki Seiichiro Tani, Takeru Inoue, Shin-ichi Minato, Hirokazu Takahashi, Satoshi Kotabe, Toshiaki Miyazaki Seiichiro Tani, Takeru Inoue, Shin-ichi Minato, Hirokazu Takahashi, Satoshi Kotabe, Toshiaki Miyazaki Global Multi-Point Streaming Experiments Based on Flexcast Protocol Global Multi-Point Streaming Experiments Based on Flexcast Protocol Global Multi-Point Streaming Experiments Based on Flexcast Protocol NTT Technical Review, 1, 5, 24-30 NTT Technical Review, 1, 5, 24-30 NTT Technical Review, 1, 5, 24-30 2003/08 英語 記事・総説・解説・論説等(大学・研究機関紀要) 公開
井上武, 谷誠一郎, 湊真一, 宮崎敏明 井上武, 谷誠一郎, 湊真一, 宮崎敏明 井上武, 谷誠一郎, 湊真一, 宮崎敏明 自律広域マルチキャスト方式 Flexcast におけるソケットAPI の設計と実装 自律広域マルチキャスト方式 Flexcast におけるソケットAPI の設計と実装 自律広域マルチキャスト方式 Flexcast におけるソケットAPI の設計と実装 情報処理学会 全国大会, 2003, 1, 349-350 情報処理学会 全国大会, 2003, 1, 349-350 情報処理学会 全国大会, 2003, 1, 349-350 2003/03 日本語 研究発表ペーパー・要旨(全国大会、その他学術会議) 公開
湊 真一, 石原 晋也 湊 真一, 石原 晋也 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‐IIを使ってパズルを解こう 算術論理式システムBEM‐IIを使ってパズルを解こう Solve a puzzle by using the arithmetic logical expression system, BEM-II. BIT (Tokyo), 29, 4, 67-77 BIT (Tokyo), 29, 4, 67-77 BIT (Tokyo), 29, 4, 67-77 1997/04 日本語 公開
奥乃 博, 湊 真一 奥乃 博, 湊 真一 算術論理式システム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 日本語 公開

  • <<
  • >>
  • 表示
タイトル言語:
講演・口頭発表等
タイトル タイトル(日本語) タイトル(英語) 会議名 会議名(日本語) 会議名(英語) 主催者 主催者(日本語) 主催者(英語) 発表年月日 記述言語 会議種別 公開
Recent Topics and Future Perspectives on BDD/ZDD-Based Discrete Structure Manipulation[招待あり] Recent Topics and Future Perspectives on BDD/ZDD-Based Discrete Structure Manipulation [招待あり] Recent Topics and Future Perspectives on BDD/ZDD-Based Discrete Structure Manipulation [招待あり] International Workshop on Logic and Synthesis International Workshop on Logic and Synthesis International Workshop on Logic and Synthesis 2020/07/29 英語 口頭発表(基調) 公開
Graphillion: ZDD-based Compilation tool for Graph Enumeration and Random Sampling Graphillion: ZDD-based Compilation tool for Graph Enumeration and Random Sampling Graphillion: ZDD-based Compilation tool for Graph Enumeration and Random Sampling KOCOON Workshop KOCOON Workshop KOCOON Workshop 2019/12/18 英語 口頭発表(一般) 公開
離散構造処理系プロジェクト: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 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 2018/11/08 英語 口頭発表(招待・特別) 公開
離散構造処理系:その概要と最近の研究状況について[招待あり] 離散構造処理系:その概要と最近の研究状況について [招待あり] 第21回情報論的学習理論ワークショップ (IBIS 2018) 第21回情報論的学習理論ワークショップ (IBIS 2018) 電子情報通信学会 IBIS-ML研究会 電子情報通信学会 IBIS-ML研究会 2018/11/05 日本語 口頭発表(招待・特別) 公開
離散構造処理系プロジェクトの近況について[招待あり] 離散構造処理系プロジェクトの近況について [招待あり] 電子情報通信学会コンピュテーション研究会 電子情報通信学会コンピュテーション研究会 2018/10/26 日本語 口頭発表(招待・特別) 公開
離散構造処理系の技法と組合せ列挙・最適化[招待あり] 離散構造処理系の技法と組合せ列挙・最適化 [招待あり] 進化計算シンポジウム 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 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 2017/06/17 英語 口頭発表(招待・特別) 公開
「フカシギの数え方」― 組合せ爆発に立ち向かう最先端アルゴリズム 技術[招待あり] 「フカシギの数え方」― 組合せ爆発に立ち向かう最先端アルゴリズム 技術 [招待あり] 国立情報学研究所オープンハウス2013基調講演 国立情報学研究所オープンハウス2013基調講演 国立情報学研究所 国立情報学研究所 2013/06/14 日本語 口頭発表(基調) 公開
フカシギの不思議[招待あり] フカシギの不思議 [招待あり] 日本科学未来館 第11期メディアラボ トークイベ ント 日本科学未来館 第11期メディアラボ トークイベ ント 日本科学未来館 日本科学未来館 2013/01/19 日本語 公開講演、セミナー、チュートリアル、講習、講義 公開

  • <<
  • >>
  • 表示
タイトル言語:
書籍等出版物
著者 著者(日本語) 著者(英語) タイトル タイトル(日本語) タイトル(英語) 出版社 出版社(日本語) 出版社(英語) 出版年月 記述言語 担当区分 公開
湊真一 湊真一 2019年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録 2019年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録 基盤(S)離散構造処理系プロジェクト 基盤(S)離散構造処理系プロジェクト 2020/08 監修 公開
中村, 篤祥, 喜田, 拓也, 湊, 真一, 廣瀬, 善大 中村, 篤祥, 喜田, 拓也, 湊, 真一, 廣瀬, 善大 基礎から学ぶ情報理論 第2版 基礎から学ぶ情報理論 第2版 ムイスリ出版 ムイスリ出版 2020 日本語 共著 公開
湊 真一 湊 真一 2018年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録 2018年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録 基盤(S)離散構造処理系プロジェクト 基盤(S)離散構造処理系プロジェクト 2019/09 監修 公開
湊 真一 湊 真一 2017年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録 2017年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録 基盤(S)離散構造処理系プロジェクト, 基盤(S)離散構造処理系プロジェクト, 2018/07 公開
湊 真一 湊 真一 人工知能学大事典, 人工知能学会編 人工知能学大事典, 人工知能学会編 共立出版 共立出版 2017/07 分担執筆 公開
湊 真一 湊 真一 2016年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録 2016年度 JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録 基盤(S)離散構造処理系プロジェクト, 基盤(S)離散構造処理系プロジェクト, 2017/06 監修 公開
湊 真一 湊 真一 2015年度 JST ERATO湊離散構造処理系プロジェクト / JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録 2015年度 JST ERATO湊離散構造処理系プロジェクト / JSPS 科研費基盤(S)「離散構造処理系の基盤アルゴリズムの研究」 講究録 基盤(S)離散構造処理系プロジェクト, 基盤(S)離散構造処理系プロジェクト, 2016/06 監修 公開
鈴木, 譲, 植野, 真臣, 黒木, 学(工学), 清水, 昌平, 湊, 真一, 石畠, 正和, 樺島, 祥介, 田中, 和之, 本村, 陽一, 玉田, 嘉紀 鈴木, 譲, 植野, 真臣, 黒木, 学(工学), 清水, 昌平, 湊, 真一, 石畠, 正和, 樺島, 祥介, 田中, 和之, 本村, 陽一, 玉田, 嘉紀 確率的グラフィカルモデル 確率的グラフィカルモデル 共立出版 共立出版 2016 日本語 分担執筆 公開
湊 真一 湊 真一 2014年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 2014年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 ERATO湊離散構造処理系プロジェクト ERATO湊離散構造処理系プロジェクト 2015/06 日本語 監修 公開
ERATO 湊離散構造処理系プロジェクト, 湊真一 ERATO 湊離散構造処理系プロジェクト, 湊真一 超高速グラフ列挙アルゴリズム-〈フカシギの数え方〉が拓く,組合せ問題への新アプローチ- 超高速グラフ列挙アルゴリズム-〈フカシギの数え方〉が拓く,組合せ問題への新アプローチ- 森北出版 森北出版 2015/04/08 編者 公開
湊, 真一, ERATO湊離散構造処理系プロジェクト, 科学技術振興機構 湊, 真一, ERATO湊離散構造処理系プロジェクト, 科学技術振興機構 超高速グラフ列挙アルゴリズム : 「フカシギの数え方」が拓く, 組合せ問題への新アプローチ 超高速グラフ列挙アルゴリズム : 「フカシギの数え方」が拓く, 組合せ問題への新アプローチ 森北出版 森北出版 2015 日本語 公開
T. Sasao, J. Butler, ditor T. Sasao, J. Butler, ditor T. Sasao, J. Butler, ditor Applications of Zero-Suppressed Decision Diagrams (Synthesis Lectures on Digital Circuits and Systems) Applications of Zero-Suppressed Decision Diagrams (Synthesis Lectures on Digital Circuits and Systems) Applications of Zero-Suppressed Decision Diagrams (Synthesis Lectures on Digital Circuits and Systems) Morgan & Claypool Publishers Morgan & Claypool Publishers Morgan & Claypool Publishers 2014/11 分担執筆 公開
Ming-Yang Kao Ming-Yang Kao Ming-Yang Kao Encyclopedia of Algorithms Encyclopedia of Algorithms Encyclopedia of Algorithms 2014/09 分担執筆 公開
Shigeru Yamashita, Shin-ichi Minato Shigeru Yamashita, Shin-ichi Minato Shigeru Yamashita, Shin-ichi Minato Reversible Computation," 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings Reversible Computation," 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings Reversible Computation," 6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings Springer Springer Springer 2014/07 英語 共編者 公開
湊 真一 湊 真一 2013年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 2013年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 ERATO湊離散構造処理系プロジェクト ERATO湊離散構造処理系プロジェクト 2014/07 日本語 監修 公開
湊 真一 湊 真一 2012年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 2012年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 ERATO湊離散構造処理系プロジェクト ERATO湊離散構造処理系プロジェクト 2013/07 日本語 監修 公開
中村, 篤祥, 喜田, 拓也, 湊, 真一 中村, 篤祥, 喜田, 拓也, 湊, 真一 基礎から学ぶ情報理論 基礎から学ぶ情報理論 ムイスリ出版 ムイスリ出版 2013 日本語 公開
湊 真一 湊 真一 2011年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 2011年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 ERATO湊離散構造処理系プロジェクト ERATO湊離散構造処理系プロジェクト 2012/07 日本語 監修 公開
湊 真一 湊 真一 2010年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 2010年度 科学技術振興機構 ERATO湊離散構造処理系プロジェクト講究録 ERATO湊離散構造処理系プロジェクト ERATO湊離散構造処理系プロジェクト 2011/06 日本語 監修 公開
湊 真一 湊 真一 電子情報通信学会「知識ベース」 電子情報通信学会「知識ベース」 電子情報通信学会 電子情報通信学会 2011/03 日本語 分担執筆 公開
Shin-ichi Minato, Nicolas Spyratos Shin-ichi Minato, Nicolas Spyratos Shin-ichi Minato, Nicolas Spyratos Interdisciplinary advances in adaptive and Intelligent assistant Systems: concepts, techniques, applications, and Use Interdisciplinary advances in adaptive and Intelligent assistant Systems: concepts, techniques, applications, and Use Interdisciplinary advances in adaptive and Intelligent assistant Systems: concepts, techniques, applications, and Use IGI Global IGI Global IGI Global 2011/01 英語 分担執筆 公開
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 Thomas Zeugmann, 湊 真一, 大久保 好章, Thomas Zeugmann 英語で学ぶ計算理論 英語で学ぶ計算理論 コロナ社 コロナ社 2009/03 英語 共著 公開
Pacific-Asia Conference on Knowledge Discovery and Data Mining, Chawla, Sanjay, Washio, Takashi, 湊, 真一, 津本, 周作, Onoda, Takashi, Yamada, Seiji, Inokuchi, Akihiro Pacific-Asia Conference on Knowledge Discovery and Data Mining, Chawla, Sanjay, Washio, Takashi, 湊, 真一, 津本, 周作, Onoda, Takashi, Yamada, Seiji, Inokuchi, Akihiro Pacific-Asia Conference on Knowledge Discovery and Data Mining, Chawla, Sanjay, Washio, Takashi, 湊, 真一, 津本, 周作, Onoda, Takashi, Yamada, Seiji, Inokuchi, Akihiro New frontiers in applied data minig : PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008 : revised selected papers New frontiers in applied data minig : PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008 : revised selected papers New frontiers in applied data minig : PAKDD 2008 International Workshops, Osaka, Japan, May 20-23, 2008 : revised selected papers Springer Springer Springer 2009/02 英語 共編者 公開
Zeugmann, Thomas, 湊, 真一, 大久保, 好章 Zeugmann, Thomas, 湊, 真一, 大久保, 好章 Zeugmann, Thomas, 湊, 真一, 大久保, 好章 英語で学ぶ計算理論 = Theory of computation 英語で学ぶ計算理論 = Theory of computation 英語で学ぶ計算理論 = Theory of computation コロナ社 コロナ社 コロナ社 2009 英語 公開
湊, 真一 湊, 真一 湊, 真一 二分決定グラフに基づく大規模データベースの効率的解析処理アルゴリズムの研究 二分決定グラフに基づく大規模データベースの効率的解析処理アルゴリズムの研究 二分決定グラフに基づく大規模データベースの効率的解析処理アルゴリズムの研究 [北海道大学大学院情報科学研究科] [北海道大学大学院情報科学研究科] [北海道大学大学院情報科学研究科] 2008 公開
Shin-ichi Minato, Saburo Muroga Shin-ichi Minato, Saburo Muroga Shin-ichi Minato, Saburo Muroga The VLSI Handbook The VLSI Handbook The VLSI Handbook CRC/IEEE Press CRC/IEEE Press CRC/IEEE Press 1999/12 英語 分担執筆 公開
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 英語 分担執筆 公開
湊, 真一 湊, 真一 湊, 真一 Binary decision diagrams and applications for VLSI CAD Binary decision diagrams and applications for VLSI CAD Binary decision diagrams and applications for VLSI CAD Kluwer Academic Kluwer Academic Kluwer Academic 英語 公開

  • <<
  • >>
  • 表示
タイトル言語:
学術賞等
賞の名称(日本語) 賞の名称(英語) 授与組織名(日本語) 授与組織名(英語) 年月
論文賞 日本計算機統計学会 2019/06/01
論文編集貢献賞 情報処理学会 論文編集委員会 2021/05/11
外部資金:競争的資金 (科学研究費補助金)
種別 代表/分担 テーマ(日本語) テーマ(英語) 期間
基盤研究(S) 代表 離散構造処理系の基盤アルゴリズムの研究 Research on Core Algorithms for Discrete Structure Manipulation Systems 2015/06/01〜2020/03/31
基盤研究(A) 分担 実世界知識基盤形成のための次世代半構造マイニング技術の研究 2016/05/01〜2020/03/31
基盤研究(S) 代表 離散構造処理系の基盤アルゴリズムの研究 (2019年度分) 2019/04/01〜2020/03/31
基盤研究(A) 代表 離散構造処理系に基づく列挙と最適化の統合的技法の研究 2020/04/05〜2025/03/31
基盤研究(A) 代表 離散構造処理系に基づく列挙と最適化の統合的技法の研究 (2020年度分) 2020/04/01〜2021/03/31
学術変革領域研究(A) 代表 研究領域「革新的アルゴリズム基盤」の組織運営と研究推進 (2020年度分) 2020/04/01〜2021/03/31
学術変革領域研究(A) 分担 大規模離散構造の理解と革新的アルゴリズム基盤の創出 Algorithmic Foundations Based on Large-Scale Discrete Structures 2020/11/20〜2025/03/31
学術変革領域研究(A) 代表 研究領域「革新的アルゴリズム基盤」の組織運営と研究推進 2020/11/20〜2025/03/31
外部資金:競争的資金 (科学研究費補助金以外)
制度名 代表者名 研究課題(日本語) 研究課題(英語) 期間
JST CREST 本村 真人 学習/数理モデルに基づく時空間展開型アーキテクチャの創出と応用 Steering Toward Spatio-Temporal Computing Architecture Driven by Learning/Math-Scientific Models 2018/10/01〜2023/03/31
JST ERATO 湊 真一 湊離散構造処理系プロジェクト MINATO Discrete Structure Manipulation System Project 2009/10/01〜2016/03/31
担当科目
講義名(日本語) 講義名(英語) 開講期 学部/研究科 年度
アルゴリズム論 Theory of Algorithms 後期 工学部 2018/04〜2019/03
離散アルゴリズム理論 Theory of Discrete Algorithms 前期 情報学研究科 2018/04〜2019/03
ILASセミナー ILAS Seminar 前期 全学共通科目 2019/04〜2020/03
アルゴリズム論 Theory of Algorithms 後期 工学部 2019/04〜2020/03
離散アルゴリズム理論 Theory of Discrete Algorithms 前期 情報学研究科 2019/04〜2020/03
情報符号理論 Information and Coding Theory 前期 工学部 2020/04〜2021/03
情報と職業 Information and Business 前期 工学部 2020/04〜2021/03
特別研究1(計算機) Graduation Thesis 1 前期集中 工学部 2020/04〜2021/03
特別研究1(計算機) Graduation Thesis 1 後期集中 工学部 2020/04〜2021/03
特別研究2(計算機) Graduation Thesis 2 前期集中 工学部 2020/04〜2021/03
特別研究2(計算機) Graduation Thesis 2 後期集中 工学部 2020/04〜2021/03
アルゴリズム論 Theory of Algorithms 後期 工学部 2020/04〜2021/03
離散アルゴリズム理論 Theory of Discrete Algorithms 前期 情報学研究科 2020/04〜2021/03
Introduction to Algorithms-E2 Introduction to Algorithms-E2 前期 全学共通科目 2021/04〜2022/03
工学序論 Introduction to Engineering 前期集中 工学部 2021/04〜2022/03
情報符号理論 Information and Coding Theory 前期 工学部 2021/04〜2022/03
計算量理論 Theory of Computational Complexity 後期 情報学研究科 2021/04〜2022/03
アルゴリズム論 Theory of Algorithms 後期 工学部 2021/04〜2022/03
離散アルゴリズム理論 Theory of Discrete Algorithms 前期 情報学研究科 2021/04〜2022/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
基盤整備委員会委員 2020/04/01〜2021/03/31
計算機小委員会委員長 2020/04/01〜2021/03/31
情報学科長 2020/04/01〜2021/03/31
評価・広報委員会委員 2021/04/01〜2022/03/31
学会活動:学会役員歴
学会名(日本語) 学会名(英語) 役職名(日本語) 役職名(英語) 期間
情報処理学会 IPSJ 理事 2018/06/06〜2020/06/01
人工知能学会 JSAI 評議員 2010/06/01〜2014/05/31
情報処理学会 IPSJ 理事 2021/06/08〜2023/05/31
その他活動:国・地方公共団体での活動
委員会名(日本語) 委員会名(英語) 役職名 公共団体の名称 期間
さきがけ「社会情報基盤」 領域アドバイザー 科学技術振興機構 2009/10/01〜2020/03/01
ACT-I「情報と未来」 領域アドバイザー 科学技術振興機構 2015/04/01〜2022/03/31
創発研究支援事業 創発アドバイザー 科学技術振興機構 2020/09/07〜2022/03/31
外部授業評価委員会 外部授業評価委員 奈良先端科学技術大学院大学 2019/04/15〜2019/06/30
その他活動:民間企業・NPO等の兼業
相手先名 兼業の内容 期間
稲盛財団 京都賞先端技術専門委員 2019/07/01〜2021/11/11
(株)Magne-Max Capital Management 技術顧問 2018/08/01〜2021/07/31