2,132 followers
"Approximation of Convex Polygons.": http://t.co/Ue2UskBaal #algo #geom #1990
"Approximation of Convex Polygons.": http://t.co/Ue2UskBaal #algo #geom #1990
@sinya8282 ちなみにこれは Krob 先生の大仕事論文で使われてた「公理から相互に導出可能」を意味する二項関係です.この棒線の上に必要な公理が乗ったりする. http://t.co/vZ414BH2ID
Krob先生の論文,しょっぱなから自由マグマとか持ち出して行列上のKleene Algebraの演繹の妥当性を形式化するのでビビる(意味が分かれば全然大したことやって無いんだけども). http://t.co/vZ414BH2ID