Python으로 만든 중력 시뮬레이션

개강도 얼마 안남았고 하루하루를 게임과 인터넷 서핑으로 무료하게 보내다가 오랜만에 나름 생산적인 일을 하기로 했다. 오늘의 유머에서 어떤 사람이 제작한 생태계 시뮬레이션에 대한 글을 보고 갑자기 아무거나 코딩을 하고 싶다는 생각이 들었고 뭘 만들까 고민하다가 중력 시뮬레이션을 만들기로 했다. 물론 내가 유일하게 제대로 할 수 있는 언어인 파이썬으로 물체 구현 종강한지 꽤 되어서 다 잊어버리지 […]

파이썬의 Lambda 함수와 형식의미론에서의 λ calculus

파이썬(Python)에는 Lambda 함수라는 것이 있는데, 이름이 없고 가리키는 객체만 존재하는 함수를 의미한다. 리턴값을 따로 적어주지 않아도 하나의 리턴값을 돌려준다. Lambda 함수는 다음과 같이 사용할 수 있다. >>> g = lambda x, y : x * y >>> g(2, 3) 6 >>> (lambda x: x * x)(3) 9 한편, 언어학의 한 분야인 형식의미론(Formal Semantics)에는 λ calculus라는 […]