2022.10.23
https://www.youtube.com/watch?v=Xy6lZxoJ4ts
たすけて〜
今日からFirefoxでfcitx5が動いてくれないので日本語が打てません たすけてー
正確には入力候補が出ない
前にも会った気がする
思った
完全に趣味で論理学/数理論理学をやっている(大学の講義や研究とかでやっている,とかではない)ことを話したら大いに驚かれた 私は破滅的に行列計算が苦手だ,ということがわかった 読んだ
思った
圏論の学習で提示される具体例の数学的構造に一切馴染みがなかったが論理学ならギリギリ行けるのではと思いチャレンジ
読んだ
長い
知った
Gradleプロジェクトはリポジトリの中にGradleのwrapperを持っていて手元でサッと試すときに便利にしてあるということが多い まあ 結局Nixでパッケージにするときにインターネットに接続するので使えないのですが…
まとめた