Gan Wenbin 氏による講演

Gan Wenbinさんから、“Automatically Solving Plane Geometry Problems” のタイトルでご講演を頂きました。