개요 윈도우즈에서 도커를 사용하는 방법을 설명한다. 이것으로써 윈도우, 리눅스의 모든 환경에서 도커의 범용성과 안정성이 확보된다. 즉, 개발환경, 테스트환경, 실행환경의 일관성을 갖게 된다. 첫째는 WSL2 + Git Bash + Docker Desktop를 결합하여 사용하는 방법이다. 둘째는 WSL2 + Alpine를 설치하고 알파인 리눅스에서 git + docker의 형태로 사용하는 방법이다. 두번째 방법이 조금 복잡해 보이긴 하나 훨씬 처리가 간결하고 적은 리소스와 빠른 실행 속도가 돋보인다. 또한 리눅스 기반이므로 파일시스템 문제, 퍼미션 문제, 경로 처리 문제 등에서 훨씬 쉽고 편한 환경이므로 두번째 방법에 대해서 상술한다. Windows WSL2 공통 기반 설정 설치환경: Windows 11 Bios 설정: 바이오스에서 가상머신 지원(Virtual Machine Support) 여부를 선택한다. WSL2를 확인하고 필요하면 업데이트한다. (PowerShell:관리자권한으로) > wsl -l -v # Version Check > wsl --update # wsl2 upgrade or update Nerd Font 설치 터미널에서 아이콘 등 nerd font가 표시되고 코딩시 가독성을 높이기 위해서 설치 MeslsLGS NF Install https://github.com/fontmgr/MesloLGSNF D2Coding (코딩용 영문 한글 지원: 하지만 이것은 Nerd Font가 아니다.) https://github.com/naver/d2codingfon WSL2 + Git Bash + Docker Desktop Docker Desktop ...

신들은 처음부터 모든 것을 계시해 주지 않았다. 그러나 인간은 탐구를 해 나가고, 그래서 조만간 더 많은 것을 알게 된다. 여기 이것들이 마치 진리인 듯 생각하자. 그러나 신에 대한 진리와 내가 말하고 있는 내용을 아무도 알지 못하고 또 앞으로도 아는 자가 없으리라. 만일 어떤 자가 스스로 완전한 진리를 말하는 경우가 있다고 해도 그 자신은 그 사실을 알지 못하며 모든 것에는 겉모습이 덧씌워져 있어 본모습을 가리고 있기 때문이다. - 크세노파네스 저자 모리스 클라인(MORRIS KLINE, 1908∼1992년) 모리스 클라인은 브루클린과 자메이카, 퀸스에서 자랐다. 브루클린의 보이스 고등학교를 졸업하고 뉴욕 대학교에서 수학을 공부했다. 같은 대학교에서 1930년에 학사 학위를 받았고 석사 학위(1930년), 박사 학위(1936년)를 받았다. 1938년부터 1975년까지 뉴욕 대학교 쿠란트 수리 과학 연구소에서 교수로 재직하며 학생들을 가르쳤다. 은퇴 후에도 쿠란트 수리 과학 연구소의 명예 교수로 일하며 수학과 수학 교육에 관한 다양한 저술을 남겼다. 순수 수학만이 아니라 응용 수학의 의미와 가치를 대중적으로 인식시키는 데 크게 공헌했다. ...

20세기 수학의 기초론의 발전과정은 다음과 같은 비유로 적절하게 요약될 수 있을 듯 싶다. 라인 강둑에 수백 년 된 아름다운 성이 서 있다. 성 지하에 사는 부지런한 거미들이 거미줄로 거미집을 정교하게 지어 놓았다. 어느 날 세찬 바람이 불어 거미줄이 부서졌다. 거미들은 미친 듯이 거미줄을 뽑아 집을 고쳤다. 그것은 거미들이 성이 무너지지 않게 지탱해 주는 것은 자기들이 지은 거미집이라고 생각했기 때문이다. 모리스 클라인 <수확의 확실성>

우주를 설명하는 분야는 천체물리학뿐 아니라 철학, 신화, 종교 등 여러 가지가 있는데, 과학과 마찬가지로 나름의 논리와 목표를 가지고 우주를 설명할 것입니다. 자연과학으로서의 우주론은 한계가 있는데, 과학은 연구하는 주체와 연구 대상이 되는 객체가 분리되어야 합니다. 그런데 우주론에는 자기 모순성 또는 자기 인용 패러독스가 있습니다. 예를 들어 우주의 기원을 이야기할 때 우주가 어떻게 생겨났느냐 하는 것을 자연법칙으로 설명해야 하는데, 자연법칙은 우주의 구성 성분 중 하나입니다. 우주 탄생의 결과가 자연법칙이니까요. 그러면 우주 탄생의 결과인 자연법칙을 가지고 우주 탄생을 설명한다는 자기모순이 일어납니다. 그렇게 되려면 우주 탄생 전에 우주 법칙이 이미 존재해야 한다는 말이지요. 또한 어떤 이론을 검증하려면 여러 번 그 현상을 관측하고 반복해야 합니다. 아니면 통계적으로 그 이론이 맞는지 봐야겠죠. 그런데 우주는 단 한 번 탄생해서 단 한 번의 진화를 겪고 있습니다. 그래서 검증하거나 통계를 낼 수 없는 독특한 연구 대상입니다. ...

Intro 정의: Animation engine for explanatory math videos 유튜브에서 유명한 3Blue1Brown의 수학 애니메이션을 만들 수 있는 엔진이다. 너무 편하고 쉽게 그래프를 애니매이션으로 만들 수 있다. 아래 유튜브를 보면서 공부하면 바로 그 진가를 알아보자. manim은 커뮤니티 버전, manimgl은 3b1b의 최신버전. 커뮤니티 버전을 권장. Docker, conda, local, jupyter notebook 모두 지원한다. Install requirements: ffmpeg, python3.7이상 $ sudo apt update $ sudo apt install build-essential python3-dev libcairo2-dev libpango1.0-dev ffmpeg $ pip3 install manim $ manim --help vscode addon setup python addon 설치 : 파이썬 코딩 지원 manim addon 설치 : manim 라이브러리 및 함수 지원 Howto 아래 Links의 관련 하우투 유튜브를 참조한다. 자세한 사용방법은 추후 정리. Links 홈페이지 https://github.com/3b1b/manim Linux Install https://docs.manim.community/ https://docs.manim.community/en/stable/installation/linux.html Tutorial https://docs.manim.community/en/stable/tutorials/index.html https://github.com/malhotra5/Manim-Tutorial 관련 하우투 유튜브 https://www.youtube.com/watch?v=rUsUrbWb2D4 https://hub-binder.mybinder.ovh/user/behackl-manim-with-ease-0xvmyqyg/doc/tree/E01%20-%20introduction.ipynb