[English TOP/Japanese TOP] [研究業績] [研究内容] [講義] [履歴] [リンク]

研究業績


発表文献


学術論文

  1. Takashi Horiyama, Takashi Iizuka, Masashi Kiyomi, Yoshio Okamoto, Ryuhei Uehara, Takeaki Uno, Yushi Uno, and Yukiko Yamauchi, ``Sankaku-Tori: An Old Western-Japanese Game Played on a Point Set,'' Journal of Information Processing, Vol.25, pp.708--715 (August 2017).
  2. Colin Cooper, Anissa Lamani, Giovanni Viglietta, Masafumi Yamashita, and Yukiko Yamauchi, ``Constructing self-stabilizing oscillators in population protocols,'' Information and Computation, Vol.255, Part 3, pp.336--351 (August 2017).
    (doi:10.1016/j.ic.2016.12.002)
  3. Yukiko Yamauchi, Taichi Uehara, Shuji Kijima, and Masafumi Yamashita, ``Plane Formation by Synchronous Mobile Robots in the Three Dimensional Euclidean Space'', Journal of the ACM, Vol.64, Issue 3, Article No. 16 (June 2017).
    (doi:10.1145/3060272)
  4. Sayaka Kamei, Tomoko Izumi, Yukiko Yamauchi, ``An asynchronous self-stabilizing approximation for the minimum CDS with safe convergence in UDGs'', Theoretical Computer Science (Elsevier), vol.615, pp.102--119, (February 2016).
    (doi:10.1016/j.tcs.2015.12.001)
  5. Nao Fujinaga, Yukiko Yamauchi, Hirotaka Ono, Shuji Kijima, and Masafumi Yamashita, ``Pattern Formation by Oblivious Asynchronous Mobile Robots'', SIAM Journal on Computing, Vol.44, Issue 3, pp.740--785, (June 2015).
    (doi:10.1137/140958682)
  6. Yukiko Yamauchi, ``A survey on pattern formation of autonomous mobile robots: asynchrony, obliviousness and visibility'', Journal of Physics: Conference Series, Vol.473, 012016 (December 2013).
    (doi:10.1088/1742-6596/473/1/012016)
  7. Yuichi Sudo, Junya Nakamura, Yukiko Yamauchi, Fukuhito Ooshita, Hirotsugu Kakugawa, and Toshimitsu Masuzawa, ``Loosely-stabilizing leader election in population protocol model'', Theoretical Computer Science (Elsevier), Vol.444, pp.100--112, (July 2012).
    (doi:10.1016/j.tcs.2012.01.007)
  8. Asaad Ahmed, Keiichi Yasumoto, Yukiko Yamauchi, and Minoru Ito, ``Probabilistic Coverage Methods in People-Centric Sensing'', Journal of Information Processing (Information Processing Society of Japan), Vol.19, pp.473--490 (October 2011).
  9. Hirotsugu Kakugawa, Yukiko Yamauchi, Sayaka Kamei, and Toshimitsu Masuzawa, ``Observations on non-silent self-stabilizing algorithms in sensor networks with probabilistically intermittent link failures'', Theoretical Computer Science (Elsevier), Vol. 412(33), pp.4336--4349, (July 2011).
    (doi:10.1016/j.tcs.2010.11.013)
  10. Yukiko Yamauchi, Doina Bein, and Toshimitsu Masuzawa, ``Reliable communication on emulated channels resilient to transient faults'', International Journal of Foundations of Computer Science (World Scientific Publishing), Vol.22, No.5, pp.1099--1122 (August 2011).
    (doi:10.1142/S0129054111008581)
  11. Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, and Toshimitsu Masuzawa, ``Timer-based composition of fault-containing self-stabilizing protocols'', Information Sciences (Elsevier), Vol.180 (10), pp.1802--1816 (May 2010).
    (doi:10.1016/j.ins.2009.10.003)
  12. Yukiko Yamauchi, Doina Bein, Toshimitsu Masuzawa, Linda Morales, I. Hal Sudborough, ``Calibrating embedded protocols on asynchronous systems'', Information Sciences (Elsevier), Vol.180 (10), pp.1793--1801 (May 2010).
    (doi:10.1016/j.ins.2009.08.029)
  13. Yukiko Yamauchi, Toshimitsu Masuzawa, and Doina Bein, ``Preserving the fault-containment of ring protocols executed on trees'', The Computer Journal (Oxford University Press), Vol.52, No.4, pp. 483--498 (July 2009).
    (doi:10.1093/comjnl/bxn061)
  14. 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, Vol.E92-D, No.3, pp.451--459 (March 2009).
  15. 西川元,山内由紀子,大下福仁,角川裕次,増澤利光, ``モバイルアド ホックネットワークにおける公平性の高い自己安定相互排除プロトコル'', 電子情報通信学会論文誌,研究速報,Vol.J91-A, No.02, pp.279--284, (2008年2月).
  16. 山内由紀子,中南良浩,大下福仁,増澤利光, ``無線ネットワークにおける距離2の彩色を利用したTDMAスケジュール手法'',情報処理学会論文誌,Vol.48,No.1,pp.327--341 (情報処理学会マルチメディア通信と分散処理研究会推薦論文) (2007年1月).

国際会議予稿集

  1. Akihiro Monde, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita, ``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), (to appear).
  2. Giuseppe Antonio Di Luna, Paola Flocchini, Nicola Santoro, Giovanni Viglietta, and Yukiko Yamauchi, ``Brief Announcement: Shape Formation by Programmable Particles,'' The 31st International Symposium on Distributed Computing (DISC 2017), (to appear).
  3. Taichi Uehara, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita, ``Plane Formation by Semi-synchronous Robots in the Three Dimensional Euclidean Space,'' Proceedings of the 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016) (Springer 2016, LNCS 10083), pp.383--398, Lyon, France, Nov. 7-10, 2016.
    (doi:10.1007/978-3-319-49259-9_30)
  4. Takahiro Yakami, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita, ``Searching for an Evader in an Unknown Graph by an Optimal Number of Searchers,'' Proceedings of the 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016) (Springer 2016, LNCS 10083), pp.399--414, Lyon, France, Nov. 7-10, 2016. (八神貴裕さんBest Student Paper受賞)
    (doi:10.1007/978-3-319-49259-9_31)
  5. Yukiko Yamauchi, Taichi Uehara, and Masafumi Yamashita, ``Brief Announcement: Symmetricity in 3D-space---Characterizing Formable Patterns by Synchronous Mobile Robots,'' Proceedings of the 30th International Symposium on Distributed Computing (DISC 2016) (Springer 2016, LNCS 9888) , pp.471--473, Paris, France, Sep. 26-30, 2016.
  6. Yukiko Yamauchi, Taichi Uehara, and Masafumi Yamashita, ``Brief Announcement: Pattern Formation Problem for Synchronous Mobile Robots in the Three Dimensional Euclidean Space,'' Proceedings of the 35th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2016), pp.447--449, Chicago, Illinois, USA, July 25-28, 2016.
    (doi:10.1145/2933057.2933063)
  7. Hiroshi Nishiyama, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita, ``The Parity Hamiltonian Cycle Problem in Directed Graphs,'' Proceedings of the 4th International Symposium on Combinatorial Optimization (ISCO 2016) (Springer 2016, LNCS 9849), pp.50--58, Salerno, Italy, May 16-18, 2016.
    (doi: 10.1007/978-3-319-45587-7_5)
  8. Takeharu Shiraga, Yukiko Yamauchi, Shuji Kijima, Masafumi Yamashita, ``Total variation discrepancy of deterministic random walks for ergodic Markov chains,'' Proceedings of the 13th Workshop on Analytic Algorithmics and Combinatorics (ANALCO 2016), pp.138--148, Arlington, Virginia, USA, Jan. 11, 2016.
    (doi:10.1137/1.9781611974324.13)
  9. Yukiko Yamauchi, Taichi Uehara, Shuji Kijima, and Masafumi Yamashita, ``Plane Formation by Synchronous Mobile Robots in the Three Dimensional Euclidean Space,'' Proceedings of the 29th International Symposium on Distributed Computing (DISC2015) (Springer 2015, LNCS 9363), pp.92--106, Tokyo, Japan, Oct. 7-9, 2015.
    (doi: 10.1007/978-3-662-48653-5_7)
  10. Colin Cooper, Anissa Lamani, Giovanni Viglietta, Masafumi Yamashita, and Yukiko Yamauchi ``Constructing Self-Stabilizing Oscillators in Population Protocols,'' Proceedings of the 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2015) (Springer 2015, LNCS9212), pp.187--200, Edmonton, Canada, Aug. 18-21, 2015.
    (doi:10.1007/978-3-319-21741-3_13)
  11. Tomoko Izumi, Sayaka Kamei, and Yukiko Yamauchi, ``Approximation Algorithms for the Set Cover Formation by Oblivious Mobile Robots,'' Proceedings of the 18th International Conference on Principles of Distributed Systems (OPODIS 2014) (Springer 2014, LNCS8878), pp.233-247, Cortina d'Ampezzo, Italy, Dec. 16-19, 2014.
    (doi:10.1007/978-3-319-14472-6_16)
  12. Yukiko Yamauchi and Masafumi Yamashita, ``Randomized Pattern Formation algorithm for Asynchronous Oblivious Mobile Robots,'' Proceedings of the 28th International Symposium on Distributed Computing (DISC 2014) (Springer 2014, LNCS 8784), pp.137--151, Austin, USA, Oct. 12-15, 2014.
    (doi:10.1007/978-3-662-45174-8_10)
  13. Fengqi Chen, Yukiko Yamauchi, Shuji Kijima and Masafumi Yamashita, ``Locomotion of Metamorphic Robotic System based on Local Information (Extended Abstract), '' Workshop on Self-organization in Swarm of Robots: from Molecular Robots to Mobile Agents , Nara, Japan, Oct. 6, 2014.
    (doi:10.1109/SRDSW.2014.23)
  14. Takeharu Shiraga, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita, ``L$\infty$-Discrepancy Analysis of Polynomial-time Deterministic Samplers Emulating Rapidly Mixing Chains,'' Proceedings of the 20th International Computing and Combinatorics Conference (COCOON 2014) (Springer 2014, LNCS 8591), pp.25--36, Atlanta, USA, Aug. 4-6, 2014.
    (doi:10.1007/978-3-319-08783-2_3)
  15. Takashi Horiyama, Masashi Kiyomi, Yoshio Okamoto, Ryuhei Uehara, Takeaki Uno, Yushi Uno and Yukiko Yamauchi, ``Sankaku-Tori: An Old Western-Japanese Game Played on a Point Set,'' Proceedings of the 17th International Conference on Fun with Algorithms (FUN2014) (Springer 2014, LNCS 8496), pp.230—239, Ischia, Italy, July 1-3, 2014.
    (doi:10.1007/978-3-319-07890-8_20)
  16. Toru Sasaki, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita, ``Mobile Byzantine Agreement on Arbitrary Network,'' Proceedings of the 17th International Conference on Principles of Distributed Systems (OPODIS 2013) (Springer 2013, LNCS 8304), pp.236—250, Nice, France, Dec. 16-18, 2013.
    (doi:10.1007/978-3-319-03850-6_17)
  17. Sayaka Kamei, Tomoko Izumi and Yukiko Yamauchi, ``An Asynchronous Self-Stabilizing 6-Approximation for the Minimum Connected Dominating Set with Safe Convergence,'' Proceedings of the 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2013) (Springer 2013, LNCS 8255), pp. 251—265, Osaka, Japan, Nov. 13-16, 2013.
    (doi:10.1007/978-3-319-03089-0_18)
  18. Xiaoguang Xu, Yukiko Yamauchi, Shuji Kijima and Masafumi Yamashita, ``On space complexity of self-stabilizing leader election in population protocol based on k-interaction,'' Proceedings of the 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2013) (Springer 2013, LNCS 8255), pp.86—97, Osaka, Japan, Nov. 13-16, 2013.
    (doi:10.1007/978-3-319-03089-0_7)
  19. Yukiko Yamauchi and Masafumi Yamashita, ``Pattern formation by mobile robots with limited visibility,'' Proceedings of the 20th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2013) (Springer 2013, LNCS 8179), pp.201—212, Ischia, Italy, July 1-3, 2013.
    (doi:10.1007/978-3-319-03578-9_17)
  20. Yukiko Yamauchi, Tomoko Izumi, and Sayaka Kamei, ``Mobile agent rendezvous on a probabilistic edge evolving ring,'' Proceedings of the 3rd International Conference on Networking and Computing (ICNC 2012), pp.103--112, Okinawa, Japan, Dec. 5-7, 2012.
  21. Yukiko Yamauchi, Sebastien Tixeuil, Shuji Kijima, and Masafumi Yamashita, ``Brief announcement: Probabilistic stabilization under probabilistic schedulers,'' Proceedings of the 26th International Symposium on Distributed Computing (DISC 2012) (Springer 2012, LNCS 7611), pp.413--414, Salvador, Brazil, Oct. 16-18, 2012.
    (doi:10.1007/978-3-642-33651-5_34)
  22. Nao Fujinaga, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita, ``Asynchronous pattern formation by anonymous oblivious mobile robots,'' Proceedings of the 26th International Symposium on Distributed Computing (DISC 2012) (Springer 2012, LNCS 7611), pp.312--325, Salvador, Brazil, Oct. 16-18, 2012.
    (doi: 10.1007/978-3-642-33651-5_22)
  23. Tomoko Izumi, Yukiko Yamauchi, and Sayaka Kamei, ``Brief announcement: Mobile agent rendezvous on edge evolving rings,'' Proceedings of the 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2012) (Springer 2012, LNCS 7596), pp.92--94, Toronto, Canada, Oct. 1-4, 2012.
    (doi:10.1007/978-3-642-33536-5_10)
  24. Masatora Ogata, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita, ``A randomized algorithm for finding frequent elements in streams using O(log log N) space,'' Proceedings of the 22nd International Symposium on Algorithms and Computation (ISAAC 2011) (Springer 2912, LNCS 7074), pp.514--523, Yokohama, Japan, Dec. 5-8, 2011.
    (doi:10.1007/978-3-642-25591-5_53)
  25. Asaad Gad Elrab, Keiichi Yasumoto, Yukiko Yamauchi, and Minoru Ito, ``Distance and time based node selection for probabilistic coverage in people-centric sensing,'' Proceedings of the 8th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON 2011), pp.134--142, Salt Lake City, USA, June 27-30, 2011.
    (doi:10.1109/SAHCN.2011.5984884)
  26. Hiroyuki Nagataki, Koji Noguchi, Ryo Katsuma, Yukiko Yamauchi, Naoki Shibata, Keiichi Yasumoto, and Minoru Ito, ``A distance learning system with customizable screen layouts for multiple learning situations,'' Proceedings of the 3rd International Conference on Computer Supported Education (CSEDU 2011), pp.94-102, Noordwijkerhout, Netherlands, May 6-8, 2011.
  27. Junpei Kuroiwa, Yukiko Yamauchi, Weihua Sun, and Minoru Ito, ``A self-stabilizing algorithm for stable clustering in mobile-adhoc networks,'' Proceedings of the 4th International Conference on New Technologies, Mobility and Security (NTMS 2011), pp.1--7, Paris, France, Feb. 7-10, 2011.
    (doi: 10.1109/NTMS.2011.5720626)
  28. Yu Takamatsu, Weihua Sun, Yukiko Yamauchi, Keiichi Yasumoto, and Minoru Ito, ``Energy-aware cooperative download method among Bluetooth-ready mobile phone users (short paper)``, Proceedings of the 7th International ICST Conference on Mobile and Ubiquitous Systems (MobiQuitous 2010), pp.1--6, Sydney, Australia, Dec. 6-9, 2010.
    (doi:10.1007/978-3-642-29154-8_31)
  29. Yukiko Yamauchi, and Sebastien Tixeuil, ``Monotonic Stabilization,'' Proceedings of the 14th International Conference on Principles of Distributed Systems (OPODIS 2010) (Springer 2010, LNCS 6490), pp. 475--490, Tozeur, Tunisia, Dec. 14-17, 2010.
    (doi:10.1007/978-3-642-17653-1_34)
  30. Yukiko Yamauchi, Toshimitsu Masuzawa, and Doina Bein, ``Adaptive containment of time-bounded Byzantine faults,'' Proceedings of the 12th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2010) (Springer 2010, LNCS 6366), pp.126--140, New York, USA, Sep. 20-22, 2010.
    (doi:10.1007/978-3-642-16023-3_12)
  31. Yukiko Yamauchi, Sebastien Tixeuil, ``Brief announcement: Monotonic stabilization,'' Proceedings of the 29th ACM Symposium on Principles of Distributed Computing (PODC 2010), pp.406--407, Zurich, Switzerland, July 25-28, 2010.
    (doi:10.1145/1835698.1835794)
  32. Hiroyuki Nagataki, Taichi Fujii, Yukiko Yamauchi, Hirotsugu Kakugawa, and Toshimitsu Masuzawa, ``A kinesthetic-based collaborative learning system for distributed algorithms,'' Proceedings of the International Conference on Education Technology and Computer (ICETC 2010), Vol.2, pp.97--101, Shanghai, China, June 22-24, 2010.
  33. Doina Bein, Toshimitsu Masuzawa, and Yukiko Yamauchi, ``Reliable communication on emulated channels resilient to transient faults,'' Proceedings of the 2nd International Workshop on Reliability, Availability, and Security (WRAS 2009) , pp.366--371, Hiroshima, Japan, Dec. 11, 2009.
    (doi:10.1109/PDCAT.2009.53)
  34. Hirotsugu Kakugawa, Yukiko Yamauchi, Sayaka Kamei, and Toshimitsu Masuzawa, ``Cached sensornet transformation of non-silent self-stabilizing algorithms with unreliable links,'' Proceedings of the 11th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2009) (Springer 2009, LNCS 5873), pp.428--442, Lyon, France, Nov. 3-6, 2009.
    (doi: 10.1007/978-3-642-05118-0_30)
  35. Yuichi Sudo, Junya Nakamura, Yukiko Yamauchi, Fukuhito Ooshita, Hirotsugu Kakugawa, and Toshimitsu Masuzawa, ``Loosely-stabilizing leader election in population protocol model,'' Proceedings of the 16th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2009) (Springer 2010, LNCS 5869), pp.295--308, Piran, Slovenia, May 25-27, 2009.
    (doi:10.1007/978-3-642-11476-2_23)
  36. Yukiko Yamauchi, Fukuhito Ooshita, Hirotsugu Kakugawa, and Toshimitsu Masuzawa, ``Output stability of self-stabilizing protocols against topology changes and transient faults,'' Proceedings of the 8th International Conference on Applications and Principles of Information Science (APIS 2009), pp.306--310, Okinawa, Japan, Jan. 11-12, 2009.
  37. Yukiko Yamauchi, Takashi Itou, Gen Nishikawa, Fukuhito Ooshita, Hirotsugu Kakugawa, Toshimitsu Masuzawa, ``Clustering algorithm for mobile ad-hoc networks to improve the stability of clusters,'' Proceedings of the IASTED International Conference on Sensor Networks 2008, pp. 9-15. Crete, Greece, Sep. 29-Oct. 1, 2008.
  38. Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, and Toshimitsu Masuzawa, ``Timer-based composition of fault-containing self-stabilizing protocols,'' Proceedings of the 2nd International Symposium on Intelligent Distributed Computing (IDC 2008) (Springer 2008, SCI 162), pp.217-226, Catania, Italy, Sep. 18-19, 2008.
    (doi:10.1007/978-3-540-85257-5_22)
  39. Yukiko Yamauchi, Doina Bein, Linda Morales, Toshimitsu Masuzawa, and I. Hal Sudborough, ``Calibrating an embedded protocol on an asynchronous system,'' Proceedings of the 2nd International Symposium on Intelligent Distributed Computing (IDC 2008) (Springer 2008, SCI 162), pp.227-236 , Catania, Italy, Sep. 18-19, 2008.
    (doi:10.1007/978-3-540-85257-5_23)
  40. Yukiko Yamauchi, Toshimitsu Masuzawa, and Doina Bein, ``Ring embedding preserving the fault-containment,'' Proceedings of the 7th International Conference on Applications and Principles of Information Science (APIS 2008), pp.43-46, Auckland, New Zealand, Jan. 28-30, 2008.
  41. Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa and Toshimitsu Masuzawa, ``Composition of fault-containing protocols based on recovery waiting fault-containing composition framework,'' Proceedings of the 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2006) (Springer 2006, LNCS 4280), pp.516-532, Dallas, USA, Nov. 17-19, 2006.
    (doi:10.1007/978-3-540-49823-0_36)

Preprints

  1. Akihiro Monde, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita, ``Self-stabilizing Localization of the Middle Point of a Line Segment by an Oblivious Robot with Limited Visibility'', arXiv:1707.06398, July 20th, 2017.
  2. Yusaku Tomita, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita, ``Plane Formation by Synchronous Mobile Robots without Chirality'', arXiv:1705.06521. May 18, 2017.
  3. Giuseppe A. Di Luna, Paola Flocchini, Nicola Santoro, Giovanni Viglietta, and Yukiko Yamauchi, ``Shape Formation by Programmable Particles'', arXiv:1705.03538, May 9, 2017.
  4. Yukiko Yamauchi, Taichi Uehara, and Masafumi Yamashita, ``Pattern Formation Problem for Synchronous Mobile Robots in the Three Dimensional Euclidean Space'', arXiv:1509.09207, Sep. 30, 2015.
  5. Takeharu Shiraga, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita, ``Total Variation Discrepancy of Deterministic Random Walks for Ergodic Markov Chains'', arXiv:1508.03458, Aug. 14, 2015.
  6. Yukiko Yamauchi, Taichi Uehara, Shuji Kijima, and Masafumi Yamashita, ``Plane Formation by Synchronous Mobile Robots in the Three Dimensional Euclidean Space'', arXiv:1505.04546, May 18, 2015.
  7. Hiroshi Nishiyama, Yusuke Kobayashi, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita, ``The Parity Hamiltonian Cycle Problem'', arXiv:1501.06323, Jan. 26, 2015.
  8. Takeharu Shiraga, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita, ``Deterministic Random Walks for Rapidly Mixing Chains'', arXiv:1311.3749, Nov. 15, 2013.

Erratum

  1. Nao Fujinaga, Yukiko Yamauchi, Hirotaka Ono, Shuji Kijima, and Masafumi Yamashita, ``Erratum: Pattern Formation by Oblivious Asynchronous Mobile Robots''. PDF
    (First uploaded: 2018,08,31)

国内研究会など

  1. 門出顕宏,山内由紀子,来嶋秀治,山下雅史, ``自律移動ロボットによる位置同定問題の可解性,'' COMP-ELC 学生シンポジウム(電子情報通信学会2017年総合大会), 名城大学(愛知県名古屋市),2017年3月23日.
  2. 八神貴裕,山内由紀子,来嶋秀治,山下雅史, ``探索者数最適なオンライングラフ探索アルゴリズム,'' コンピュテーション研究会, 南山大学(愛知県名古屋市),2017年3月7日.
  3. 河本和也,山内由紀子,来嶋秀治,山下雅史, ``格子グラフ上の2頂点間の単純経路のサンプリングについて,'' 日本応用数理学会2017年 研究部会連合発表会, 電気通信大学(東京都調布市),2017年3月6日-7日(3月6日).
  4. 中島淳平,山内由紀子,来嶋秀治,山下雅史, ``対称差に対する劣モジュラ関数の基準集合発見問題,'' 冬のLAシンポジウム2016, 京都大学数理解析研究所(京都府京都市), 2017年2月1日-3日(2月1日).
  5. 上原太一,山内由紀子,来嶋秀治,山下雅史, ``3次元空間中のnon-rigidな準同期自律移動ロボット群に対する平面形成問題,'' 冬のLAシンポジウム2016, 京都大学数理解析研究所(京都府京都市), 2017年2月1日-3日(2月3日).
  6. 玉谷賢一,山内由紀子,来嶋秀治,山下雅史, ``トークンが出会うことのない長周期のローターウォーク,'' 冬のLAシンポジウム2016, 京都大学数理解析研究所(京都府京都市), 2017年2月1日-3日(2月3日).
  7. 冨田祐作,山内由紀子,来嶋秀治,山下雅史, ``三次元空間中におけるキラリティのないロボット群による平面形成問題,'' 第161回アルゴリズム研究会, アイーナいわて県民情報交流センター(岩手県盛岡市), 2017年1月17日.
  8. 山内由紀子,``ロボット群の自己組織化能力と回転群,'' 計測自動制御学会 システム・情報部門 学術講演会 2016 (SSI 2016), 滋賀県立体育館,滋賀県大津市,2016年12月6日-8日(12月6日).
  9. 田村元貴,山内由紀子,来嶋秀治,山下雅史, ``3次元空間中における準同期ロボット群の集合問題,'' 電気・情報関連学会九州支部第69回連合大会,宮崎大学,2016年9月29-30日(9月29日). (田村元貴さん情報処理学会九州支部奨励賞受賞)
  10. 山内由紀子,山下雅史, ``ロボット群の分散協調と回転群,'' 第34回日本ロボット学会学術講演会,山形大学,2016年9月7日-9日(9月9日).
  11. Akihiro Monde, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita, ``Localization by an oblivious mobile robot with limited visibility,'' The 19th Japan-Korea Joint Workshop on Algorithms and Computation (WAAC 2016), Hakodate, Japan, Aug.30-31, 2016 (Aug.30).
  12. Yusaku Tomita, Yukiko Yamauchi, Shuji Kijima, and Masafumi Yamashita, ``Plane Formation by Autonomous Mobile Robots without Chirality,'' The 19th Japan-Korea Joint Workshop on Algorithms and Computation (WAAC 2016), Hakodate, Japan, Aug.30-31, 2016 (Aug.30).
  13. 橋村勇志,山内由紀子,来嶋秀治,山下雅史, ``ランク3行列の非負ランクの計算について,''  夏のLAシンポジウム 2016,かんぽの宿 大和平群,2016年7月19日-21日 (7月19日).
  14. 柴田友樹,山内由紀子,来嶋秀治,山下雅史,``おねえさんの問題の乱択近似,'' 基盤(S) 離散構造処理系プロジェクト 「2016年度 初夏のワークショップ」, 北海道大学,2016年6月17-18日 (6月17日),ポスター.

講演など

  1. Yukiko Yamauchi, ``Symmetricity and Pattern Formation in 2D and 3D,'' The Research Meeting and School on Distributed Computing by Mobile Robots, June 5-9, La Maddalena, Italy.
  2. Yukiko Yamauchi, ``Distributed coordination of autonomous mobile robots and symmetry,'' Workshop on Cellular Automata, Distributed Computing, and Mobile Agents, Feb.8, Center for Information and Neural Networks (CiNet), Osaka, Japan.
  3. Yukiko Yamauchi, ``Self-organization of Mobile Robots and Rotation Groups,'' Keynote at the 8th International Workshop on Parallel and Distributed Algorithms and Applications, Nov.23, Higashi Hiroshima, Japan.
  4. Yukiko Yamauchi, ``Symmetry of mobile robots in 3D space,'' The 6th Workshop on Moving and Computing, Sep.26, 2016, Paris, France.
  5. Yukiko Yamauchi, ``Distributed coordination of mobile robots in 3D-space, '' Dagstuhl Seminar 16271, July 3-8, 2016, Dagstuhl, Germany.
  6. Yukiko Yamauchi, ``Formation Problems for Synchronous Mobile Robots in the Three Dimensional Euclidean Space, '' Joint workshops: 7th workshop on GRAph Searching, Theory and Applications and 5th workshop on Moving And Computing (GRASTA-MAC 2015). Oct.19-23 (Oct.22), 2015, Universite de Montreal, Montreal, Canada.
  7. 山内由紀子,``自律移動ロボット群のモーションプランニング,'' 計測自動制御学会第1回制御部門マルチシンポジウム~ダイバージする制御~, OSナノダイナミクスに挑む知的制御:ミクロとマクロの視点から, 2014年3月4日~7日(3月7日),電気通信大学.
  8. Yukiko Yamauchi, ``A survey on pattern formation by mobile robots: asynchrony, obliviousness, and visibility, '' ELC International Meeting on Inference, Computation, and Spin Glasses (ICSG2013), Hokkaido University, Sapporo, Japan, July 2013.
  9. 山内由紀子,``自律分散ロボット群によるパターン形成,'' 計測自動制御学会調査研究会  分子ロボティクス研究会,田町CTC,東京,2013年7月.
  10. 山内由紀子,``ビザンチン故障と分散制御,'' 最適化ワークショップ:拡がっていく最適化, 九州大学マス・フォア・インダストリ研究所主催,九州大学,福岡,2012年2月.
  11. 山内由紀子,``悪意あるユーザ存在下での自律復旧型ネットワーク,'' 日本オペレーションズ・リサーチ学会九州支部 平成23年度第1回講演・研究会, 福岡,2011年7月.

学位論文

  1. 山内由紀子.``A Study on Hierarchical Design of Fault-containing Self-stabilizing Protocols.'' 博士論文,大阪大学大学院 情報科学研究科(2009年3月)
  2. 山内由紀子.``距離2の彩色を利用した無線ネットワークにおける TDMAスケジューリングを行なう分散アルゴリズム.''  修士学位論文,大阪大学大学院 情報科学研究科 コンピュータサイエンス専攻 (2006年2月)

解説など

  1. 山内由紀子,”三角取りは難しい”,数学セミナー2014年7月号,pp.54--59, 日本評論社,2014年7月.

広報

  1. 山内由紀子,``分散協調理論の研究:多様なモデルと問題の中に原理を探して''. 科研費NEWS,2017 VOL.1,p.12 (2017).

受賞等

  1. 第14回EATCS/LA presentation award, 冬のLAシンポジウム2015, 2016年1月28日: Yukiko Yamauchi, Taichi Uehara, and Masafumi Yamashita, ``Pattern Formation by Oblivious Synchronous Mobile Robots in the Three Dimensional Space''.
  2. Best paper award, The 17th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2015), 2015年8月20日: Colin Cooper, Anissa Lamani, Giovanni Viglietta, Masafumi Yamashita, and Yukiko Yamauchi ``Constructing Self-Stabilizing Oscillators in Population Protocols''.
  3. Best presentation award, the 8th International Conference on Applications and Principles of Information Science, 2009年1月12日: Yukiko Yamauchi, Fukuhito Ooshita, Hirotsugu Kakugawa, and Toshimitsu Masuzawa, "Output stability of self-stabilizing protocols against topology changes and transient faults".
  4. The 10 Selected Papers in ANNUAL REPORT OF OSAKA UNIVERSITY 2010--2011, Osaka University: Yukiko Yamauchi, Sayaka Kamei, Fukuhito Ooshita, Yoshiaki Katayama, Hirotsugu Kakugawa, and Toshimitsu Masuzawa, "Timer-based composition of fault-containing self-stabilizing protocols", Information Sciences (Elsevier), Vol.180 (10), pp.1802--1816 (2010, May).

外部資金獲得実績

  1. 平成27年度〜29年度 科学研究費補助金(若手研究B)
    研究課題名:分散システムの自己最適化理論
  2. 平成27年度〜28年度 科学技術研究費補助金(新学術領域研究,公募研究区分)
    研究課題名:分散システム論に基づく化学反応系の設計方法の確立
  3. 平成25年度〜26年度 科学技術研究費補助金(新学術領域研究,公募研究区分)
    研究課題名:自律分散ロボット群の制御理論に基づく化学反応回路素子の高機能化
  4. 平成23年度〜25年度 科学研究費補助金(若手研究B)
    研究課題名:有限時間ビザンチン故障に対する耐故障分散アルゴリズムに関する研究
  5. 平成22年度〜23年度 度電気通信普及事業財団 研究調査助成
    研究課題名: センサネットワークを対象とした分散アルゴリズムの自律適応性と安定性に関する研究
  6. 平成21年度〜22年度 科学研究費補助金(若手研究(スタートアップ))
    研究課題名: 動的ネットワークにおける自律適応的分散アルゴリズムの計算コストの削減に関する研究
  7. 平成20年度 科学研究費補助金(特別研究員奨励費)
    日本学術振興会 特別研究員DC2 研究課題名: 大規模ネットワークにおける耐故障分散ソフトウェアの設計の容易化

その他の資金

  1. 平成21年度奈良先端科学技術大学院大学 新規採用女性教員にかかるスタートアップ研究費

学会活動等

その他の活動

  1. Program committee member of the 13th Latin American Theoretical Informatics Symposium (LATIN2018).
  2. Program committee member of the 19th International Conference on Distributed Computing and Networking (ICDCN 2018)
  3. Program committee member of the 21st International Conference on Principles of Distributed Systems (OPODIS 2017).
  4. Program committee member of the Stabilizing Systems track of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2017).
  5. Program committee member of the Distributed Algorithms and Graph Computing Track of the 14th International Symposium on Pervasive Systems, Algorithms, and Networks (I-SPAN 2017)
  6. Program committee member of the 24th International Colloquium on Structural Information and Communication Complexity (SIROCCO 2017)
  7. Program committee member of the 31st International Symposium on Distributed Computing (DISC 2017)
  8. Program committee member of the Algorithms Track of the 31st IEEE International Parallel and Distributed Processing Symposium (IPDPS 2017)
  9. Program committee member of the distributed computing track and Publicity co-chairs of the 18th International Conference on Distributed Computing and Networking (ICDCN 2017)
  10. Program committee member of the International Workshop on Parallel and Distributed Algorithms and Applications (PDAA2017, PDAA 2016, PDAA 2015, PDAA 2014, PDAA 2013, PDAA 2012)
  11. Scientific Committee of MAC 2016 (Co-located with DISC 2016)
  12. Program committee member of the self-* and autonomic computing track of the 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2016)
  13. Organizer of Workshop on Distributed Robotic Swarms (Co-located with DISC 2015)
  14. Program committee member of the 29th International Symposium on Distributed Computing (DISC 2015)
  15. Organizing Committee of the 9th Hungarian-Japanese Symposium on Discrete Mathematics and Its Applications
  16. Program chair of the 1st Workshop on Self-organization in Swarm of Robots (WSSR 2014) (Co-located with SRDS 2014)
  17. Organization committee member of the 21st International Colloquium on Structural Information and Communication Complexity (SIROCCO 2014)
  18. Program committee member of the self stabilization track of the 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2014)
  19. Organizing Committee member of the 17th Korea-Japan Joint Workshop on Algorithms and Computation (WAAC 2014)
  20. Program committee member of the 18th International Conference on Principles of Distributed Systems (OPODIS 2014)
  21. Program committee member of the self stabilization track of the 15th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2013)
  22. Program committee member of the self stabilization track of the 14th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2012)
  23. Program committee member of the 3rd ACM International Workshop on Reliability, Availability, and Security (ACM WRAS 2010)
  24. 放送大学大阪学習センター 情報処理実習講師(2007年8月25日,26日)