備忘録
Julia を触っているときに悩んだので備忘録的に残しておきます。 考え方 乗算がオーバーフローしやすいと思うので、その場合で考えていきます。 説明で使う関数などは Julia-like に書きます。わからない人は下記の表を確認してください。 Int64 64bitの整数…
まあ、よくある通り必ずしも全ての Raspberry Pi の環境でうまくいくとは限らないのでご容赦を。一応、筆者のシステム情報は以下のようになっています。 $ uname -a Linux raspberrypi 5.4.79-v8+ #1373 SMP PREEMPT Mon Nov 23 13:32:41 GMT 2020 aarch64 G…
別記事を書いていて分からなくなって、あれこれ調べたので備忘録。 はてなブログでMarkdownを使ってリンク有りの文章を右寄せしようと<div>を使って <div align="right">[Google](https://google.com)様様</div> のように書くと [Google](https://google.com)様様 こんな感じにうまくいかな</div>…
「固定IPにしていなくてラズパイ行方不明。探し方忘れた。」 を何回もやったのでメモしておく。 基本的には、コマンドプロンプトを開いて arp -a で物理アドレスを見るのが早そう。 Raspberry Pi 4 だとb8:27:eb:xx:xx:xxかdc:a6:32:xx:xx:xxになっているら…
// 概要 定義と使っていいこと 証明の大雑把なイメージ 証明 概要 今回はちょっと重たい数学の話です、、、 距離空間について学んでいるときに$(\mathbb{R}^n,d_n)$が可分であることを証明しようと思いました。しかし、様々な大学のPDFを見ても "$(\mathbb{R…