하스켈로 배우는 함수형 언어 9
Intro 이번시간엔 함수형 프로그래밍에서 property 를 증명하는 방법인 induction 에 대해 배워보고, 하스켈에서 알고리즘의 성능이 어떨까에 대해 좀 논의해 보겠습니다. 마지막엔 Rose Tree 를 구현하면서 Function, Monoid, Foldable...
Intro 이번시간엔 함수형 프로그래밍에서 property 를 증명하는 방법인 induction 에 대해 배워보고, 하스켈에서 알고리즘의 성능이 어떨까에 대해 좀 논의해 보겠습니다. 마지막엔 Rose Tree 를 구현하면서 Function, Monoid, Foldable...
Intro to Substring Search N 길이의 텍스트에서 M 길이의 패턴을 찾는 문제다. 일반적으로 N >> M 이다. N 이 좀 많이 (무한히) 길기 때문에 지난시간까지 배운 알고리즘을 적용하기가...
What is Reactive Programming? reactive 란 뜻은 React to events (event-driven) React to load (scalable) React to failures (resilient) React to users (responsive) Event-driven event-driven 을 통해 scalable,...
PHP를 대차게 까는 분들이 가끔 워드프레스 설치하는 환경을 물어보기도 하고 또 환경 설정을 알려주면 설치하면서도 잔소리를 계속 하길래 이런 도구를 소개하는 것도 도움이 될 것 같아 짧게 소개글을...
Two-Phase Process Discovery, Limitations 지난시간에 두 단계를 거치는 프로세스 마이닝 알고리즘을 봤었다. 하나는 heuristic mining 으로 dependency graph 를 만들고, 이것을 C-nets 으로 변환했었다. 다른 하나는 transition system...
Product Hunt를 통해 알게 된 사이트인데 해외 사이트 중에 Maker Stories라는 사이트가 있다. 흥미로운 제품 뒤에 숨겨진 이야기와 사람들을 조명하는 사이트인데, 이야기의 흥미로움보다 일단 소개되는 제품들이 눈길을 끈다....
루비에서는 메서드를 괄호 없이 호출할 수 있습니다. 반면에 파이썬에서는 함수를 괄호 없이 사용하면, 함수 호출이 아니라 해당하는 이름을 가진 함수를 참조하게 됩니다. 이는 루비와 파이썬에서 변수와 함수가 존재하는...
어제 포스팅한 비정상이 정상이 된 일정 산정 방식이라는 글을 쓰다 보니, 대안도 없이 조직 생활의 단점만 쓴 것 같다. 그렇다고 이번 포스팅에서 조직 생활의 장점을 쓰겠다는 것은 아니고,...
String Symbol Table 지난 시간에 symbol-table 의 구현으로 red-black tree, hash table 의 성능을 살펴봤었다. red black tree 는 search, insertion, delete 에 compareTo 를 이용해 log N,...
페이스북에서는 링크를 가져오면서 여러가지 메타정보로 뉴스피드에 그럴듯한 화면을 보여주게 된다. 페이스북 크롤러가 돌아서 제대로된 정보를 긁어갈 때까지 기다리는 방법이 있는데, 컨텐츠 관리자 입장에서는 속이 탈 노릇. 특히나 이미지...
서브라임 텍스트 3에서 에버노트를 작성하기 에버노트는 크로스 플랫폼 클라우드 노트를 최초로 안정적으로 구현하였고, 프리미엄 요금체계를 용량제로 처음 도입한 것이 매우 인상적이었다. 노트앱에 관심이 많은 사람으로서 일찍부터 사용을 했고,...
재현이 안 된 버그는 고칠 수 없다. 재현을 바탕으로 버그를 고쳤는지 확인할 수 있기 때문에. 진짜 못 찾는 건 의심 코드를 저격하고 동향을 살펴 볼 뿐이다. 발견 안...
나는 기획자다. 그런데 개발을 조금 할 줄 안다는 이유로 개발이 매우 어렵다는 것을 알고 있고, 그 덕분에 나도 모르게 개발자 마인드를 갖게 됐다. ‘A방식은 B방식보다 어려우니까’, ‘B방식 대비...
이번 주에는 mini-batch, stochastic graident descent, online learning, map-reduce 등의 개념에 대해 배운다. Learning With Large Datasets (http://blog.csdn.net/linuxcumt) 왜 그렇게 큰 데이터 셋이 필요할까? 좋은 퍼포먼스를 얻기 위한...
하츠네 미쿠. 처음 보고 충격받았던 콘서트 영상이 생각난다. 뭔가 해보고 싶은 게 있어야 한다. "만들고 싶은 거 있죠? 그중 간단한 거 만들어 보세요." 프로그래밍 언어를 배운 후 앞으로...
어제 포스팅한 슬라이드쇼 플러그인에 이어서, Carousel 플러그인 소개. 마찬가지로 모바일, PC, 태블릿 등에서 모두 최적화된 상태로 보여져야 해서 여러 플러그인을 골라봤는데, 그 중에 마음에 들었던 플러그인이라 소개한다. 내가...
Strings in Java 문자열은 Character (문자) 의 나열이다. C 에서 하나의 캐릭터는 8-bit 인데, 자바의 경우에는 16-bit unsigned integer 로 표시한다. 스트링의 길이를 얻기 위해 length, 인덱싱 하기...
코믹시스트를 모바일, PC, 태블릿 등에서 모두 최적화된 상태로 보여지게끔 만들고 싶어서, 슬라이드쇼 플러그인을 많이 찾아 헤맸던 기억이 난다. 메인 화면을 장식하는 영역이라 꽤 많은 조건이 필요했는데, 정리하자면 다음과...
모에. 뭔지 모르지만 익숙하다. 왜냐면 내 첫 게임 프로젝트에서 많이 쓰였기 때문이다. 모델 뷰어는 MoeView였고 월드 에디터는 MoeTanz였다. 뭔지는 모르겠지만 일반적이지 않다는 건 느꼈다. 아. 다행히 클래스 이름...
국내에서도 코딩을 정규 교과 과정에 포함시킨다는 발표가 나오는 등 전 세계적으로 코딩 교육에 대한 열풍이 거세다. Here’s the first line of code ever written by a US president...
클로즈 베타 하기 전에 챙겨야 할 리스트다. 왜 클로즈 베타인가? 클라이언트 바이너리가 가장 취약한 시기이기 때문이다. 클라이언트에서 접속하는 서버 주소를 보내는 건 생각도 못 해봤네. 간단하지만 빠른 대처를...
Four Quality Criteria For Process Discovery real process 로 부터 event log 를 얻고 이것으로 process model 을 만든다. process model 을 평가하기 위해 해야하는 질문은 Is the...
그래프는 네트워크를 표현하는 것 뿐만 아니라, state 를 표현할 수 있다. Nodes represent states of system Edges represent actions that cause a change of state 그러면 그래프 문제는...
지난 포스팅에서 웹툰을 보여주는 기능까지는 넣었는데, 다른 웹툰을 볼 수 있는 기능과 로딩중 표시는 다루지 않았다. 다음에 다룬다고 하고 무려 석달이나 지나 이제야 다루게 됐다. 이제는 정말로 끝!...
Side Projects by Sacha Greif. 사이드 프로젝트 완성 노하우를 담은 발표자료. 10시간 이내에 런칭할 수 있게 목표와 방법을 가공하는 게 핵심. 크고 아름다운 사이드 프로젝트를 완성하면 좋지~ 근데...
뉴스앱인 Circa News에는 1000개가 넘는 리뷰가 등록되었는데, 이 중 95% 이상이 별 다섯개다. 앱에서 사용자 리뷰가 얼마나 큰 영향을 미치는지는 말 할 필요가 없을 정도인데, 어떻게 이런 리뷰를...