phoneticdata 音声処理 (@phoneticdata1) profile picture

元自然言語処理エンジニア/基礎論大好き/非古典論理大歓迎/微分ガロア理論/ニコニコ懐古厨/今は多様体にはまってる

日本
Joined January 2018
Photo by phoneticdata 音声処理 (@phoneticdata1)Photo by phoneticdata 音声処理 (@phoneticdata1)Photo by phoneticdata 音声処理 (@phoneticdata1)Photo by phoneticdata 音声処理 (@phoneticdata1)Photo by phoneticdata 音声処理 (@phoneticdata1)Photo by phoneticdata 音声処理 (@phoneticdata1)Photo by phoneticdata 音声処理 (@phoneticdata1)Photo by phoneticdata 音声処理 (@phoneticdata1)Photo by phoneticdata 音声処理 (@phoneticdata1)
phoneticdata 音声処理 retweeted
とうとう赤鬼にまでオワコンと言われてしまうマスオ
4
6,260
959
58,330
6,909,081
妖怪バスターズ対人戦
ポケモンユナイトは唯一性が強くてMOBAと呼ぶにはちょっと異質だと思うんだよなぁ 妖怪ウォッチユナイトかパルユナイト デジモンユナイト ドラクエモンスターズユナイト 辺りが出る事に期待しよ
20
phoneticdata 音声処理 retweeted
実はHBL条件とかいう仮定の上で成り立ってる第二不完全性定理さん…
ZFCの無矛盾性はZFCで示せないけどキモい無矛盾性の定義をすると🆗定期
1
6
358
そうでした その上の体系が無矛盾となる事は分からないんでした 失礼しました 謝罪します
ZFCの無矛盾性は、言ってしまえばZFCより真に矛盾しやすい論理でしか示せません。ゲーデルの不完全性定理ってやつですね。 ZFC内でZFCの無矛盾性が示せたのならそれはZFCの矛盾を意味します。 ZFCから独立な命題というのは、ZFCの無矛盾性を"仮定"しての話ですね。
1
2
107
ありがとうございます
ZFCの無矛盾性は、言ってしまえばZFCより真に矛盾しやすい論理でしか示せません。ゲーデルの不完全性定理ってやつですね。 ZFC内でZFCの無矛盾性が示せたのならそれはZFCの矛盾を意味します。 ZFCから独立な命題というのは、ZFCの無矛盾性を"仮定"しての話ですね。
1
50
phoneticdata 音声処理 retweeted
「ベクトルの内積」や「行列の積」の例を出されているようなので、申し上げると、 どちらも1次元のベクトルや1×1の行列を考えると内積や行列積がちょうど数同士の通常の積に対応しますね。 どちらの例も、通常の数の積の拡張になっています。その意味で積の名称は妥当かなと思います。
#教えて数学徒 これ前々から思ってたんだけど、任意の演算のことを「掛け算」とか「積」って呼ぶのはなんで?? ただのハイパー2演算だよね?? 切りが悪いというか
4
20
1,770
真のオワコンは話題にすら上がらないって言うけど、真の人権問題もそうだな 中国人からもウイグル人からもいじめられ、ウイグルで本当に苦しんでる回人やタジク人は右からも左からも話題に挙がらないし
47
ja.wikipedia.org/wiki/ZFC%E3… ZFCの無矛盾性は厳密な証明で保障されてたはずです そもそも、ZFC含め99%の数学の基盤にもなってる古典論理は、爆発律と言って矛盾に対して凄く脆弱なので、矛盾あるならAI使うまでもないでしょう
この調子だといずれ(近々?) ZFC の矛盾が具体的に構成されるのではないですかね? 僕は ZFC に矛盾がまだ見つかっていないのは、単に数学者のこれまで書いてきた証明の長さが短すぎるからだ、とずっと思っていたので。見つかったら今以上に大騒ぎだと思う。
1
1
1
536
簡単に言ったら、矛盾が存在するなら爆発律によって全ての命題は正しいと言うなんでもありな体系になってしまいます 1+1=2も1+1≠2も両方とも正しい事を証明できてしまうのです
1
145
確かゲーデルの論文はZFCの公理系のコード化も含まれてたはずです そして、PA(ZFCを駆使して定義)+ZFCで証明できないゲーデル文やグッドステイン数列定理の収束命題がある以上、ゲーデルの不完全性定理よりPA+ZFCは無矛盾(よってZFCも無矛盾)と証明できたはずです
矛盾が見つかってもZFCよりよい公理系をAIが見つけて事態は収束、ということにはなりそう。これが繰り返されるかもしれないけど
72
P、P、P進体信者だから(震)......
Replying to @re_tsumimaru
0.999…≠1と思っている人ですか?それなら仕方ない
17
他は分かるが、計算式に関しては国産である必要ないでしょw ニュートン方程式だって国産じゃないし
Replying to @polymarketjapan
純国産パーツのみのPC 純国産のドライバー 純国産のOS 純国産のプログラミング言語 純国産の計算式 純国産のAI
16
今の満州は、中国語以外だと一番話されてる言語は朝鮮語なんか
조선족인 나는 그냥 태여나보니까 내 국적이 중국이였고, 여권이 중국이였고 중국에서 초중고 학교다니고 직장다니고, 대학 다닐때도 여느 소수민족이랑 다른거없이 자기소개하면 넌 묘족이야? 넌 장족이야 ? 난 조선족이야 다들 아~그렇구나 그냥 이게 다임, 여기서 내가 난 한국인이야하는것도 웃김
971
結論 実数は意外とキモい
なるほど。100%って書くから悪いんだ。 99.99999……%って書けばいいんだ。 言ってることは同じだし。 極々々僅かに有理数にあたる確率はあるけどそれは0が無限に続くよって事ね。ならすと0%と。ほーん。 全ては無限が悪いんだ。うん。
1
37
¬P∨Q
ひっかけ無しの古典論理の問題です。 問.以下の命題 P、Q について、古典命題論理における条件文「PならばQ」の真偽は? P:地球はガラス玉である Q:1+2=100
69%真
14%偽
17%問題がおかしい
219 votes • Final results
74
ミミカスのじゃれつく
ボスの残りHPはわずか。命中率90%の攻撃を選んだら、まさかの3連続ミス。次の敵の攻撃で全滅。こんなとき「命中率90%って嘘だろ!」と腹立ちますね。 抽選が独立していれば、 3回とも外れる確率は0.1%で、数学的には何もおかしくありません。 「そろそろ当たるはず」は通用しないのはわかっていますが、それでも腹が立ちますね。ガチャでもパチンコでもそうですが。 面白いのは、命中率10%の攻撃が3回連続で当たる確率も同じ0.1%なのに、そちらは手放しで大喜びすることです。 数学的には対称でも、プレイヤーの受け止め方はまるで対称ではありません。 ゲーム開発では、乱数が数学的に正しいことと、プレイヤーが納得できることは別問題です。 なので、連続で外したときに次の命中率を補正したり、威力を犠牲にして必中攻撃を選べるようにしたりと、設計上の工夫が生まれます。 もちろん、純粋な確率を楽しむゲームなら補正しないのも正解です。 確率を正しく実装するかもゲームデザインですね。 余談ですが、大昔、サイコロを振ってキャラのHPを決めるテーブルトークRPGで、キャラ作成時とレベルアップ時に3回連続で「1」を出して絶望したことがあります… #ゲーム開発 #ゲームデザイン
1
131
荒坂がトップだから目立つだけで、荒坂とカンタオとミリテクはトップ3だろうね 罪の度合は
テロリストの成果としては上から 1.ジョニー(アラサカに核攻撃) 2.V(アラサカを襲撃しアダムスマッシャー殺害およびコンストラクト大量流出※あくまで予想) 3.デイビッド(アラサカ襲撃) 4.D(アラサカの幹部を複数殺害) アラサカさん、テロ食らい過ぎ説 #Cyberpunk2077 #サイバーパンク2077
19
バスターズベースの妖怪対戦ゲーが流行りそうではある
ぶっちゃけポケモンだからやってただけで他のMOBAやろうとはならんよなポケモンユナイトユーザーは
250
セジュンさん、ポケモンならなんでも真摯だな ポケモン界のウメハラだよ
출시일부터 5년간 정말 매일매일 접속했었던 포켓몬 유나이트가 갑자기 이렇게 허무하게 끝나버린다니... 처음엔 생소한 장르였지만 포켓몬 덕분에 진심으로 즐길 수 있었고, 열심히 해서 월드챔피언십에도 진출해보고, 파치리스는 없더라도 요씽리스와 쉼없이 쭉 달려왔는데... 믿기지 않고 슬프다
2
591
ちゃんと修正入ってますねw
ひっかけ無しの論理学的な問題です。 問1.単一文としての真偽を答えよ。 3%の食塩水と5%の食塩水を同量混ぜるならば、ヒトは哺乳類である。 問2.以下の命題 P、Q について、古典命題論理における条件文「PならばQ」は? P:3%の食塩水と5%の食塩水を同量混ぜる。 Q:ヒトは哺乳類である。
56%1:真 2:真
15%1:真 2:偽
9%1:偽 2:真
20%1:偽 2:偽
1,450 votes • Final results
236