>>492
ラムダ計算も集合論上で展開されてるだろ
だから、Haskellも集合論の言葉で書かれてるじゃん
そんな誰もが分かってるけど、いちいち書いても何の得もないことを話したかったの？
探検
ニュース
- 中国 東アジアの海域に過去最大規模 100隻超の艦船を展開 高市総理の発言に反発か ★2 [Hitzeschleier★]
- 【独自】渡邊渚さんを脅迫の疑いで32歳女を書類送検 警視庁 渡邊さんの写真集に包丁置いた写真を投稿 [ひかり★]
- “信号待ち”中国人観光客2人死亡の山陽電鉄踏切事故 遺族が約1億4000万円賠償求め提訴 神戸地裁 [七波羅探題★]
- 【千葉】「今ぶつかっただろ。痛えじゃねえか。骨折れてるぞ。慰謝料払えよ」 松戸駅で４０代男性に因縁をつけ暴行、強盗 男５人を逮捕 [シャチ★]
- 【速報】山本由伸のWBC欠場決定！ [牛丼★]
- 「さようなら日本。帰国します」経営ビザで中国系「ペーパー会社」大阪で乱立、移民ビジネスの仕組み…500社超で取締役の日本側協力者も [ぐれ★]
- 【高市資産】 小泉コメ防衛大臣。 ２億７２４８万円の資産を保有。 なぜか名義は全部クリステル [485983549]
- 【高市カード】 マイナンバーカード。1億枚を突破 🎉 保有率80％超え。 持ってないのって､お前らとバカウヨだけじゃね？ [485983549]
- 整形女がキレる「カリカリ」イラストを実写化 [663382246]
- バカ「ピットブルは危険」👉ガチのマジで２秒で論破されてしまう [329329848]
- 【悲報】小学校2年生「パパこの算数の問題わかる？」→難しくて炎上wwwwwwwwwwwwwwwwwwww [802034645]
- シャラップ上田、統一教会関係の団体で理事に出世していた [389326466]