3月28日記事 誤訳だろうが定着すれば立派な日本語 - 檜山正幸のキマイラ飼育記 (はてなBlog) にて： ちなみにに、僕は新型コロナ禍には悲観的（より正確には反楽観的）想定をしていて、「この夜はなかなか明けないだろう」と思っています。 「何ヶ月」とかで…

E3 はR3と同型なアフィン空間で、大域座標を持つ多様体。内積も持つのでリーマン多様体。座標は、内積を保存する大域線形座標を使うが、それでも座標の選び方は多様性がある。 ユークリッド座標： E3→R3 ユークリッド・ホロノーム座標： TE3→R3×R3 ユークリ…

関数やセクションに関して、次の言葉を使う。 一点 p で…… 一点 p の周りで…… 一点 p の近傍で…… 一点 p の無限小近傍で…… 各点〈すべての点〉で…… 各点〈すべての点〉の周りで…… 各点〈すべての点〉の近傍で…… 各点〈すべての点〉の無限小近傍で…… 局所的に…

Haskell演算には、加減乗除（+, -, *, /）、累乗（整数の^と実数の**）、余り mod がある。これを例とする。 中置→前置変換 (+) 3 2 、(-) 3 2 前置→後置変換 10 `mod` 3 、 10 `div` 3 セクション記法 (^2) 、 (2^) 、(*3) 例外 (-2) は -2 のこと。部分適…

BIG3 = squat, bench press, deadlift BIG3 = category, functor, natural transformation