개발자 노트

전공 도서 파기 프로젝트의 일환입니다. jurogrammer.tistory.com/140?category=894652 github.com/jurogrammer/top-down-approach-network/blob/main/Chapter1/chapter-1.3.md jurogrammer/top-down-approach-network top-down approach network 책 공부. Contribute to jurogrammer/top-down-approach-network development by creating an account on GitHub. github.com

전공도서 파기 프로젝트를 진행하려고 합니다. 왜 전공도서 파니? 이제 개발 실무에 들어간지 약 1년차가 되가고 있습니다만... 아직까지도 1. 기초적인 CS질문에 답하기 어렵고 2. 이런 저런 프로그램의 작동과정이 머리에 그려지지 않고 3. 기술 문서를 보고 이해 안됬던 개념이 전공 도서에 나오는 개념인걸 봐서 직업이 개발자라고 말하기에 부끄러움을 느꼈습니다.. 그래서 전공 도서 파기 프로젝트를 진행하려고 합니다 전공 도서 선정 이전에 강의 한 번은 봤기 때문에 어느정도 배경지식은 가지고 있습니다. 따라서 강의 안 보고 바로 전공도서를 볼 예정입니다. 네트워크 강의 주교재였던 [Computer Network-Computer Networking - A Top Down Approach] 운영체제 일명 공룡책..

출처 https://www.youtube.com/watch?v=3VQ382QG-y4 lambda calculus, boolean으로 표현! 이번 글에서는 lambda calculus가 어떻게 boolean 연산으로 전환될 수 있는지에 대해 알아보는 시간을 갖도록 하겠습니다. 출처에 적힌 내용을 바탕으로 설명드리도록 하겠습니다. 위키에 있는 내용만으로는 이해가 잘 되지 않아서 해당 유튜브를 참고했네요. 글의 구성 이 글은 총 2편에 걸쳐 작성할 것입니다. 첫 편에서는 lambda calculus에서 쓰이는 용어 대신 새의 이름으로 치환하여 함수를 소개할 것입니다. 그러면 선입견과 위화감을 줄이는데 큰 도움이 되거든요~ 그리고 다음 글에서는 어떻게 새의 이름을 실제 lambda calculus의 boolea..

개요 아키텍쳐에 대해 고민했는데요, 추상화에 의존하는 부분을 어중간하게 알고 있는 것 같았습니다. 머리에 구체적으로 그려지지 않았죠. 그러다가 스프링의 controller - service - model에서 서비스 인터페이스의 존재 이유에 대해 답변하는 날이 있었습니다. 스프링에서 왜 서비스 인터페이스를 사용해야 하는가? 아니면 왜 사용하지 말아야 하는가? 에 대해서 말이죠. 흐음... 물론 컨트롤러에서 특정 서비스에 의존하지 않고 다형성을 주기 위해 인터페이스를 작성할 수 있긴한데, 보통 gient service class가 생성되므로, 책임이 많아진 service에 대해서는 추상화가 의미가 없다.라고 했는데, 찝찝하더라구요. 아리까리한 느낌을 해결하기 위해 고민하다가 어중간함을 없애고 끝에 닿은 결론..

Active Record 고찰 참고자료 1. steveklabnik.com/writing/the-secret-to-rails-oo-design 2. blog.carbonfive.com/does-my-rails-app-need-a-service-layer 3. bamboolab.eu/blog/being-more-effective-in-rails-with-services 4. www.codewithjason.com/rails-service-objects 5. sites.google.com/site/unclebobconsultingllc/active-record-vs-objects 6. medium.com/root-engineering/separating-data-and-code-in-rails-archite..

출처 https://en.wikipedia.org/wiki/Lambda_calculus Reduction reduction의 사전적 정의는 다음과 같습니다. the action or fact of making a specified thing smaller or less in amount, degree, or size. 번역하자면 특정한 것의 양, 차원, 사이즈를 줄이는 행위 또는 사실이라고 말할 수 있습니다. meaning wiki에서 reduction의 도입부에 다음과 같이 말합니다. The meaning of lambda expression is defined by how expressions can be reduced lambda calculus의 의미는 expression이 얼마나 축소되는지에 따..

참고자료 https://en.wikipedia.org/wiki/Lambda_calculus#:~:text=Lambda%20calculus%20(also%20written%20as,to%20simulate%20any%20Turing%20machine. 개요 이전 게시글에선 lambda calculus를 informal하게 설명해드렸다면 이번엔 좀 더 수학적으로 정의한 것을 말씀드리는 시간을 갖도록 하겠습니다. lambda caclulus에 대해 깊숙히 알아가려고 한다면 formal하게 정의하는 방법을 숙지해야겠죠. 자료들은 formal하게 쓰여있으니까요... Formal definition lambda expression의 구성요소 variables v1, v2... 변수 v1,v2.... the abst..

1. 그래프이론 데이터에 대해 관심을 가짐. entity가 속성(att)에 대한 값을 가진다는 건 당연하게 받아들였는데, 아니, 데이터간 관계를 포착하고 그 관계에 어떤 속성을 부여한다.라... 생각해보니깐 신기하다. 알고리즘 공부할 때나 학과공부할 때 그래프 이론을 주입받은 느낌. 2. 함수형 프로그래밍 3. 타입 이론 4. 컴구, 운영체제, 네트워크 5. RDB 6.스프링 7.JPA 8.오토마타

출처 https://en.wikipedia.org/wiki/Lambda_calculus 선행 자료 https://jurogrammer.tistory.com/131 lambda caclulus Intro https://jurogrammer.tistory.com/132 Formal System 개요 이번 글에선 lambda calculus를 informal하게 설명하겠습니다. 그쵸.. 처음부터 formal하게 설명하면 머리아픕니다. 맥락을 파악하기 어렵구요. 따라서 formal한 정의와 사칙연산, boolean등으로 simulate하는 것은 다음에 알아보도록 하겠습니다. lambda caculus를 다시 설명하자면 다음과 같죠. formal system인데, computation 표현하기 위한 mathmet..

개요 이번 글에서는 Formal System에 대해서 말씀드리겠습니다. 허허; 분명 lambda calculus를 본격적으로 말씀드린다고 했는데, 막상 공부해보니 이 개념을 대충 넘어가면 안되겠더군요. lambda caclulus를 한 번 쭉 보고나서 느낀 점은 "도대체 내가 뭘 배운거지?"라는 생각이 들었습니다. 기호를 정의하고, 규칙을 정의하고, 정리를 도출하고.. 이게 lambda caclulus와 어떤 관련이 있는가? 궁금했었죠. 하하; 결론을 말씀드리자면 lambda calculus는 Formal System이기 때문에, 위 자체가 람다에 대한 Formal System을 배우는 거였습니다. 따라서 이번 글에서는 Formal System이 무엇인가?에 대해서 알아보도록 하겠습니다. 본문 정의 en..