2022.10.26
https://gyazo.com/9f0702cc384256e6d473c5b9c9bf7e7b
知った
メモ
日本語で
知った
場合分けの際はgive_up.
証明全体に対してはAdmitted.
らしい?
知った
https://www.youtube.com/watch?v=sMWZPHEybCc
思った
いくつか正誤表が上がっているのを見落としていた
おれは良い本だと思う,なぜならおれは別に集合論自体に深く立ち入る気がなくて順序数周りや公理的集合論について理解したいだけだから 購買部に頼んだら注文できないかな〜
Amazonでこのレビューを読んでいたら「大学レベルの教育で背理法を使うのは私の信条に反するので残念」という無茶すぎるレビューがあった とりあえずのところnix shell一発で開発環境があっという間に組み立てられるようなテンプレートを各言語に対してそれぞれ作り、一箇所(GitHub Orgsなど)にまとめ、公開する、みたいなのがNixの利便性として一番わかりやすく、普及運動としていいのではないかと思う 使わない/初めて学ぶ言語の環境構築というのはそれだけで異常に難しい時が多く、苦しく、辛い作業であり、それらをNixでガッと省略できるというのは大きな利点だと思うから 見た
いいね