この記事は TSG Advent Calendar 2020 の 19 日目の記事です。 昨日はイワシイラさんのヤフオクでサーバーを買うときの話でした。 序文 「集合論は現代の数学の基礎である」というのは大学数学に足を踏み入れた人の多くが一度は聞かされるセリフだと思います…

Raspberry Pi 4B (8GB) を買い、64bit 版 Raspberry Pi OS (beta) をモニターと無線 LAN なしでインストールして起動することに成功したので、その備忘録を書いておく。 ラズパイを買う ラズパイの 4B には排熱問題があるらしく、更に手持ちでまともな micro…

C++ において intptr_t 同士の演算がどの程度許可されているのか気になって調べたら意外な事が見つかったのでメモ。 記事中の C++ 規格は 2020/08/09 現在の C++20 の最終 WD である N4861 を参照しています。 intptr_t の定義 そもそも intptr_t や uintptr…

相変わらず投稿を忘れがちになる。どちらにせよただの自己満足ではあるのだけど 2日 17日 20日 21日 雑感 コロナでゴタゴタしていて気付いたら夏学期が終わろうとしている。試験も近い。辛いね。 それはそうと大学でやっていた自主ゼミが (ほとんど) 炎上す…

完全に投稿を忘れていて月も半分が過ぎている。我ながらひどい 2日 8日 20日 28日 雑感 レポートが忙しい。レポートに書いた内容でもあとでこっちにまとめなおす事で何か得られる気がするので気が向いたらやっていきたい。

明日 (と言うには日が昇ってきた今では無理があるが) は予定がある。なぜお前は寝ていないんだと自分で思ってる。 6日 7日 9日 10日 14日 雑感 最初の2週間しか記事を書いていない。これは怠惰ゆえか。多分そう。 とはいえ怠惰なのは昔からの事で、それを除…

先月クソ遅れたが、今月は少し早くできた。リマインダーが鳴ってから記事を書き始めるのでは遅いことを学んだ。 15日 18日 20日 雑感 数が少ない事の言い訳はしない。大体は ARK:Survival Evolved で遊んでいた自分が悪い。 それはそれとして、ノートで取れ…

Hyper-V 上の仮想環境を消して WSL2 に移行しようとしたら色々環境構築を忘れていたのでメモ。 Wandbox のビルドスクリプト を非常に参考にしている (というかほぼ丸パクリ)。備忘録なので許して。 環境は Ubuntu on WSL2 だが、apt を適当なパッケージマネ…

先月はブログに投稿したことをすっかり忘れていた。3月も16日になってから気づき慌ててこの記事を書いている。 さすがに三日坊主以下なので、3月分は4月1日に投稿できるようにリマインダーをセットした。 10日 12日 16日 24日 雑感 2月は中国語を中心にやっ…

今月の半ばから、学んだ/考えたことのうち後で参照しそうな事は OneNote にまとめるようにした。 試験期間が重なったのもあり、毎日やるというわけには全く行かなかったが、継続するための試みとして今月分をブログに上げておく。 2月中も僕が真面目なら来月…