2024-09-07
置換公理に出てくる「関数」とは
雑記／備忘
公理的集合論の置換公理を「関数の像は集合である」と説明したり理解したりする人がいます。まー、そうなんですけど、ここに出てくる「関数」を普通の意味で理解すると、まったくのトンチンカンなことになります。置換公理に出てくる「関数」は、普通の関数…
2024-09-06
カートメル／ヴォエヴォドスキー／パルムグレンの型理論
雑記／備忘
型理
2024-09-04
きちんとした指導者 v.s. 高校生
あくまでラノベ（虚構）なので実際の現場でどうか、というのは置いとくとして、「ユーフォニアム」で個人的に上手いなぁとおもったところ。
なんですか、これとは (ナンデスカコレとは) [単語記事] - ニコニコ大百科
「ああこの人偉いなぁ……」と思うのが滝昇のこの手のセリフ。
明確に「それが直接の理由だ」と書いてあるわけではないけど、主人公の久
デー
読者になる
最速転職研究会
読者になる
kaisehのブログ
読者になる
子どものいじめや、性的嫌がらせは警察に名前を記録したらどうか?
スカートめくり大流行はなぜ起きたか?
俺たちオタクは2次元キャラを「性的消費してる」のではない。「性的消費させられている」のだ。
Twitter / @ukoko28
Twitter / @tanag0k0r0
Twitter / @kayano55