Latest

Tregs

2025 Nobel Prize in Physiology or Medicine ... "For the Discovery of Peripheral Immune Tolerance"

슈트라센 알고리즘

행렬 곱 빠르게 하기

2025 Logicae Summit - 준비 후기

Logicae Summit은 로지케이의 구성원 학생들이 자신들의 주제에 관하여 다른 학생들이 새로운 분야에 입문하는 것을 도와주는 취지에서 시작되었습니다. 올해 2025 Logicae Summit에서 나는 방송 파트 전체를 담당하게 됐다. 생각보다 할 일이 많았고, 장비 셋업부터 루프 애니메이션 제작까지 혼자 챙기느라 빡세기도 했지만, 지나고 보니 꽤 재밌는 경험이었다. 이번 글에서는 ‘어떻게 준비했는지’, ‘어떤

딥러닝으로 증명하기(DL4TP)

https://github.com/ZHAOYU-LI/dl4tp 1. DL4TP란 무엇인가? Welcome to our repository! This is a curated collection of resources related to deep learning for theorem proving. 수학 정리 증명(Theorem Proving) 분야는 오랫동안 사람이 작성한 논리 규칙 등에 기반해 발전해왔다. 하지만, 최근에는 대형 언어 모델(LLM)들이 빠르게 이 분야의

Proof of the Intermediate Value Theorem

Stewart Calculus에 나오는 Intermediate Value Theorem을 증명하여 보았다.

오일러 공식을 이끌어내는 5가지 방법

Introduction 오늘은 오일러 공식을 이끌어내는 5가지 방법을 알아보도록 하자. 제목이 <오일러 공식을 증명하는 5가지 방법>이 아니라 <오일러 공식을 이끌어내는 5가지 방법>인 이유는 엄밀한 증명을 위해서는 고급 수학을 다뤄야 하기 때문이다. 그래서 수학적 엄밀함 보다는 아이디어에 초점을 맞추고 글을 읽도록 하자. I. 테일러 급수 각

유당불내증의 역사

유당불내증. 말 그대로 유당을 소화할 수 없는 상태이다. 필자도 유당불내증이 있어 일반적인 우유 대신 유당이 없는 락토프리 우유를 마신다. 락토프리 우유를 마시다 보면 드는 생각이 있다. 유당불내증은 왜 생길까? 원래는 누구나 유당불내증이었다 모든 사람이 처음부터 유당을 분해할 수 있었던 건 아니다. 애초에 우유를 만드는 포유류는 극히 어릴 때 빼고는 우유를

양귀자 [모순]으로 보는 현대 대중 문화 겉핥기

글 소개 해당 글은 작가가 <모순>을 읽으며 갑자기 든 생각을 조금 발전시켜 급하게 써 놓은 글이다. 그러니 책의 내용과는 사실상 무관하니 생소한 도서라고 부담을 가질 필요는 없다. 빠른 시일 내에 책에 관한 내용의 리뷰를 본 글에 추가하거나 Part를 나누어 업로드 할 것이다. 말한 듯 급하게 적어 놓은

시리즈 | Tarot - 2. 마이너

글 시작 저번에는 메이저 아르카나에 대한 글이었다. 이번에는 나머지 반 쪽, 마이너 카드를 알아보자. 원래 마이너 카드는 그 각각에 대한 뜻과 해석이 따로 따로 존재한다. 그러나 이번 글에서는 대략적인 개요와 간단한 요약(?)을 통해서 그 개요만 잡아보자. 구성 마이너 아르카나의 구성은 트럼프 카드와 유사하다. 4가지 도구와 숫자, 그리고 특수한 카드들이다.

[Soul] 2020 : [소울]

★★★★ : 8/10 빛과 음악을 새롭게 섞자 그것이 삶이였다 ㅤ 픽사 애니메이션 스튜디오의 2020년 작품, [소울]은 개봉이 예정되어 있던 당시 코로나 사태의 심화로 극장 개봉을 취소하고 즉시 디즈니 플러스 스트리밍으로 직행한 영화이다. 극장 개봉 취소에 아쉬움이 들 정도로 [소울]은 시청각적으로 훌륭하다. 또한 태어나기 이전 영혼 세계를 표현하는 몽환적인 방식은

시리즈 | Music - 1.2. Guitar's Basic

개요 기타에 관한 글은 이미 쓴 적이 있었다. 그러나 처음 글은 기타보다는 물리에 가까운 글이었다. 다른 작가들이 여러 악기에 관한 글을 쓰는 것을 보며 우리 소중한 기타에 관한 글에 필요하다고 여겼고... 암튼 "기타"다. 기타의 종류 기타는 여러가지 종류가 있다 그 중 가장 대표적인 것을 소개한다. 클래식 기타

[The Fantastic Four: First Steps] 2025 : [판타스틱 4: 새로운 출발]

★ : 2/10 시각 효과를 얻고 개성을 잃은 <인크레더블2>, 그리고 실버 서퍼 ㅤ 글 소개 마블 스튜디오 페이즈 6의 첫 번째 작품, [판타스틱 4: 새로운 출발]가 한국 기준 2025년 7월 24일 개봉했다. 작가는 해당 작품을 7월 26일 관람했다. 단도직입적으로 말하자면 작가는 해당 영화가 현재 마블 스튜디오의 하락세를 조금은

[The Menu] 2022 : [더 메뉴]

★★★ : 6/10 [더 메뉴](2022)는 초호화 레스토랑에서 펼쳐지는 여러 손님들과 미쳐버린 셰프 사이의 이야기를 담은 스릴러 영화이다. 절제된 동시에 과감한 연출을 통해 이끌어낸 불쾌감과 철학적인 질문을 던지는 흥미로운 이야기로 호평을 받았다. 다만 영화의 전개 자체가 특이하고 일반 관객에게는 다소 현학적으로 받아들여질 수 있다. 그러나 영화가 특유의 소름 돋는 연출을

2025 KSASF

Intro 2025 KSASF가 7월 첫째 주 동안 진행되었다. 도우미는 그 전 주부터 열심히(?) 준비했다. 이번 글에서는 그 2주간의 여정을 간략히 요약하고자 한다. KSASF에는 정말 많은 부서가 참여하고, 각 부서만의 특별한 일정과 과제들이 있었으므로 참가한 각 사람의 의견을 최대한 담고자 노력하였다. -7일차 6.23 (월) 임한결 어제 한과영 도착. 오늘 까지는