キーワード学術的けものフレンズを含む動画:3件 ページ目を表示
2024年6月15日 07時09分に生成された05時00分のデータです
2017-08-25 18:20:10
うどんをうつアライさんシリーズ公理系の不完全性定理アライ山
ひらめいてつくったけど、自分やっぱり不完全性定理についてあんま理解してなかったです。
・ゲーデル数を証明にどう使うか。
・一階論理学は無矛盾性証明が与えられる。うどんをうつアライさんシリーズは、動画を引用できるので、二階以上の論理学に近い気がするので不完全性定理が成り立つ気もするんですが、数学でも種類によっては不完全性定理が成り立たず無矛盾性が証明できるものもあるらしい。うどんをうつアライさんシリーズ公理系がどっちなのかわからない。
・ゲーデルの不完全性定理は、数学的論理的命題を対象としているが、ここでは動画に読み替えてある。命題と動画がごっちゃになっているところが多々ある気がします。(動画と命題はどう違うのかというのは興味深いかも。)←ならば神託式を組み込んだ二次アライチューリングを出すまでだ うむうむ 全然わからん! アライ・チューリング「任意のうどんシリーズの動画が有限時間内に終わるかどうかを判定する動画は作れないのだ!」 全然わからん。 ここまでは、まあ 素数じゃないと掛け...
- 1,592
- 694.3
- 10.1
- 30.2 YouTubeで検索
2017-08-19 11:11:02
水鳥クレードに属するアニメけもフレキャラ系統図素人目には、トキとハシビロコウはぜんぜん似てないようなのに、近い科でしかも同じペリカン目というのにびっくりしました。PPPとも比較的近い親戚のようですね。
けものフレンズに出てくる動物たちの生物学上の分類がどうなっているのか気になって調べました。鳥類では、水鳥グレードにたくさんいたので、そこだけウィキから抜粋しました。ほかのキャラについても、系統図のどこにいるのか、調べてみたいですが、わたしは生物学の専門ではないというか、ずぶの素人なので、どなたか、生物学に詳しいフレンドさんが動画にしてくれないですかね?
Wikipediaペリカン目https://ja.wikipedia.org/wiki/%E3%83%9A%E3%83%AA%E3%82%AB%E3%83%B3%E7%9B%AEニコニコ静画というサイトがあるだろうによ こういうの見てるだけでもなんか楽しい
- 534
- 20.4
- 00.0
- 20.4 YouTubeで検索
1970-01-01 09:00:00
- 0
- 0nan
- 0nan
- 0nan YouTubeで検索