25/11/15 21:21:01.20 60UWH5U7.net
できるぞ
10:１３２人目の素数さん
25/11/16 16:29:01.67 hsxSBSy8.net
含意→線形作用素V→W
ｗｗｗ
11:１３２人目の素数さん
25/11/16 16:30:39.54 hsxSBSy8.net
H: ヒルベルト空間
ｗｗｗ
12:１３２人目の素数さん
25/11/16 18:08:12.25 hsxSBSy8.net
馬鹿発見
【悲報】無職爺、準同型すら知らないことが判明
13:１３２人目の素数さん
25/11/17 04:03:17.45 /Avgu7mJ.net
ふつうに存在する研究分野だ
14:１３２人目の素数さん
25/11/17 16:46:25.90 hqUUL6t+.net
群の表現
Gを群、Mを集合として、GがMに作用している、群作用：GXM->Mが存在する
15:１３２人目の素数さん
25/11/17 16:48:44.15 hqUUL6t+.net
論理の表現
L：論理、H：ヒルベルト空間として、論理作用LXM->Mが存在する
？？？
16:１３２人目の素数さん
25/11/17 17:39:30.13 IGwkz8CN.net
アホすぎて返す言葉も無い
17:１３２人目の素数さん
25/11/17 17:49:44.74 hqUUL6t+.net
ハイ、論破
18:１３２人目の素数さん
25/11/17 18:15:21.82 i+iRhAoa.net
>>14
群作用と群の表現の区別もついてないアホ
19:１３２人目の素数さん
25/11/17 18:38:55.32 ooahoP13.net
調べりゃすぐに出てくることをどうして調べないのだろう
馬鹿だからかな
20:１３２人目の素数さん
25/11/17 19:54:18.11 hqUUL6t+.net
効いてるな
21:１３２人目の素数さん
25/11/17 20:39:08.21 Ti19BIKw.net
関係あるか知らんけど、線形論理というのがあるらしい
22:１３２人目の素数さん
25/11/17 20:43:09.41 hqUUL6t+.net
フェィクじゃないのかｗ
23:１３２人目の素数さん
25/11/17 22:03:00.80 6GcK0pI6.net
線型論理や量子論理で調べればいくらでも出てくる
24:１３２人目の素数さん
25/11/18 07:52:00.73 TSC+7P8k.net
へぇ
25:１３２人目の素数さん
26/01/24 12:17:27.69 xpQHjGGb.net
仮定を一回だけ使う制限を設けると、加群の圏で型理論ができるのだそうだ
26:unko
26/01/24 12:23:51.41 SJ9GVrj4.net
表現論は具体的に見える群を扱うが、ウンコは目に見えない臭さがある💩
27:１３２人目の素数さん
26/01/24 15:51:01.77 6JFpkrX7.net
加群の圏で表現できるなら、ミッチェルの埋込定理から任意のアーベル圏でもできるはず
28:１３２人目の素数さん
26/03/14 11:07:51.56 IoQ3N3/o.net
Quicksort inventor Tony Hoare reaches the base case at 92
URLﾘﾝｸ(www.theregister.com)
ホーアが亡くなった。
29:１３２人目の素数さん
26/03/24 17:29:45.44 w80GDMVr.net
論理は区別される状態、最小の数は2つであるが、を使って記号の列として記述される。
たとえば0と1を有限個並べて任意の命題を表すことができることは，通常の文字が
文字コードで表されており、有限長の記号の列が有限二進数であると見なせること
からも明らかである。記号列が定義されたらそれに基づいて「計算」を行う系を
考えることができる。たとえばオートマトンや無限長の記号列を蓄えることが
できるテープを有するチューリング機械などである。チューリング機械は
万能の記号操作系として働く万能チューリング機械を含む。