3件のコメントなんでも学ぶことに苦戦はしてるんですが、こと数学とかいう世界になるともうこれが、テキストを読み始める即寝るのコンボが壁になっており、なおさら難しさを感じます。「説明するまでもない、大前提として、知っていて当たり前の概念なのであろうか」と動悸が早まり冷や汗が出始め、気づくと一駅まるまる寝過ごして正気に返り、λみたいにしょげつつ家のドアを開ける、なんとなくそういうかんじの日々を過ごしております。Pythonをやっている時もそうでした。Haskellにおいてはもっとはっきりと「えーっとぉ、聞くまでもないけど集合つうのは当然わかってるよな?」的な空気がそこかしこに漂っているように感じます。いままでも&&とか||とか、なんとなくそういうのはやってたけど、割と目に見える、あたしが知覚できる値の範囲でやってたのね。Falseですよね的なね。Haskellにおいての再帰とか、集合の「任意の集合A」とか、なんでそんな、ぼんやりした、今のとこなにもカッチリと決まっていないような物を相手に思考できるんだきみらは、と思います。#今のあたしにはそう見えるという話ここ読んでます理系インデックスというサイトの中に、集合論インデックスというページの一群を見つけましたので、最近はこれを読んでいます。1行を5回読む感じでじりじり進んでいます。こんなのがポンと出てくるわけです。AとかBじゃなくてλってなんだ!Aλって!そしてさらっと書いてあるけど「対応」ってどういう意味!調べます。Wikipedia先生よろしく。λ(ラムダ)λ(ラムダ)数学で、必ずしも有限でない添字集合をあらわすのによく使われる。notation)は、たとえば冪指数や対・組・配列の要素を示したりするために用いられる、ラベル付けのための記法である。どなたか分かりやすく教えてください。...複数の集合を、ある系列として、または、1グループ(集合の集合)として扱うときに、それらの集合に添字として付ける要素の集合のことです。