顔写真

顔写真

泉　泰介
Izumi Taisuke
泉　泰介
Izumi Taisuke
機関リポジトリ
情報科学研究科　コンピュータサイエンス専攻，准教授

keyword 分散システム アルゴリズム 耐故障システム

機関リポジトリ

委員歴 40

  1. 人事院　2025 年度国家公務員採用総合職試験 試験専門委員　政府

    2024年6月 ～ 2025年5月

  2. International Symposium on Reliable Distributed Systems (SRDS 2024)　プログラム委員

    2024年1月 ～ 2024年10月

  3. 人事院　2024 年度国家公務員採用総合職試験 試験専門委員

    2023年6月 ～ 2024年5月

  4. 電子情報通信学会　電子情報通信学会基礎・境界ソサイエティ 和文・英文論文誌 編集委員　学協会

    2020年6月 ～ 2024年5月

  5. International Conference on Principles of Distributed Systems (OPODIS 2023) プログラム委員　その他

    2023年6月 ～ 2023年12月

  6. International Symposium on Algorithm and Computation (ISAAC 2023) プログラム委員　その他

    2023年4月 ～ 2023年12月

  7. ACM Symposium on Principle of Distributed Computing (PODC 2023) プログラム委員

    2023年1月 ～ 2023年7月

  8. International Colloquium on Structural Information and Communication Complexity (SIROCCO 2023) プログラム委員

    2023年1月 ～ 2023年6月

  9. 人事院　2023 年度国家公務員採用総合職試験 試験専門委員

    2022年6月 ～ 2023年5月

  10. 情報処理学会 関西支部　運営委員会 幹事　学協会

    2021年4月 ～ 2023年3月

  11. International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS2022) プログラム委員

    2022年6月 ～ 2022年11月

  12. International Conference on Fun with Algorithms (FUN2022) プログラム委員　その他

    2022年1月 ～ 2022年6月

  13. 人事院　2022 年度国家公務員採用総合職試験 試験専門委員　政府

    2021年6月 ～ 2022年6月

  14. International Conference on Distributed Computing and Networking (ICDCN 2022) プログラム委員　その他

    2021年4月 ～ 2022年1月

  15. International Symposium On Reliable Distributed Systems (SRDS2021) プログラム委員　その他

    2021年4月 ～ 2021年11月

  16. International Workshop on Combinatorial Algorithms (IWOCA 2021) プログラム委員　その他

    2021年3月 ～ 2021年7月

  17. International Colloquium on Structural Information and Communication Complexity (SIROCCO 2021) プログラム委員　その他

    2021年1月 ～ 2021年7月

  18. International Conference on Distributed Computing Systems (ICDCS 2021) プログラム委員　その他

    2020年12月 ～ 2021年7月

  19. International Conference on Distributed Computing and Networking (ICDCN 2021) プログラム委員　その他

    2020年7月 ～ 2021年1月

  20. International Conference on Principles of Distributed Systems (OPODIS 2020) プログラム委員　その他

    2020年6月 ～ 2020年12月

  21. 27th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2020) プログラム委員　その他

    2020年1月 ～ 2020年7月

  22. ACM Symposium on Principle of Distributed Computing (PODC 2020) プログラム委員　その他

    2020年1月 ～ 2020年7月

  23. 電子情報通信学会　電子情報通信学会英文論文誌「理論計算機科学 (FCS)」小特集号 編集委員長　学協会

    2017年3月 ～ 2019年3月

  24. International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2018), プログラム委員長

    2018年4月 ～ 2018年12月

  25. International Colloquium on Structural Information and Communication Complexity (SIROCCO 2018) プログラム委員

    2018年1月 ～ 2018年7月

  26. International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2017), プログラム委員

    2017年4月 ～ 2017年11月

  27. 電子情報通信学会　電子情報通信学会英文論文誌「理論計算機科学 (FCS)」小特集号 編集委員　学協会

    2016年3月 ～ 2017年3月

  28. International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016) プログラム委員

    2016年4月 ～ 2016年11月

  29. 電子情報通信学会　電子情報通信学会英文論文誌「理論計算機科学 (FCS)」小特集号 編集委員　学協会

    2015年3月 ～ 2016年3月

  30. International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2015) プログラム委員

    2015年4月 ～ 2015年11月

  31. International Colloquium on Structural Information and Communication Complexity (SIROCCO 2015) プログラム委員

    2015年1月 ～ 2015年7月

  32. International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2014), プログラム委員

    2014年4月 ～ 2014年11月

  33. International Colloquium on Structural Information and Communication Complexity (SIROCCO 2014) プログラム委員及び運営委員長

    2014年1月 ～ 2014年7月

  34. 電子情報通信学会　電子情報通信学会英文論文誌「理論計算機科学 (FCS)」小特集号 編集委員　学協会

    2013年3月 ～ 2014年3月

  35. 電子情報通信学会　電子情報通信学会英文誌D「並列分散コンピューティングとネットワーキング小特集号」 編集委員　学協会

    2012年7月 ～ 2013年12月

  36. International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2013) プログラム委員(トラックチェア)

    2013年4月 ～ 2013年11月

  37. 電子情報通信学会　電子情報通信学会英文論文誌A「離散数学とその応用小特集号」 編集委員　学協会

    2012年9月 ～ 2013年6月

  38. 電子情報通信学会　電子情報通信学会英文論文誌「理論計算機科学 (FCS)」小特集号 編集委員　学協会

    2012年1月 ～ 2013年3月

  39. International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2012) プログラム委員

    2012年4月 ～ 2012年11月

  40. International Colloquium on Structural Information and Communication Complexity (SIROCCO 2011) プログラム委員

    2011年1月 ～ 2011年7月

研究内容・専門分野 2

  1. 情報通信 / 計算機システム /

  2. 情報通信 / 情報学基礎論 /

受賞 4

  1. Best Student Paper Runner-up

    Taichi Inoue, Naoki Kitamura, Taisuke Izumi, Toshimitsu Masuzawa　26th International Conference on Principles of Distributed Systems, OPODIS 2022　2022年12月

  2. 第一回嵩賞

    -　2007年4月

  3. 大阪大学論文100選 2006-2007

    -　2007年4月

  4. 最優秀論文賞 国際会議 The 3rd Workshop on Self-Adaptable and Autonomic Computing

    -　2003年4月

論文 117

  1. Deterministic fault-tolerant connectivity labeling scheme.

    Taisuke Izumi, Yuval Emek, Tadashi Wadayama, Toshimitsu Masuzawa

    Distributed Computing　Vol. 38　No. 1　p. 31-50　2025年3月　研究論文（学術雑誌）

  2. Independent Set Reconfiguration Under Bounded-Hop Token Jumping.

    Hiroki Hatano, Naoki Kitamura, Taisuke Izumi, Takehiro Ito, Toshimitsu Masuzawa

    The 19th International Conference and Workshops on Algorithms and Computation (WALCOM)　p. 215-228　2025年1月　研究論文（国際会議プロシーディングス）

  3. Approximation hardness of domination problems on generalized convex graphs

    Po Yuan Wang, Naoki Kitamura, Taisuke Izumi, Toshimitsu Masuzawa

    Theoretical Computer Science　Vol. 1028　p. 115035-115035　2025年　研究論文（学術雑誌）

  4. Self-Stabilizing Fully Adaptive Maximal Matching.

    Shimon Bitton, Yuval Emek, Taisuke Izumi, Shay Kutten

    International Conference on Principle of Distributed Systems (OPODIS)　p. 33-21　2024年12月　研究論文（国際会議プロシーディングス）

  5. A Nearly Linear Time Construction of Approximate Single-Source Distance Sensitivity Oracles.

    Kaito Harada, Naoki Kitamura, Taisuke Izumi, Toshimitsu Masuzawa

    European Symposium on Algorithms (ESA)　p. 65:1-65:18　2024年9月　研究論文（国際会議プロシーディングス）

  6. A Nearly Linear-Time Distributed Algorithm for Exact Maximum Matching

    Taisuke Izumi, Naoki Kitamura, Yutaro Yamaguchi

    The 2024 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA)　p. 4062-4082　2024年1月4日　論文集(書籍)内論文

    出版者・発行元：

  7. Loosely-Stabilizing Algorithm on Almost Maximal Independent Set.

    Rongcheng Dong, Taisuke Izumi, Naoki Kitamura, Yuichi Sudo, Toshimitsu Masuzawa

    IEICE Transactions on Information & Systems　Vol. 106　No. 11　p. 1762-1771　2023年11月　研究論文（学術雑誌）

  8. Deterministic Fault-Tolerant Connectivity Labeling Scheme

    Taisuke Izumi, Yuval Emek, Tadashi Wadayama, Toshimitsu Masuzawa

    The 2023 ACM Symposium on Principles of Distributed Computing (PODC)　p. 190-199　2023年6月16日　研究論文（国際会議プロシーディングス）

    出版者・発行元：

  9. Power-Collision-Based 2-Shot Grant-Free NOMA with Cross-Slot SIC for mMTC.

    Takeshi Hirai, Taisuke Izumi, Naoki Wakamiya

    2023 IEEE Global Communication Conference (GLOBECOM)　p. 6261-6266　2023年　研究論文（国際会議プロシーディングス）

  10. Computational Power of a Single Oblivious Mobile Agent in Two-Edge-Connected Graphs

    Taichi Inoue, Naoki Kitamura, Taisuke Izumi, Toshimitsu Masuzawa

    26th International Conference on Principles of Distributed Systems, OPODIS 2022　p. 11:1-11:18　2022年12月　研究論文（国際会議プロシーディングス）

  11. Fully Polynomial-Time Distributed Computation in Low-Treewidth Graphs.

    Taisuke Izumi, Naoki Kitamura, Takamasa Naruse, Gregory Schwartzman

    ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)　p. 11-22　2022年7月　研究論文（国際会議プロシーディングス）

  12. A Subquadratic-Time Distributed Algorithm for Exact Maximum Matching.

    Naoki Kitamura, Taisuke Izumi

    IEICE Transactions on Information & Systems　Vol. 105-D　No. 3　p. 634-645　2022年3月1日　研究論文（学術雑誌）

    出版者・発行元：Institute of Electronics, Information and Communications Engineers (IEICE)

  13. Fast Neighborhood Rendezvous.

    Ryota Eguchi, Naoki Kitamura, Taisuke Izumi

    IEICE Transactions on Information & Systems　Vol. 105-D　No. 3　p. 597-610　2022年　研究論文（学術雑誌）

  14. Time-Optimal Loosely-Stabilizing Leader Election in Population Protocols.

    Yuichi Sudo, Ryota Eguchi, Taisuke Izumi, Toshimitsu Masuzawa

    35th International Symposium on Distributed Computing(DISC)　p. 40-17　2021年10月　研究論文（国際会議プロシーディングス）

    出版者・発行元：Schloss Dagstuhl - Leibniz-Zentrum für Informatik

  15. Low-congestion shortcut and graph parameters.

    Naoki Kitamura, Hirotaka Kitagawa, Yota Otachi, Taisuke Izumi

    Distributed Computing　Vol. 34　No. 5　p. 349-365　2021年　研究論文（学術雑誌）

  16. Loosely-Stabilizing Maximal Independent Set Algorithms with Unreliable Communications.

    Rongcheng Dong, Yuichi Sudo, Taisuke Izumi, Toshimitsu Masuzawa

    Stabilization, Safety, and Security of Distributed Systems - 23rd International Symposium(SSS)　p. 335-349　2021年　研究論文（国際会議プロシーディングス）

    出版者・発行元：Springer

  17. Low-Congestion shortcuts without embedding.

    Bernhard Haeupler, Taisuke Izumi, Goran Zuzic

    Distributed Computing　Vol. 34　No. 1　p. 79-90　2021年　研究論文（学術雑誌）

  18. Fast Neighborhood Rendezvous.

    Ryota Eguchi, Naoki Kitamura, Taisuke Izumi

    International Conference on Distributed Computing Systems (ICDCS)　p. 168-178　2020年　研究論文（国際会議プロシーディングス）

    出版者・発行元：IEEE

  19. Fault-tolerant simulation of population protocols.

    Giuseppe Antonio Di Luna, Paola Flocchini, Taisuke Izumi, Tomoko Izumi, Nicola Santoro, Giovanni Viglietta

    Distributed Computing　Vol. 33　No. 6　p. 561-578　2020年　研究論文（学術雑誌）

  20. Time-Optimal Leader Election in Population Protocols.

    Yuichi Sudo, Fukuhito Ooshita, Taisuke Izumi, Hirotsugu Kakugawa, Toshimitsu Masuzawa

    IEEE Trans. Parallel Distributed Syst.　Vol. 31　No. 11　p. 2620-2632　2020年　研究論文（学術雑誌）

  21. Sublinear-Space Lexicographic Depth-First Search for Bounded Treewidth Graphs and Planar Graphs.

    Taisuke Izumi, Yota Otachi

    The 47th International Colloquium on Automata, Languages and Programming (ICALP 2020)　p. 67:1-67:17　2020年　研究論文（国際会議プロシーディングス）

    出版者・発行元：Schloss Dagstuhl - Leibniz-Zentrum für Informatik

  22. Quantum Distributed Algorithm for Triangle Finding in the CONGEST Model.

    Taisuke Izumi, François Le Gall, Frédéric Magniez

    37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020)　p. 23:1-23:13　2020年　研究論文（国際会議プロシーディングス）

  23. Uniform distribution for Pachinko.

    Naoki Kitamura, Yuya Kawabata, Taisuke Izumi

    Theor. Comput. Sci.　Vol. 839　p. 103-121　2020年　研究論文（学術雑誌）

    出版者・発行元：Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik

  24. Towards Distributed Two-Stage Stochastic Optimization.

    Yuval Emek, Noga Harlev, Taisuke Izumi

    23rd International Conference on Principles of Distributed Systems (OPODIS 2019)　p. 32:1-32:16　2019年12月　研究論文（国際会議プロシーディングス）

    出版者・発行元：Schloss Dagstuhl - Leibniz-Zentrum für Informatik

  25. Sub-Linear Time Aggregation in Probabilistic Population Protocol Model.

    Ryota Eguchi, Taisuke Izumi

    IEICE Transactions　Vol. 102-A　No. 9　p. 1187-1194　2019年　研究論文（学術雑誌）

  26. A Population Protocol for Uniform $k$-partition under Global Fairness.

    Hiroto Yasumi, Naoki Kitamura, Fukuhito Ooshita, Taisuke Izumi, Michiko Inoue

    IJNC　Vol. 9　No. 1　p. 97-110　2019年　研究論文（学術雑誌）

  27. Population protocols with faulty interactions: The impact of a leader.

    Giuseppe Antonio Di Luna, Paola Flocchini, Taisuke Izumi, Tomoko Izumi, Nicola Santoro, Giovanni Viglietta

    Theor. Comput. Sci.　Vol. 754　p. 35-49　2019年　研究論文（学術雑誌）

  28. Logarithmic Expected-Time Leader Election in Population Protocol Model.

    Yuichi Sudo, Fukuhito Ooshita, Taisuke Izumi, Hirotsugu Kakugawa, Toshimitsu Masuzawa

    Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, PODC 2019, Toronto, ON, Canada, July 29 - August 2, 2019.　p. 60-62　2019年　研究論文（国際会議プロシーディングス）

    出版者・発行元：ACM

  29. Quantum Distributed Algorithm for the All-Pairs Shortest Path Problem in the CONGEST-CLIQUE Model.

    Taisuke Izumi, François Le Gall

    Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, PODC 2019, Toronto, ON, Canada, July 29 - August 2, 2019.　p. 84-93　2019年　研究論文（国際会議プロシーディングス）

    出版者・発行元：ACM

  30. Message Reduction in the LOCAL Model is a Free Lunch.

    Shimon Bitton, Yuval Emek, Taisuke Izumi, Shay Kutten

    Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, PODC 2019, Toronto, ON, Canada, July 29 - August 2, 2019.　p. 300-302　2019年　研究論文（国際会議プロシーディングス）

    出版者・発行元：ACM

  31. Distributed Minimum Degree Spanning Trees.

    Michael Dinitz, Magnús M. Halldórsson, Taisuke Izumi, Calvin Newport

    Proceedings of the 2019 ACM Symposium on Principles of Distributed Computing, PODC 2019, Toronto, ON, Canada, July 29 - August 2, 2019.　p. 511-520　2019年　研究論文（国際会議プロシーディングス）

    出版者・発行元：ACM

  32. Logarithmic Expected-Time Leader Election in Population Protocol Model.

    Yuichi Sudo, Fukuhito Ooshita, Taisuke Izumi, Hirotsugu Kakugawa, Toshimitsu Masuzawa

    Stabilization, Safety, and Security of Distributed Systems - 21st International Symposium, SSS 2019, Pisa, Italy, October 22-25, 2019, Proceedings　p. 323-337　2019年　研究論文（国際会議プロシーディングス）

    出版者・発行元：Springer

  33. Message Reduction in the LOCAL Model Is a Free Lunch.

    Shimon Bitton, Yuval Emek, Taisuke Izumi, Shay Kutten

    33rd International Symposium on Distributed Computing, DISC 2019, October 14-18, 2019, Budapest, Hungary.　2019年　研究論文（国際会議プロシーディングス）

    出版者・発行元：Schloss Dagstuhl - Leibniz-Zentrum für Informatik

  34. Low-Congestion Shortcut and Graph Parameters.

    Naoki Kitamura, Hirotaka Kitagawa, Yota Otachi, Taisuke Izumi

    33rd International Symposium on Distributed Computing, DISC 2019, October 14-18, 2019, Budapest, Hungary.　p. 25:1-25:17-17　2019年　研究論文（国際会議プロシーディングス）

    出版者・発行元：Schloss Dagstuhl - Leibniz-Zentrum für Informatik

  35. Bounds on the asymptotic rate for capacitive crosstalk avoidance codes for on-chip buses

    Tadashi Wadayama, Taisuke Izumi

    IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences　Vol. E101A　No. 12　p. 2018-2025　2018年12月1日　研究論文（国際会議プロシーディングス）

    出版者・発行元：Institute of Electronics, Information and Communication, Engineers, IEICE

  36. On time complexity for connectivity-preserving scattering of mobile robots

    Taisuke Izumi, Daichi Kaino, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil

    Theoretical Computer Science　Vol. 738　p. 42-52　2018年8月22日　研究論文（学術雑誌）

    出版者・発行元：Elsevier B.V.

  37. Uniform distribution on pachinko

    Naoki Kitamura, Yuya Kawabata, Taisuke Izumi

    The 9th International Conference on FUN with Algorithms　p. 26:1-26:14　2018年6月　研究論文（国際会議プロシーディングス）

    出版者・発行元：Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

  38. Brief Announcement: Graph Exploration Using Constant-Size Memory and Storage.

    Naoki Kitamura, Kazuki Kakizawa, Yuya Kawabata, Taisuke Izumi

    Proceedings of the 2018 ACM Symposium on Principles of Distributed Computing, PODC 2018, Egham, United Kingdom, July 23-27, 2018　p. 241-243　2018年　研究論文（国際会議プロシーディングス）

    出版者・発行元：ACM

  39. A Population Protocol for Uniform k-Partition Under Global Fairness.

    Hiroto Yasumi, Naoki Kitamura, Fukuhito Ooshita, Taisuke Izumi, Michiko Inoue

    2018 IEEE International Parallel and Distributed Processing Symposium Workshops, IPDPS Workshops 2018, Vancouver, BC, Canada, May 21-25, 2018　p. 813-819　2018年　研究論文（国際会議プロシーディングス）

    出版者・発行元：IEEE Computer Society

  40. Brief announcement: Fast aggregation in population protocols

    Ryota Eguchi, Taisuke Izumi

    Leibniz International Proceedings in Informatics, LIPIcs　Vol. 91　p. 49:1-49:3　2017年10月1日　研究論文（国際会議プロシーディングス）

    出版者・発行元：Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

  41. Triangle finding and listing in CONGEST networks

    Taisuke Izumi, François Le Gall

    Proceedings of the Annual ACM Symposium on Principles of Distributed Computing　Vol. 129314　p. 381-389　2017年7月26日　研究論文（国際会議プロシーディングス）

    出版者・発行元：Association for Computing Machinery

  42. On the Power of Weaker Pairwise Interaction: Fault-Tolerant Simulation of Population Protocols

    G. Di Luna, P. Flocchini, T. Izumi, T. Izumi, N. Santoro, G. Viglietta

    2017 IEEE 37TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS (ICDCS 2017)　p. 2472-2477　2017年　研究論文（国際会議プロシーディングス）

  43. Population protocols with faulty interactions: The impact of a leader

    Giuseppe Antonio Di Luna, Paola Flocchini, Taisuke Izumi, Tomoko Izumi, Nicola Santoro, Giovanni Viglietta

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)　Vol. 10236　p. 454-466　2017年　研究論文（国際会議プロシーディングス）

    出版者・発行元：Springer Verlag

  44. Bitwise MAP Estimation for Group Testing Based on Holographic Transformation

    Tadashi Wadayama, Taisuke Izumi, Kazushi Mimura

    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES　Vol. E99A　No. 12　p. 2147-2154　2016年12月　研究論文（学術雑誌）

  45. Improving the lower bound on opaque sets for equilateral triangle

    Taisuke Izumi

    DISCRETE APPLIED MATHEMATICS　Vol. 213　p. 130-138　2016年11月　研究論文（学術雑誌）

  46. Flocking with oblivious robots

    Davide Canepa, Xavier Defago, Taisuke Izumi, Maria Potop-Butucaru

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)　Vol. 10083 LNCS　p. 94-108　2016年　研究論文（国際会議プロシーディングス）

  47. Bounds on Asymptotic Rate of Capacitive Crosstalk Avoidance Codes for On-chip Buses

    Tadashi Wadayama, Taisuke Izumi

    2016 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY　p. 400-404　2016年　研究論文（国際会議プロシーディングス）

  48. Near-optimal low-congestion shortcuts on bounded parameter graphs

    Bernhard Haeupler, Taisuke Izumi, Goran Zuzic

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)　Vol. 9888　p. 158-172　2016年　研究論文（国際会議プロシーディングス）

    出版者・発行元：Springer Verlag

  49. Low-Congestion Shortcuts without Embedding

    Bernhard Haeupler, Taisuke Izumi, Goran Zuzic

    PROCEEDINGS OF THE 2016 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC'16)　p. 451-460　2016年　研究論文（国際会議プロシーディングス）

  50. Distributed graph algorithms and their complexity : an introduction (Special issue: Reviews and lectures : exploring the limits of computation II)

    Izumi Taisuke

    Interdisciplinary Information Sciences　Vol. 21　No. 4　p. 351-370　2015年12月

    出版者・発行元：東北大学

  51. Faster Enumeration of All Maximal Cliques in Unit Disk Graphs Using Geometric Structure

    Taisuke Izumi, Daisuke Suzuki

    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS　Vol. E98D　No. 3　p. 490-496　2015年3月　研究論文（学術雑誌）

  52. Corrigendum to "On the approximability and hardness of minimum topic connected overlay and its special instances" [Theoret. Comput. Sci. 429, (2012), 144-154]

    Jun Hosoda, Juraj Hromkovič, Taisuke Izumi, Hirotaka Ono, Monika Steinová, Koichi Wada

    Theoretical Computer Science　Vol. 562　No. C　p. 660-661　2015年　研究論文（学術雑誌）

    出版者・発行元：Elsevier

  53. On the approximability and hardness of minimum topic connected overlay and its special instances (vol 429, pg 144, 2012)

    Jun Hosoda, Juraj Hromkovic, Taisuke Izumi, Hirotaka Ono, Monika Steinova, Koichi Wada

    THEORETICAL COMPUTER SCIENCE　Vol. 562　p. 660-661　2015年1月　研究論文（学術雑誌）

  54. Listing Center Strings Under the Edit Distance Metric

    Hiromitsu Maji, Taisuke Izumi

    COMBINATORIAL OPTIMIZATION AND APPLICATIONS, (COCOA 2015)　Vol. 9486　p. 771-782　2015年　研究論文（国際会議プロシーディングス）

  55. On space and time complexity of loosely-stabilizing leader election

    Taisuke Izumi

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)　Vol. 9439　p. 299-312　2015年　研究論文（国際会議プロシーディングス）

    出版者・発行元：Springer Verlag

  56. Subgraph Domatic Problem and Writing Capacity of Memory Devices with Restricted State Transitions

    Tadashi Wadayama, Taisuke Izumi, Hirotaka Ono

    2015 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY (ISIT)　p. 1307-1311　2015年　研究論文（国際会議プロシーディングス）

  57. Bitwise MAP Estimation for Group Testing based on Holographic Transformation

    Tadashi Wadayama, Taisuke Izumi, Kazushi Mimura

    2015 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY (ISIT)　p. 2787-2791　2015年　研究論文（国際会議プロシーディングス）

  58. Filling Logarithmic Gaps in Distributed Complexity for Global Problems

    Hiroaki Ookawa, Taisuke Izumi

    SOFSEM 2015: THEORY AND PRACTICE OF COMPUTER SCIENCE　Vol. 8939　p. 377-388　2015年　研究論文（国際会議プロシーディングス）

  59. Approximability of Minimum Certificate Dispersal with Tree Structures

    Taisuke Izumi, Tomoko Izumi, Hirotaka Ono, Koichi wada

    Theoretical Computer Science　2015年1月　研究論文（学術雑誌）

  60. On the Worst-Case Initial Configuration for Conservative Connectivity Preservation

    Daichi Kaino, Taisuke Izumi

    SRDS Workshop on Self-organization in Swarm of Robots(WSSR)　p. 60-63　2014年10月　研究論文（国際会議プロシーディングス）

  61. Space-efficient self-stabilizing counting population protocols on mobile sensor networks

    Tomoko Izumi, Keigo Kinpara, Taisuke Izumi, Koichi Wada

    THEORETICAL COMPUTER SCIENCE　Vol. 552　p. 99-108　2014年10月　研究論文（学術雑誌）

  62. Investigating the Effectiveness of a Moving-target Oriented Opportunistic Routing Algorithm on RoboCup Rescue Simulations

    Takuma Kawakami, Kyoichi Kisanuki, Toshiaki Ito, Kazunori Iwata, Nobuhiro Ito, Taisuke Izumi

    2014 IIAI 3RD INTERNATIONAL CONFERENCE ON ADVANCED APPLIED INFORMATICS (IIAI-AAI 2014)　p. 919-924　2014年　研究論文（国際会議プロシーディングス）

  63. Depth-First Search Using O(n) Bits

    Tetsuo Asano, Taisuke Izumi, Masashi Kiyomi, Matsuo Konagaya, Hirotaka Ono, Yota Otachi, Pascal Schweitzer, Jun Tarui, Ryuhei Uehara

    ALGORITHMS AND COMPUTATION, ISAAC 2014　Vol. 8889　p. 553-564　2014年　研究論文（国際会議プロシーディングス）

  64. Time Lower Bounds for Distributed Distance Oracles

    Taisuke Izumi, Roger Wattenhofer

    PRINCIPLES OF DISTRIBUTED SYSTEMS, OPODIS 2014　Vol. 8878　p. 60-75　2014年　研究論文（国際会議プロシーディングス）

  65. Randomized Lower Bound for Distributed Spanning-Tree Verification

    Taisuke Izumi

    STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY, SIROCCO 2014　Vol. 8576　p. 137-148　2014年　研究論文（国際会議プロシーディングス）

  66. Time-Optimal Gathering Algorithm of Mobile Robots with Local Weak Multiplicity Detection in Rings

    Tomoko Izumi, Taisuke Izumi, Sayaka Kamei, Fukuhito Oosita

    IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences　Vol. 96-A　No. 6　p. 1072-1080　2013年6月　研究論文（学術雑誌）

    出版者・発行元：The Institute of Electronics, Information and Communication Engineers

  67. Feasibility of Polynomial-Time Randomized Gathering for Oblivious Mobile Robots

    Taisuke Izumi, Tomoko Izumi, Sayaka Kamei, Fukuhito Ooshita

    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS　Vol. 24　No. 4　p. 716-723　2013年4月　研究論文（学術雑誌）

  68. Scalable estimation of network average degree

    Taisuke Izumi, Hironobu Kanzaki

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)　Vol. 8255　p. 367-369　2013年　研究論文（国際会議プロシーディングス）

  69. The optimal tolerance of uniform observation error for mobile robot convergence

    Kenta Yamamoto, Taisuke Izumi, Yoshiaki Katayama, Nobuhiro Inuzuka, Koichi Wada

    THEORETICAL COMPUTER SCIENCE　Vol. 444　No. 27　p. 77-86　2012年7月　研究論文（学術雑誌）

  70. The price of multi-organization constraint in unrelated parallel machine scheduling

    Fukuhito Ooshita, Tomoko Izumi, Taisuke Izumi

    Parallel Processing Letters　Vol. 22　No. 2　2012年6月　研究論文（学術雑誌）

  71. The price of multi-organization constraint in unrelated parallel machine scheduling

    Fukuhito Oosita, Tomoko Izumi, Taisuke Izumi

    Parallel Processing Letters　Vol. 22　No. 2　2012年6月　研究論文（学術雑誌）

  72. How to Prove Impossibility Under Global Fairness: On Space Complexity of Self-Stabilizing Leader Election on a Population Protocol Model

    Shukai Cai, Taisuke Izumi, Koichi Wada

    THEORY OF COMPUTING SYSTEMS　Vol. 50　No. 3　p. 433-445　2012年4月　研究論文（学術雑誌）

  73. On the approximability and hardness of minimum topic connected overlay and its special instances

    Jun Hosoda, Juraj Hromkovic, Taisuke Izumi, Hirotaka Ono, Monika Steinova, Koichi Wada

    THEORETICAL COMPUTER SCIENCE　Vol. 429　No. 20　p. 144-154　2012年4月　研究論文（学術雑誌）

  74. A New Direction for Counting Perfect Matchings

    Taisuke Izumi, Tadashi Wadayama

    2012 IEEE 53RD ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS)　p. 591-598　2012年　研究論文（国際会議プロシーディングス）

  75. Minimum certificate dispersal with tree structures

    Taisuke Izumi, Tomoko Izumi, Hirotaka Ono, Koichi Wada

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)　Vol. 7287　p. 548-559　2012年　研究論文（国際会議プロシーディングス）

  76. THE GATHERING PROBLEM FOR TWO OBLIVIOUS ROBOTS WITH UNRELIABLE COMPASSES

    Taisuke Izumi, Samia Souissi, Yoshiaki Katayama, Nobuhiro Inuzuka, Xavier Defago, Koichi Wada, Masafumi Yamashita

    SIAM JOURNAL ON COMPUTING　Vol. 41　No. 1　p. 26-46　2012年　研究論文（学術雑誌）

  77. Adaptive and doubly-Expedited One-Step Consensus in Byzantine Asynchronous Systems(共著)

    Nazreen Banu, Taisuke Izumi, Koichi Wada

    Parallel Processing Letters　Vol. 21　No. 4　p. 461-477　2011年12月　研究論文（学術雑誌）

  78. Oracle-based flocking of mobile robots in crash-recovery model(共著)

    Samia Souissi, Taisuke Izumi, Koichi Wada

    Theoretical Computer Science　Vol. 412　No. 33　p. 4350-4360　2011年7月　研究論文（学術雑誌）

  79. Byzantine-tolerant circle formation by oblivious mobile robots

    Samia Souissi, Taisuke Izumi, Koichi Wada

    2011 International Conference on Communications, Computing and Control Applications, CCCA 2011　2011年　研究論文（国際会議プロシーディングス）

  80. Distributed Algorithms for Cooperative Mobile Robots: A Survey(共著)

    Samia Souissi, Taisuke Izumi, Koichi Wada

    Proc. of 2nd International Conference on Networking and Computing (ICNC)　p. 364-371　2011年　研究論文（国際会議プロシーディングス）

  81. The BG-simulation for Byzantine Mobile Robots(共著)

    Taisuke Izumi, Zohir Bouzid, Sébastien Tixeuil, Koichi Wada

    Proc. of 25th International Symposium on Distributed Computing(DISC)　Vol. 6950　p. 330-+　2011年　研究論文（国際会議プロシーディングス）

  82. Physical Expander in Virtual Tree Overlay(共著)

    Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Mathieu Valero

    Proc. of 25th International Symposium on Distributed Computing(DISC)　Vol. 6950　p. 82-+　2011年　研究論文（国際会議プロシーディングス）

  83. On the Approximability of Minimum Topic Connected Overlay and Its Special Instances(共著)

    Jun Hosoda, Juraj Hromkovic, Taisuke Izumi, Hirotaka Ono, Monika Steinová, Koichi Wada

    Proc. of 36th International Symposium on Mathematical Foundations of Computer Science(MFCS)　Vol. 6907　p. 376-387　2011年　研究論文（国際会議プロシーディングス）

  84. Approximability and inapproximability of the minimum certificate dispersal problem(共著)

    Tomoko Izumi, Taisuke Izumi, Hirotaka Ono, Koichi Wada

    Theoretical Computer Science　Vol. 411　No. 31-33　p. 2773-2783　2010年6月　研究論文（学術雑誌）

  85. The cost of probabilistic agreement in oblivious robot networks(共著)

    Julien Clement, Xavier Défago, Maria Gradinariu Potop-Butucaru, Taisuke Izumi, Stéphane Messika

    Information Processing Letters　Vol. 110　No. 11　p. 431-438　2010年5月　研究論文（学術雑誌）

  86. Improving Space Complexity of Self-stabilizing Counting on Mobile Sensor Networks (共著)

    Keigo Kinpara, Tomoko Izumi, Taisuke Izumi, Koichi Wada

    Proceedings of 14th International Conference on Principles of Distributed Systems, OPODIS2010　Vol. 6490　p. 504-+　2010年　研究論文（国際会議プロシーディングス）

  87. Connectivity-Preserving Scattering of Mobile Robots with Limited Visibility (共著)

    Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil

    Proceedings of 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS2010　Vol. 6366　p. 319-+　2010年　研究論文（国際会議プロシーディングス）

  88. Doubly-expedited one-step Byzantine consensus (共著)

    Nazreen Banu, Taisuke Izumi, Koichi Wada

    Proceedings of IEEE/IFIP International Conference on Dependable Systems and Networks, DSN2010　p. 373-382　2010年　研究論文（国際会議プロシーディングス）

  89. Mobile Robots Gathering Algorithm with Local Weak Multiplicity in Rings(共著)

    Tomoko Izumi, Taisuke Izumi, Sayaka Kamei, Fukuhito Ooshita

    Proceedings of 17th International Colloquium on Structural Information and Communication Complexity, SIROCCO2010　Vol. 6058　p. 101-+　2010年　研究論文（国際会議プロシーディングス）

  90. Convergence of Mobile Robots with Uniformly-Inaccurate Sensors

    Kenta Yamamoto, Taisuke Izumi, Yoshiaki Katayama, Nobuhiro Inuzuka, Koichi Wada

    STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY　Vol. 5869　p. 309-322　2010年　研究論文（国際会議プロシーディングス）

  91. Space Complexity of Self-stabilizing Leader Election in Passively-Mobile Anonymous Agents

    Shukai Cai, Taisuke Izumi, Koichi Wada

    STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY　Vol. 5869　p. 113-125　2010年　研究論文（国際会議プロシーディングス）

  92. Randomized Gathering of Mobile Robots with Local-Multiplicity Detection

    泉泰介, 泉朋子, 亀井清華, 大下福仁

    Lecture Notes on Computer Science: Proc. of The 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems Springer　Vol. 5873　p. 384-398　2009年11月　研究論文（学術雑誌）

  93. A Biologically Inspired Self-Adaptation of Replica Density Control

    鈴木朋子, 泉泰介, 大下福仁, 増澤利光

    IEICE Transactions on Information and Systems 電子情報通信学会　Vol. E92-D　No. 5　p. 1125-1136　2009年5月　研究論文（学術雑誌）

  94. A Message-Efficient Peer-to-Peer Search Protocol Based on Adaptive Index Dissemination

    呉エキ, 泉泰介, 大下福仁, 角川裕次, 増澤利光

    IEICE Transactions on Information and Systems 電子情報通信学会　Vol. E92-D　No. 2　p. 258-268　2009年2月　研究論文（学術雑誌）

  95. Brief Announcement: Communication-Efficient Self-stabilizing Protocols for Spanning-Tree Construction

    Toshimitsu Masuzawa, Taisuke Izumi, Yoshiaki Katayama, Koichi Wada

    PRINCIPLES OF DISTRIBUTED SYSTEMS, PROCEEDINGS　Vol. 5923　p. 219-+　2009年　研究論文（国際会議プロシーディングス）

  96. A Generalized Multi-organization Scheduling on Unrelated Parallel Machines

    Fukuhito Ooshita, Tomoko Izumi, Taisuke Izumi

    2009 INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES (PDCAT 2009)　p. 26-+　2009年　研究論文（国際会議プロシーディングス）

  97. Oracle-Based Flocking of Mobile Robots in Crash-Recovery Model

    Samia Souissi, Taisuke Izumi, Koichi Wada

    STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS　Vol. 5873　p. 683-697　2009年　研究論文（国際会議プロシーディングス）

  98. Relationship between Approximability and Request Structures in the Minimum Certificate Dispersal Problem

    Tomoko Izumi, Taisuke Izumi, Hirotaka Ono, Koichi Wada

    COMPUTING AND COMBINATORICS, PROCEEDINGS　Vol. 5609　p. 56-+　2009年　研究論文（国際会議プロシーディングス）

  99. On Gathering Problem in a Ring for 2n autonomous Mobile Robots

    K.Haba, T.Izumi, Y.Katayama, N.Inuzuka, K.Wada

    10th International Symposimu on Stabilization, Safety, and Security fo Distributed Systems (SSS2008)　2008年11月　研究論文（国際会議プロシーディングス）

  100. An Efficient Index Dissemination in Unstructured Peer-to-Peer Networks

    高橋佑輔, 泉泰介, 角川裕次, 増澤利光

    IEICE Transactions on Information and Systems 電子情報通信学会　Vol. E91-D　No. 7　p. 1971-1981　2008年7月　研究論文（学術雑誌）

  101. Move-optimal Gossiping among Mobile Agents

    鈴木朋子, 泉泰介, 大下福仁, 角川裕次, 増澤利光

    Theoretical Computer Science Elsevier　Vol. 393　No. 1-3　p. 90-101　2008年3月　研究論文（学術雑誌）

  102. Construction of Loosely-Structured Overlay Using Bloom Filter.

    Yusuke Takahashi, Taisuke Izumi, Hirotsugu Kakugawa, Toshimitsu Masuzawa

    Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications(PDPTA)　p. 895-899　2008年　研究論文（国際会議プロシーディングス）

    出版者・発行元：CSREA Press

  103. Gathering problem of two asynchronous mobile robots with semi-dynamic compasses

    Nobuhiro Inuzuka, Yuichi Tomida, Taisuke Izumi, Yoshiaki Katayama, Koichi Wada

    STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY　Vol. 5058　p. 5-19　2008年　研究論文（国際会議プロシーディングス）

  104. Adaptive timeliness of consensus in presence of crash and timing faults

    Taisuke Izumi, Akinori Saitoh, Toshimitsu Masuzawa

    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING　Vol. 67　No. 6　p. 648-658　2007年6月　研究論文（学術雑誌）

  105. An adaptive randomized search protocol in peer-to-peer systems.

    Yu Wu, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa

    Proceedings of the 2007 ACM Symposium on Applied Computing (SAC)(SAC)　p. 533-537　2007年　研究論文（国際会議プロシーディングス）

    出版者・発行元：ACM

  106. Optimal moves for gossiping among mobile agents

    Tomoko Suzuki, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa

    STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY, PROCEEDINGS　Vol. 4474　p. 151-+　2007年　研究論文（国際会議プロシーディングス）

  107. On the probabilistic omission adversary

    Taisuke Izumi, Koichi Wada

    STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS　Vol. 4838　p. 357-+　2007年　研究論文（国際会議プロシーディングス）

  108. Gathering autonomous mobile robots with dynamic compasses: An optimal result

    Taisuke Izumi, Yoshiaki Katayama, Nobuhiro Inuzuka, Koichi Wada

    DISTRIBUTED COMPUTING, PROCEEDINGS　Vol. 4731　p. 298-+　2007年　研究論文（国際会議プロシーディングス）

  109. Self-adaptive mobile agent population control in dynamic networks based on the single species population model

    Tomoko Suzuki, Taisuke Izumi, Fukuhito Ooshita, Toshimitsu Masuzawa

    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS　Vol. E90D　No. 1　p. 314-324　2007年1月　研究論文（学術雑誌）

  110. A Weakly-Adaptive Condition-Based Consensus Algorithm in Asynchronous Distributed Systems

    泉泰介, 増沢利光

    Information Processing Letters Elsevier　Vol. 100　No. 5　p. 199-205　2006年12月　研究論文（学術雑誌）

  111. Condition adaptation in synchronous consensus

    Taisuke Izumi, Toshimitsu Masuzawa

    IEEE TRANSACTIONS ON COMPUTERS　Vol. 55　No. 7　p. 843-853　2006年7月　研究論文（学術雑誌）

  112. An interest-based peer clustering algorithm using ant paradigm

    Taisuke Izumi, Toshimitsu Masuzawa

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)　Vol. 3853　p. 379-386　2006年　研究論文（国際会議プロシーディングス）

  113. Bio-inspired replica density control in dynamic networks

    T Suzuki, T Izumi, F Ooshita, H Kakugawa, T Masuzawa

    BIOLOGICALLY INSPIRED APPROACHES TO ADVANCED INFORMATION TECHNOLOGY, PROCEEDINGS　Vol. 3853　p. 281-293　2006年　研究論文（学術雑誌）

  114. Brief announcement: An adaptive randomised searching protocol in peer-to-peer systems based on probabilistic weak quorum system

    Yu Wu, Taisuke Izumi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa

    STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS　Vol. 4280　p. 586-+　2006年　研究論文（国際会議プロシーディングス）

  115. An improved algorithm for adaptive condition-based consensus

    T Izumi, T Masuzawa

    STRUCTURAL INFORMATION AND COMMUNICATION COMPLEXITY, PROCEEDINGS　Vol. 3499　p. 170-184　2005年　研究論文（学術雑誌）

  116. Timed uniform atomic broadcast in presence of crash and timing faults

    T Izumi, T Masuzawa

    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS　Vol. E88D　No. 1　p. 72-81　2005年1月　研究論文（学術雑誌）

  117. Timed uniform consensus resilient to crash and timing faults

    T Izumi, A Saitoh, T Masuzawa

    2004 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS　p. 243-252　2004年　研究論文（国際会議プロシーディングス）

MISC 32

  1. 通信複雑性理論入門 - 基礎と情報理論からのアプローチ

    泉 泰介

    IEICE ESS Fundamentals Review　Vol. 10　No. 1　p. 46-56　2016年7月2日　記事・総説・解説・論説等（学術雑誌）

    出版者・発行元：電子情報通信学会

  2. On parallel complexity of MapReduce computation (コンピュテーション)

    和田 幸一, 泉 泰介

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報　Vol. 113　No. 50　p. 143-147　2013年5月17日

    出版者・発行元：一般社団法人電子情報通信学会

  3. MapReduce計算の並列複雑度について

    和田 幸一, 泉 泰介

    研究報告アルゴリズム（AL）　Vol. 2013　No. 22　p. 1-5　2013年5月10日

    出版者・発行元：一般社団法人情報処理学会

  4. 完全マッチング数え上げの高速な指数時間アルゴリズムについて (アルゴリズムと計算理論の新展開)

    泉 泰介, 和田山 正

    数理解析研究所講究録　Vol. 1799　p. 1-12　2012年6月

    出版者・発行元：京都大学

  5. On the complexity of minimum topic-connected overlay problems

    和田幸一, JurajHromkovic, 泉泰介, 小野廣隆, SteinovaMonika

    全国大会講演論文集　Vol. 2012　No. 1　p. 267-269　2012年3月6日

    出版者・発行元：一般社団法人情報処理学会

  6. 木ネットワークにおける証明書分散問題の近似可能性について

    泉泰介, 泉朋子, 小野廣隆, 和田幸一

    全国大会講演論文集　Vol. 2012　No. 1　p. 269-271　2012年3月6日

    出版者・発行元：一般社団法人情報処理学会

  7. 分割画像のグラフカットに基づく高速かつ省メモリな画像前景抽出

    柴 涼介, 泉 泰介, 和田 幸一

    電子情報通信学会論文誌. D, 情報・システム = The IEICE transactions on information and systems (Japanese edition)　Vol. 95　No. 3　p. 628-637　2012年3月1日

    出版者・発行元：一般社団法人電子情報通信学会

  8. 符号理論と完全マッチング計数問題の接点について (コンピュテーション)

    泉 泰介, 和田山 正

    電子情報通信学会技術研究報告 : 信学技報　Vol. 111　No. 360　p. 9-15　2011年12月16日

    出版者・発行元：一般社団法人電子情報通信学会

  9. Complexity of minimum certificate dispersal problem with tree structure (コンピュテーション)

    Izumi Taisuke, Izumi Tomoko, Ono Hirotaka, WADA Koichi

    電子情報通信学会技術研究報告. COMP, コンピュテーション　Vol. 111　No. 195　p. 15-22　2011年8月30日

    出版者・発行元：一般社団法人電子情報通信学会

  10. Complexity of Minimum Certificate Dispersal Problem with Tree Structure

    Taisuke Izumi, Tomoko Izumi, Hirotaka Ono, Koichi Wada

    研究報告アルゴリズム（AL）　Vol. 2011　No. 3　p. 1-8　2011年8月30日

  11. 局所グラフカットに基づく高速かつ省メモリな画像セグメンテーション

    柴 涼介, 泉 泰介, 和田 幸一

    研究報告コンピュータビジョンとイメージメディア（CVIM）　Vol. 2011　No. 22　p. 1-7　2011年5月12日

  12. MSTに基づくSVMパス追跡を用いた多重多変量2標本検定による遺伝子群解析に関する一考察

    石川 勇太, 磯部 浩太, 烏山 昌幸, 泉 泰介, 竹内 一郎

    電子情報通信学会技術研究報告. IBISML, 情報論的学習理論と機械学習 = IEICE technical report. IBISML, Information-based induction sciences and machine learning　Vol. 110　No. 265　p. 211-220　2010年10月28日

    出版者・発行元：一般社団法人電子情報通信学会

  13. Adaptive One-Step Byzantine Consensus (アルゴリズム(AL) Vol.2010-AL-128)

    BANU NAZREEN, IZUMI TAISUKE, WADA KOICHI

    情報処理学会研究報告　Vol. 2009　No. 5　p. 1-9　2010年2月

    出版者・発行元：情報処理学会

  14. 証明書分散問題の近似可能性について

    泉 朋子, 泉 泰介, 小野 廣隆, 和田 幸一

    研究報告アルゴリズム（AL）　Vol. 2009　No. 18　p. 49-56　2009年2月26日

    出版者・発行元：一般社団法人情報処理学会

  15. Population protocolにおけるオラクルをもたない自己安定リーダー選挙問題の可解性に関して

    Shukai Cai, 泉 泰介, 和田 幸一

    情報処理学会研究報告アルゴリズム（AL）　Vol. 2008　No. 108　p. 25-32　2008年10月31日

    出版者・発行元：一般社団法人情報処理学会

  16. 4台の自律分散ロボット群による正方形形成について

    橋本 圭太, 泉 泰介, 片山 喜章, 犬塚 信博, 和田 幸一

    電子情報通信学会技術研究報告. COMP, コンピュテーション　Vol. 108　No. 206　p. 55-62　2008年9月4日

    出版者・発行元：一般社団法人電子情報通信学会

  17. 観測に一様な誤差を生じるモデルでの自律分散ロボット群の一点収束について

    山本 健太, 泉 泰介, 片山 喜章, 犬塚 信博, 和田 幸一

    電子情報通信学会技術研究報告. COMP, コンピュテーション　Vol. 108　No. 206　p. 39-45　2008年9月4日

    出版者・発行元：一般社団法人電子情報通信学会

  18. 極大クリーク分割に基づく自己安定クラスタリングアルゴリズム

    西村 弘志, 泉 泰介, 片山 喜章, 和田 幸一

    情報処理学会研究報告アルゴリズム（AL）　Vol. 2008　No. 24　p. 1-8　2008年3月7日

    出版者・発行元：一般社団法人情報処理学会

  19. 動的コンパスを持つロボット群の一点集合問題に対する許容変化量最適なアルゴリズム

    泉 泰介, 片山 喜章, 犬塚 信博, 和田 幸一

    電子情報通信学会技術研究報告. COMP, コンピュテーション　Vol. 107　No. 127　p. 71-78　2007年6月29日

    出版者・発行元：一般社団法人電子情報通信学会

  20. 故障したコンパスを持つ二台の自律分散ロボットに対する一点集合問題の可解性について

    冨田 祐一, 泉 泰介, 片山 喜章, 犬塚 信博, 和田 幸一

    情報処理学会研究報告アルゴリズム（AL）　Vol. 2007　No. 23　p. 1-8　2007年3月9日

    出版者・発行元：一般社団法人情報処理学会

  21. モバイルエージェント間ゴシップの移動計算量について

    鈴木 朋子, 泉 泰介, 大下 福仁, 角川 裕次, 増澤 利光

    電子情報通信学会技術研究報告. COMP, コンピュテーション　Vol. 106　No. 566　p. 29-36　2007年3月5日

    出版者・発行元：一般社団法人電子情報通信学会

  22. P2Pネットワークにおける決定性減衰型ブルームフィルタの提案と検索効率の評価

    高橋 佑典, 泉 泰介, 増澤 利光

    電子情報通信学会技術研究報告. NS, ネットワークシステム　Vol. 106　No. 355　p. 55-60　2006年11月9日

    出版者・発行元：一般社団法人電子情報通信学会

  23. 分散データ構造スキップグラフの探索頻度偏りを考慮した拡張について

    原口 高裕, 泉 泰介, 角川裕次, 増澤 利光

    情報処理学会研究報告アルゴリズム（AL）　Vol. 2006　No. 30　p. 33-40　2006年3月17日

    出版者・発行元：一般社団法人情報処理学会

  24. 動的ネットワ一クにおける生態系パラダイムに基づく静的資源数制御

    鈴木 朋子, 泉 泰介, 大下福仁, 角川裕次, 増澤 利光

    情報処理学会研究報告アルゴリズム（AL）　Vol. 2005　No. 91　p. 51-58　2005年9月16日

    出版者・発行元：一般社団法人情報処理学会

  25. A Weakly-Adaptive Condition-Based Consensus Algorithm in Asynchronous Distributed Systems

    泉 泰介, 増澤 利光

    電子情報通信学会技術研究報告　Vol. 105　No. 273　p. 43-48　2005年9月15日

    出版者・発行元：一般社団法人電子情報通信学会

  26. 1ステップ分散合意問題の可解性について(ディペンダブルソフトウェアとネットワーク及び一般)

    泉 泰介, 増澤 利光

    電子情報通信学会技術研究報告. DC, ディペンダブルコンピューティング　Vol. 105　No. 123　p. 7-12　2005年6月10日

    出版者・発行元：一般社団法人電子情報通信学会

  27. 動的ネットワークにおける生態系パラダイムに基づく モバイルエージェント数制御

    鈴木 朋子, 泉 泰介, 大下 福仁, 増澤 利光

    情報処理学会研究報告数理モデル化と問題解決（MPS）　Vol. 2004　No. 130　p. 65-68　2004年12月21日

    出版者・発行元：一般社団法人情報処理学会

  28. Synchronous Condition-Based Consensus Algorithm Adapting to Input-Vector Legality

    泉 泰介, 増澤 利光

    電子情報通信学会技術研究報告. COMP, コンピュテーション　Vol. 104　No. 317　p. 41-48　2004年9月10日

    出版者・発行元：一般社団法人電子情報通信学会

  29. プロセスの出現・消滅に対応したコーザルブロードキャスト

    野田 佳邦, 泉 泰介, 増澤 利光

    情報処理学会研究報告アルゴリズム（AL）　Vol. 2004　No. 10　p. 41-48　2004年1月30日

    出版者・発行元：一般社団法人情報処理学会

  30. Ant-based approach to mobile agent traversal

    T Izumi, T Masuzawa

    BIOLOGICALLY INSPIRED APPROACHES TO ADVANCED INFORMATION TECHNOLOGY　Vol. 3141　p. 350-363　2004年

  31. Timed Atomic Broadcast Resiliet to Multiple Timing Faults

    Taisuke Izumi, Akinori Saitoh, Toshimitsu Masuzawa

    情報処理学会研究報告アルゴリズム（AL）　Vol. 2003　No. 92　p. 35-42　2003年9月19日

    出版者・発行元：一般社団法人情報処理学会

  32. タイミング故障および停止故障に対する故障耐性を有するアトミックブロードキャスト

    泉 泰介, 齊藤 明紀, 増澤 利光

    電子情報通信学会技術研究報告. COMP, コンピュテーション　Vol. 102　No. 593　p. 21-28　2003年1月17日

    出版者・発行元：一般社団法人電子情報通信学会

講演・口頭発表等 40

  1. 革新的アルゴリズム基盤の構築に向けて：研究成果と今後の展望

    泉 泰介

    情報処理学会 第87回全国大会　2025年3月13日

  2. 情報通信科学のグランドチャレンジ

    泉 泰介

    情報処理学会 第87回全国大会　2025年3月14日

  3. 2者PSMプロトコルに対する通信複雑性下界の向上

    泉 泰介

    IMIワークショップ 「情報・計算・暗号の融合による新しい数理基盤の創出」　2024年9月25日

  4. On computational power of mobile agents in node storage model

    泉 泰介

    Research Meeting and School on Distributed Computing by Mobile Robots　2023年12月9日

  5. 耐故障連結性ラベリングに対する決定性多項式時間アルゴリズム

    泉 泰介

    シンポジウム「革新的アルゴリズム基盤の構築に向けて」第84回情報処理学会全国大会　2022年3月3日

  6. Information-Theoretic Approach for Lower Bounds in Resource-Bounded Computation

    Taisuke Izumi

    9th International Workshop on Parallel and Distributed Algorithms and Applications　2017年11月20日

  7. Fast Aggregation in Population Protocols

    Ryota Eguchi, Taisuke Izumi

    International Symposium on Distributed Computing　2017年10月16日

  8. ネットワーク上の分散グラフアルゴリズムと最適化

    泉 泰介

    RIMS組み合わせ最適化セミナー　2017年7月27日

  9. Triangle Findings and Listing in CONGEST Networks

    Taisuke Izumi, Francois Le Gall

    ACM Symposium on Principles of Distributed Computing　2017年7月25日

  10. Low-Congestion Shortcut and Graph Classes

    Taisuke Izumi

    Workshop on Advanced Distributed Algorithms　2016年11月22日

  11. Low-Congestion Shortcut and Graph Classes

    Taisuke Izumi

    Workshop on Advanced Distributed Algorithms　2016年11月22日

  12. Near-Optimal Low-Congestion Shortcuts on Bounded Parameter Graphs

    Bernhard Haeupler, Taisuke Izumi, Goran Zuzic

    International Symposium on Distributed Computing　2016年9月27日

  13. Toward Time-Optimal Gathering for Mobile Robots with Limited Visibility

    Taisuke Izumi

    6th Research Meeting on Distributed Computing by Mobile Robots (2016.9)　2016年9月26日

  14. Uniform Distribution of Pachinko

    Naoki Kitamura, Yuya Kawabata, Taisuke Izumi

    Japan Conference on Discrete and Computational Geometry, Graphs, and Games　2016年9月2日

  15. Low-Congestion Shortcut without Embedding

    Bernhard Haeupler, Taisuke Izumi, Goran Zuzic

    ACM Symposium on Principles of Distributed Computing　2016年7月26日

  16. Listing Center Strings Under the Edit Distance Metric

    Hiromitsu Maji, Taisuke Izumi

    9th International Conference on Combinatorial Optimization and Applications, COCOA 2015　2015年12月18日

  17. 通信複雑性入門

    泉 泰介

    電子情報通信学会情報理論研究会　2015年11月24日

  18. Local Algorithms for Mobile Robots: From Solvability to Complexity

    Taisuke Izumi

    DISC Workshop on Distributed Robotic Swarms　2015年10月5日

  19. Local Algorithms for Mobile Robots: From Solvability to Complexity

    Taisuke Izumi

    DISC Workshop on Distributed Robotic Swarms　2015年10月5日

  20. On Space and Time Complexity of Loosely-Stabilizing Leader Election

    Taisuke Izumi

    22st International Colloquium on Structural Information and Communication Complexity (SIROCCO)　2015年7月14日

  21. Bitwise MAP estimation for group testing based on holographic transformation

    Tadashi Wadayama, Taisuke Izumi, Kazushi Mimura

    IEEE International Symposium on Information Theory, ISIT 2015　2015年6月14日

  22. Subgraph domatic problem and writing capacity of memory devices with restricted state transitions

    Tadashi Wadayama, Taisuke Izumi, Kazushi Mimura

    IEEE International Symposium on Information Theory, ISIT 2015　2015年6月14日

  23. Filling Logarithmic Gaps in Distributed Complexity for Global Problems

    Hiroaki Ookawa, Taisuke Izumi

    41st International Conference on Current Trends in Theory and Practice of Computer Science　2015年1月24日

  24. Time Lower Bounds for Distributed Distance Oracles

    Taisuke Izumi, Roger Wattenhofer

    The 18th International Conference on Principles of Distributed Systems　2014年12月16日

  25. Depth-First Search Using O(n) bits

    Tetsuo Asano, Taisuke Izumi, Masashi Kiyomi, Matsuo Konagaya, Hirotaka Ono, Yota Otachi, Pascal Schweitzer, Jun Tarui, Ryuhei Uehara

    he 25th International Symposium on Algorithms and Computation (ISAAC)　2014年12月15日

  26. On the Worst-Case Initial Configuration for Conservative Connectivity Preservation

    Daichi Kaino, Taisuke Izumi

    SRDS Workshop on Self-organization in Swarm of Robots(WSSR)　2014年10月6日

  27. Randomized Lower Bound for Distributed Spanning-Tree Verification

    Taisuke Izumi

    21st International Colloquium on Structural Information and Communication Complexity　2014年7月23日

  28. 直径計算の分散近似に対する時間複雑さ

    泉 泰介, Roger Wattenhofer

    電子情報通信学会コンピュテーション研究会　2014年3月10日

  29. Enumerating All Maximal Cliques in Unit Disk Graphs

    Daisuke Suzuki, Taisuke Izumi

    40th International Conference on Current Trends in Theory and Practice of Computer Science　2014年1月25日

  30. Scalable Estimation of Network Average Degree

    Taisuke Izumi, Hironobu Kanzak

    15th International Symposium on Stabilization, Safety, and Security of Distributed Systems　2013年11月13日

  31. A New Direction for Counting Perfect Matchings

    Taisuke Izumi, Wadayama Tadashi

    53rd Annual IEEE Symposium on Foundations of Computer Science　2012年10月20日

  32. A New Direction for Counting Perfect Matchings

    泉 泰介, 和田山 正

    電子情報通信学会コンピュテーション研究会　2012年9月3日

  33. 完全ネットワーク上で最小生成木問題を解く新しい分散アルゴリズム

    Taisuke Izumi, Tomoko Izumi

    2012年夏のLAシンポジウム　2012年7月17日

  34. Minimum Certificate Dispersal with Tree Structure

    Taisuke Izumi, Tomoko Izumi, Hirotaka Ono, Koichi Wada

    Minimum Certificate Dispersal with Tree Structure　2012年5月16日

  35. 完全マッチング数え上げの高速な指数時間アルゴリズムについて

    泉 泰介, 和田山 正

    2011年冬のLAシンポジウム　2012年1月30日

  36. 符号理論と完全マッチング計数問題の接点について

    泉 泰介, 和田山 正

    電子情報通信学会コンピュテーション研究会　2011年12月16日

  37. The BG-simulation for Byzantine Mobile Robots

    Taisuke Izumi, Zohir Bouzid, Sébastien Tixeuil, Koichi Wada

    25th International Symposium on Distributed Computing(DISC)　2011年9月20日

  38. Physical Expander in Virtual Tree Overlay

    Taisuke Izumi, Maria Gradinariu Potop-Butucaru, Mathieu Valero

    25th International Symposium on Distributed Computing(DISC)　2011年9月20日

  39. On the Approximability of Minimum Topic Connected Overlay and Its Special Instances

    Jun Hosoda, Juraj Hromkovic, Taisuke Izumi, Hirotaka Ono, Monika Steinová, Koichi Wada

    36th International Symposium on Mathematical Foundations of Computer Science(MFCS)　2011年8月22日

  40. 実レイヤーがエキスパンダー構造を持つ木オーバーレイの構成

    泉泰介, Maria Gradinariu Potop-Butucaru, Mathieu Valero

    2011年夏のLAシンポジウム　2011年7月19日

作品 28

  1. OPODIS2018プログラム委員

    2018年4月 ～ 2018年12月

  2. PDAA2018プログラム委員

    2018年4月 ～ 2018年11月

  3. SSS2018プログラム委員長

    2018年1月 ～ 2018年11月

  4. SIROCCO2018プログラム委員

    2018年1月 ～ 2018年7月

  5. LATIN2018プログラム委員

    2017年8月 ～ 2018年4月

  6. OPODIS2017プログラム委員

    2017年4月 ～ 2017年12月

  7. ISAAC2017プログラム委員

    2017年4月 ～ 2017年12月

  8. PDAA2017プログラム委員

    2017年4月 ～ 2017年11月

  9. SSS2017プログラム委員

    2017年1月 ～ 2017年11月

  10. ICDCN2016プログラム委員

    2016年5月 ～ 2017年1月

  11. OPODIS2015プログラム委員

    2015年6月 ～ 2016年12月

  12. PDAA2016プログラム委員

    2016年4月 ～ 2016年11月

  13. SSS2016プログラム委員

    2016年1月 ～ 2016年10月

  14. ISAAC2015実行委員

    2014年8月 ～ 2015年12月

  15. PDAA2015プログラム委員

    2015年4月 ～ 2015年11月

  16. SRDS2015プログラム委員

    2015年1月 ～ 2015年10月

  17. DISC2015プログラム委員

    2014年11月 ～ 2015年10月

  18. SSS2015プログラム委員

    2015年1月 ～ 2015年8月

  19. SIROCCO2015プログラム委員

    2015年1月 ～ 2015年7月

  20. SOFSEM2015プログラム委員

    2014年5月 ～ 2015年1月

  21. SRDS2014プログラム委員

    2014年1月 ～ 2014年10月

  22. SSS2014プログラム委員

    2014年1月 ～ 2014年9月

  23. SIROCCO2014開催委員長

    2013年7月 ～ 2014年7月

  24. SSS2013 実行委員

    2013年3月 ～ 2013年11月

  25. ALGOSENSOR2013 プログラム委員

    2013年2月 ～ 2013年9月

  26. PDAA2012 プログラム委員

    2012年8月 ～ 2012年12月

  27. SSS2012 プログラム委員

    2012年4月 ～ 2012年11月

  28. SIROCCO2011プログラム委員

    2011年2月 ～ 2011年6月

機関リポジトリ 2

大阪大学の学術機関リポジトリ（OUKA）に掲載されているコンテンツ

  1. Deterministic fault-tolerant connectivity labeling scheme

    Izumi Taisuke, Emek Yuval, Wadayama Tadashi, Masuzawa Toshimitsu

    Distributed Computing　Vol. 38　No. 1　p. 31-50　2024年11月4日

  2. 分散合意問題に対する先進的アプローチに関する研究

    泉 泰介