2023.03.05
https://www.youtube.com/watch?v=v5Hm8ecvTIM
いいね
基本的に首にナイフ指してトドメ指すみたいなことが行われていて本当に命がけのサバイバル感があってこわE
思った
やはり開発機にsshでいつでも同じ状況に残して置けるのはいい
まあ計算資源にいつでもアクセスできるのはいいよね
テストに書かれたGraphQLクエリに型付けしたい（少なくともテストする以前でそもそもこのクエリは不正であるぐらいのチェックはしたい）のだけどもgraphql-codegenの設定をどうすれば良いのかちょうど良くなるのかわからない
可証性述語の定義の仕方とかCon(T)の定義の仕方とか、コード化の仕方とか、関数の弱表現とか強表現とか可証全域性とか、何関数ならどこ上何式で表現可能だとか、前提も無矛盾とかω無矛盾性とかΣ₁健全とか、、 後半のほうがギリギリ証明可能性述語とかになるのか？