井上裕太・河原林健一・宮下敦行・Bojan Mohar・Carsten Thomassen・Mikkel Thorupの論文“The Four Color Theorem with Linearly Many Reducible Configurations and Near-Linear Time Coloring”https://t.co/rjpYzEzumPが理論計算機科学のトップ会議FOCS2026のBest Paper Award受賞‼️おめでとう🎉🎉🎉
井上裕太・河原林健一・宮下敦行・Bojan Mohar・Carsten Thomassen・Mikkel Thorupの論文“The Four Color Theorem with Linearly Many Reducible Configurations and Near-Linear Time Coloring”https://t.co/rjpYzEzumPが理論計算機科学のトップ会議FOCS2026のBest Paper Award受賞‼️おめでとう🎉🎉🎉