Posts

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

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

머리말 대학생 때 읽었던 것인데 다시 읽고 있다. 매우 부끄러움을 느끼면서 다시 시작해야겠다. 현재 5권까지 나와있다. 이오덕 선생님 귀한 말씀 글은 쓰는 것이지 짓는 것이 아니다. 우리글은 우리말과 떨어질 수 없고 말하듯이 써야한다. 현학적 표현, 중국어투, 일본어투, 영어투가 모두 우리말과 글을 해친다. 우리말, 우리글을 잘 못 사용하면 계속 오염되고 악순환한다. 수십 년 동안 길이 든 글쟁이의 못된 버릇이 자꾸 나와 어렵게 쓰고 잘못 쓰고 한다. 어찌 나뿐이겠나? 이 나라에서는 글을 아주 깨끗한 우리 말로 쓰는 사람이 아무도 없다. 그만큼 우리는 말과 글에서도 봉건과 일제와 분단의 세 겹이나 되는 무거운 짐을 모두가 운명처럼 지고 있는 것이다. 그렇다고 해서 누구나 다 그런데 하고 잘못 쓰는 것을 그대로 보아줄 것이 아니라 기회 있는 대로 서로 잘못을 알리고 충고하고, 그렇게 충고하면 또 고맙게 받아들여야 한다고 본다. 이렇게 해야만 글이 바로잡히고 말이 살아날 것이다. ...

Intro gsl-shell은 GSL(GNU Scientific Library에 luajit을 기반으로 만들어졌다. 매트릭스, 벡터 및 여러 함수 등을 쉽게 만들고 사용할 수 있다. 여러 함수에 대한 그래프를 출력을 지원한다. luajit + 추가 함수 및 명령어로 구성되어 있다. 비슷한 다른 도구 중에 매우 우수한 연산 능력과 속도를 자랑한다. Install 성능 최적화를 위해 직접 빌드하는 방법은 아래 깃허브 링크를 참조한다. 데비안, 우분투에서는 GSL외에 gsl-shell은 패키지가 없다. 처음 사용한다면 빌드된 바이너리를 설치하는 것이 좋다. 다운로드 릴리즈는 여러가지가 있으니 설명을 참고해서 적합한 것으로 내려받는다. $ sudo apt install libgsl27 libgslcblas0 $ wget https://github.com/franko/gsl-shell/releases/download/v2.3.4/gsl-shell-dynamic-linux-x86-64.tar.gz $ tar xvfz gsl-shell-dynamic-linux-x86-64.tar.gz $ ls gsl-shell $ export PATH=$PATH:$HOME/gsl-shell/bin # ~/.bashrc에 추가 등록 $ gsl-shell # 실행 GSL Shell 2.3.4 -- Copyright (C) 2009-2022 Francesco Abbate GNU Scientific Library -- Copyright (C) The GSL Team LuaJIT 2.0.5 -- Copyright (C) 2005-2022 Mike Pall. https://luajit.org/ JIT: ON CMOV SSE2 SSE3 SSE4.1 AMD fold cse dce fwd dse narrow loop abc sink fuse > # 나가기(Ctrl+d) $ 기본 사용법 대화식이 아닌 소스를 작성해서 실행할 경우 아래 방법외에 #!/usr/bin/env gsl-shell을 첫 줄에 넣고 chmod로 실행권한을 주어 직접 실행해도 된다. 스크립트 확장자를 lua로 하는 것은 편집기 등에서 문법 강조등의 지원을 받기 위함도 있고 lua의 문법을 따르기 때문이기도 하다. 그러나 lua나 luajit에서는 정상 동작하지 않으므로 식별이 가능한 폴더를 만들고 정리해 두는 것이 좋다. $ gsl-shell --help $ gsl-shell # 대화식 사용 $ gsl-shell my-program.lua # 스크립트 실행 이렇게 준비가 되었다면 아래 문서를 참고해서 공부하면 된다. 이것을 어떻게 쓰는가는 자신에게 달렸다. GSL에 어느정도 아는 사용자라면 더욱 수월할 것이다. 참고로 설치된 GSL 라이브러리를 어떻게 사용하는지도 나와 있으니 참고한다. 기타 도움말 문서대로 use "math" 등을 사용하면 에러가 난다. gsl-shell/share/gsl-shell/import.lua 을 수정한다. ... -- 아래 문장을 주석처리하고 그 아래 문장으로 고친다. -- local level = getinfo(2, "") and 2 or 0 local level = 2 대화형 모드 사용시에 rlwrap을 같이 사용하면 편리하다. 사용되는 모듈과 함수를 편집기에서 자동완성, 검색 등을 지원하는 것은 아직 모른다. 최소한 함수 이름을 추출해서 vim 등과 연동하거나 grep을 활용하는 방법으로 시작하기로 한다. 문서작성시 수학식 표현 관련 프로그램(스크립트)를 작성한 후 도움말이나 문서를 작성할 때 가장 좋은 방법은 마크다운(markdown) 문서에 latex 문법으로 작성하는 것이다. 사용방법을 참조한다. 즉, 문장 중에는 $수식$ 으로 표현하고 독립적인 수식은 $$수식$$으로 표현하는 것이다. 깃허브나 기타 웹페이지에서 이를 잘 지원한다. vscode에서는 markdown all in one 플러그인을 설치하면 미리보기로 실시간으로 확인할 수 있다. 물론 수학표현식도 지원한다. vim에서는 hugo로 로컬에서 서버를 띄어 실시간 확인하는 방법을 사용하거나 firefox의 markdown지원 모듈인 markdown viewer webtext를 사용하면 실시간 확인이 가능하다. 이와 관련된 사항은 다른 문서로 정리해 볼 생각이다. Links GSL Shell project page https://github.com/franko/gsl-shell/ GSL Documentation https://franko.github.io/gsl-shell/ Download Release https://github.com/franko/gsl-shell/releases/tag/v2.3.4

이미지 기본 용어 dpi(Dot per Inch) - 가로 세로 1 인치 당 점(Dot:둥근점)의 수, 인쇄에서 주로 사용 ppi(Pixel per Inch) - 가로 세로 1 인치 당 픽셀(Pixel:화소,사각점)의 수, 모니터에서 주로 사용 1 Inch - 2.54Cm DPI 해상도별 용도 사진 출력: 400 dpi 책, 포스터: 300 dpi 웹, 홈페이지: 72 dpi 이미지 사이즈 변경 APOD(Astronomy Picture of the Day) 사이트에서 말머리성운(The Horsehead Nebula in Infrared) 사진을 받아온다. https://apod.nasa.gov/apod/ap130422.html 파일을 열고 정보를 확인한 다음 필요한 사이즈로 변경한다. 파일 열기 - File > Open sRGB 유형 선택 keep 기존 - sRGB IEC61966-2.1 convert 변경 - Gimp built-in sRGB 파일정보 보기 (Image Properties) Alt + Enter : Image > Image Properties 사이즈 변경 (Scale Image) Image > Scale Image width 를 1225 -> 600 으로 조정 (자동 비례 조정) pixels, percent Scale 클릭 변경된 파일 정보를 보기 (Image Properties) Alt + Enter : Image > Image Properties 저장하기 Ctrl + E : File > Export to 파일명.jpg - jpg로 저장 Shift + Ctrl + E : File > Export as... - 다른 포맷으로 저장 JPEG로 저장 JPEG: Lossy compression Algorithm 용량은 효율적 알고리즘으로 줄일 수 있으나 품질에 손실을 준다. 이미지 잘라내기 - Crop an Image 원본 이미지를 불러와 필요한 영역으로 잘라내는 것. ...