2024.11.26
https://www.youtube.com/watch?v=i7pg8e-rLF8
思った
新幹線って2時間で全然別の場所に行けておもしろい
やった
宿の日付間違えて(笑/照/泣)になってた
おもしろE
行った
セッション内容，自分が無学すぎてよくわからない部分もあった
それでもCoqやLeanの応用数学寄り/実世界の応用寄りの利用者みたいな人もたくさんいるんだな～と思った 電子回路の挙動をちゃんと形式化して仕様を満たす（電流や電圧が基準値以上にならない/オーバーシュートしないなど）という話，結構興味深かった