[%] Butterfly 인터프리터 구현할 수 있는 사람?

[기괴공학도(mecheng98)]

Butterfly언어의 설명:
http://m.dcinside.com/board/github/760

추가적인 요구 사항:
올바른 재귀적 정의인지 확인,
귀납법의 구현,
귀류법의 구현.

- 희망의 등불

[익명(223.33)]

나비효과

[점진적러스트(114.70)]

이런 질의도 대답해줌?

[점진적러스트(114.70)]

아 아니다

[기괴공학도(mecheng98)]

왜 궁금해지자나 - 훈다리 훈다리

[점진적러스트(114.70)]

http://www.cs.ust.hk/faculty/flin/papers/assat-aij-revised.pdf

[점진적러스트(114.70)]

함 읽어보셈 관련있는거같은데

[기괴공학도(mecheng98)]

자료 줘서 고마워 읽어볼게 - 훈다리 훈다리

[기괴공학도(mecheng98)]

정말 미안한데, butterfly는 타입 있는 언어라서 무한 개의 값을 변수에 배정할 수 있어. 그래서 코드는 무한한 명제논리에 대응되고, 이 방식으로는 못 풀 것 같다. 그래도 건져갈 아이디어가 있을 수도 있으니 계속 읽어볼게.