増澤利光 (Toshimitsu Masuzawa) - マイポータル

基本情報

所属: 大阪大学情報科学研究科コンピュータサイエンス専攻教授

学位: 工学博士(大阪大学)
工学修士(大阪大学)

J-GLOBAL ID: 200901031264554293
researchmap会員ID: 1000030147

研究キーワード

研究分野

経歴

2000年 - 2002年

大阪大学大学院基礎工学研究科教授
2002年

- 大阪大学大学院情報科学研究科教授
1994年 - 2000年

奈良先端科学技術大学院大学情報科学研究科助教授
1994年 - 2000年

奈良先端科学技術大学院大学
1992年 - 1994年

大阪大学基礎工学部助教授
1992年 - 1994年

大阪大学
1991年 - 1992年

大阪大学基礎工学部講師
1991年 - 1992年

大阪大学
1990年 - 1991年

大阪大学基礎工学部助手
1987年 - 1991年

Osaka University, Research Assistant
1987年 - 1990年

大阪大学情報処理教育センター助手

学歴

受賞

論文

156

Deterministic fault-tolerant connectivity labeling scheme

Taisuke Izumi, Yuval Emek, Tadashi Wadayama, Toshimitsu Masuzawa

Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing 190-199 2023年6月16日査読有り最終著者
A Near Time-optimal Population Protocol for Self-stabilizing Leader Election on Rings with a Poly-logarithmic Number of States

Daisuke Yokota, Yuichi Sudo, Fukuhito Ooshita, Toshimitsu Masuzawa

Proceedings of the 2023 ACM Symposium on Principles of Distributed Computing 2023年6月16日査読有り最終著者
Atomic cross-chain swaps with improved space, time and local time complexities

Soichiro Imoto, Yuichi Sudo, Hirotsugu Kakugawa, Toshimitsu Masuzawa

Information and Computation 292 1-11 2023年6月査読有り最終著者
Near-linear Time Dispersion of Mobile Agents.

Yuichi Sudo, Masahiro Shibata, Junya Nakamura 0001, Yonghwan Kim 0001, Toshimitsu Masuzawa

CoRR abs/2310.04376 2023年
A Self-Stabilizing Distributed Algorithm for the Generalized Dominating Set Problem With Safe Convergence

Hisaki Kobayashi, Yuichi Sudo, Hirotsugu Kakugawa, Toshimitsu Masuzawa

COMPUTER JOURNAL 2023年1月査読有り
Gathering of mobile robots with defected views

Yonghwan Kim, Masahiro Shibata, Yuichi Sudo, Junya Nakamura, Yoshiaki Katayama, Toshimitsu Masuzawa

Proceedings of the 26th International Conference on Principles of Distributed Systems (OPODIS 2022) 14:1-14:18 2022年12月査読有り最終著者
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 11:1-11:18 2022年12月査読有り
Invited Paper:: One Bit Agent Memory is Enough for Snap-Stabilizing Perpetual Exploration of Cactus Graphs with Distinguishable Cycles

Kohei Shimoyama, Yuichi Sudo, Hirotsugu Kakugawa, Toshimitsu Masuzawa

Proceedings of the 24th International Symposium on Stabilization, Safety, and Security of Distributed Systems 19-34 2022年11月9日査読有り最終著者
Brief Announcement: Gathering Despite Defected View

Yonghwan Kim, Masahiro Shibata, Yuichi Sudo, Junya Nakamura, Yoshiaki Katayama, Toshimitsu Masuzawa

Proceedings of the 36th International Symposium on Distributed Computing (DISC 2022) 46:1-46:3 2022年10月査読有り最終著者
Gathering Despite Defected View.

Yonghwan Kim 0001, Masahiro Shibata, Yuichi Sudo, Junya Nakamura 0001, Yoshiaki Katayama, Toshimitsu Masuzawa

CoRR abs/2208.08159 2022年
Time-Optimal Self-Stabilizing Leader Election on Rings in Population Protocols

Daisuke YOKOTA, Yuichi SUDO, Toshimitsu MASUZAWA

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E104.A(12) 1675-1684 2021年12月1日査読有り最終著者
Exploration of dynamic networks: Tight bounds on the number of agents

Tsuyoshi Gotoh, Paola Flocchini, Toshimitsu Masuzawa, Nicola Santoro

Journal of Computer and System Sciences 122 1-18 2021年12月査読有り
Self-Stabilizing Population Protocols With Global Knowledge

Yuichi Sudo, Masahiro Shibata, Junya Nakamura, Yonghwan Kim, Toshimitsu Masuzawa

IEEE Transactions on Parallel and Distributed Systems 32(12) 3011-3023 2021年12月1日査読有り最終著者
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) 335-349 2021年11月査読有り最終著者
Time-optimal loosely-stabilizing leader election in population protocols

Yuichi Sudo, Ryota Eguchi, Taisuke Izumi, Toshimitsu Masuzawa

Proceedings of the 35th International Symposium on Distributed Computing (DISC) 40:1-40:17 2021年10月査読有り最終著者
A cooperative partial snapshot algorithm for checkpoint‐rollback recovery of large‐scale and dynamic distributed systems and experimental evaluations

Junya Nakamura, Yonghwan Kim, Yoshiaki Katayama, Toshimitsu Masuzawa

Concurrency and Computation: Practice and Experience 33(12) 2021年6月25日査読有り最終著者
A self‐stabilizing algorithm for constructing a maximal ( σ , τ )‐directed acyclic mixed graph

Yonghwan Kim, Yoshiaki Katayama, Toshimitsu Masuzawa

Concurrency and Computation: Practice and Experience 33(12) 2021年6月25日査読有り最終著者
A self-stabilizing algorithm for constructing a minimal reachable directed acyclic graph with two senders and two targets

Yonghwan Kim, Masahiro Shibata, Yuichi Sudo, Junya Nakamura, Yoshiaki Katayama, Toshimitsu Masuzawa

Theoretical Computer Science 874 1-14 2021年5月査読有り最終著者
A New Problem Setting for Mobile Robots Based on Backscatter-Based Communication and Sensing.

Teruo Higashino, Akira Uchiyama, Hirozumi Yamaguchi, Shunsuke Saruwatari, Takashi Watanabe, Toshimitsu Masuzawa

Stabilization, Safety, and Security of Distributed Systems - 23rd International Symposium(SSS) 141-153 2021年招待有り
A Self-stabilizing 1-maximal Independent Set Algorithm

Hideyuki Tanaka, Yuichi Sudo, Hirotsugu Kakugawa, Toshimitsu Masuzawa, Ajoy K. Datta

Journal of Information Processing 29 247-255 2021年査読有り招待有り

もっとみる

MISC

557

The Power of Global Knowledge on Self-stabilizing Population Protocols

Yuichi Sudo, Masahiro Shibata, Junya Nakamura, Yonghwan Kim, Toshimitsu Masuzawa

arXiv 237-254 2020年7月最終著者
Exploration of dynamic tori by mobile agents (コンピュテーション)

五島剛, 首藤裕一, 大下福仁, 角川裕次, 増澤利光

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 117(269) 37-44 2017年10月27日
単方向リングにおいて部分集合問題を解決する匿名エージェント乱択アルゴリズム (コンピュテーション)

河田倫和, 柴田将拡, 首藤裕一, 大下福仁, 角川裕次, 増澤利光

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 117(269) 29-36 2017年10月27日
A generalization of the minimal dominating set problem and its self-stabilizing algorithm (コンピュテーション)

小林永樹, 角川裕次, 増澤利光

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 117(176) 25-32 2017年8月18日
リンクの追加・削除が連続的に生じる動的ネットワークにおけるGrundyノード彩色アルゴリズム

井本宗一郎, 角川裕次, 増澤利光

情報処理学会関西支部支部大会講演論文集 5p 2017年
Move-efficient fault-tolerant simulation of message-passing algorithms by mobile agents

Gotoh Tsuyoshi, Ooshita Fukuhito, Kakugawa Hirotsugu, Masuzawa Toshimitsu

情報処理学会関西支部支部大会講演論文集 6p 2017年
A synchronous self-stabilizing algorithm for the minimal generalized domination in arbitrary networks

Kobayashi Hisaki, Kakugawa Hirotsugu, Masuzawa Toshimitsu

情報処理学会関西支部支部大会講演論文集 6p 2017年
通信効率のよい全域木構成自己安定アルゴリズムのトポロジ変化に対する出力安定性の実現

北口峻行, 角川裕次, 増澤利光

情報処理学会関西支部支部大会講演論文集 8p 2017年
A Loosely-Stabilizing Population Protocol for Maximal Independent Set (情報セキュリティ)

清洲星顕, 首藤祐一, 角川裕次, 増澤利光

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 116(380) 43-49 2016年12月21日
A Loosely-Stabilizing Population Protocol for Maximal Independent Set (コンピュテーション)

清洲星顕, 首藤祐一, 角川裕次, 増澤利光

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 116(381) 43-49 2016年12月21日
辺数が少ない連結全域部分グラフを求める局所分散アルゴリズム (コンピュテーション)

小林永樹, 角川裕次, 増澤利光

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 116(17) 9-13 2016年4月22日
TK-10-5 博士リーダーの育成 : 博士課程教育リーディングプログラム「ヒューマンウェアイノベーション」紹介(TK-10.教育の改革に向けて,大会委員会企画)

増澤利光

電子情報通信学会総合大会講演論文集 2016(1) "SSS-94"-"SSS-97" 2016年3月1日
Algorithms for Group Gossiping of Mobile Agents (コンピュテーション)

李絢, 柴田将拡, 大下福仁, 角川裕次, 増澤利光

電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 114(199) 61-68 2014年9月2日
B-16-8 ウェブブラウザ上で動作するPeer-to-peer型MapReduceフレームワーク(B-16.インターネットアーキテクチャ,一般セッション)

中川路克之, 大下福仁, 角川裕次, 増澤利光

電子情報通信学会総合大会講演論文集 2014(2) 560-560 2014年3月4日
A method of Parallelizing Consensuses for Accelerating Byzantine Fault Tolerance (WTCS)

Junya Nakamura, Tadashi Araragi, Toshimitsu Masuzawa, Shigeru Masuyama

第8回情報科学ワークショップ予稿集 1-10 2012年9月
高可用性Hadoopシステム実現のためのNameNode分散化

金鎔煥, 中村純哉, 櫟粛之, 増澤利光

第8回情報科学ワークショップ予稿集 11-14 2012年9月
匿名単方向リングネットワークにおけるモバイルエージェント集合問題に対する乱択アルゴリズム

川合慎治, 大下福仁, 角川裕次, 増澤利光

電子情報通信学会技術研究報告. COMP, コンピュテーション 111(494) 45-52 2012年3月9日
利己的なクラスタで構成される異種計算グリッドでの負荷分散スケジューリング

岡崎祐也, 大下福仁, 角川裕次, 増澤利光

平成23年度情報処理学会関西支部支部大会講演論文集 2011 2011年9月22日
Experimental Evaluations of A Concurrent Partial Snapshot Algorithm for Large-Scale and Dynamic Distributed Systems

Yonghwan Kim, Tadashi Araragi, Junya Nakamura, Toshimitsu Masuzawa

第7回情報科学ワークショップ予稿集 64-68 2011年9月
移動センサの一様充填問題に対する分散解法の提案

和田悦朗, 大下福仁, 角川裕次, 増澤利光

第73回全国大会講演論文集 2011(1) 331-332 2011年3月2日

もっとみる

書籍等出版物

Stabilization, Safety, and Security of Distributed Systems

Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzazwa, Maria Potop-Butucaru, Masafumi Yamashita

Springer-Verlag 2013年11月
Principles of Distributed Systems

Chenyang Lu, Toshimitsu Masuzazwa, Mohamed Mosbah

Springer-Verlag 2010年12月
適応的分散アルゴリズム

増澤利光, 山下雅史 (担当:共著)

共立出版 2010年6月 (ISBN: 9784320122512)
Stabilization, Safety, and Security of Distributed Systems

Toshimitsu Masuzazwa, Sebastien Tixeuil

Springer-Verlag 2007年11月
Biologically Inspired Approaches to Advanced Information Technology

Auke Jan Ijspeert, Toshimitsu Masuzawa, Shinji Kusumoto

Springer-Verlag 2006年1月
計算困難問題に対するアルゴリズム理論

和田幸一, 増澤利光, 元木光雄 (担当:共訳)

シュプリリンガー・フェアラーク東京 2005年12月
アルゴリズム論

浅野哲夫, 和田幸一, 増澤利光 (担当:共著)

オーム社 2003年7月
アルゴリズム工学計算困難問題への挑戦

茨木俊秀, 渡邊敏正, 加藤直樹, 岩田覚, 今井浩, 松井知己, 増澤利光他 (担当:共著)

共立出版 2001年6月

所属学協会

Works(作品等)

もっとみる

共同研究・競争的資金等の研究課題

現実的な入力に対して自己最適化する分散グラフアルゴリズムの設計技法

日本学術振興会科学研究費助成事業基盤研究(B) 2022年4月 - 2027年3月

泉泰介, 増澤利光, 金鎔煥, 江口僚太
予測困難な動的環境における自律移動エンティティを活用した持続可能な分散システム

日本学術振興会科学研究費助成事業国際共同研究加速基金(国際共同研究強化(B)) 国際共同研究加速基金(国際共同研究強化(B)) 2020年10月 - 2025年3月

増澤利光, 片山喜章, 金鎔煥, 中村純哉, 首藤裕一, 柴田将拡
分散ソフトウェアのクリティカルな実行経過を自動導出する機械学習的アプローチ

日本学術振興会科学研究費助成事業挑戦的研究(萌芽) 2021年7月 - 2024年3月

増澤利光, 泉泰介
障害から超高速に自律復旧するナノスケールネットワークの設計

日本学術振興会科学研究費助成事業基盤研究(B) 2020年4月 - 2024年3月

首藤裕一, 大下福仁, 泉泰介, 増澤利光
情報の不確かさに着目した大規模動的分散システムの新たな理論的基盤とその応用

日本学術振興会科学研究費助成事業基盤研究(B) 基盤研究(B) 2019年4月 - 2023年3月

増澤利光, 首藤裕一, 角川裕次
外乱に対して安定な分散アルゴリズムの相互作用パターン

日本学術振興会科学研究費助成事業基盤研究(C) 基盤研究(C) 2019年4月 - 2023年3月

角川裕次, 増澤利光, 首藤裕一
ハイブリッド動的ネットワークにおける分散アルゴリズムに関する研究

日本学術振興会科学研究費助成事業挑戦的研究(萌芽) 挑戦的研究(萌芽) 2017年6月 - 2020年3月

増澤利光, 角川裕次, 首藤裕一
分散ネットワークにおけるプロセス相互作用の解明

日本学術振興会科学研究費助成事業基盤研究(C) 基盤研究(C) 2016年4月 - 2019年3月

角川裕次, 増澤利光, 亀井清華
多様なダイナミクスを有する環境で持続・成長可能な自律適応的分散システムの研究

日本学術振興会科学研究費助成事業基盤研究(B) 基盤研究(B) 2014年4月 - 2018年3月

増澤利光, 角川裕次, 大下福仁
様々な計算環境の統合利用を実現するモバイルエージェントシステムの研究

日本学術振興会科学研究費助成事業基盤研究(C) 基盤研究(C) 2014年4月 - 2018年3月

大下福仁, 増澤利光, 角川裕次
分散システムにおけるプロセス間相互作用と故障耐性の研究

日本学術振興会科学研究費助成事業基盤研究(C) 基盤研究(C) 2012年4月 - 2016年3月

角川裕次, 増澤利光, 大下福仁
ダイナミクスを有する超大規模分散システムのためのメゾスコピック設計・解析手法

日本学術振興会科学研究費助成事業挑戦的萌芽研究挑戦的萌芽研究 2012年4月 - 2015年3月

増澤利光, 角川裕次, 大下福仁
断続的ダイナミクスを有する分散システムのエネルギー効率にすぐれた安定化手法の確立

日本学術振興会科学研究費助成事業基盤研究(B) 基盤研究(B) 2010年4月 - 2014年3月

増澤利光, 角川裕次, 大下福仁, 大下福仁
動的ネットワークにおけるSelf-*分散アルゴリズム設計手法の研究

日本学術振興会科学研究費助成事業基盤研究(B) 基盤研究(B) 2008年 - 2011年

角川裕次, 増澤利光, 大下福仁, 亀井清華
連続的不安定なネットワーク環境において安定動作する分散システムの実現に関する研究

日本学術振興会科学研究費助成事業基盤研究(B) 基盤研究(B) 2007年 - 2010年

増澤利光, 角川裕次, 大下福仁
ネットワーク問題のモデル化とアルゴリズムの研究

日本学術振興会科学研究費助成事業特定領域研究特定領域研究 2004年 - 2007年

伊藤大雄, 岩間一雄, 増澤利光, 宮崎修一, 堀山貴史
計算機科学における離散と連続に関する調査と新しい展開

日本学術振興会科学研究費助成事業基盤研究(C) 基盤研究(C) 2006年 - 2006年

山下雅史, 萩谷昌巳, 上田和紀, 渡辺治, 山村雅幸, 増澤利光
モバイルネットワークにおけるディペンダブル分散ソフトウェア設計法に関する研究

日本学術振興会科学研究費助成事業基盤研究(B) 基盤研究(B) 2003年 - 2006年

増澤利光, 齊藤明紀, 桝田秀夫, 大下福仁, 角川裕次
新しい教育用言語の開発

日本学術振興会科学研究費助成事業基盤研究(B) 2002年 - 2003年

都倉信樹, 永井孝幸, 長瀧寛之, 松前進, 齊藤明紀, 増澤利光
分散システムにおける自己安定共有オブジェクトの実現とその応用に関する研究

日本学術振興会科学研究費助成事業基盤研究(C) 基盤研究(C) 2000年 - 2002年

増澤利光

もっとみる

増澤利光

基本情報

研究キーワード

研究分野

経歴

学歴

受賞

論文

MISC

書籍等出版物

所属学協会

Works(作品等)

共同研究・競争的資金等の研究課題

メニュー

共著者の一覧