2025.09.13
https://gyazo.com/37b6732cbc3ea1ab19c2a96bf749f645
次をFFLのフレームワークでやっていく予定です．
伝え忘れていたが，functional interpretation とそれによる定義可能関数の特徴づけ，関連する証明体系（GödelのT など）の形式化などもやっていく予定です． メモ
上に関連して，集合論に詳しくLeanに興味がありそうな人たちに話を持ちかけたら興味を持ってもらえた． 私はマネジメントの経験がないので，どうやって始めていけばいいかわからない．
メモ
Wikipediaの『睡眠』のページにただ人が8時間寝るだけの長尺すぎる音声があった
これ調べてるときに寝てた
思った