From a692924ca2ba164f17514fc271f5d4411c33521c Mon Sep 17 00:00:00 2001 From: Junyoung Clare Jang Date: Tue, 4 Jul 2023 00:47:28 +0000 Subject: [PATCH] Update from Gatsby --- page-data/ko/posts/page-data.json | 2 +- sitemap-0.xml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/page-data/ko/posts/page-data.json b/page-data/ko/posts/page-data.json index da29de80..5da91fd5 100644 --- a/page-data/ko/posts/page-data.json +++ b/page-data/ko/posts/page-data.json @@ -1 +1 @@ -{"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
\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":"

두번째 글을 열면서

\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":"

세번째 글을 열면서

\n

지난 글에서는 공리와 추론 규칙에 대해 알아보고, 그 중 '고전 자연 연역 체계'라고 불리는 공리와 추론 규칙의 모음에 대해 설명하고 사용해 보았다. 이번 글은 고전 자연 연역 체계를 …

"}}]}]},"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
\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":"

두번째 글을 열면서

\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":"프로그래머를 위한 논리학 - 2","date":"3 years ago","dateForSort":"2020-06-01T07:30:16.000Z","postPath":"/draft2/ko/post/logic-for-programmers-002/","draft":true,"parent":{"excerpt":"

세번째 글을 열면서

\n

지난 글에서는 공리와 추론 규칙에 대해 알아보고, 그 중 '고전 자연 연역 체계'라고 불리는 공리와 추론 규칙의 모음에 대해 설명하고 사용해 보았다. 이번 글은 고전 자연 연역 체계를 …

"}}]}]},"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 2d903eee..d4659bcc 100644 --- a/sitemap-0.xml +++ b/sitemap-0.xml @@ -1 +1 @@ -https://ailrun.github.io/ko/post/logic-for-programmers-000/daily0.7https://ailrun.github.io/ko/post/trip-to-make-a-blog/daily0.7https://ailrun.github.io/ko/post/logic-for-programmers-001/daily0.7https://ailrun.github.io/draft2/ko/post/logic-for-programmers-002/daily0.7https://ailrun.github.io/daily0.7https://ailrun.github.io/en/about/daily0.7https://ailrun.github.io/en/daily0.7https://ailrun.github.io/en/projects/daily0.7https://ailrun.github.io/en/publications/daily0.7https://ailrun.github.io/ko/about/daily0.7https://ailrun.github.io/ko/daily0.7https://ailrun.github.io/ko/posts/daily0.7https://ailrun.github.io/ko/projects/daily0.7https://ailrun.github.io/ko/publications/daily0.7 \ No newline at end of file +https://ailrun.github.io/ko/post/logic-for-programmers-000/daily0.7https://ailrun.github.io/ko/post/logic-for-programmers-001/daily0.7https://ailrun.github.io/ko/post/trip-to-make-a-blog/daily0.7https://ailrun.github.io/draft2/ko/post/logic-for-programmers-002/daily0.7https://ailrun.github.io/daily0.7https://ailrun.github.io/en/about/daily0.7https://ailrun.github.io/en/daily0.7https://ailrun.github.io/en/projects/daily0.7https://ailrun.github.io/en/publications/daily0.7https://ailrun.github.io/ko/about/daily0.7https://ailrun.github.io/ko/daily0.7https://ailrun.github.io/ko/posts/daily0.7https://ailrun.github.io/ko/projects/daily0.7https://ailrun.github.io/ko/publications/daily0.7 \ No newline at end of file