ポン酢形式

主に解析数論周辺/言語などを書くブログです。PCからの閲覧を推奨します。

Entries from 2021-08-01 to 1 month

a peripatetic aide-mémoire (10)

Introduction: 矛盾への偏愛. しかし、ここ数週間は 3B1B (Grant Sanderson) の映像作品 に浸かりまくる一方: www.youtube.com そういうことで、今回は intuition (直観) と symbolism (記号) の話でもすこし -- 題して: 「見える記号・見えない意味」 Signi…

RIMS: 数学入門公開講座 (2021) -- 4日目 (終)

この記事は数理解析研究所で8/2から4日間のあいだ開催されている第42回数学入門公開講座の4日目 (最終日) のノートです。 3日目の記事はこちら: zeta-aniki.hatenablog.com 計算量理論入門 前回の講義では、「多項式時間/空間」という測量を導入し、時間 (= …

RIMS: 数学入門公開講座 (2021) -- 3日目

この記事は数理解析研究所で8/2から4日間のあいだ開催されている第42回数学入門公開講座の3日目のノートです。 2日目の記事はこちら: zeta-aniki.hatenablog.com 計算量理論入門 前回までの復習から始めると、まず読み込みに加え 書き込む機能が加わった 有…

RIMS: 数学入門公開講座 (2021) -- 2日目

この記事は数理解析研究所で8/2から4日間のあいだ開催されている第42回数学入門公開講座の2日目のノートです。 1日目の記事はこちら: zeta-aniki.hatenablog.com 計算量理論入門 一時間目は、前日夜中までいろいろ読み漁ってて疲れてたのでほぼ横になりなが…

RIMS: 数学入門公開講座 (2021) -- 1日目

京都大学数理解析研究所 (Research Institute for Mathematical Sciences - 通称 RIMS) で行われる「数学入門公開講座」は今年42回目を迎え、数学最先端の研究を著名な数学者の方々がわかりやすく レクチャー してくださる講義として毎年人気を博しています…