ヤマウチ ユキコ
山内 由紀子
YAMAUCHI YUKIKO
所属
システム情報科学研究院 情報学部門 教授
工学部 電気情報工学科（併任）
システム情報科学府 情報理工学専攻（併任）
マス・フォア・イノベーション連係学府
（併任）
職名
教授
プロフィール
分散アルゴリズム理論，特に自律移動ロボット群の分散協調と耐故障分散アルゴリズムの研究に従事．
外部リンク
学位
-
博士（情報科学）
経歴
-
奈良先端科学技術大学院大学情報科学研究科助教（平成21年4月から平成23年3月）
研究テーマ・研究キーワード
-
研究テーマ：自律移動ロボット群の分散協調
研究キーワード：分散アルゴリズム，ロボットシステム，自己安定性，対称性
研究期間： 2012年4月 - 2025年3月
-
研究テーマ：ビザンチン故障耐性をもつ自己安定アルゴリズムの設計
研究キーワード：分散アルゴリズム，自己安定
研究期間： 2010年4月 - 2016年3月
受賞
-
Outstanding paper award
2020年11月 The 8th International Symposium on Computing and Networking (CANDAR 2020)
-
令和元年度 九州大学若手女性研究者優秀賞
2019年10月 九州大学 モバイルロボット群の分散計算理論
-
平成31年度 科学技術分野の文部科学大臣表彰 若手科学者賞
2019年4月 文部科学省 自律分散計算の理論とアルゴリズムの研究
-
情報処理学会 マイクロソフト情報学研究賞
2019年3月 情報処理学会 自律分散ロボット群の自己組織化の研究
-
Best paper award
2018年11月 The 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2018)
-
第14回EATCS/LA presentation award
2016年1月
-
10 Selected Papers in ANNUAL REPORT OF OSAKA UNIVERSITY 2010--2011
2012年3月
論文
-
Search by a Metamorphic Robotic System in a Finite 2D Square Grid 査読 国際誌
#Keisuke Doi, @Yukiko Yamauchi, @Shuji Kijima, and @Masafumi Yamashita
Information and Computation Journal Vol. 285 2022年5月
-
Team assembling problem for asynchronous heterogeneous mobile robots 査読 国際誌
Zhiqiang Liu, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita
Theoretical Computer Science 721 27 - 41 2018年4月
-
Plane Formation by Synchronous Mobile Robots in the Three Dimensional Euclidean Space 査読 国際誌
Yukiko Yamauchi, Taichi Uehara, Shuji Kijima, Masafumi Yamashita
Journal of the ACM 64 ( 3 ) 16:1 - 16:43 2017年6月
-
A survey on pattern formation of autonomous mobile robots: asynchrony, obliviousness and visibility 査読 国際誌
Yukiko Yamauchi
Journal of Physics: Conference Series 473 ( 012016 ) 2013年12月
-
Reliable communication on emulated channels resilient to transient faults 査読 国際誌
Yukiko Yamauchi, Doina Bein, Toshimitsu Masuzawa
International Journal of Foundations of Computer Science 22 ( 5 ) 10991 - 1122 2011年8月
-
Observations on non-silent self-stabilizing algorithms in sensor networks with probabilistically intermittent link failures 査読 国際誌
Hirotsugu Kakugawa, Yukiko Yamauchi, Sayaka Kamei, Toshimitsu Masuzawa
Theoretical Computer Science 412 ( 33 ) 4336 - 4349 2011年7月
-
Calibrating embedded protocols on asynchronous systems 査読 国際誌
Yukiko Yamauchi, Doina Bein, Toshimitsu Masuzawa, Linda Morales, I. Hal Sudborough
Information Sciences (Elsevier) 180 2010年5月
-
Timer-based composition of fault-containing self-stabilizing protocols 査読 国際誌
Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, and Toshimitsu Masuzawa
Information Sciences 180 2010年5月
-
Preserving the fault-containment of ring protocols executed on trees 査読 国際誌
Yukiko Yamauchi, Toshimitsu Masuzawa, and Doina Bein
The Computer Journal (Oxford University Press) 152 ( 4 ) 2009年7月
-
Hierarchical composition of self-stabilizing protocols preserving the fault-containment property 査読 国際誌
Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, and Toshimitsu Masuzawa
IEICE Transactions on Information and Systems E92-D ( 3 ) 2009年3月
-
Searching for an evader in an unknown dark cave by an optimal number of asynchronous searchers 査読 国際誌
#Takahiro Yakami, @Yukiko Yamauchi, @Shuji Kijima, @Masafumi Yamashita
Theoretical Computer Science 887 11 - 29 2021年10月
-
Can a Skywalker Localize the Midpoint of a Rope? 査読 国際誌
#Akihiro Monde, @Yukiko Yamauchi, @Shuji Kijima, and @Masafumi Yamashita
ACM Transactions on Computation Theory 13 ( 3 ) 1 - 23 2021年9月
-
Evacuation from various types of finite two-dimensional square grid fields by a metamorphic robotic system 査読 国際誌
Junya Nakamura, Sayaka Kamei, @Yukiko Yamauchi
Concurrency and Computation: Practice and Experience 35 ( 14 ) 1 - 18 2021年9月
-
Distributed computing theory for molecular robot systems 査読 国際誌
@Yukiko Yamauchi
New Generation Computing 38 325 - 340 2020年5月
-
Finding Submodularity Hidden in Symmetric Difference 査読 国際誌
#Junpei Nakashima, @Yukiko Yamauchi, @Shuji Kijima, and @Masafumi Yamashita
SIAM Journal on Discrete Mathematics, 34 ( 1 ) 571 - 585 2020年3月
-
Shape formation by programmable particles 査読 国際誌
Giuseppe A. Di Luna, Paola Flocchini, Nicola Santoro, Giovanni Viglietta, and @Yukiko Yamauchi
Distributed Computing 33 69 - 101 2020年2月
-
Deterministic random walks for rapidly mixing chains 査読 国際誌
Takeharu Shiraga, @Yukiko Yamauchi, @Shuji Kijima, and @Masafumi Yamashita
SIAM Journal on Discrete Mathematics 32 ( 3 ) 2180 - 2193 2018年8月
-
The parity Hamiltonian cycle problem 査読 国際誌
Hiroshi Nishiyama, Yusuke Kobayashi, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita
Discrete Mathematics 341 ( 3 ) 606 - 626 2018年3月
-
Total variation discrepancy of deterministic random walks for ergodic Markov chains 査読 国際誌
Takeharu Shiraga, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita
Theoretical Computer Science 699 63 - 74 2017年11月
-
Constructing self-stabilizing oscillators in population protocols 査読 国際誌
Colin Cooper, LAMANI ANISSA KHEDIDJA, Giovanni Viglietta, Masafumi Yamashita, Yukiko Yamauchi
Information and Computation 255 ( 3 ) 336 - 351 2017年8月
-
Sankaku-Tori: An Old Western-Japanese Game Played on a Point Set 査読 国際誌
Takashi Horiyama, Takashi Iizuka, Masashi Kiyomi, Yoshio Okamoto, Ryuhei Uehara, Takeaki Uno, Yushi Uno, Yukiko Yamauchi
Journal of Information Processing 25 708 - 715 2017年8月
-
An asynchronous self-stabilizing approximation for the minimum CDS with safe convergence in UDGs 査読 国際誌
Sayaka Kamei, Tomoko Izumi, Yukiko Yamauchi
Theoretical Computer Science 615 102 - 119 2016年2月
-
Pattern Formation by Oblivious Asynchronous Mobile Robots 査読 国際誌
Nao Fujinaga, Yukiko Yamauchi, Hirotaka Ono, Shuji Kijima, Masafumi Yamashita
SIAM Journal on Computing 44 ( 3 ) 740 - 785 2015年6月
-
Loosely-stabilizing leader election in population protocol model 査読 国際誌
Yuichi Sudo, Junya Nakamura, Yukiko Yamauchi, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa
Theoretical Computer Science 444 100 - 112 2012年7月
-
Probabilistic Coverage Methods in People-Centric Sensing 査読 国際誌
Asaad Ahmed, Keiichi Yasumoto, Yukiko Yamauchi, Minoru Ito
Journal of Information Processing 19 473 - 490 2011年10月
講演・口頭発表等
-
Shape Formation by Programmable Particles 国際会議
Giuseppe A. Di Luna, Paola Flocchini, Nicola Santoro, Giovanni Viglietta, Yukiko Yamauchi
The 21st International Conference on Principles of Distributed Systems (OPODIS 2017) 2017年12月
-
Plane formation by synchronous mobile robots without chirality 国際会議
The 21st International Conference on Principles of Distributed Systems (OPODIS 2017) 2017年12月
-
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月
-
Plane Formation by Semi-synchronous Robots in the Three Dimensional Euclidean Space 国際会議
Taichi Uehara, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita
The 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016) 2016年11月
-
Brief Announcement: Symmetricity in 3D-space---Characterizing Formable Patterns by Synchronous Mobile Robots 国際会議
Yukiko Yamauchi, Taichi Uehara, Masafumi Yamashita
The 30th International Symposium on Distributed Computing (DISC 2016) 2016年9月
-
Brief Announcement: Pattern Formation Problem for Synchronous Mobile Robots in the Three Dimensional Euclidean Space 国際会議
Yukiko Yamauchi, Taichi Uehara, Masafumi Yamashita
The 35th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing 2016年7月
-
Distributed coordination of mobile robots in 3D-space 招待 国際会議
Yukiko Yamauchi
Dagstuhl Seminar 16271: Algorithmic Foundations of Programmable Matter 2016年7月
-
Plane Formation by Synchronous Mobile Robots in the Three Dimensional Euclidean Space 国際会議
Yukiko Yamauchi, Taichi Uehara, Shuji Kijima, Masafumi Yamashita
29th International Symposium on Distributed Computing (DISC 2015) 2015年10月
-
Randomized Pattern Formation Algorithm for Asynchronous Oblivious Mobile Robots 国際会議
Yukiko Yamauchi, Masafumi Yamashita
The 28th International Symposium on Distributed Computing (DISC 2014) 2014年10月
-
自律移動ロボット群のモーションプランニング
山内 由紀子
計測自動制御学会第1回制御部門マルチシンポジウム～ダイバージする制御 2014年3月
-
Mobile Byzantine Agreement on Arbitrary Network 国際会議
Toru Sasaki, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita
The 17th International Conference on Principles of Distributed Systems (OPODIS 2013), 2013年12月
-
Pattern Formation by Mobile Robots with Limited Visibility 国際会議
Yukiko Yamauchi, Masafumi Yamashita
The 20th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2013) 2013年7月
-
Brief announcement: Probabilistic stabilization under probabilistic schedulers 国際会議
Yukiko Yamauchi, Sebastien Tixeuil, Masafumi Yamashita
The 26th International Symposium on Distributed Computing 2012年10月
-
Monotonic Stabilization 国際会議
Yukiko Yamauchi, and Sebastien Tixeuil
14th International Conference on Principles of Distributed Systems (OPODIS 2010) 2010年12月
-
Adaptive containment of time-bounded Byzantine faults 国際会議
Yukiko Yamauchi, Toshimitsu Masuzawa, and Doina Bein
12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2010), 2010年9月
-
On Dynamics of Basic Network Creation Games with Non-Uniform Communication Interest 国際会議
The 15th International Workshop on Parallel and Distributed Algorithms and Applications (PDAA'23) 2023年11月
-
Separation of Unconscious Colored Robots 国際会議
#Hirokazu Seike, @Yukiko Yamauchi
The 25th International Symposium on Stabilization, Safety, and Security of Distributed Systems 2023年10月
-
Distributed Computation by Mobile Robots 招待 国際会議
@Yukiko Yamauchi
The 20th International Conference on Unconventional Computation and Natural Computation (UCNC 2023) 2023年3月
-
Search by a Metamorphic Robotic System in a Finite 3D Cubic Grid 国際会議
#Ryonosuke Yamada and @Yukiko Yamauchi
The 1st Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2022) 2022年3月
-
Bridging Theory and Practice for Kilobots: The Case of Team Assembling 国際会議
#Run Tang, @Yukiko Yamauchi, and Sebastien Tixeuil
AROB-ISBC-SWARM 2022 2022年1月
-
Distributed Reconfiguration of Spanning Trees 国際会議
@Yukiko Yamauchi, @Naoyuki Kamiyama, and Yota Otachi
The 23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2021) 2021年11月
-
Evacuation from a Finite 2D Square Grid Field by a Metamorphic Robotic System 国際会議
Junya Nakamura, Sayaka Kamei and @Yukiko Yamauchi
The 8th International Symposium on Computing and Networking (CANDAR 2020) 2020年11月
-
Giuseppe A. Di Luna, Ryuhei Uehara, Giovanni Viglietta, and Yukiko Yamauchi 国際会議
Giuseppe A. Di Luna, Ryuhei Uehara, Giovanni Viglietta, and @Yukiko Yamauchi
The 34th International Symposium on Distributed Computing (DISC 2020) 2020年10月
-
Mobile RAM and Shape Formation by Programmable Particles 国際会議
Giuseppe Antonio Di Luna, Paola Flocchini, Nicola Santoro, Giovanni Viglietta and @Yukiko Yamauchi
The 26th International European Conference on Parallel and Distributed Computing (Euro-Par 2020) 2020年8月
-
Network Creation Games with Local Information and Edge Swaps 国際会議
#Shotaro Yoshimura, @Yukiko Yamauchi
The 27th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2020) 2020年6月
-
Exploration of Finite 2D Square Grid by a Metamorphic Robotic System 国際会議
#Keisuke Doi, @Yukiko Yamauchi, @Shuji Kijima, @Masafumi Yamashita
The 20th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2018) 2018年11月
-
Brief Announcement: Shape Formation by Programmable Particles 国際会議
Giuseppe A. Di Luna, Paola Flocchini, Nicola Santoro, Giovanni Viglietta, Yukiko Yamauchi
The 31st International Symposium on Distributed Computing (DISC 2017) 2017年10月
-
Searching for an Evader in an Unknown Graph by an Optimal Number of Searchers 国際会議
Takahiro Yakami, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita
The 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016) 2016年11月
-
Total variation discrepancy of deterministic random walks for ergodic Markov chains 国際会議
Takeharu Shiraga, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita
The 13th Workshop on Analytic Algorithmics and Combinatorics (ANALCO 2016) 2016年1月
-
Constructing Self-Stabilizing Oscillators in Population Protocols 国際会議
Colin Cooper, LAMANI ANISSA KHEDIDJA, Giovanni Viglietta, Masafumi Yamashita, Yukiko Yamauchi
17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2015) 2015年8月
-
Approximation Algorithms for the Set Cover Formation by Oblivious Robots 国際会議
Tomoko Izumi, Sayaka Kamei, Yukiko Yamauchi
The 18th International Conference on Principles of Distributed Systems (OPODIS 2014) 2014年12月
-
Locomotion of Metamorphic Robotic System based on Local Information (Extended Abstract) 国際会議
Fengqi Chen, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita
Workshop on Self-organization in Swarm of Robots: from Molecular Robots to Mobile Agents 2014年10月
-
L∞-Discrepancy Analysis of Polynomial-time Deterministic Samplers Emulating Rapidly Mixing Chains 国際会議
2014年8月
-
Sankaku-Tori: An Old Western-Japanese Game Played on a Point Set 国際会議
2014年7月
-
An Asynchronous Self-Stabilizing 6-Approximation for the Minimum Connected Dominating Set with Safe Convergence
Sasyaka Kamei, Tomoko Izumi, Yukiko Yamauchi
The 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2013) 2013年11月
-
On Space Complexity of Self-Stabilizing Leader Election in Population Protocol Based on k-interaction 国際会議
Xiaoguang Xu, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita
The 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2013) 2013年11月
-
A survey on pattern formation by mobile robots: asynchrony, obliviousness, and visibility 招待 国際会議
Yukiko Yamauchi
ELC International Meeting on Inference, Computation, and Spin Glasses (ICSG2013), 2013年7月
-
Asynchronous pattern formation by anonymous oblivious mobile robots 国際会議
Nao Fujinaga, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita
The 26th International Symposium on Distributed Computing 2012年10月
-
Brief announcement: Mobile agent rendezvous on edge evolving rings 国際会議
Tomoko Izumi, Yukiko Yamauchi, Sayaka Kamei
The 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems 2012年10月
-
確率的スケジューラの下での確率的自己安定
山内由紀子，Sebastien Tixeuil, 山下雅史
2011年度 冬のLAシンポジウム 2012年1月
-
Design and communication complexity of self-stabilizing protocols resilient to Byzantine faults 招待 国際会議
Yukiko Yamauchi
Workshop on Frontiers of Distributed Computing 2011年12月
MISC
-
山内 由紀子
科研費NEWS 2017年7月
-
分子ロボットと分散システム論
山内 由紀子
分子ロボティクス概論，情報計算化学生物（CBI）学会出版，pp.56--58 2019年5月
-
分子ロボットシステムのための分散システム理論
山内 由紀子
計測と制御，Vol.58, 4, 2019 2019年4月
-
Symmetry of Anonymous Robots
Yukiko Yamauchi
Distributed Computing by Mobile Entities, Current Research in Moving and Computing 2019年1月
-
ロボット群の分散協調と対称性
山内由紀子
オペレーションズ・リサーチ， 63巻，3号，pp.167--173 2018年3月
所属学協会
-
情報処理学会
-
電子情報通信学会
-
日本オペレーションズリサーチ学会
委員歴
-
European Association for Theoretical Computer Science (EATCS) Japan Chapter, Secretary 国際
2019年6月 - 2023年2月
-
情報処理学会九州支部 幹事 国内
2018年4月 - 2019年3月
-
情報処理学会アルゴリズム研究会 幹事 国内
2014年4月 - 2016年3月
学術貢献活動
-
Program Committee member of the Moving and Computing Track 国際学術貢献
The 26th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2024) （ Nagoya Japan ） 2024年10月
-
Program Committee member 国際学術貢献
The 31st International Colloquium On Structural Information and Communication Complexity (SIROCCO 2024) （ Vietri sul Mare, Salerno Italy ） 2024年5月
-
PC Co-chair 国際学術貢献
The 27th International Conference on Principles of Distributed Systems (OPODIS 2023) （ Tokyo Japan ） 2023年12月
-
PC member 国際学術貢献
The 2nd Symposium on Algorithmic Foundations of Dynamic Networks (SAND 2023) （ Pisa Italy ） 2023年6月
-
学術論文等の審査
役割：査読
2023年
-
PC member 国際学術貢献
The 24th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2022) （ Clemont-Ferrand France ） 2022年11月
-
Program Committee member 国際学術貢献
The 36th International Symposium on Distributed Computing (DISC 2022) （ Augusta UnitedStatesofAmerica ） 2022年10月
-
学術論文等の審査
役割：査読
2022年
-
Program committee member 国際学術貢献
ALGOSENSORS 2021 （ Lisbon Portugal ） 2021年9月
-
学術論文等の審査
役割：査読
2021年
-
Program committee member 国際学術貢献
The 31st International Workshop on Combinatorial Algorithms (IWOCA 2020) （ Bordeaux France ） 2020年6月
-
学術論文等の審査
役割：査読
2020年
-
Program committee member of the Distributed Algorithms and Theory track 国際学術貢献
The 40th IEEE International Conference on Distributed Computing Systems (ICDCS 2020) （ Singapore Singapore ） 2019年11月 - 2019年12月
-
Organizer member 国際学術貢献
Workshop on Distributed Algorithms for Low-Functional Robots (co-located with CANDAR2019) （ Nagasaki Japan ） 2019年11月
-
Chair of the Moving and Computing Track 国際学術貢献
the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2019) （ Pisa Italy ） 2019年10月
-
Program committee member 国際学術貢献
the 33rd International Symposium on Distributed Computing (DISC 2019) （ Budapest Hungary ） 2019年10月
-
Program committee member of the Distributed Algorithms and Theory Track 国際学術貢献
39th IEEE International Conference on Distributed Computing Systems (ICDCS 2019) （ Dallas, Texas UnitedStatesofAmerica ） 2019年7月
-
Program committee member 国際学術貢献
26th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2019) （ L'Aquila Italy ） 2019年7月
-
学術論文等の審査
役割：査読
2019年
-
PC Chair 国際学術貢献
The 2nd Workshop on Self-organization in Swarm of Robots （ Tokyo Japan ） 2018年11月
-
Program Committee member of Distributed Algorithms & Theory track 国際学術貢献
38th IEEE International Conference on Distributed Computing Systems (ICDCS2018) （ Vienna Austria ） 2018年7月
-
Program committee member 国際学術貢献
The 13th Latin American Theoretical Informatics Symposium (LATIN2018). （ Buenos Aires Argentina ） 2018年4月
-
Program committee member 国際学術貢献
The 19th International Conference on Distributed Computing and Networking (ICDCN 2018) （ Varanasi India ） 2018年1月
-
学術論文等の審査
役割：査読
2018年
-
Program committee member 国際学術貢献
The 21st International Conference on Principles of Distributed Systems (OPODIS 2017). （ Lisboa Portugal ） 2017年12月
-
Steering Committee Member 国際学術貢献
International Conference on Principles of Distributed Systems 2017年12月 - 2020年12月
-
Program committee member 国際学術貢献
The 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2017). （ Boston UnitedStatesofAmerica ） 2017年11月
-
Program committee member 国際学術貢献
The 31st International Symposium on Distributed Computing (DISC 2017) （ Venna Austria ） 2017年10月
-
Program committee member of the Distributed Algorithms and Graph Computing Track 国際学術貢献
The 14th International Symposium on Pervasive Systems, Algorithms, and Networks (I-SPAN 2017) （ Exeter UnitedKingdom ） 2017年6月
-
Program committee member 国際学術貢献
The 24th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2017). （ Porquerolles France ） 2017年6月
-
Technical Program Committee Member 国際学術貢献
The 31st IEEE International Parallel & Distributed Processing Symposium （ Orland UnitedStatesofAmerica ） 2017年5月 - 2017年6月
-
Program committee member of the distributed computing track and Publicity co-chairs 国際学術貢献
The 18th International Conference on Distributed Computing and Networking (ICDCN 2017) （ Hyderabad India ） 2017年1月
-
学術論文等の審査
役割：査読
2017年
-
Program committee member of the self-* and autonomic computing track 国際学術貢献
The 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016) （ Lyon France ） 2016年11月
-
Scientific Committee 国際学術貢献
Moving and Computing: 6th Research Meeting on Distributed Computing by Mobile Robots （ Paris France ） 2016年10月
-
Program committee member 国際学術貢献
7th International Workshop on Parallel and Distributed Algorithms and Applications （ Sapporo Japan ） 2015年12月
-
Program committee member 国際学術貢献
The 29th International Symposium on Distributed Computing (DISC 2015) （ Tokyo Japan ） 2015年10月
-
Organizer 国際学術貢献
Workshop on Distributed Robotic Swarms （ Tokyo Japan ） 2015年10月
-
Organizing Committee member and program committee member 国際学術貢献
The 9th Hungarian-Japanese Symposium on Discrete Mathematics and Its Applications （ Fukuoka Japan ） 2015年6月
-
Program committee member 国際学術貢献
18th International Conference on Principles of Distributed Systems (OPODIS 2014) （ Cortina d'Ampezzo Italy ） 2014年12月
-
Workshop Chair 国際学術貢献
Workshop on Self-organization in Swarm of Robots: from Molecular Robots to Mobile Agents （ Nara Japan ） 2014年10月
-
Program committee member of self stabilization track 国際学術貢献
16th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2014) （ Paderborn Germany ） 2014年9月 - 2014年10月
-
Organization committee member 国際学術貢献
21st International Colloquium on Structural Information and Communication Complexity (SIROCCO 2014) （ Hida Takayama Japan ） 2014年7月
-
Program committee member of self stabilization track 国際学術貢献
15th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2013) （ Osaka Japan ） 2013年11月
-
PC member 国際学術貢献
The 4th International Workshop on Parallel and Distributed Algorithms and Applications （ Okinawa Japan ） 2012年12月
-
PC member 国際学術貢献
The 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems （ Tronto Canada ） 2012年10月
共同研究・競争的資金等の研究課題
-
モバイル計算主体群がもたらす耐故障分散アルゴリズム理論の革新
研究課題/領域番号：24K14826 2024年 - 2026年
日本学術振興会 科学研究費助成事業 基盤研究(C)
担当区分：研究代表者 資金種別：科研費
-
分散協調における相互作用---通信，移動，観測の役割の解明---
研究課題/領域番号：18H03202 2018年 - 2024年
日本学術振興会 科学研究費助成事業 基盤研究(B)
担当区分：研究代表者 資金種別：科研費
-
低機能ロボット群による環境外乱に頑健で継続的な自律的組織化システム構築手法
2018年 - 2021年
戦略的国際共同研究プログラム（ＳＩＣＯＲＰ） 「日本－イスラエル共同研究」
担当区分：研究分担者 資金種別：受託研究
-
分散システムの自己最適化理論
研究課題/領域番号：15K15938 2015年 - 2017年
科学研究費助成事業 若手研究(B)
担当区分：研究代表者 資金種別：科研費
-
分散システム論に基づく化学反応系の設計方法の確立
研究課題/領域番号：15H00821 2015年 - 2016年
日本学術振興会・文部科学省 科学研究費助成事業 新学術領域研究
担当区分：研究代表者 資金種別：科研費
-
自律分散ロボット群の制御理論に基づく化学反応回路素子の高機能化
研究課題/領域番号：25104519 2013年 - 2014年
日本学術振興会・文部科学省 科学研究費助成事業 新学術領域研究
担当区分：研究代表者 資金種別：科研費
-
有限時間ビザンチン故障に対する耐故障分散アルゴリズムに関する研究
研究課題/領域番号：23700019 2011年 - 2013年
科学研究費助成事業 若手研究(B)
担当区分：研究代表者 資金種別：科研費
-
電気通信普及財団助成 テーマ：センサネットワークを対象とした分散アルゴリズムの自律適応性と安定性に関する研究
2011年
資金種別：寄附金
担当授業科目
-
形式言語とオートマトンⅡ
2023年12月 - 2024年2月 冬学期
-
形式言語とオートマトンⅠ
2023年10月 - 2023年12月 秋学期
-
アルゴリズム設計論Ⅱ
2023年6月 - 2023年8月 夏学期
-
アルゴリズム設計論Ⅰ
2023年4月 - 2023年6月 春学期
-
形式言語とオートマトンⅡ
2022年12月 - 2023年2月 冬学期
-
電気情報工学実験II
2022年10月 - 2023年3月 後期
-
形式言語とオートマトンⅠ
2022年10月 - 2022年12月 秋学期
-
アルゴリズム設計論Ⅱ
2022年6月 - 2022年8月 夏学期
-
アルゴリズム設計論Ⅰ
2022年4月 - 2022年6月 春学期
-
電気情報工学実験II
2021年10月 - 2022年3月 後期
-
アルゴリズム設計論Ⅱ
2021年6月 - 2021年8月 夏学期
-
確率統計
2021年4月 - 2021年9月 前期
-
アルゴリズム設計論Ⅰ
2021年4月 - 2021年6月 春学期
-
電気情報工学実験II
2020年10月 - 2021年3月 後期
-
基幹教育セミナー
2020年6月 - 2020年8月 夏学期
-
アルゴリズムとデータ構造
2020年4月 - 2020年9月 前期
-
確率統計
2020年4月 - 2020年9月 前期
-
電気情報工学実験II
2019年10月 - 2020年3月 後期
-
確率統計
2019年4月 - 2019年9月 前期
-
プログラミング演習
2019年4月 - 2019年9月 前期
-
アルゴリズムとデータ構造
2019年4月 - 2019年9月 前期
-
電気情報工学実験II
2018年10月 - 2019年3月 後期
-
システムプログラミング演習
2018年10月 - 2019年3月 後期
-
アルゴリズムとデータ構造
2018年4月 - 2018年9月 前期
-
確率統計
2018年4月 - 2018年9月 前期
-
システムプログラミング演習
2017年10月 - 2018年3月 後期
-
電気情報工学実験II
2017年10月 - 2018年3月 後期
-
回路理論II
2017年6月 - 2017年8月 夏学期
-
プログラミング演習
2017年4月 - 2017年9月 前期
-
アルゴリズムとデータ構造
2017年4月 - 2017年9月 前期
-
システムプログラミング演習
2016年10月 - 2017年3月 後期
-
電気情報工学実験II
2016年10月 - 2017年3月 後期
-
形式言語理論演習
2016年4月 - 2016年9月 前期
-
プログラミング演習
2016年4月 - 2016年9月 前期
-
システムプログラミング演習
2015年10月 - 2016年3月 後期
-
電気情報工学実験II
2015年10月 - 2016年3月 後期
-
情報代数学演習
2015年4月 - 2015年9月 前期
-
プログラミング演習
2014年10月 - 2015年3月 後期
-
システムプログラミング演習
2014年10月 - 2015年3月 後期
-
電気情報工学実験II
2014年10月 - 2015年3月 後期
-
数値解析演習
2014年4月 - 2014年9月 前期
-
システムプログラミング演習
2013年10月 - 2014年3月 後期
-
電気情報工学実験II
2013年10月 - 2014年3月 後期
-
アルゴリズム論演習
2013年4月 - 2013年9月 前期
-
システムプログラミング演習
2012年10月 - 2013年3月 後期
-
電気情報工学実験II
2012年10月 - 2013年3月 後期
-
システムプログラミング演習
2011年10月 - 2012年3月 後期
-
電気情報工学実験II
2011年10月 - 2012年3月 後期
FD参加状況
-
2024年3月 役割：参加 名称：【シス情FD】高度データサイエンティスト育成事業の取り組みについて
主催組織：部局
-
2024年3月 役割：参加 名称：【シス情FD】高度データサイエンティスト育成事業の取り組みについて
主催組織：部局
-
2023年11月 役割：参加 名称：【シス情FD】企業等との共同研究の実施増加に向けて
主催組織：部局
-
2023年11月 役割：参加 名称：【シス情FD】企業等との共同研究の実施増加に向けて
主催組織：部局
-
2023年7月 役割：参加 名称：【シス情FD】若手教員の研究紹介⑨
主催組織：部局
-
2023年7月 役割：参加 名称：【シス情FD】若手教員の研究紹介⑨
主催組織：部局
-
2023年5月 役割：参加 名称：【シス情FD】農学研究院で進めているDX教育について
主催組織：部局
-
2023年4月 役割：参加 名称：【シス情FD】若手教員による研究紹介⑧
主催組織：部局
-
2023年1月 役割：参加 名称：【シス情FD】若手教員による研究紹介⑦
主催組織：部局
-
2022年10月 役割：参加 名称：【シス情FD】若手教員による研究紹介⑥
主催組織：部局
-
2022年6月 役割：参加 名称：【シス情FD】電子ジャーナル等の今後について
主催組織：部局
-
2022年5月 役割：参加 名称：【シス情FD】若手教員による研究紹介④「量子コンピュータ・システム・アーキテクチャの研究～道具になることを目指して～」
主催組織：部局
-
2022年4月 役割：参加 名称：【シス情FD】第4期中期目標・中期計画等について
主催組織：部局
-
2022年3月 役割：参加 名称：全学FD:メンタルヘルス講演会
主催組織：全学
-
2022年1月 役割：参加 名称：【シス情FD】シス情関連の科学技術に対する国の政策動向（に関する私見）
主催組織：部局
-
2021年12月 役割：参加 名称：【シス情FD】企業出身教員から見た大学
主催組織：部局
-
2020年6月 役割：参加 名称：どんな3ポリシーが、どのように役立つのか ｰ 九州大学カリキュラム・マップの威力 -
主催組織：部局
-
2020年5月 役割：参加 名称：オンサイト授業 vs. オンライン授業：分かったこと，変わったこと
主催組織：部局
-
2019年11月 役割：参加 名称：全学FD:メンタルヘルス講演会
主催組織：全学
-
2019年6月 役割：参加 名称：8大学情報系研究科長会議の報告
主催組織：部局
-
2019年6月 役割：参加 名称：8大学情報系研究科長会議の報告
主催組織：部局
-
2018年9月 役割：参加 名称：システム情報科学府 FD ～教育の効率化について～
主催組織：部局
-
2018年7月 役割：参加 名称：システム情報科学府 FD 情報基盤センター共催 論文剽窃ソフトの活用方法について
主催組織：部局
-
2017年4月 役割：参加 名称：平成２９年度第１回全学ＦＤ（新任教員の研修）
主催組織：全学
-
2016年10月 役割：参加 名称：工学研究院・システム情報科学研究院合同ＦＤ：九州大学における男女共同参画の取り組み
主催組織：部局
-
2012年11月 役割：参加 名称：平成24年度第1回FD
主催組織：部局
-
2011年4月 役割：参加 名称：平成23年度第1回全学ＦＤ(新任教員研修)
主催組織：全学
他大学・他機関等の客員・兼任・非常勤講師等
-
2016年 名古屋大学大学院情報科学研究科 区分:非常勤講師 国内外の区分:国内
学期、曜日時限または期間：2016年12月2日
その他教育活動及び特記事項
-
2024年 クラス担任 学部
-
2017年 クラス担任 学部
社会貢献活動
-
「動き」と「計算」の関係に迫る！〜モバイルロボット群の分散協調〜（第55回サイエンスカフェ＠ふくおか）
公益財団法人九州経済調査協会主催 BIZCOLI， サイエンスパーク福岡企画 2018年4月
海外渡航歴
-
2009年9月 - 2011年11月
滞在国名1：フランス共和国 滞在機関名1：LIP6, Paris 6
学内運営に関わる各種委員・役職等
-
2023年11月 - 2024年4月 部門 若手教員支援制度調査
-
2023年4月 - 2025年3月 その他 マス・フォア・インダストリ研究所「産業数学の先進的・基礎的共同研究拠点 共同利用・共同研究委員会」委員
-
2023年4月 - 2025年3月 研究院 広報委員会
-
2022年4月 - 2023年3月 部門 部門等安全衛生担当
-
2021年9月 - 2023年3月 部門 図書委員会
-
2021年4月 - 2023年3月 学科 研究活動交流委員会
-
2017年4月 - 2020年3月 学部 理科教室実施委員会
-
2017年4月 - 2019年3月 全学 九州大学男女共同参画推進室
-
2013年4月 - 2015年10月 学府 学部教育用計算機仕様策定委員
-
2012年11月 - 2013年12月 研究院 助教給与委員会
-
2011年4月 - 2019年3月 学府 電気情報工学科教育用計算機プログラミング教育システム（505室借用機器）管理