이 블로그를 React, TypeScript와 Gatsby, 그리고 GitHub Pages 로 제작하기까지의 여정을 이야기해보려고 한다.\n어떤 프로그래밍 언어들과 어떤 서비스들을 거쳐왔는지, 각각을 어떤 장점이 있어서 선택했고, 어떤 단점으로 인해 포기하게 되었는지에…
"}},{"title":"프로그래머를 위한 논리학 - 1","date":"3 years ago","dateForSort":"2020-05-16T00:50:00.000Z","postPath":"/ko/post/logic-for-programmers-001/","draft":false,"parent":{"excerpt":"이전 글에서 명제 논리를 위해 필요한 기본적인 정의들과 진리표를 이용한 논증의 건전함 증명에 대해서 알아보았다. 이 글에서는 진리표를 이용한 증명이 언제 어려워지는지(혹은 불가능…
"}},{"title":"프로그래머를 위한 논리학 - 0","date":"3 years ago","dateForSort":"2020-03-11T07:30:16.000Z","postPath":"/ko/post/logic-for-programmers-000/","draft":false,"parent":{"excerpt":"개발자 생활을 하다보면 한 번쯤 듣게 되는 (혹은 보게 되는) 말이 있다. 바로
\n\n\n좋은 개발자가 되려면 수학(혹은 논리학)을 배워야지!
\n
이다. 물론 필자가 이런 주장에 완전히 동의한다는 말은 아니다. 그러나 누군가 위 주장을 아래와 같이 조금 수정한다면, 필자는 언제 어디서든지 옹호할 생각이 있다.
"}},{"title":"프로그래머를 위한 논리학 - 2","date":"3 years ago","dateForSort":"2020-06-01T07:30:16.000Z","postPath":"/draft2/ko/post/logic-for-programmers-002/","draft":true,"parent":{"excerpt":"지난 글에서는 공리와 추론 규칙에 대해 알아보고, 그 중 '고전 자연 연역 체계'라고 불리는 공리와 추론 규칙의 모음에 대해 설명하고 사용해 보았다. 이번 글은 고전 자연 연역 체계를 …
"}}]}]},"site":{"siteMetadata":{"name":"Junyoung/\"Clare\" Jang","shortName":"J. Jang","siteUrl":"https://Ailrun.github.io","description":"Ailrun's Blog","author":"Junyoung/\"Clare\" Jang (@Ailrun)","locales":["ko_KR"],"themeColor":"#000000"}}},"pageContext":{}},"staticQueryHashes":[],"slicesMap":{}} \ No newline at end of file +{"componentChunkName":"component---src-pages-ko-posts-ts","path":"/ko/posts/","result":{"data":{"allMarkdownPost":{"group":[{"fieldValue":"ko","nodes":[{"title":"프로그래머를 위한 논리학 - 0","date":"3 years ago","dateForSort":"2020-03-11T07:30:16.000Z","postPath":"/ko/post/logic-for-programmers-000/","draft":false,"parent":{"excerpt":"개발자 생활을 하다보면 한 번쯤 듣게 되는 (혹은 보게 되는) 말이 있다. 바로
\n\n\n좋은 개발자가 되려면 수학(혹은 논리학)을 배워야지!
\n
이다. 물론 필자가 이런 주장에 완전히 동의한다는 말은 아니다. 그러나 누군가 위 주장을 아래와 같이 조금 수정한다면, 필자는 언제 어디서든지 옹호할 생각이 있다.
"}},{"title":"블로그 제작기","date":"3 years ago","dateForSort":"2020-02-18T07:30:16.000Z","postPath":"/ko/post/trip-to-make-a-blog/","draft":false,"parent":{"excerpt":"이 블로그를 React, TypeScript와 Gatsby, 그리고 GitHub Pages 로 제작하기까지의 여정을 이야기해보려고 한다.\n어떤 프로그래밍 언어들과 어떤 서비스들을 거쳐왔는지, 각각을 어떤 장점이 있어서 선택했고, 어떤 단점으로 인해 포기하게 되었는지에…
"}},{"title":"프로그래머를 위한 논리학 - 1","date":"3 years ago","dateForSort":"2020-05-16T00:50:00.000Z","postPath":"/ko/post/logic-for-programmers-001/","draft":false,"parent":{"excerpt":"이전 글에서 명제 논리를 위해 필요한 기본적인 정의들과 진리표를 이용한 논증의 건전함 증명에 대해서 알아보았다. 이 글에서는 진리표를 이용한 증명이 언제 어려워지는지(혹은 불가능…
"}},{"title":"프로그래머를 위한 논리학 - 2","date":"3 years ago","dateForSort":"2020-06-01T07:30:16.000Z","postPath":"/draft2/ko/post/logic-for-programmers-002/","draft":true,"parent":{"excerpt":"지난 글에서는 공리와 추론 규칙에 대해 알아보고, 그 중 '고전 자연 연역 체계'라고 불리는 공리와 추론 규칙의 모음에 대해 설명하고 사용해 보았다. 이번 글은 고전 자연 연역 체계를 …
"}}]}]},"site":{"siteMetadata":{"name":"Junyoung/\"Clare\" Jang","shortName":"J. Jang","siteUrl":"https://Ailrun.github.io","description":"Ailrun's Blog","author":"Junyoung/\"Clare\" Jang (@Ailrun)","locales":["ko_KR"],"themeColor":"#000000"}}},"pageContext":{}},"staticQueryHashes":[],"slicesMap":{}} \ No newline at end of file diff --git a/sitemap-0.xml b/sitemap-0.xml index 9c8f194c..2d903eee 100644 --- a/sitemap-0.xml +++ b/sitemap-0.xml @@ -1 +1 @@ -