添削課題もあって割と忙しかった
- すうがくぶんか社の集合と位相の講義を受け始めました
- 演習問題の添削まで面倒を見てくれる講義。同社の講義では新しい試みのよう
- 大学以降でちゃんと添削してもらう機会がなかったのでめっちゃありがたい
- 序盤は知っている内容がほとんどだが、添削はとても細かくみてくれているのでそれだけで元が取れている
- 引き続き『プログラム意味論の基礎』の勉強会
- 第二章を終えられるかと思いきやGW前進行に忙殺されていたため帰納的定義の途中まで
- 構造帰納法について、「具体的に証明できる命題が示されないとしっくり来ない」と言われたがそんなものなのか。具体例無しでも原理自体は理解できると思うのだけど
- 『Clean Agile』を読んだ
- ボブおじさんシリーズ（？）の1つ
- アジャイル宣言のメンバーの1人が思い出話を交えつつアジャイルの基本理念を説明する
- 完全なアジャイル初学者向けではないと思う
- 歴史的な話は面白くもあるけど若干おじさんムーブを感じなくもない
- 割とエンタメとして読んでしまった
- RustでBrainfuckのwasmターゲットコンパイラを書いた
- ソース
- 前に書いたJITコンパイラから流用できたので一日で書けた。後日Zennに何か書く