「引用ジャングル」カテゴリーアーカイブ

斎藤さん　細かいところで、感じることはありますが、第1期の時もいろいろな演出さんが入っていましたし、いろいろな人が入ることで、一本の作品が出来上がっていくものだと思います。第2期は、構図や細かい間合い、芝居が自分とはまた… 続きを読む »

斎藤さん　第1期が終わった段階で、第2期をどうしよう？という話が出て、自分は第1期で力を出し尽くしてしまったところもあり、「フリーレン」という作品をどうやったらより強い形で世に送り出せるだろう？と考えた時、現場的な関わり… 続きを読む »

マーク・ソルムズは著書『隠された春』の中で、心の仕組みについて首尾一貫したモデルを提示しています。彼は、哺乳類研究で相同神経回路に基づくすべての哺乳類種に共通する固有の衝動を実証したヤーク・パンクセップの研究を統合するこ… 続きを読む »

可塑性には複数のタイムスケールがあるのかもしれませんし、短期的な情報を同時に保存しながら逆伝播できる巧妙な学習ルールがあるのかもしれません。ニューロンはいくつかのことを行っているのかもしれません。例えば、速い重み可塑性と… 続きを読む »

構造的なレベルでは、海馬が何か興味深いことをしているのかもしれません。人々は長い間このことを考えてきました。どのようなシーケンスを保存しているのか？それをどのように整理し、表現しているのか？どのように再生しているのか？何… 続きを読む »

顔パッチニューロンのようなものがあり、顔の特定の部分が幾何学的に興味深い形で組み合わさって表現されます。これは幾何学と視覚に関するものです。もっと抽象的なものにも当てはまるのでしょうか？認知マップという概念があります。齧… 続きを読む »

「これらのモデルは自動化された賢さのようなものだが、自動化された知性ではない」 アダム・マーブルストーン – AIは脳の根本的な部分を見逃している

バイブコーディングの場合、人々はコンピュータサイエンスを学んでいないのでしょうか？それとも、実際にバイブコーディングをしながら、同時にLLMで抽象的なコンピュータサイエンスの概念を解説してもらっていて、すべてがより速く進… 続きを読む »

しかし、LLMが数学者にとって有用な検証可能な証明を生成できるようになったのは、ごく最近のことです。ソフトウェア検証やハードウェア検証において、ある程度の検証が可能になり始めています。 しかし、今後数年間のトレンドを予測… 続きを読む »

本当に素晴らしい応用分野がたくさんあると思います。目指すべきことの一つは、証明可能な安定性、安全性、そしてハッキング不可能なソフトウェアを持つことです。ソフトウェアに関する数学的な証明を書いて、「このコードは、これらのユ… 続きを読む »