s
0
글
2
팔로워
3
팔로잉

shelter515

프로필 공유로 응원하기
수학의 즐거움
수학의 즐거움 인증된 계정

[역시 함께읽어야죠 수학책은] 역함수 모임

수학의 즐거움 채널에서 진행 되는 역함수 모임의 맴버십 디스커션을 백업으로 정리해둡니다. KBS 즐거웠습니다. 강성훈 선생님 덕에 편하게 시간을 가졌습니다. 덕분에 전설의 밤은 정말 오랫만에 떠올렸네요. 올해 4월에 수성, 금성, 화성, 토성, 해왕성이 일렬로 정렬하는 이벤트가 있는데, 지구를 포함하면 6개의 행성이 한 시야에 모이는 현상이네요. 이참에 많은 사람들이 이 책을 읽게 될지도... 아시모프는 이런 정렬 현상에 아이디어를 얻었을지도 모르겠습니다. 모든 수의 여러 쌍에, 아무리 많고 아무리 크더라도, 삼체, 육,칠체 운동이 아무리 복잡해도 아주 긴 시간을 생긱하면 공배수 같은 주기가 존재한다는 것과 연결되는지도 모르겠습니다. 이 영상도 떠올랐습니다.  https://youtube.com/shorts/j8DnHwm-FGM?si=Tqwg9dNzAFqDZwC9 히파티아는 정말 매력적이고 신비한 인물로 보입니다. 두터운 편견이 있는 시절이었을텐데 그런 명성을 얻고 거의 전...
사상/철학/역사
수학의 즐거움
수학의 즐거움 인증된 계정

[수학의 즐거움] 기계학습-최적화-확률론 스터디 24년 3-4월

수학의 즐거움 유튜브 채널에서 24년에 진행 되는 기계학습-최적화-확률론 스터디의 맴버십 슬랙 기록을 백업해두는 것입니다. NKH 안녕하세요. 만나서 반갑습니다. 저는 3월부터 새로운 스터디를 진행하게 된 NKH입니다.본 스터디의 주제는 'Random process and Stochastic Optimization'입니다. 랜덤 프로세스는 매주 제가 공부한 내용을 바탕으로 강의를 진행하되, 그때그때 참여자분들과의 디스커션을 통해 다음 진행 방향이나 주제를 유동성 있게 조절해나갈 것이며, 따로 끝나는 기간을 설정하지 않을 겁니다. 개인적으로 랜덤프로세스의 기초부터 심화까지 본 스터디에서 다루어질 수 있길 바라는 욕심이 있습니다.확률적 최적화는 수리적 최적화 (Operation research) 의 한 분야로서 흔히 확률적 탐색, 확률적 프로그래밍, 확률적 최적제어 등등을 아우르는 상당히 넓은 용어입니다. 본 스터디에서 다루어질 확률적 최적화는 모델 파라미터를 학습할 때 존재하는...
산업/기술/IT
수학의 즐거움
수학의 즐거움 인증된 계정

 [수학의 즐거움] 강화학습과 하드웨어를 토대로 게임보이를 다루기 위한 셋팅

수학의 즐거움 유튜브 채널에서 24년에 진행 되는 '강하게' 스터디의 맴버십 슬랙 기록을 백업해두는 것입니다. CSY 도커 환경 작성이 많이 늦어졌습니다. 일단  github에 소스코드와 매뉴얼을 올려두었습니다. 실행하면서 에러가 발생하면 언제든지 슬랙으로 연락 주시면 조사 후 환경 업로드를 하겠습니다. 깃을 사용할줄 아시는 분들께서는 다음의 커맨드로 저장소에서 클론한 후 Manual.xlsx를 열어 내용을 확인해 주세요  git clone https://github.com/Syline-C/enjoy_math_fpga.git 깃 사용법을 모르시는 분들께서는 다음과 같은 순서로 매뉴얼을 다운로드 해주시고, 사용중인   OS에 맞추어 환경을 작성해주시면 됩니다. 1. https://github.com/Syline-C/enjoy_math_fpga/tree/main 에 접속해주세요 2. Manual.xlsx를 클릭해주세요 3. Raw 옆 다운로드 기호를 클릭하면 매뉴얼을 다운로드 하...
산업/기술/IT
수학의 즐거움
수학의 즐거움 인증된 계정

수학을 토대로 프로그래밍 언어를 공부하는 이야기

수학의 즐거움 채널에서 24년 상반기부터 시작된 범주론적 프로그래밍 언어 스터디가 진행 되면서 발생한 맴버십 슬랙의 디스커션 기록을 기록해둡니다. CGH https://unglueit-files.s3.amazonaws.com/ebf/e90890f0a6ea420c9825657d6f3a851d.pdf Category theory for programmers https://teamdable.github.io/techblog/Moand-and-Functional-Architecture IJO 저도 functional programming에 관심이 많아서 모나드도 검색해서 보고 했는데 이렇게 좋은 기회가 있다니 재미있네요 . category theory도 관심이 많았는데 이제서야 수학의 유용성을 실감하게 됩니다. 앞으로의 시간에 흥분이 되네요 감사합니다. KTH 집합과 함수부터 짚고 넘어가는 거 확인하는 순간 제대로 된 레퍼런스란 느낌이 들었습니다. KTH 모나드까지는 코드상으로 어떤...
산업/기술/IT · 젠더/청년/교육
수학의 즐거움
수학의 즐거움 인증된 계정

[측도론] 측도론 공부를 시작하는 이야기

수학의 즐거움 유튜브 채널에서 기초부터 대학원 수학까지 스터디 1기 팀이 측도론을 공부한 디스커션 로그 입니다. JYS 하나의 함수가 아닌 여러 개의 함수에 대한 initial topology를 생각해봤습니다. 각 함수를 연속이 되게 하는 가장 작은 위상이라는 관점으로 여러 개의 함수에 대한 initial topology도 정의할 수 있는 것 같습니다. 그리고 곱위상을 각 사영함수가 연속이 되게 하는 가장 작은 위상, 즉 initial topology로 해석하였습니다. HJS 이번에 편하게 대화 나누면서 교수님과 여러 선생님들의 말씀도 들어보고 즐거운 시간이었습니다. 다음주부터는 ‘53. 측도론(a)’를 시작하게 됩니다. 앞으로도 스터디의 첫 시작은 예찬 선생님께서(혹은 제가) 영상내용을 간단히 요약해주시면서 토픽을 잡아주시고, 이후에는 자유롭게 노트를 공유하고 디스커션을 나누는 시간이 될 것 같습니다. JYS 연습문제 푼 것과 강의 후기 남깁니다. 1. 시그마-대수의 비교...
산업/기술/IT · 문화/예술 · 사상/철학/역사
조
조혜연 인증된 계정

역삼동에서 가장 맛있는 돈까스

13000원에 훌쩍 일본 다녀온 느낌, 바로 숨은 맛집 시올돈 도곡점(내돈내산 솔직후기)입니다. 역삼 2동에 맛난 돈까스 집은 많아요. 가츠몽/하이들/싸다김밥 강남역삼점 등등. 하지만 그중 단언컨대 이 집은 찐이다 하는, 나만 알고 싶은 그런 장소가 있습니다. 주변을 휘휘 둘러보며 일본 다녀왔다 느낌 내고 싶은 날이라면, 시올돈 도곡점을 강력 추천합니다. * 도쿄 여행 중 신칸센 탔을 때 카츠샌드 등, 가벼운 벤또 즉 도시락이 많아서 골라먹는 재미가 있었다고 하죠. 우리 외국인 유학생은 개인취향으로 교토보다는 도쿄가 더 재미있었다고 해요. 저는 교토의 강가, 기온마치거리에 푹 빠져서 거기서만 놀고 싶었는데요. * 우리 지난 3개월 간 말도 못하게, 눈물 콧물 쏙 빠지게 고생했었더랍니다. 이제는 시합 시즌이 시작이네요. 함께 성장하는 재미가 봄꽃처럼 마음 설레게 합니다.  PBA 바둑아카데미는 학생의 성장과 함께 발전하는데, 저 개인은 갈 길이 너무 멀고, 암담하고,...
지역사회 · 경제/소비자
3
수학의 즐거움
수학의 즐거움 인증된 계정

[강화학습과 하드웨어로 다루는 게임보이 모임] 스터디를 시작하며

수학의 즐거움 유튜브 채널에서 강화학습과 하드웨어로 다루는 게임보이 모임을 시작하는 라인의 기록 입니다. YJW 안녕하세요, 오늘 올리신 verilog영상 재밌게 봤습니다. 영상을 보고서 관심이 생겨 따라 해보려 하는데 https://velog.io/@gidskql6671/WSL-WSL2-%EC%84%A4%EC%B9%98-VSCode-%EC%97%B0%EB%8F%99 https://velog.io/@pikamon/VSCode-1#2-verilog-colorizer 이 두 블로그 글로도 따라갈 수 있는지 궁금합니다. CSY 네 충분히 가능합니다.하지만 vscode는 에디터이고 컴파일러가 아니기때문에 컴파일 후 웨이브폼을 보면서 디버깅은 불가능 할듯힙니다.vivado의 경우 컴파일부터 논리합성까지 가능한 툴이지만 용량이 300G ~ 500G정도 되는 무거운 툴입니다.또한 기능이 많은 만큼 처음에는 사용이 어려우실겁니다.대부분의 자료들이 Install은 있지만 그 이후의 결과뭏은 ...
산업/기술/IT
수학의 즐거움
수학의 즐거움 인증된 계정

[서유기, 수학적 휴리스틱으로의 기계학습] 기계학습 스터디 시작

수학의 즐거움 채널에서 기계학습 스터디를 시작하는 라인의 기록 입니다. SJY 프로젝트 기반의 기계학습 우선 방향성은 어느정도 정한것 같습니다 제가 하고자하는 LLM과 복싱은 나중에 할 것 같습니다 저도 시스템이 명확하지 않은 상태이고 이거를 진행하기에는 에너지 소모가 많이 되는 것 같아서 정리가 더 필요한 것 같습니다 저는 LLM과 복싱은 원피스로 치면 도플라밍고쯤 되는 녀석이라고 생각을 합니다 도플라밍고를 잡을때 같이 잡을 수 있는 선원들이 더 있었으면 좋을 것 같다는 생각을 했습니다선원을 모을려면 드레스로쟈에서 나오는 강한 선원도 있지만 처음부터 같이 하는 조로, 나미, 상대와 같은 오래가는 선원들이 조금 더 도움이 되는 것 같습니다 서로 같이 가면서 경험이 쌓이면서 다들 성장하는 것 같습니다지금 제 생각은 산적 히그마, 아론 같은 상대적으로 쉬운 녀석들을 잡으면서 선원들을 영입할려고 생각하고 있습니다실제로 기초적이면서 실용적인 것들을 진행하려고 생각하고 있습니다 ...
산업/기술/IT
수학의 즐거움
수학의 즐거움 인증된 계정

[위상수학] 코호몰로지 를 정의하기 위한 각자의 고찰

수학의 즐거움 채널에서 리만의 복소해석 시간에 대해 참석자들이 디스커하며 슬랙에 남긴 내용을 정리한 것입니다. CGH 이번 주부터 복소해석 들어오시는 분들은 코호몰로지에 대해 본인 관점에서 뜯어본 것에 대해 슬랙에 글 남기시는 분들만 들어오시길 바랍니다. 이후 이야기들을 따라가는데 있어서 아주 최소한의 요구 입니다. IDH 아주 긴 생각을 거듭해서 도출된 저만의 결론은 다음과 같습니다. 근본으로 거슬러가서 저는 왜 Mayer Vietoris sequence와 같은 것을 생각할 수밖에 없었는가를 따져보았습니다. 솔직히 저 혼자만의 힘으로 생각하기에는 결론에 도달하지 못할 것 같아서 (사실 제가 며칠 간 생각해서 그저 거저 얻어지는 개념이었으면 수학자들이 어렵게 발견하지도 않았을 것입니다. ㅎㅎ) 여러 책들을 찾아보고 수즐 영상이나 코호몰로지의 카테고리컬한 정의 같은 것들도 살펴보면서 생각을 해보았습니다. 그리고 교수님께서 왜 계속 local한 section을 global하게 ...
산업/기술/IT
수학의 즐거움
수학의 즐거움 인증된 계정

근대수학의 출발, 집합을 선언하기에 모호한 기준과 집합론

수학의 즐거움 채널에서 직장인과 문과생을 위한 수학교실 내용을 정리한 것입니다. 수능에서 다루는 범위는 현대 수학 이전의 내용입니다. 따라서 수학자들의 커뮤니티와 입시 수학에서의 수학에 대한 이야기는 매우 다를 수 있습니다. 이 첫 시간에 다룰 이야기는 18세기 나폴레옹 시대부터 거슬러 올라갑니다. 18세기 나폴레옹 시대는 현대 수학과 물리가 태동하기 시작한 시기로 당시에는 열 현상을 물리학적으로 어떻게 설명해야 할지 불분명한 측면이 있었습니다. 열이 유체의 흐름인지 아니면 미세한 입자의 운동인지 물리적으로 명확하지 않았던 것입니다. 이런 시기에 조셉 푸리에는 열이 확산되는 현상을 열방정식을 세워서 무한합, 혹은 무한 급수의 개념을 토대로 해결합니다. 그러나 당시에는 수학적으로 급수 또는 무한 급수 라는 개념이 정립 되어있지 않아서 무한합에 대한 이해가 애매하고 모호했습니다. 현대 수학은 이런 문제를 해결하기 위해 푸리해가 제시한 열방정식의 해가 수학적으로 타당한지를 이해하는...
산업/기술/IT · 사상/철학/역사