0134１３２人目の素数さん
2023/12/01(金) 19:15:31.11ID:JxkV0GBV>証明はプログラムと同質
カリーハワード同型対応持ち出すから
あーこの人は１＋１で暗号解いちゃう人だなって思われるのよ
大学の数学が期待したほど面白くなかったんだが
■ このスレッドは過去ログ倉庫に格納されています
>証明はプログラムと同質
カリーハワード同型対応持ち出すから
あーこの人は１＋１で暗号解いちゃう人だなって思われるのよ
■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 【速報】東京・JR新宿駅の交番近くで警察官が路上生活者の女にハサミで襲われ一時意識不明に [PARADISE★]
- 【東京都知事】蓮舫氏、2位もダメで3位転落の危機 石丸猛追「国政の代理戦争など馬鹿げたマネは是非やめてもらいたい」 [PARADISE★]
- 大谷翔平 2試合連続25号！メジャー通算9度目の先頭打者弾、直近10試合で8本目、2位のオズーナに4本差、シーズン49.3本ペース★2 [フォーエバー★]
- 個人の金融資産、過去最高 3月末、2199兆円―日銀 [蚤の市★]
- 【文春】安藤美姫(36)が16歳教え子と"手つなぎデート”密着写真「電車の中でも抱き合って…」★6 [おっさん友の会★]
- 【芸能】ヒャダイン、知人に“なすび”と言ったら… 返ってきた「それ関西弁」に「衝撃を受けています」 [ネギうどん★]
- とうすこ解散式🏡
- 【朗報】蓮舫の人気、離島（大島）でも一線を越えるwwwwwwwwwwwwwww [659613493]
- 中傷で開示された反ワク、無職ナマポ・精神障害者だった。つまり自分は外出なくていい安全圏にいながら外で働く接種者攻撃してた [254373319]
- 【悲報】「ネトウヨの国籍透視能力」と「左のネトウヨの統一教会透視能力」の違い、誰も説明できない [659613493]
- 【悲報】ホスト「売掛が禁止ィ？じゃあお前闇金行って金借りてこいよw」ホストが完全に『あっち側』に行ってしまったと話題に [479216124]
- 生活するエロゲーが好きなんだが