[연재] Pumping Lemma 증명

[익명(112.169)]

무려 2주나 걸렸어...보조정리도 4개나 만들어야 했고

근데 끝내니깐 진짜진짜 기분 째짐 ㅋㅋ

[익명(223.62)]

뭔지모르겠는데 일단추천 - dc App

[익명(182.225)]

ㄹㅇㅋㅋ

[익명(223.62)]

화질 좆구린 거 보소

[익명(118.235)]

왠지 모르겠는데 화질이 업로드 하니깐 자꾸 깨지네

[다믜(damhiya)]

[익명(218.235)]

ㅈㄴ 똑똑해보이니까 일단 개추

[익명(98.177)]

무슨 proof assistant임? 전에 agda 건드려봤는데 이건 뭔지 모르겠네

[익명(118.235)]

Coq

[익명(223.38)]

뭘 증명했길래 펌핑레마가 이렇게 복잡함

[익명(118.235)]

내가 coq초보라 비효율적인 부분들이 꽤 있을텐데 건설적으로 증명해야 해서 그런걸거야.

[익명(118.235)]

모든 경우를 열거하면서 성질이 만족함을 보여야 하거든

[익명(223.38)]

ㅇㅎ 펌핑레마가 모든 경우에 참이란걸 증명했단거지?

[익명(118.235)]

맞아

[MetaFibonacci(equivalence)]

[익명(218.37)]

이건 뭔 언어야?

[익명(118.235)]

Coq

[익명(81u4211vc1kk)]

깃붕이가~ 좋아하는 랜덤~ 게임~ 무슨~ 게임~ 펌핑! 렘마!

[익명(138.199)]

뭐라는진 모르겠지만 있어보이니까 개추

[익명(2aychgqhrl4q)]

글씨 하나도 안보여 텍스트로 올려주삼..

[익명(121.134)]

사진 다시 올렸어. 디시가 사진을 이상하게 압축하네

[익명(chartman)]

https://i.imgur.com/1TvrfCv.png

[익명(180.67)]

서울대생임? sf에 있는 버전이네

[익명(121.134)]

아니 그냥 sf 혼자서 읽는중