TLA+ 스터디 시작
학교에서 컴퓨터 공학을 공부하면서 과연 추상화에 대해서 내가 깊이 배웠는지 스스로 물어 본다면 아니다라고 할 수 있다. 공부하면서 시시각각 변하며 스스로 복잡성을 더해가는 시스템을 어떻게 스스로 추상화하고 만들어 낼 것인지에 대해 고민하다 TLA+ 에 대해 알게되었다 이 언어의 개발자는 레슬리 램포트로 우리가 흔히 알고 있는 베이커리 알고리즘의 고안자이기도 하다. 어쨌든 그래서 국내에서 아마 이 언어를 공부하는 사람은 거의 나 혼자일것 같은데, 혹시나 관심 있다면 내 블로그에 자주 놀러와주기를 바란다. - from 주인장 -
