九州大学-研究者情報 [山内由紀子 (教授) システム情報科学研究院情報学部門]

1.	Keisuke Doi, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita, Search by a Metamorphic Robotic System in a Finite 2D Square Grid, Information and Computation Journal, https://doi.org/10.1016/j.ic.2021.104695, Vol. 285, 104695, 2022.05.
2.	Zhiqiang Liu, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita, Team assembling problem for asynchronous heterogeneous mobile robots, Theoretical Computer Science, 10.1016/j.tcs.2018.01.009, 721, 27-41, 2018.04, [URL].
3.	Yukiko Yamauchi, Taichi Uehara, Shuji Kijima, Masafumi Yamashita, Plane Formation by Synchronous Mobile Robots in the Three Dimensional Euclidean Space, Journal of the ACM, 10.1145/3060272, 64, 3, 16:1-16:43, 2017.06, Creating a swarm of mobile computing entities, frequently called robots, agents, or sensor nodes, with self-organization ability is a contemporary challenge in distributed computing. Motivated by this, we investigate the plane formation problem that requires a swarm of robots moving in the three-dimensional Euclidean space to land on a common plane. The robots are fully synchronous and endowed with visual perception. But they do not have identifiers, nor access to the global coordinate system, nor any means of explicit communication with each other. Though there are plenty of results on the agreement problem for robots in the two-dimensional plane, for example, the point formation problem, the pattern formation problem, and so on, this is the first result for robots in the three-dimensional space. This article presents a necessary and sufficient condition for fully synchronous robots to solve the plane formation problem that does not depend on obliviousness, i.e., the availability of local memory at robots. An implication of the result is somewhat counter-intuitive: The robots cannot form a plane from most of the semi-regular polyhedra, while they can form a plane from every regular polyhedron (except a regular icosahedron), whose symmetry is usually considered to be higher than any semi-regular polyhedron..
4.	Yukiko Yamauchi, A survey on pattern formation of autonomous mobile robots: asynchrony, obliviousness and visibility, Journal of Physics: Conference Series, 473, 012016, 2013.12.
5.	Hirotsugu Kakugawa, Yukiko Yamauchi, Sayaka Kamei, Toshimitsu Masuzawa, Observations on non-silent self-stabilizing algorithms in sensor networks with probabilistically intermittent link failures, Theoretical Computer Science, 412, 33, 4336-4349, 2011.07.
6.	Yukiko Yamauchi, Doina Bein, Toshimitsu Masuzawa, Reliable communication on emulated channels resilient to transient faults, International Journal of Foundations of Computer Science, 22, 5, 10991-1122, 2011.08.
7.	Yukiko Yamauchi, Doina Bein, Toshimitsu Masuzawa, Linda Morales, I. Hal Sudborough, Calibrating embedded protocols on asynchronous systems, Information Sciences (Elsevier), 180, 1793--1801, 2010.05.
8.	Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, and Toshimitsu Masuzawa, Timer-based composition of fault-containing self-stabilizing protocols, Information Sciences, 180, 1802--1816, 2010.05.
9.	Yukiko Yamauchi, Toshimitsu Masuzawa, and Doina Bein, Preserving the fault-containment of ring protocols executed on trees, The Computer Journal (Oxford University Press), 152, 4, 483--498, 2009.07.
10.	Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, and Toshimitsu Masuzawa, Hierarchical composition of self-stabilizing protocols preserving the fault-containment property, IEICE Transactions on Information and Systems, E92-D, 3, 451--459, 2009.03.

主要総説, 論評, 解説, 書評, 報告書等

全てを見る→

1.	山内由紀子, 分散協調理論の研究：多様なモデルと問題の中に原理を探して, 科研費NEWS, 2017.07, [URL].

主要学会発表等

全てを見る→

1.	Giuseppe A. Di Luna, Paola Flocchini, Nicola Santoro, Giovanni Viglietta, Yukiko Yamauchi, Shape Formation by Programmable Particles, The 21st International Conference on Principles of Distributed Systems (OPODIS 2017), 2017.12.
2.	Yusaku Tomita, Yukiko Yamauchi, Shuji Kijima, 山下雅史, Plane formation by synchronous mobile robots without chirality, The 21st International Conference on Principles of Distributed Systems (OPODIS 2017), 2017.12.
3.	Akihiro Monde, Yukiko Yamauchi, Shuji Kijima, 山下雅史, Self-stabilizing localization of the middle point of a line segment by an oblivious robot with limited visibility, The 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2017), 2017.11.
4.	Taichi Uehara, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita, Plane Formation by Semi-synchronous Robots in the Three Dimensional Euclidean Space, The 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), 2016.11.
5.	Yukiko Yamauchi, Taichi Uehara, Masafumi Yamashita, Brief Announcement: Symmetricity in 3D-space---Characterizing Formable Patterns by Synchronous Mobile Robots, The 30th International Symposium on Distributed Computing (DISC 2016), 2016.09.
6.	Yukiko Yamauchi, Taichi Uehara, Masafumi Yamashita, Brief Announcement: Pattern Formation Problem for Synchronous Mobile Robots in the Three Dimensional Euclidean Space , The 35th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing, 2016.07.
7.	Yukiko Yamauchi, Distributed coordination of mobile robots in 3D-space, Dagstuhl Seminar 16271: Algorithmic Foundations of Programmable Matter, 2016.07.
8.	Yukiko Yamauchi, Taichi Uehara, Shuji Kijima, Masafumi Yamashita, Plane Formation by Synchronous Mobile Robots in the Three Dimensional Euclidean Space, 29th International Symposium on Distributed Computing (DISC 2015), 2015.10.
9.	Yukiko Yamauchi, Masafumi Yamashita, Randomized Pattern Formation Algorithm for Asynchronous Oblivious Mobile Robots, The 28th International Symposium on Distributed Computing (DISC 2014), 2014.10.
10.	山内由紀子, 自律移動ロボット群のモーションプランニング, 計測自動制御学会第1回制御部門マルチシンポジウム～ダイバージする制御, 2014.03.
11.	Toru Sasaki, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita, Mobile Byzantine Agreement on Arbitrary Network, The 17th International Conference on Principles of Distributed Systems (OPODIS 2013),, 2013.12.
12.	Yukiko Yamauchi, Masafumi Yamashita, Pattern Formation by Mobile Robots with Limited Visibility, The 20th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2013), 2013.07.
13.	Yukiko Yamauchi, Sebastien Tixeuil, Masafumi Yamashita, Brief announcement: Probabilistic stabilization under probabilistic schedulers, The 26th International Symposium on Distributed Computing, 2012.10.
14.	Yukiko Yamauchi, and Sebastien Tixeuil, Monotonic Stabilization, 14th International Conference on Principles of Distributed Systems (OPODIS 2010), 2010.12.
15.	Yukiko Yamauchi, Toshimitsu Masuzawa, and Doina Bein, Adaptive containment of time-bounded Byzantine faults, 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2010),, 2010.09.

学会活動

所属学会名

日本オペレーションズリサーチ学会

電子情報通信学会

情報処理学会

学協会役員等への就任

2019.06～2023.02, European Association for Theoretical Computer Science (EATCS), Japan Chapter, Secretary.

2018.04～2019.03, 情報処理学会九州支部, 幹事.

2014.04～2016.03, 情報処理学会アルゴリズム研究会, 幹事.

学会大会・会議・シンポジウム等における役割

2024.10.20～2024.10.22, The 26th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2024) , Program Committee member of the Moving and Computing Track.

2024.05.27～2024.05.29, The 31st International Colloquium On Structural Information and Communication Complexity (SIROCCO 2024), Program Committee member .

2023.12.06～2023.12.08, The 27th International Conference on Principles of Distributed Systems (OPODIS 2023), PC Co-chair.

2023.06.19～2023.06.20, The 2nd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2023), PC member.

2022.10.25～2022.10.27, The 36th International Symposium on Distributed Computing (DISC 2022), Program Committee member .

2022.11.15～2022.11.17, The 24th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2022), PC member .

2021.09.09～2021.09.10, ALGOSENSORS 2021, Program committee member .

2020.06.08～2020.06.10, The 31st International Workshop on Combinatorial Algorithms (IWOCA 2020), Program committee member.

2019.11.29～2019.12.01, The 40th IEEE International Conference on Distributed Computing Systems (ICDCS 2020), Program committee member of the Distributed Algorithms and Theory track.

2019.11.26～2019.11.26, Workshop on Distributed Algorithms for Low-Functional Robots (co-located with CANDAR2019), Organizer member.

2019.10.21～2019.10.25, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019) , Chair of the Moving and Computing Track .

2019.10.14～2019.10.18, the 33rd International Symposium on Distributed Computing (DISC 2019) , Program committee member.

2019.07.01～2019.07.04, 26th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2019), Program committee member.

2019.07.07～2019.07.10, 39th IEEE International Conference on Distributed Computing Systems (ICDCS 2019) , Program committee member of the Distributed Algorithms and Theory Track .

2018.11.04～2018.11.04, The 2nd Workshop on Self-organization in Swarm of Robots, PC Chair.

2017.12～2020.12.01, International Conference on Principles of Distributed Systems, Steering Committee Member.

2018.07.02～2018.07.05, 38th IEEE International Conference on Distributed Computing Systems (ICDCS2018), Program Committee member of Distributed Algorithms & Theory track.

2018.04.15～2018.04.19, The 13th Latin American Theoretical Informatics Symposium (LATIN2018). , Program committee member .

2018.01.04～2018.01.07, The 19th International Conference on Distributed Computing and Networking (ICDCN 2018) , Program committee member.

2017.12.18～2017.12.20, The 21st International Conference on Principles of Distributed Systems (OPODIS 2017). , Program committee member.

2017.11.05～2017.11.08, The 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2017)., Program committee member .

2017.06.21～2017.06.23, The 14th International Symposium on Pervasive Systems, Algorithms, and Networks (I-SPAN 2017) , Program committee member of the Distributed Algorithms and Graph Computing Track .

2017.06.19～2017.06.20, The 24th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2017). , Program committee member .

2017.10.16～2017.10.20, The 31st International Symposium on Distributed Computing (DISC 2017) , Program committee member .

2017.05.29～2017.06.02, The 31st IEEE International Parallel & Distributed Processing Symposium , Technical Program Committee Member.

2017.01.04～2017.01.07, The 18th International Conference on Distributed Computing and Networking (ICDCN 2017), Program committee member of the distributed computing track and Publicity co-chairs .

2016.10.26～2016.10.26, Moving and Computing: 6th Research Meeting on Distributed Computing by Mobile Robots, Scientific Committee.

2016.11.07～2016.11.10, The 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016), Program committee member of the self-* and autonomic computing track.

2015.12.11～2015.12.11, 7th International Workshop on Parallel and Distributed Algorithms and Applications, Program committee member.

2015.10.05～2015.10.05, Workshop on Distributed Robotic Swarms, Organizer.

2015.10.05～2015.10.09, The 29th International Symposium on Distributed Computing (DISC 2015), Program committee member.

2015.06.02～2015.06.05, The 9th Hungarian-Japanese Symposium on Discrete Mathematics and Its Applications, Organizing Committee member and program committee member .

2014.10.06～2014.10.06, Workshop on Self-organization in Swarm of Robots: from Molecular Robots to Mobile Agents, Workshop Chair.

2014.12.17～2014.12.19, 18th International Conference on Principles of Distributed Systems (OPODIS 2014), Program committee member.

2014.09.28～2014.10.01, 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2014), Program committee member of self stabilization track.

2014.07.23～2014.07.25, 21st International Colloquium on Structural Information and Communication Complexity (SIROCCO 2014), Organization committee member.

2013.11.13～2013.11.16, 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2013), Program committee member of self stabilization track.

2012.12.07～2012.12.07, The 4th International Workshop on Parallel and Distributed Algorithms and Applications, PC member .

2012.10.01～2012.10.04, The 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems, PC member .

学会誌・雑誌・著書の編集への参加状況

2016.04～2020.03, 情報処理学会論文誌　数理モデル化と応用, 国内, 編集委員.

2014.06～2016.05, 情報処理学会　論文誌ジャーナル/JIP編集委員会委員, 国内, 編集委員.

2011.04～2015.03, 情報処理学会論文誌　数理モデル化と応用 , 国内, 編集委員.

学術論文等の審査

年度	外国語雑誌査読論文数	日本語雑誌査読論文数	国際会議録査読論文数	国内会議録査読論文数	合計
2023年度	1	0	55	0	56
2022年度	2		9		11
2021年度	1		2		3
2020年度	4		1		5
2019年度	6	0	17	2	25
2018年度	5		6		11
2017年度	8	0	39	2	49
2016年度	3	4	19	1	27
2015年度	4	2	17		23
2014年度	5	1	26		32
2013年度	5	2	15	1	23
2012年度	4		8		12
2011年度	5	1	15		21

その他の研究活動

海外渡航状況, 海外での教育研究歴

LIP6, Paris 6, France, 2009.09～2011.11.

受賞

Outstanding paper award, The 8th International Symposium on Computing and Networking (CANDAR 2020), 2020.11.

令和元年度九州大学若手女性研究者優秀賞, 九州大学, 2019.10.

平成31年度科学技術分野の文部科学大臣表彰若手科学者賞, 文部科学省, 2019.04.

情報処理学会　マイクロソフト情報学研究賞, 情報処理学会, 2019.03.

Best paper award, The 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2018), 2018.11.

第14回EATCS/LA presentation award, EATCS Japan Chapter, 2016.01.

10 Selected Papers in ANNUAL REPORT OF OSAKA UNIVERSITY 2010--2011, 大阪大学, 2012.03.

研究資金

科学研究費補助金の採択状況(文部科学省、日本学術振興会)

2024年度～2026年度, 基盤研究(C), 代表, モバイル計算主体群がもたらす耐故障分散アルゴリズム理論の革新.

2018年度～2024年度, 基盤研究(B), 代表, 分散協調における相互作用---通信，移動，観測の役割の解明---.

2015年度～2017年度, 若手研究(B), 代表, 分散システムの自己最適化理論.

2015年度～2016年度, 新学術領域研究, 代表, 分散システム論に基づく化学反応系の設計方法の確立.

2013年度～2014年度, 新学術領域研究, 代表, 自律分散ロボット群の制御理論に基づく化学反応回路素子の高機能化.

2011年度～2013年度, 若手研究(B), 代表, 有限時間ビザンチン故障に対する耐故障分散アルゴリズムに関する研究.

競争的資金(受託研究を含む)の採択状況

2018年度～2021年度, 戦略的国際共同研究プログラム（ＳＩＣＯＲＰ）「日本－イスラエル共同研究」, 分担, 低機能ロボット群による環境外乱に頑健で継続的な自律的組織化システム構築手法.

寄附金の受入状況

2011年度, 電気通信普及財団助成
テーマ：センサネットワークを対象とした分散アルゴリズムの自律適応性と安定性に関する研究.

九大関連コンテンツ

pure2017年10月2日から、「九州大学研究者情報」を補完するデータベースとして、Elsevier社の「Pure」による研究業績の公開を開始しました。

QIR　九州大学学術情報リポジトリシステム情報科学研究院

システム情報科学研究院


	※ 研究者情報全体を検索する場合は右端の「すべて」を選択して下さい。