Nayuta Yanagisawa
Who am I?
I have gotten a doctor's degree from
Department of Mathematics,
Graduate School of Science,
Kyoto University.
My supervisor was
Susumu Nishimura.
I am now working in the industry but I am still enthusiastic about
the theory of distributed computing.
Contact Information
- E-mail: nayuta87[at]math.kyoto-u.ac.jp
- Phone: Please inquire me by email.
Research Interests
- Shared-memory distributed computing
- Topological methods in distributed computing
Research
Journal Papers
- Nayuta Yanagisawa,
Wait-Free Solvability of Colorless Tasks in Anonymous Shared-Memory Model,
Theory of Computing Systems, 2017
Proceedings (Refereed)
- Yanagisawa N. (2016)
Wait-Free Solvability of Colorless Tasks in Anonymous Shared-Memory Model.
In: Bonakdarpour B., Petit F. (eds) Stabilization, Safety, and Security of Distributed Systems.
SSS 2016. Lecture Notes in Computer Science, vol 10083. Springer, Cham
- Delporte-Gallet C., Fauconnier H., Rajsbaum S., Yanagisawa N. (2018)
A Characterization of t-Resilient Colorless Task Anonymous Solvability.
In: Lotker Z., Patt-Shamir B. (eds) Structural Information and Communication Complexity.
SIROCCO 2018. Lecture Notes in Computer Science, vol 11085. Springer, Cham
- Delporte-Gallet C., Fauconnier H., Rajsbaum S., Yanagisawa N. (2019)
An Anonymous Wait-Free Weak-Set Object Implementation.
In: Podelski A., Taïani F. (eds) Networked Systems. NETYS 2018.
Lecture Notes in Computer Science, vol 11028. Springer, Cham
- Petr Kuznetsov, Nayuta Yanagisawa,
Task Computability in Unreliable Anonymous Networks , OPODIS2018 (to appear)
Unrefereed Presentations
- Nayuta Yanagisawa,
On Tractability of Distributed Task Solvability Problems,
Workshop on Computer Science and Category Theory (CSCAT2015),
Kagoshima, Japan, Mar. 14-15, 2015.
- Nayuta Yanagisawa,
Simple Proof for FLP Impossibilities,
Seminar on Algebra, Logic and Geometry in Informatics (ALGI25),
Kanagawa, Japan, Aug. 31-Sep. 1, 2014
Teaching
Teaching Assistant at Kyoto University
- Basic Programming (Apr. 2017 - Sep. 2017)
- Basic Programming (Apr. 2016 - Sep. 2016)
- Basic Programming (Apr. 2015 - Sep. 2015)
- Computer Basics & Practice (Oct. 2014 - Mar. 2015)
- Basic Programming (Apr. 2014 - Sep. 2014)
- Computer Basics & Practice (Oct. 2013 - Mar. 2014)