[過去ログ] 「数学」をプログラミングするには (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
59: 2024/03/22(金)22:53:17.07 ID:BpbPyhcF(2/2) AAS
所詮プログラムは人が書くもの
369: 2024/04/16(火)21:38:11.07 ID:UT47qync(7/9) AAS
なんでまゆげ透けてんの?
382: 2024/04/17(水)06:19:24.07 ID:ivCgW6Mo(1/3) AAS
>>381
そこまで話が通じないとはw
ネタだろうけど出来損ないAIを真似た皮肉かなw
マジネタだったらそう言ってくれ、多少は補足するから
536: 2024/05/07(火)09:55:37.07 ID:eRnvNXkn(1) AAS
>>531
数学では様々な構成において、ある関係をみたすA1, A2, A3, ... を集めてくると、新たな対象Aが一意的に定まる、という形式のものがある。
これは普遍性と呼ばれている。
たとえば、Rを環とし、R加群M, Nのテンソル積π: M x N → M⊗Nは、次の性質で特徴付けられる。
(☆) 任意のR加群Lと、双線形写像f: M x N → Lを与えるごとに、線形写像g: M⊗N → Lが存在して、g∘π = fをみたす。
アラビア語圏では、材料となるデータA1, A2, A3, ...のことを「マンコ」、新しい対象Aのことを「ハメル」という。
それぞれの意味は「欠けたもの」、「補われたもの」である。
582: 2024/11/04(月)19:59:50.07 ID:xJc0M/SU(1/3) AAS
いや、知らんけど。俺も勉強中の身だからまともに受け取らないでほしい。
947: 02/06(木)21:04:29.07 ID:guqgasQB(1) AAS
継続指向言語
モナド指向言語
981(1): 02/16(日)19:09:24.07 ID:YNSNqNCo(1/2) AAS
♪方程式で 恋の難問解けるなら
誰の曲だっけ
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.029s