ラジオ番組「伊集院光深夜の馬鹿力」に「空脳アワー」という素晴しいコーナーがある。「脳がウッカリ」した体験を送るというのがテーマで、リスナーの幼少期の謎の記憶や自分でも意味のわからない勘違い、ちょっと不気味な話などがたくさん取り上げられる。 …

他の直観主義型理論勉強会シリーズはこちらから。 複数の仮定付の判断とコンテクスト 複数の仮定付の判断の解釈 コンテクスト 代入 その他の判断 集合とカテゴリー カテゴリーとは（集合との違い） 単純型理論と分岐型理論と可述性 関数はプリミティブ デー…