数学・科学・工学に関連する話題を提供している人のためのブロググループです。
はてなブログを持っていれば、誰でも参加できます。
mond 経由で質問がきました。 いつもありがとうございます。 こんにちは。いつも「パンの木を植えて」を愛読させていただいている高校2年生です。 私は以前から大学数学を趣味で勉強しているのですが、その過程で型理論やLeanに興味を持つようになりました。 しかし、現在それらについて私は何も知らず、また何から始めたら良いのかもわかりません。 私は数学の道に進みたいので型理論などは趣味の範囲で勉強したい…
こんにちは。白洲です。 私は今まで勉強をするとき、ChatGPTという強力な味方とともに勉強をしてきました。 今回はChatGPTを勉強時に駆使した経験をもとに、勉強時におけるAIの扱い方や、注意点などについて説明したいと思います。 私はこんな使い方してました こんな使い方はするな！ 時代に乗ろう！ 私はこんな使い方してました 「AIで勉強する」といってもどのようにして勉強しているか想像もつかない…
コレコレ リスナー やばいエピソード、10選。【なんJ】【2026年現在】 コレコレの配信を語るうえで、絶対に無視できない存在が「コレリス」と呼ばれるリスナーたちである。コレコレは、YouTubeだけでなく、ツイキャス、Kick、TikTok Liveなど複数の場所で配信活動を展開しており、2026年現在も一度の配信に大勢の視聴者が集まる巨大なコミュニティーを維持している。配信予定が告知されれば一…
甘利俊一 著 「脳・心・人工知能」メモ 脳・心・人工知能〈増補版〉 数理で脳を解き明かす (ブルーバックス) 作者:甘利俊一 講談社 Amazon 甘利俊一 著 「脳・心・人工知能」メモ 第３章 「理論」で脳はどう考えられてきたのか ランキング参加中数学・科学・工学 ランキング参加中はてなブログ同盟！初心者歓迎・なんでもOK！日記・雑記10・20・30・40・50・60代
今回は,置換による行列式の定義と,余因子展開(1次方程式の話から得られました)による行列式の定義が同値であることを示します。まずは,それぞれの定義をおさらいしましょう。 置換による定義 を次の置換(以下の個の自然数の並べ替え)全体の成す集合とする時, 余因子展開による定義 但し,は,の第1成分を除いた列ベクトル これらが,一方からもう一方を導くことが出来るということを,双方向から示します。 の時は…
2016年のデータを用いた練習問題は以上である。ここからは、2026年の（ついこの間に発生した）熊本地震のデータの解析を行なってみる。 2016年のデータと比較しながら、まずは緯度の変化を見てみよう。 最初の分析は、観測地点「950465熊本」である。 緯度の変化（単位は度）（左）2026年（右）2016年 左のパネルをみれば、確かに7月28日（✖︎印の緑色のグラフ）およびその翌日に地面のスライド…
▼#1はこちら 🐾【渦法×AI自作 #1】設計編：点渦法とGNNをどう繋ぐか - ボサワンのデバッグ日記🐶 導入 前回の設計編で、点渦法とGNNの対応関係を整理した。今回はいよいよ実装に入る。まず作るのは、GNNの「正解データ」を生成するための土台となる、点渦法の直接計算シミュレータ。地味な回だが、ここがしっかりしていないと、この先の教師データもGNNの評価も成立しない、シリーズの基盤になる部分だ…
『光学遷移』や『波束の収縮』という概念について考え、自仮説の量子場光学からみた局所性の意味を再考する。なお、場の構成の見直しも反映させる。 量子場光学の特徴として、量子が場の波動として存在する量子場と、量子場が張られていて量子の素励起情報の波動が１量子レベルの量子波束として伝搬する双子世界時空と、を明確に区別している点がある。すなわち、量子場光学では光子はあくまで場の波動として光子場に存在するので…
長い夏休みは、一見すると、自由な時間が１０００時間も、２０００時間もあるかのように錯覚されやすいですが、 仮に、夏休みを４０日だとしても、時間は９６０時間。 １０００時間を切っています。 私立校・中高一貫校生の場合、期末テストを終えてからの２週間ほどが、テスト休みとなっていて、授業も進まず、そもそも自宅学習日などで、時間をもらっていることを考えると、約３００時間ほど、普通の学生より、『自由な時間』…
PRG（擬似ランダム生成器）ならネクストビット予測不可能性が成り立つを示すのはよくよく考えると当然！のような気がしてきます！ まずPRGが生成する数（ビット列）の分布は一様分布と計算量的に見分けがつきません。ここから（おそらく）PRGが生成した数（ビット列）のどのビットも1ビットの一様分布U 1と計算量的に見分けがつかないと言えそうです（実際に言えます）。 PRGの中の最初のn bit (x_pr…
次のページ
