t_wの輪郭

Feedlyでフォローするボタン
『HoTTSQL: Proving Query Rewrites with Univalent SQ...
あれ