ラジオ番組「伊集院光深夜の馬鹿力」に「空脳アワー」という素晴しいコーナーがある。「脳がウッカリ」した体験を送るというのがテーマで、リスナーの幼少期の謎の記憶や自分でも意味のわからない勘違い、ちょっと不気味な話などがたくさん取り上げられる。 …
他の直観主義型理論勉強会シリーズはこちらから。 複数の仮定付の判断とコンテクスト 複数の仮定付の判断の解釈 コンテクスト 代入 その他の判断 集合とカテゴリー カテゴリーとは(集合との違い) 単純型理論と分岐型理論と可述性 関数はプリミティブ デー…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。