[%] 코세님 Butterfly 인터프리터 구현 어떻게 할까요?

[기괴공학도(mecheng98)]

Butterfly의 설명입니다:
http://m.dcinside.com/board/github/760
귀납법, 귀류법, 올바른 재귀인지 확인하는 기능도 필요합니다.
대충 힌트만 주세요. 항상 대단하신 분이라고 생각하고 있습니다.

- 희망의 등불

[익명(110.70)]

결국 sat solver 돌려야하는거아님?

[기괴공학도(mecheng98)]

1계논리는 명제논리로 커버할 수 없을 것 같아요 - 훈다리 훈다리

[익명(110.70)]

그럼 smt solver

[기괴공학도(mecheng98)]

검색해 볼게요 - 훈다리 훈다리

[해당 댓글은 삭제되었습니다.]

해당 댓글은 삭제되었습니다.

[기괴공학도(mecheng98)]

내 제가 찾던 게 맞아요. 감사합니다. - 훈다리 훈다리

[익명(110.70)]

근데 독학으로 이거 다 공부한거임?? 유튜브 강의같은것도 안보고 책으로만?? 대단하다

[기괴공학도(mecheng98)]

? 뭘요? 저 공부한 거 별로 없는데요. - 훈다리 훈다리

[익명(110.70)]

님이 연재하던 람다대수같은것들

[기괴공학도(mecheng98)]

람다 대수는 함수형 언어를 이해하기 위해서 공부했는데 별 효과는 없었어요 ㅠㅠ - 훈다리 훈다리

[익명(110.70)]

관심있을거같아서 이자료 추천함
http://ropas.snu.ac.kr/~kwang/4541.664A/17/

[기괴공학도(mecheng98)]

정말 감사합니다. - 훈다리 훈다리

[codesafer(codesafer)]

SMT solver 급으로 될까 과연 ATP 까지 가야될것 같은데, 베이스에 구현할게 너무 많지 않음?

[기괴공학도(mecheng98)]

ATP도 검색해 보겠습니다. - 훈다리 훈다리

[익명(110.70)]

오 ATP는 몰랐는데 좋은 정보 감사합니다

[codesafer(codesafer)]

이 재기발랄한 반응들은 뭐지? ㅋㅋ

[codesafer(codesafer)]

어느정도를 아웃소싱할지 쇼핑을 좀 해야될것 같은데 근데 이바닥이 요즘 싸하게 식은거 아니던가

[기괴공학도(mecheng98)]

전부 다 제가 코딩하고 싶어요 - 훈다리 훈다리

[codesafer(codesafer)]

패기좋은데 ㅡ,.ㅡ

[codesafer(codesafer)]

이분 최소 매스매티카 익스트림 만드실 분.

[기괴공학도(mecheng98)]

코세님 결국 스스로 논문 보면서 공부하는 게 답인가요? 좋은 아이디어 좀 주시길 부탁드립니다. - 훈다리 훈다리

[codesafer(codesafer)]

일단 구현체들 갖고 써보면서 어떤인터페이스를 제공하는게 좋을지 생각해보면 나을것 같은데 말이지

[codesafer(codesafer)]

미지수 하나라도 줄이는게 나으니

[codesafer(codesafer)]

주변에서 보는건 끽해야 정적분석이나, FPGA 로직블럭 피팅 파트 기능 정도라 ( SMT solver 쓰겠지? ) 솔직히 난 별 관심없음...

[기괴공학도(mecheng98)]

조언 감사합니다. 일단 기존 구현체에 대해 더 공부하라는 말씀이군요. - 훈다리 훈다리