哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及..
哲学など数学以外のことは専門外のため, あくまで数学に関することだけ言及させていただきます. ユークリッド幾何学に言及されているように数学の歴史は紀元前まで遡りますが, 数学の形式化が意識され始めたのは1900年代以降と最近の話です. 主にヒルベルトによって主導されたものだと私は理解しています. (もちろん多くの数学者がこのプログラムに関わってきました. ) 数学の形式化や形式主義で調べると参考になると思います. 数学的な内容に関して言及したいことは多くありますが, かいつまんで述べさせていただきます. (あくまでこれは元の記事が間違っているなどと主張しているわけではないです. 現代の数学の考え方や雰囲気の一部を分かっていただければ幸いです. ) 現代の形式化された数学は原理的には決められたルール(公理と推論規則)を用いて行われる一連の手続きです. それらの「意味」が何かは一旦全て忘れてく
なぜこれで査読が通った？巨大イチモツを持つネズミのAI画像が学術誌に掲載され物議｜カラパイア
この画像を大きなサイズで見る 権威ある学術誌にAIが生成したとんでもない画像を使用した査読付き論文が掲載され、研究者たちの間で物議を醸している。 それは、超巨大な生殖器を持つネズミの解剖図的なもので、内容も意味不明だ。論文の著者らもまた、本文中で画像生成AI「Midjourney」によって作成されたことを認めている。 この論文を掲載した出版社「Frontiers」社は懸念を表明しており、最終的にこの論文は、Frontiers社によって撤回され、謝罪文が掲載された。 学術誌に掲載されてしまった異様に巨大イチモツを持つラットの画像 問題の論文は、中国、西安紅会医院の研究チームが2月13日に『Frontiers in Cell and Developmental Biology』で発表したもの。 題名を「Cellular functions of spermatogonial stem cell
ブリーダー調査 出生日の記録ないなど法令違反半数確認 環境省 | NHK
環境省が都道府県などに依頼して、全国およそ1400の犬や猫を繁殖させて販売するブリーダーを調査したところ、犬などの生まれた日付の記録がないなどの法令違反が半数で確認され、環境省は対策を検討するとしています。 動物愛護管理法では、生後56日を経過していない犬や猫の販売や展示などは禁止され、ブリーダーは犬や猫ごとに生まれた日付や販売日などを、帳簿などに記載することが義務づけられています。 しかし、去年11月以降に環境省が依頼して全国の都道府県と政令指定都市が1400のブリーダーを対象に調査したところ ▽「帳簿」を作成していないなどの不備が496件 ▽出生に関わる情報を記録する「繁殖台帳」の不備が314件確認されました。 また ▽犬や猫の生まれた日にちを改ざんして販売していた違反が50件など 調査した半数のおよそ700のブリーダーで何らかの法令違反が確認され、各自治体が行政指導を行いました。 さ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
