657 followers Masaki Waga @MasWag 唐突にROS (Robot Operating System)とCoqで色々やる論文を見つけてしまった (やばそう) https://t.co/RXsJRSCpaX 25 Jan 2018 Reply Repost Favourite