を使おうとしたら xelatex: error while loading shared libraries: libfontconfig.so.1: cannot open shared object file: No such file or directory と出て、えー・・・ってなった。installing - texlive-2020 / xetex can't find shared library libfont…

ある数列の収束 (1) - らんだむな記憶 で証明した補題を使って以下の定理を示したい。 Theorem ある実数列 $\{a_n\}_{n=1}^\infty$ が与えられていて、ある実数 $\alpha$ に対して $a_n \to \alpha\ (n \to \infty)$ を満たしているとする。この数列と $0 \b…

以下のような問題を考える。 Lemma1 $\{x_n\}_{n=1}^\infty$ を実数列とし、ある実数列 $\{\varepsilon_n\}_{n=1}^\infty$ と $0 \begin{align*} x_{n+1} = r x_n + \varepsilon_n \end{align*}という関係があるとする。ここで $\{\varepsilon_n\}_{n=1}^\in…

ghci> [1,2,3] == 1:2:3:[] True なるほど。 ghci> :t [] [] :: [a] ghci> :t [[]] [[]] :: [[a]] ghci> :t [[],[],[]] [[],[],[]] :: [[a]] ふむふむ。 ghci> [2*3,3*3..] !! 10 36 ちょっと記法には違和感はあるけど。 I'm a list comprehension くらいま…

Dockerのメモリ制限に関するメモ - Qiita助かる。f1-micro で無茶すると固まるのでメモリに制限をかけてつかいたい・・・。Google Compute EngineのUbuntu VMにスワップ領域を作成する | エクスチュア株式会社ブログこちらも参考にしてスワップ領域も追加し…

Modern quantum mechanics 3rd edition | Quantum physics, quantum information and quantum computation | Cambridge University PressJ. J. Sakurai の本の 3rd edition が去年出版されていた。長く続いているなぁ。そこそこのページ数がプレビューできる…

Dirac のブラケット記法というと $\bra{\phi}$ とか $\ket{\phi}$ とかのアレである。組み合わせると $\braket{\phi | \psi}$ とか書くと思う。これを数学のコンテキストで書くと\begin{align*} \braket{\phi | \psi} = \int \overline{\phi(x)} \psi(x) dx …

少し時間がかかったが、本を読み直して 圏論(34)と基点付き集合 - らんだむな記憶 まで戻ってきた。当時疑問に思ったことなどにもう一度ぶつかって再発見したりした。圏論(30)と slice category - らんだむな記憶 に 5 年ぶりに追記できたのでそれはそれで良…

はぢめてのHaskell(9) - らんだむな記憶 でやっていたのか・・・と思うくらい何も覚えていない。時代も時代なので、 docker pull haskell:9.0.1 で済ませる。 docker history --no-trunc haskell:9.0.1 や docker inspect haskell:9.0.1 では詳細は読み取り…

あんまり大量の文章ばかり連続で放り込むと 一時的なアクセス停止 お使いのネットワークからDeepLのサーバーへ大量のリクエストが送信されています。時間をおいてもう一度お試しください。またはさらに多くのテキストを翻訳できるDeepL Proにご登録ください。…

圏論(35)と続 opposite category - らんだむな記憶 から 5 年半。内容はすっかり忘れてしまった。Gelfand duality の記述ののために逆圏を理解したかったのがモチベーションのすべてだったのでそこで満足してやめてしまった。量子コンピュータについて調べて…

VirtualBox で Ubuntu 18.04 に TeX 環境を docker で構築中に怪しげなメッセージが・・・。 WARNING: Error loading config file structure needs cleaning 的な内容が出て、標準的なコマンドがまったく通らない。仕方ないので再起動したら Error: unknown …

Haskell と Scala とどっちがこの先いいんだろうな〜っとぼけーっと思ってたら、ScalaFiddle というのがあるらしい。おぉ、近年は全部こんな感じだな。とりあえずはインストールをサボれるのは嬉しい。 val x: Int = 1 + 1 とか、Python の type hints みた…