弱微分とは弱微分は、従来の意味では微分可能でない関数に対しても定義できる、一般化された微分の考え方です。 その定義には、部分積分が満たす性質を用います。 実数\(\mathbb{R}\)の開区間\(\Omega =(a,b)\)において定義された、なめらかな（\(C^1\)級の）関数\(f,g\)について \[\int_a^b f^{\prime}(x)g(x)dx =[f(x)g(x)]_{x=a}^{x=b}- \int_a^b f(x)g^{\prime}(x)dx\] という等式が成り立ちます（部分積分）。 ここでもし\(g\)がテスト関数\(\phi\)ならば、\(\Omega\)の境界、端点における\(\phi(x)\)の値は0となるので、 \[\int_a^b f^{\prime}(x)\phi(x)dx =- \int_a^b f(x)\phi ^{\prime}(x)dx
この記事はCodinGameの一人用最適化ゲームの紹介記事です。 CodinGameといえば対戦ゲームが定番ですが、一人でやる最適化ゲームも実はけっこう充実しています。このたび全ての最適化ゲームをプレイし終えたので、それらの紹介記事を書いてみることにしました。 Optimizationカテゴリ CodinGameにはOptimizationというカテゴリがあり、最適化ゲームはそこに分類されています。このカテゴリのゲームは一人でプレイし、ハイスコアを競います。 Optimization ゲーム一覧 この記事で使う指標 ・公式評価 CodinGameユーザーによる投票の５段階評価の平均点（2021年3月14日 現在） ・私の評価 私が好きかどうか ★１～★５（好きでない～好き）の５段階で評価 ・問題の単純さ 問題の内容が分かりやすいか ★１～★５（分かりにくい～分かりやすい）の５段階で評価 ・
さて、2017年ももうすぐ終わってしまう今日この頃、今年俺が見たTVアニメ・ベスト10を書いてみようかと思う。毎度のことだけれども、あくまで独断と偏見による評価なので、異論反論は受け付けないぞ(笑)。対象となるのは、2017年にTVで放送されていて、視聴したメディア（TV、配信、円盤等）の如何にかかわらず今年私が全話視聴した作品。具体的に言うと次の32作品が対象。 2017年冬アニメ CHAOS;CHILD クズの本懐 けものフレンズ この素晴らしい世界に祝福を2 亜人ちゃんは語りたい 政宗くんのリベンジ 幼女戦記 2017年春アニメ ID-0 アリスと蔵六 エロマンガ先生 冴えない彼女の育て方♭ サクラダリセット（1クール目） 終末何してますか？忙しいですか？救ってもらっていいですか？ 進撃の巨人Season2 正解するカド ラブ米 2017年夏アニメ アホガール 異世界食堂 18if
人間が生活する上で、欠かせないもの。 それは免疫。 人間の、自己と他の境界線で常に戦う盾でありますね。 それはフロントラインである粘膜皮膚に限らず、 我々の内部でも起きておる戦いなのですね。 ところで、「３００」ご覧になられてます？ 300〈スリーハンドレッド〉 コンプリート・エクスペリエンス [Blu-ray] 発売日: 2010/04/21 メディア: Blu-ray あれねえ、モニターやテレビでは魅力半減ですなあ。。 ワタイ、公開時に映画館で観て脳みそ湧くほど 激しく興奮いたしました。。 あの中でも、スパルタは外部の敵と 内部の敵がおるわけです。 コロナでにわかに免疫が意識されております。 でね、じゃあ免疫って何よ？ 今日はそこです。 まず言っておくに、ワタイは免疫の専門家ではないのです。 たまたま、免疫の専門家と話す機会が 少し前にあったのですね。 ちなみに、コロナとかウィルスだけ
★ 以下の素数の個数を と表すとき, が成り立つ. 1.1 この記事では2020年2月9日にarXivに投稿されたFlorian K. Richterの論文 A new elementary proof of the Prime Number Theorem, arXiv:2002.03255. で提示された式の新しい証明の解説を試みる. 1.2 Richterはノースウェスタン大学の若い数学者で, 近年の数学上の大成果である "Erdős sumset conjecture" を解決した3人の数学者のうちの1人である: J. Moreira, F. K. Richter, D. Robertson, A proof of the Erdős sumset conjecture, Annals of Mathematics, Volume 189 (2019), Issue 2, pp.
Infinite Jest とは？ 今、私が頑張って少しずつ読んでいるのが1996年に出版されたDavid Foster Wallace（デイヴィッド・フォスター・ウォレス）の『Infinite Jest（インフィニット・ジェスト：直訳すると「無限の戯れ」）』だ。現代アメリカ文学で金字塔的な扱いを受けている本書、過去の金字塔たちと同じく、クッッッッッソ長いメガノベルだ。小さいフォントでページいっぱいにびっしり書き込まれていながら本編約1000頁、そして完全に小説の一部として機能する脚注が約100頁というボリュームというまさに鈍器。ピンチョンの『重力の虹』（72年）は「読了した人よりもドアストッパーとして使っている人のほうが多い」なんて言われていたようだが、『インフィニット・ジェスト』も似たようなことを言われているのだろう。 検索すれば桑垣孝平の「戸山翻訳農場」というサイトがヒットするが、「
ipc_botの解説 決定版!
ipc_bot とは ipc_bot は2023年5月までTwitter (現: X) で稼動していたbotで、「直観主義命題論理」と呼ばれる問題を自動で解いてくれるbotです。 現在はXの読み取り系のAPIが有料化されたことから、Mastodonにお引っ越ししています。(Misskey等の他のActivityPub実装からも利用できます) 使い方 直観主義命題論理の式をテキストで表記してメンションすると、結果が画像で返信されます。以下のような具合です。 命題の書き方と結果の読み方 命題 「命題 (proposition)」とは、ありていに言えばbool型の式のようなものです。ただし、それが具体的に計算可能である必要はありません。重要なことは、その式の評価値の真理性(真か偽か)を議論することができるという点です。 ipc_botが対象としているのは「命題論理 (propositional
グラヴセットで働くヴァディーム（ゲルマン・シガール） ――ちなみに、このドラマの中で描かれていることの、具体的なモデルや事件みたいなものって、何かあるんでしょうか？ たとえば、本作には「グラヴセット」というSNS上でプロパガンダ情報を流す組織が登場しますが……。 小泉：まず、「グラヴセット」というのはイギリス人の発音ですよね。ロシア語だと「グラヴセーチ」。「セーチ」はロシア語で「ネットワーク」なので、「ネットワーク通信総局」を縮めて「グラヴセーチ」と呼んでいるんだと思うんですけど、あれのモデルは恐らく「IRA（インターネット・リサーチ・エージェンシー）」ですよね。これは、今話題のプリゴジンがやっている偽情報会社で、ワグネルとほぼ同時期に設立されています。どうも2010年代の頭ごろに、プーチンから傭兵会社と偽情報会社を作れという指示があったようです。まさにこのIRAが、2016年のアメリカ大
（ながの・ひろゆき）。永野数学塾塾長。1974年東京生まれ。父は元東京大学教養学部教授の永野三郎（知能情報学）。東京大学理学部地球惑星物理学科卒。同大学院宇宙科学研究所（現JAXA）中退後、ウィーン国立音大へ留学。副指揮を務めた二期会公演モーツァルト「コジ・ファン・トゥッテ」（演出：宮本亞門、指揮：パスカル・ヴェロ）が文化庁芸術祭大賞を受賞。主な著書に『大人のための数学勉強法』（ダイヤモンド社）、『東大→JAXA→人気数学塾塾長が書いた数に強くなる本』（PHP研究所）など。これまでに1000人以上の生徒を数学指導してきた実績を持ち、永野数学塾は、常に予約キャンセル待ちの人気となっている。NHK（Eテレ）「テストの花道」出演。朝日中高生新聞で『マスマスわかる数楽塾』連載（2016ー2018年）。朝日小学生新聞で『マスマス好きになる算数』連載（2019ー2020年）。『とてつもない数学』（ダイ
アマプラ最高のドラマの探し方から、1,000頁1kg超の鈍器本、人生を変えた詩集、自信喪失なときに効くセリフまで、声に出して読みたい／聞きたい／語りたい作品をお薦めしあうオフ会報告
アマプラ最高のドラマの探し方から、1,000頁1kg超の鈍器本、人生を変えた詩集、自信喪失なときに効くセリフまで、声に出して読みたい／聞きたい／語りたい作品をお薦めしあうオフ会報告 好きな本を持ち寄って、まったり熱く語り合う読書会、それがスゴ本オフ。 本に限らず、映画や音楽、ゲームや動画、なんでもあり。なぜ好きか、どう好きか、その作品が自分をどんな風に変えたのか、気のすむまで語り尽くす。 この読書会の素晴らしいところは、「それが好きならコレなんてどう？」と自分の推し本から皆のお薦めが、芋づる式に出てくるところ。まさに、わたしが知らないスゴ本を皆でお薦めしあう会なのだ。 今回のテーマは「音読」、声に出して読みたい／聞きたい／語りたい作品が集まってきた。それだけでなく、音読を実践してきた方のメリットや、教育現場における音読の効果、『白浪五人男』を元に実際に音読をしてみるといったフィードバックが
偏角の原理を使ってゼータ関数の零点を見つけよう！｜マスログ
和からの松中です。今年も日曜数学のアドベントカレンダーに投稿させていただきます！昨年のテーマは「偏角の原理を使って五次方程式を解く」でしたが、今年は偏角の原理を使ってゼータ関数の零点を見つけてみようと思います！これはつまりあの有名なリーマン予想にチャレンジしてみようということです。 本記事の内容を動画で見たい方はこちら↓↓↓ 偏角の原理を使って五次方程式を解く リーマン予想とは リーマン予想とはドイツの天才数学者リーマンが1859年に発表し、160年以上経っている今日でも未解決の数学の予想です。リーマン予想はミレニアム懸賞金問題の一つであり、この予想を証明する、もしくは反例を挙げることで懸賞金1億円が手に入るという夢のような予想になっています。 リーマン予想の主役はゼータ関数とその零点です、まずゼータ関数とは以下で定義される関数を複素平面全体に有理型接続したものなのですが、本記事では複素数
はじめに とうとうAtCoder水色になれた(過去問精進と夜活コンテストのおかげ)。さらなる高みを目指すべく、プログラミングコンテストチャレンジブック [第2版] (通称、蟻本)を解くことした。 せっかくなのでPythonでの解答をここに記録する。 Pythonで解答してる人のブログを漁っても初級編の途中(DPとか)で挫折してる人が多そうだったので誰かの助けになれたらと思う。 著作権保護のため本の内容をすべて公開するわけではないので、解説などは本を見てほしい。 一方、変数名の説明なしにコード例が書いてある問題もいくつかあり、そういう問題はコードのコメントに意味合いを補足した。 この本の購入に関してはmynavi booksからPDFを購入するのがおすすめだ。ノートアプリを使っていろいろ書き込むことができる。 book.mynavi.jp 続きはこちら aotamasaki.hatenabl
これは何 はじめに 正八面体の場合 正八面体多項式 指標理論 保型形式とテータ定数 Broué–Enguehard 写像 と重み枚挙多項式 レベル4の主合同部分群 正二十面体群の場合 正二十面体方程式 ロジャース・ラマヌジャン恒等式 正二十面体と保型形式 ラマヌジャンの連分数の特殊値 レベル5の主合同部分群 分割数 まとめと展望 References これは何 二項正 \(n\,(n=8,\,20)\) 面体の作用で高々 \(\pm 1\) の定数倍の変化しか受けない正 \(n\) 面体多項式と \(SL(2,\mathbb{Z})\) の保型形式は，主合同部分群に関する保型形式によって結びつく．この繋がりを紐解く過程で現れるのは，2元線形符号の重み枚挙多項式，ロジャース・ラマヌジャン恒等式，ラマヌジャンの連分数など、種々の興味深い数学的対象である． 前回の記事（本記事から GitHub
「潜在変数」（z）を多変量正規分布に近づけるβ-VAEモデルはなぜ、データが持つ特徴のもつれを解く（disentangle）ことができるのか？ - Qiita
「潜在変数」（z）を多変量正規分布に近づけるβ-VAEモデルはなぜ、データが持つ特徴のもつれを解く（disentangle）ことができるのか？機械学習MachineLearningDeepLearning数学深層学習 変分オートエンコーダ（β-VAE）モデルはどうやって、入力データが持つ「独立」した特徴属性を、潜在空間の各座標軸に表現しているのでしょうか？ 変分オートエンコーダ（Variational AutoEncoder）モデルや、β-VAEモデルをわかりやすく解説した記事は、すでにたくさんあります。そうした記事は、主に以下の２つの点に焦点を絞っているように見受けられます。 変分下限を最大化させる問題に帰着させる数式の導出過程 多変量正規分布が持つ確率変数（$mu$と$σ$）を、AEモデルの学習則であるBP（Back Propagation）法で誤差逆伝播させる実装方法 （Repara
ゼロで割る事は許されていない事を証明する | 数学の星
ゼロというのは、数字の中でも、最も特別な存在と言ってよいでしょう。 ゼロにはいろいろな性質がありますが、その中で特異なものが、ゼロで割り算することは許されていないということです。 9÷0問題 かつて小学生向けに、9÷0だとか、8÷0という問題が出題されて話題になったことがあります。 「0は、なにを掛けても割っても0」だと教える先生がいるとか。 なので、例えば、8÷0に対しては0と解答するのが正解らしいです（数学的には誤りと言えますが）。 「どんな数でも0を掛けると0になる」という性質をちょっと勘違いして割り算にも適用したのかなと思いますが、数学の世界では、ゼロで割ることは許されないのです。 0で割ってはいけない理由 なぜ、ゼロで割ってはいけないのか、簡単にいうと、困ることが多くでてくるからということです。 いろいろな数の計算がくるってきます。 例えば、普通の数は、2で割った数に2を掛けると
ドキッとさせてくれる！？話題のボードゲームつきコンドーム「ASOCON」をひとりでプレイしたら妄想が止まらなくなった | ランドリーボックス
ボードゲームつきのコンドーム？しかもえっちな内容？ 最も止まる確率の高い6マス目にはドキドキさせる内容があるんだって？ 数学的なことはよくわからないけどなんだか面白そうじゃーん、と思った次の瞬間にはAmazonを確認。値段は1100円？よし。 秒でポチりました。 そして、Prime会員だったので、注文した翌日には届くこのスピード感。気持ちが高まっている間に届くのサイコーでは。 さあ、この勢いでさっそく試すぞ！と思ったものの、パートナーとは遠距離中。 遠距離で試しちゃう…？ いや、お互いシャイ野郎なので、私たちにとって過激すぎる話題が出たりしたら、通話がお通夜になるかもしれない。 そんなリスクを考え、ひとまずひとりでシミュレーションをしてみることにしました。 むなしくも？ひとり二役で、彼との一戦を妄想しながら実践したレビューをご覧ください。 開封の儀 さあ、さっそく噂のボードゲーム&コンドー
システムの信頼性指標の基礎知識を理解しよう！｜コンピュータシステム・基本情報技術者試験 - リスキリング｜情報技術者への歩み、デジタルを使う側から作る側へ
※This page uses affiliate advertising. ※本ページは、アフィリエイト広告を利用しています。 Amazon.co.jp: Amazon Prime Amazon.co.jp: Prime Student - 学生のためのお得なプログラム Kindle Unlimitedにサインアップして無料体験に登録する Amazon.co.jp: Amazon Music Unlimited Amazon.co.jp: Audibleオーディオブック ｜はじめに １．システムの信頼性とは ２．信頼性を表す「RASIS」 ①信頼性（Reliability） ②可用性（Availability） ③保守性（Serviceability） ④完全性（Integrity） ⑤機密性（Security） ３．システムの状態（信頼性と保守性） ①MTBF（Mean Time Be
コラム：ルビコン川渡った日銀、追加利上げで支払う巨額利息＝熊野英生氏 この手の男性はガチで「何もやんなくていいよ」って思ってんだよね。シャツがしわくちゃでも風呂場がカビだらけでも本当に平気なのよ 「このまま黙って死んだら私に悔いが残る」カイロ時代の友人が明かした小池百合子都知事“疑惑の大学生活”【実名告白】（文春オンライン） - Yahoo!ニュース どうすれば相手の意見を変えられるのか──『エビデンスを嫌う人たち: 科学否定論者は何を考え、どう説得できるのか?』 - 基本読書 高度に発達したウォーターフォールはアジャイルと見分けがつかない - An Epicurean 【方法は？】姿を見せていないAdo “握手会”を開催へ「真実の口方式での握手会の実現です」（日テレNEWS NNN） - Yahoo!ニュース 日テレ『24時間テレビ』番組テーマを初変更 「愛は地球を救う」→「愛は地球を救
「虚無に潜む者たち」｜ファイブスター物語/FSS｜第6話運命のラキシス7444｜月刊NT2020年3月号連載分：感想｜【ネタバレ注意！】
「虚無に潜む者たち」｜ファイブスター物語/FSS｜第6話運命のラキシス7444｜月刊NT2020年3月号連載分：感想｜【ネタバレ注意！】 2020年2月10日月曜日 FSS manga 今月号で先月号で迫っているその何者かが姿を現すのかと思いきや、突如として一つの星が作られまさかの展開。いやこれどうなってんの？オチがどうなるの？いやまあ手掛かりは幾つかあります。キーワードは浮遊城。そしてもう一つ。スイッチが入った時。ともかく毎回とんでもねえなという展開でしかも斜め上です。という事で今月号の気になったところ行ってみましょうか。 扉｜ファティマ・クーン クーン姉様、久しぶりのお姿かつアシリア・セパレートです。ダイアモンド・ニュートラル（ニュー）博士のパートナーとしてこの姿見られるのか？それとも過去か？そうそう精霊体（セントリーの因子が分離したもう一人のクーン）のクーンがもしかするとここに参戦？
|| 超小さいものを確率的に扱う理論 これは「超小さいものの性質をまとめた理論」です。 より厳密には『粒と波の性質を持ったもの』を扱います。 スポンサーリンク 目次 量子「粒子と波の性質を持ってるやつ」 光量子仮説「光は波だけど粒子でもあるんじゃ？」 ボーアの量子条件「電子も量子なんじゃね？→正解」 物質波「そもそも物質も量子じゃね？→正解」 ヒルベルト空間「数学がちゃんとできる保証」 内積空間「行列をスカラー値にする」 行列「物理量とかをこれで表す」 行列表示「関数やら演算子は行列で表せる」 エルミート演算子「観測可能量はこれで表す」 固有値方程式「基礎方程式はこれ」 三角行列「固有値を求めやすい形の行列」 ユニタリ行列「かなり 1 っぽい行列」 ディラック記法「縦と横のベクトルを区別して書く」 エルミート演算子の性質「固有値が実数になる」 行列表示で使うもの「規格化直交系とか個数演算子
すべてのアプリケーション、ゲーム、およびプロセッサは、上記のドライバとハードウェアでテストされています。テストシステム間でパフォーマンスの結果が再利用されることはありません。 すべてのゲームとアプリケーションは同じゲームバージョンを使用してテストされています。 特に指定のない限り、すべてのゲームは最高品質の設定に設定されています。 アプリケーションベンチマーク 個々のアプリケーションスコア SuperPi SuperPiは、オーバークロックと調整を伴う最も人気のあるベンチマークの1つです。 それ以来ずっと、世界記録の競技会で使われてきました。 これは純粋にシングルスレッドのCPUテストで、円周率を3200万桁まで計算します。 1995年にリリースされ、x86の浮動小数点命令のみをサポートしているため、シングルスレッドのレガシアプリケーションのパフォーマンスを確認するのに役立ちます。 シング
THE RIVERが選ぶ2022年の必見映画110本、完全攻略ガイド ─ 超大作から注目の一作までたっぷりナビゲート | THE RIVER
THE RIVERが選ぶ2022年の必見映画110本、完全攻略ガイド ─ 超大作から注目の一作までたっぷりナビゲート 2020年代に突入して、2年が早くも経過した。2021年は、ゴジラとコングが激突したり、『007／ノー・タイム・トゥ・ダイ』をもってダニエル・クレイグのジェームズ・ボンド映画が幕を閉じたり、『マトリックス』シリーズの新章が公開されたり、『ブラック・ウィドウ』をはじめとするマーベル・シネマティック・ユニバース作品が封切られるなど、映画の話題が尽きることはなかった。 もちろん、2022年にも注目作は勢揃いしている。DCやマーベル映画をはじめ、『ジュラシック・ワールド』『ファンタスティック・ビースト』『ミッション：インポッシブル』シリーズの最新作、ウェス・アンダーソン、リドリー・スコット、クリント・イーストウッド、スティーブン・スピルバーグ、レオス・カラックスなど巨匠監督たちの新
映画「リベリオン」について
第三次世界大戦後に出現した全体主義体制の都市国家・リブリア。そこは、党首ファーザー率いるテトラグラマトン党が独裁政党として君臨し、二度と戦争が起らないように感情を持つことを禁じられた社会だった。 リブリアでは音楽や文学書籍、絵画や映像など、心を揺り動かす「感情的なコンテンツ」は全て「EC-10」として禁止され、人々は「イクイリブリウム」という政府機関が生産・配給する感情抑制薬であるプロジアムの服用を義務付けられていた。党の方針に逆らい、薬の服用を拒んで「EC-10」を所有している人間は「感情違反者」として、「ガン=カタ」と呼ばれる戦闘術を極めた特殊捜査官「グラマトン・クラリック」が摘発・処刑していた。 中でも有数の実力者である、第1級クラリックのジョン・プレストン（クリスチャン・ベール）は、妻が感情違反で処刑された後、息子のロビー、娘のリサと3人で暮らしているが、ロビーはクラリック候補生で
子どもの「読む力」が落ちている？SNS、動画視聴の影響か 専門家「キーワード読みになっている」「言葉尻しか見ていない」（ABEMA TIMES） - Yahoo!ニュース
小学6年生と中学3年生を対象とした全国学力調査で「国語」「算数・数学」の2教科が実施されたところ、中学・国語の正答率が前年度から11ポイント低下し、過去最低となったと話題になっている。文部科学省は、出題意図や難易度が異なるので、単純な比較はできないとしているが、会見では「SNSや動画視聴の時間については、中学校で少し増えてきている。ゲームや動画視聴などにとられる時間が多いほど、正答率が低い」とも伝えられた。本当に子どもたちの国語力は低下しているのか。『ABEMA Prime』では専門家を招き、今起きている現象を考えた。 【映像】あなたは解ける？約半数が間違えた国語力テスト 番組では、国立情報学研究所の新井紀子教授が開発した「リーディングスキルテスト」の例題が紹介された。出演者たちは全員正解することができたが、この問題の正答率は57％。逆にいえば43％も不正解だった。この結果に作家の乙武洋匡
先日こちらの映画を見たんですよ。 ジョーカー(字幕版) 発売日: 2019/12/06 メディア: Prime Video バットマンの悪役である「ジョーカー」を主役にもってきた作品です。 あんまりアメコミは私の好みではないんですけど，前に「her」を見てからホアキン・フェニックスの演技が見てみたくなりましてね。 suno200002000.hatenablog.com ホアキンフェニックスはこの「ジョーカー」でアカデミー賞の主演男優賞も撮っているので，どんなものかと思って見てみました。 見てみて思ったのが，まずホアキン・フェニックスに見えない。とても「her」と同じ人が演じているとは思えませんでした。 というのもこの映画のためにホアキンは２３キロのダイエットを敢行。実現するために数か月を毎日リンゴ一個で過ごしたのだとか。そんなホアキンの努力が生んだ演技は言うまでもなく圧巻でした。 しかし
疑似乱数２
1 ：デフォルトの名無しさん：2007/10/17(水) 22:34:59 擬似乱数発生器について語ろうか。その２ 前スレ 擬似乱数 http://pc11.2ch.net/test/read.cgi/tech/1146071975/ 関連スレ 【危険】とんでもプログラム告発スレッド【悪質】 http://pc11.2ch.net/test/read.cgi/tech/1191860116/ SIMD-oriented Fast Mersenne Twister (SFMT): http://www.math.sci.hiroshima-u.ac.jp/~m-mat/MT/SFMT/index.html 2 ：デフォルトの名無しさん[sage]：2007/10/17(水) 22:53:56 で、いつになったらSFMTはboostに組み込まれるの？ 3 ：デフォルトの名無しさん：2007/1
映画「テネット」感想 理系がマウント取りたがりそうな映画だけど文系も突き詰めると科学に繋がるよね？ - ドラマと紅茶
2020年９月に公開されたクリストファー・ノーラン監督の映画です。 初めに言っておきますが、このブログでは考察は一切しておりません。 この映画の「何故」や「解説」を知りたい方は他のブログをご覧くださいませ。 正直、私は科学や数学は大の苦手というかさっぱり分かりませんので手を出しては、 というか感想も述べられるほど理解がないと思うので悩みましたが、観たばかりだし 分からないなりの「感想」くらい言わせてよ、と思ったので書きます。 クリストファー・ノーラン監督と言えば、映画「ダーク・ナイト」や「プレステージ」 は好きだし、「インターステラー」も天文学や科学が苦手な私でも何となく分かった し好きです。インターステラーは父と娘の話だからかもしれないけど。 メメントは映画館で鑑賞して分かったような分からないような、でもDVDで観たら 「あー、なるほど」みたいな映画でしたけど、「インセプション」は３回く
「直感・感性」、「わび・さび」AIが知らない、人間のクリエイティビティ - amanaINSIGHTS（アマナインサイト）
UPDATE 2018 06/08 「直感・感性」、「わび・さび」 AIが知らない、人間のクリエイティビティ 「自分自身を改良する人工知能をつくることが、人類の最後の発明である」。シンギュラリティという概念を提唱したとされる、数学者のアーヴィング・ジョン・グッドはそう予言しました。人工知能（AI）が世界を最適化するとき、果たして人間のクリエイティブは必要とされるのでしょうか？ 脳科学者の茂木健一郎さんは、シンギュラリティ以後も人間のクリエイティブは決してなくならないと言います。 しかし、テクノロジーの発達はクリエイティブをとりまく状況を一変させるでしょう。人工知能がもたらす未来において、クリエイターに必要な能力とは何か。新たなクリエイティブの可能性と、現代のクリエイターが養うべき資質について迫ります。 人工知能時代における卓越性の指標 茂木健一郎(脳科学者／以下、茂木)：テクノロジーがこれ
アクチュアリー数学合格体験記｜マスログ
数学教室和(なごみ)講師の松中です。 今年もアクチュアリー試験が実施される12月が迫ってきましたね！ と言ってもそもそもアクチュアリーの事を知らない方が大多数ではないでしょうか。アクチュアリーは日本語では「保険数理人」と訳される保険、金融などの分野の数理業務を扱うプロフェッショナル職のことです。アメリカでは2015年のThe Best Jobs of 2015で200業種中1位になるほど人気の職業です(http://www.careercast.com/jobs-rated/best-jobs-2015)。 テレビCMを見ると生命保険、医療保険、火災保険、事故保険など様々な保険が宣伝されています。同じ医療保険でも保険会社によって掛け金、保障内容は様々です。それらの保険を作ることは簡単ではありません。顧客をたくさん獲得しようと掛け金を少なくし、保障を多くすればたちまち保険会社は潰れてしまうで
トランスヒューマニズム：MKウルトラからGoogleへ グーグルは「邪悪になるな」と公言しているにもかかわらず、アメリカ帝国主義の壮大な野望と疑わしいほどに一致している。そのエグゼクティブチェアマンであるエリック・シュミットは、2008年、2010年、2011年、2013年の悪名高いビルダーバーグ会議に出席しており、また、三極委員会のメンバーにも名を連ねている。 しかし、はるかに厄介なのは、神に例えられる超意識的なコンピューターの下で新世界秩序を作り出すという全体主義的な野心のように見えるものへのGoogleの参加です。 サイエンスフィクションのように聞こえるかもしれませんが、Googleの幹部たちは、「技術的特異点」の大義と、「トランスヒューマニズム」として知られる超人的な知性の出現を推し進めてきました。 こうした妄想的な野望は、40年代と50年代のメイシー会議の際に形成されたCIA後援
2022年1月28日のヘッドラインニュース
コカ・コーラ初となるアルコール度数0.00％のノンアルコールブランドとして、「よわない檸檬堂」が新登場することが発表されました。 「よわない檸檬堂」は、レモンサワー専門ブランド「檸檬堂」のノウハウや経験をもとに作られた、レモンサワーテイストのノンアルコールブランドだとのこと。原材料はレモン果汁、果糖ぶどう糖液糖、食塩、ジュニパーベリーエキスなどで、ぱっと見た感じは普通の「レモン風味の炭酸飲料」といった印象ですが、「20歳以上の飲用を想定して作られている」とのことです。 全国発売は2022年2月21日(月)で、コンビニエンスストアでは2月7日(月)から先行発売されます。価格は350ml缶で税別132円です。 コカ･コーラ社初のアルコール度数0.00%の ノンアルコールブランド誕生 「よわない檸檬堂」 こだわり製法で本格的なレモンサワーテイストの味わい 2月21日（月）から全国で新発売 2月7
【2024年4月最新】映画ファンが「もう配信されてる」と感激！Amazonプライムビデオで観られるオススメ洋画194本 | FILMAGA（フィルマガ）
アマゾンプライムで配信中のおすすめの洋画192本をピックアップ！ 『TAR/ター』や『オペレーション・フォーチュン』、『ワイルド・スピード／ファイヤーブースト』など、話題の人気作やアカデミー賞受賞作までご紹介します。 映画セレクト基準は？ 本記事で紹介する映画は、国内最大級の映画レビューサービス「Filmarks（フィルマークス）」のレビューやスコアなどのデータに基づいています。 ※本ページにはプロモーションが含まれています。 ※以下、2024年4月追加分（2本） 『ソニック・ザ・ムービー／ソニック VS ナックルズ』（2022） 平穏な生活が戻ったグリーンヒルズで夜ごと勝手に街を守り続けているソニックの願いはただひとつ―「本当のヒーローになりたい！」そんな折、再び世界に暗雲が立ち込める。ドクター・ロボトニックが銀河系で最も危険な戦士ナックルズを引き連れて帰ってきたのだった。彼らは、史上最
岡潔と連接性
0002１３２人目の素数さん垢版2020/09/05(土) 08:13:32.24ID:Svsyj+D0 層における連接性は 位相空間におけるパラコンパクト（もしくはコンパクト）性のようなもの 位相空間において局所有限（もしくは有限）な開被覆がとれることが有用であるように 層が局所有限な生成元を有することが有用である 0003１３２人目の素数さん垢版2020/09/05(土) 08:25:50.47ID:Svsyj+D0 望月新一は第二の岡潔になれるのだろうか？ 0004１３２人目の素数さん垢版2020/09/05(土) 14:43:53.24ID:Azs9uXBW 良スレ 0005１３２人目の素数さん垢版2020/09/05(土) 19:14:08.54ID:Svsyj+D0 >>4 有難う ここでは某独立数学者のような情緒に関する話は致しません そんな話をいくらしたところで数学が分かる
曲名：DETECT MY LOVE 歌手： Mysta Rias 配信/発売日：2023/07/25 作詞：Mysta Rias 作曲：Mysta Rias (Woah-oh) (Ah ah) (Woah-oh) De-De-De Detect my- (Woah-oh) (Ah ah) (Woah-oh) De-De-De Detect my- I wanna feel your heat against my skin (uh-huh) These feelings I’ve been trying to hold in (uh-huh) Oh won’t you please just let me in (uh-huh) I want you baby just let me in you know i can see it in your eyes Don’t sit an ac
|| 量子力学の根拠になってる保存則っぽい式 実態は「よく分かんないけど正しい式」です。 『意味を与えられた』結果、使える感じに。 スポンサーリンク 目次 量子とかの話 <<最初の ヒルベルト空間 <<計算のルール集 エルミート演算子 <<実数にするためのあれこれ 物理量演算子の行列表示 <<行列の中身のあれ 最小作用の原理 <<中間の感じ 波動関数 <<波っぽい関数 シュレーディンガー方程式「最も分かりやすい基礎方程式」 ハミルトニアン「位置と運動量を変数に持つ関数」 基礎方程式「量子力学の根拠になる式」 シュレーディンガー方程式の導出「波動方程式に E を代入」 時間依存の方程式「時間の変数がある場合」 ボルンの規則の導出「波動関数に求められる性質」 意味「無意味な式に意味を見出す」 エネルギー「エネルギーの式にしてみる」 波形「波の形を全部表せるようにしたい」 期待値「期待値を導くっ
【速報】『ウマ娘 2期』円盤1巻、2週目で５,５万枚積み、累計で１６,７万枚！ あっさりとTV版エヴァの売上げを抜き歴代1位！ 前人未到の20万枚も見えてくる
DVD 3874 21/6/2 FGOカニファン 624 21/5/26 夏目友 613 21/5/26 呪術廻 540 21/6/2 ONE PI 392 21/4/7 STAND 295 09/8/25 世界名 279 14/7/16 ﾄﾅﾘﾉﾄﾄ 214 21/5/26 ｱｲﾄﾞﾘｯ 207 18/7/4 怪盗ｸﾞ 199 14/7/16 魔女ﾉ・ 179 21/6/2 MARS R 174 14/7/16 千ﾄ千・ 166 13/8/21 ﾄﾑﾄｼﾞｪ 164 14/7/16 ﾓﾉﾉｹ姫 162 20/5/13 ｱﾅﾄ雪ﾉ 151 21/3/3 ｵｻﾙﾉｼ 121 14/7/16 天空ﾉ・ 110 21/6/2 弱ｷｬﾗ・ BD 55123 21/5/26 ｳﾏ箱2期 20646 21/6/2FGOカニファン 1581 21/5/26 ﾗﾌﾞﾗｲﾌ 1091 21/5/26 呪術廻
色変記事でも書いたように、私が一番アルゴリズムを学んだのは青になってからです。青以降の期間が競プロ歴の7割くらいなので、当たり前かもしれませんが。 chokudaiさんのブログには 水色や青あたりで、競技プログラミングで必要な知識はほぼ揃ってしまうので、そこから先は応用力の違いになってきてしまいます。 と書いてあるのですが、個人的な感覚だと青になってからの方が学んだアルゴリズムが圧倒的に多いです。ABCは茶や緑くらいの人でも理解できるアルゴリズムを組み合わせて解く問題が多いので、高度なアルゴリズムを知らなくても青になれてしまうというのはあると思います。 しかし黄色になる、あるいはそれ以降のレベルで戦うには知識が足りないことは自覚していたので、夏休みに入ってからはひたすらアルゴリズムを勉強しました。 せっかくなので自分が何を勉強したか振り返ってみたいと思います。アルゴリズムを解説できる腕はな
中2のころ、教師になると思った 「公園で友達と遊んでいたら、その子のお母さんが来て、ハルちゃんと遊んじゃダメでしょ、って連れて帰っちゃうことも。学校にも苦情がたくさん来てたみたいですね。母親が授業参観で学校に来ると、仲よかったお母さんに知らん顔されたって言ってました」 人をいじめることはなく、友達が笑って喜ぶことを率先してやっていただけだが、家に苦情の電話がかかってくるたび、母と一緒に謝りに行くのが日課のようなものだった。 「勉強しろって言われたことは1度もないんです。世間とか常識とか、そういうこともあんまり言われたことがない。うちはみんな自由な家系なんですね」 そんな状態から中学受験に向かったきっかけは、いちばん仲がよかった友達と遊べなくなったことだった。 「理由を聞いたら受験をするから塾に通い始めたって言うんです。僕は野球に夢中だったんだけど、塾の日と重なっていたから“野球やめる!”っ
#2020になる数式 （マニアック編）：判別式-2020の2次形式 - tsujimotterのノートブック
2020年最初に作ったアプリが、おかげさまでたくさんの方にみてもらえているようです。 「2020」という数は、 ・2つの平方数の和 ・3つの平方数の和 ・連続する4つの素数の平方数の和 ・10連続偶数の平方和 でそれぞれ表せる数らしいので、その性質を可視化するページを作ってみました！#2020になる数式 #大晦日ハッカソン Interesting properties of 2020.https://t.co/FT2DFTP0XO pic.twitter.com/fxZKJi5Fv9— tsujimotter (@tsujimotter) 2019年12月31日 上のアプリを公開後も、tsujimotterは「2020に関する数学トピック」についてあれこれ考えていました。今回紹介したいのは「2次形式で表せる素数」のお話です。上の話と比べると、かなり前提知識が必要な話なのですが、よろしければ
【勉強メモ】言語モデルにおける複雑なスキルの創発に関する理論 A Theory for Emergence of Complex Skills in Language Models｜だいち
【勉強メモ】言語モデルにおける複雑なスキルの創発に関する理論 A Theory for Emergence of Complex Skills in Language Models A Theory for Emergence of Complex Skills in Language Models（GPTにて要約）このビデオは、AI言語モデルのスキルの出現や成長を説明しています。単語予測を学習するAIモデルが、他のスキルも含めたタスクを解決することがあり、スキルは相互に影響し合うことが説明されています。また、スケーリング則があり、大きなデータセットでトレーニングすると、小さなトレーニングセットよりも高い汎化性能が得られるということが示されています。 Detailed Summary for A Theory for Emergence of Complex Skills in Langu
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
弱微分、ソボレフ空間W^{k,p},H^kとは：簡単な例 | 趣味の大学数学
CodinGame 最適化ゲームの紹介 - ヴァルの開発記
2017年俺が見たTVアニメ・ベスト10 - xckb的雑記帳
免疫を考える。どこまでわかっておるのか？ - CHUFF!! チャフで行こうよ。
素数定理のRichterによる新しい初等的証明の調査 - INTEGERS
Infinite Jestまとめその0（まえがき） - 未翻訳小説を頑張って日々読んでいる日記
軍事評論家 小泉悠が観た『GCHQ：英国サイバー諜報局』 日本が直面するシナリオに近い？
【懸賞金1億5千万円】発表から165年が経過しても未解決の超難問「リーマン予想」とは？
蟻本Python回答集 初級編 (~P126) - 学習する天然ニューラルネット
『正多面体と素数』の計算をしましょう(7)─正八面体・正二十面体と保型形式
2024/06/20(木)の出来事 - My Bookmark
量子力学の基本的な話についてちゃんとまとめた上でかなり丁寧に解説してみた | 実用的な数学を
AMD Ryzen 9 3900X、SMTオンvs SMTオフ、vsインテル9900K - 自作ユーザーが解説するゲーミングPCガイド
ジョーカーから数学を学ぶ大切さを教えてもらった気がする。 - 教職者K
トランスヒューマニズム：MKウルトラからGoogleへ - あなたがあなたの救世主
Mysta Rias – DETECT MY LOVE 歌詞 ( Lyrics)
シュレーディンガー方程式とかいうよく分からんやつについて超丁寧に解説してみた | 実用的な数学を
青から黄になるために学んだアルゴリズムたち - クマーの競プロ精進日記
東大卒の数学教師「学力なんて上がらなくていい」子どもが“勝手に伸びる”教育法（3ページ目） | 週刊女性PRIME