ipc_botの解説 決定版!
ipc_bot とは ipc_bot は2023年5月までTwitter (現: X) で稼動していたbotで、「直観主義命題論理」と呼ばれる問題を自動で解いてくれるbotです。 現在はXの読み取り系のAPIが有料化されたことから、Mastodonにお引っ越ししています。(Misskey等の他のActivityPub実装からも利用できます) 使い方 直観主義命題論理の式をテキストで表記してメンションすると、結果が画像で返信されます。以下のような具合です。 命題の書き方と結果の読み方 命題 「命題 (proposition)」とは、ありていに言えばbool型の式のようなものです。ただし、それが具体的に計算可能である必要はありません。重要なことは、その式の評価値の真理性(真か偽か)を議論することができるという点です。 ipc_botが対象としているのは「命題論理 (propositional
（ながの・ひろゆき）。永野数学塾塾長。1974年東京生まれ。父は元東京大学教養学部教授の永野三郎（知能情報学）。東京大学理学部地球惑星物理学科卒。同大学院宇宙科学研究所（現JAXA）中退後、ウィーン国立音大へ留学。副指揮を務めた二期会公演モーツァルト「コジ・ファン・トゥッテ」（演出：宮本亞門、指揮：パスカル・ヴェロ）が文化庁芸術祭大賞を受賞。主な著書に『大人のための数学勉強法』（ダイヤモンド社）、『東大→JAXA→人気数学塾塾長が書いた数に強くなる本』（PHP研究所）など。これまでに1000人以上の生徒を数学指導してきた実績を持ち、永野数学塾は、常に予約キャンセル待ちの人気となっている。NHK（Eテレ）「テストの花道」出演。朝日中高生新聞で『マスマスわかる数楽塾』連載（2016ー2018年）。朝日小学生新聞で『マスマス好きになる算数』連載（2019ー2020年）。『とてつもない数学』（ダイ
偏角の原理を使ってゼータ関数の零点を見つけよう！｜マスログ
和からの松中です。今年も日曜数学のアドベントカレンダーに投稿させていただきます！昨年のテーマは「偏角の原理を使って五次方程式を解く」でしたが、今年は偏角の原理を使ってゼータ関数の零点を見つけてみようと思います！これはつまりあの有名なリーマン予想にチャレンジしてみようということです。 本記事の内容を動画で見たい方はこちら↓↓↓ 偏角の原理を使って五次方程式を解く リーマン予想とは リーマン予想とはドイツの天才数学者リーマンが1859年に発表し、160年以上経っている今日でも未解決の数学の予想です。リーマン予想はミレニアム懸賞金問題の一つであり、この予想を証明する、もしくは反例を挙げることで懸賞金1億円が手に入るという夢のような予想になっています。 リーマン予想の主役はゼータ関数とその零点です、まずゼータ関数とは以下で定義される関数を複素平面全体に有理型接続したものなのですが、本記事では複素数
はじめに とうとうAtCoder水色になれた(過去問精進と夜活コンテストのおかげ)。さらなる高みを目指すべく、プログラミングコンテストチャレンジブック [第2版] (通称、蟻本)を解くことした。 せっかくなのでPythonでの解答をここに記録する。 Pythonで解答してる人のブログを漁っても初級編の途中(DPとか)で挫折してる人が多そうだったので誰かの助けになれたらと思う。 著作権保護のため本の内容をすべて公開するわけではないので、解説などは本を見てほしい。 一方、変数名の説明なしにコード例が書いてある問題もいくつかあり、そういう問題はコードのコメントに意味合いを補足した。 この本の購入に関してはmynavi booksからPDFを購入するのがおすすめだ。ノートアプリを使っていろいろ書き込むことができる。 book.mynavi.jp 続きはこちら aotamasaki.hatenabl
アマプラ最高のドラマの探し方から、1,000頁1kg超の鈍器本、人生を変えた詩集、自信喪失なときに効くセリフまで、声に出して読みたい／聞きたい／語りたい作品をお薦めしあうオフ会報告
アマプラ最高のドラマの探し方から、1,000頁1kg超の鈍器本、人生を変えた詩集、自信喪失なときに効くセリフまで、声に出して読みたい／聞きたい／語りたい作品をお薦めしあうオフ会報告 好きな本を持ち寄って、まったり熱く語り合う読書会、それがスゴ本オフ。 本に限らず、映画や音楽、ゲームや動画、なんでもあり。なぜ好きか、どう好きか、その作品が自分をどんな風に変えたのか、気のすむまで語り尽くす。 この読書会の素晴らしいところは、「それが好きならコレなんてどう？」と自分の推し本から皆のお薦めが、芋づる式に出てくるところ。まさに、わたしが知らないスゴ本を皆でお薦めしあう会なのだ。 今回のテーマは「音読」、声に出して読みたい／聞きたい／語りたい作品が集まってきた。それだけでなく、音読を実践してきた方のメリットや、教育現場における音読の効果、『白浪五人男』を元に実際に音読をしてみるといったフィードバックが
これは何 はじめに 正八面体の場合 正八面体多項式 指標理論 保型形式とテータ定数 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を掛けると
すべてのアプリケーション、ゲーム、およびプロセッサは、上記のドライバとハードウェアでテストされています。テストシステム間でパフォーマンスの結果が再利用されることはありません。 すべてのゲームとアプリケーションは同じゲームバージョンを使用してテストされています。 特に指定のない限り、すべてのゲームは最高品質の設定に設定されています。 アプリケーションベンチマーク 個々のアプリケーションスコア SuperPi SuperPiは、オーバークロックと調整を伴う最も人気のあるベンチマークの1つです。 それ以来ずっと、世界記録の競技会で使われてきました。 これは純粋にシングルスレッドのCPUテストで、円周率を3200万桁まで計算します。 1995年にリリースされ、x86の浮動小数点命令のみをサポートしているため、シングルスレッドのレガシアプリケーションのパフォーマンスを確認するのに役立ちます。 シング
コラム：ルビコン川渡った日銀、追加利上げで支払う巨額利息＝熊野英生氏 この手の男性はガチで「何もやんなくていいよ」って思ってんだよね。シャツがしわくちゃでも風呂場がカビだらけでも本当に平気なのよ 「このまま黙って死んだら私に悔いが残る」カイロ時代の友人が明かした小池百合子都知事“疑惑の大学生活”【実名告白】（文春オンライン） - Yahoo!ニュース どうすれば相手の意見を変えられるのか──『エビデンスを嫌う人たち: 科学否定論者は何を考え、どう説得できるのか?』 - 基本読書 高度に発達したウォーターフォールはアジャイルと見分けがつかない - An Epicurean 【方法は？】姿を見せていないAdo “握手会”を開催へ「真実の口方式での握手会の実現です」（日テレNEWS NNN） - Yahoo!ニュース 日テレ『24時間テレビ』番組テーマを初変更 「愛は地球を救う」→「愛は地球を救
|| 超小さいものを確率的に扱う理論 これは「超小さいものの性質をまとめた理論」です。 より厳密には『粒と波の性質を持ったもの』を扱います。 スポンサーリンク 目次 量子「粒子と波の性質を持ってるやつ」 光量子仮説「光は波だけど粒子でもあるんじゃ？」 ボーアの量子条件「電子も量子なんじゃね？→正解」 物質波「そもそも物質も量子じゃね？→正解」 ヒルベルト空間「数学がちゃんとできる保証」 内積空間「行列をスカラー値にする」 行列「物理量とかをこれで表す」 行列表示「関数やら演算子は行列で表せる」 エルミート演算子「観測可能量はこれで表す」 固有値方程式「基礎方程式はこれ」 三角行列「固有値を求めやすい形の行列」 ユニタリ行列「かなり 1 っぽい行列」 ディラック記法「縦と横のベクトルを区別して書く」 エルミート演算子の性質「固有値が実数になる」 行列表示で使うもの「規格化直交系とか個数演算子
ドキッとさせてくれる！？話題のボードゲームつきコンドーム「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
子どもの「読む力」が落ちている？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
THE RIVERが選ぶ2022年の必見映画110本、完全攻略ガイド ─ 超大作から注目の一作までたっぷりナビゲート | THE RIVER
THE RIVERが選ぶ2022年の必見映画110本、完全攻略ガイド ─ 超大作から注目の一作までたっぷりナビゲート 2020年代に突入して、2年が早くも経過した。2021年は、ゴジラとコングが激突したり、『007／ノー・タイム・トゥ・ダイ』をもってダニエル・クレイグのジェームズ・ボンド映画が幕を閉じたり、『マトリックス』シリーズの新章が公開されたり、『ブラック・ウィドウ』をはじめとするマーベル・シネマティック・ユニバース作品が封切られるなど、映画の話題が尽きることはなかった。 もちろん、2022年にも注目作は勢揃いしている。DCやマーベル映画をはじめ、『ジュラシック・ワールド』『ファンタスティック・ビースト』『ミッション：インポッシブル』シリーズの最新作、ウェス・アンダーソン、リドリー・スコット、クリント・イーストウッド、スティーブン・スピルバーグ、レオス・カラックスなど巨匠監督たちの新
映画「リベリオン」について
第三次世界大戦後に出現した全体主義体制の都市国家・リブリア。そこは、党首ファーザー率いるテトラグラマトン党が独裁政党として君臨し、二度と戦争が起らないように感情を持つことを禁じられた社会だった。 リブリアでは音楽や文学書籍、絵画や映像など、心を揺り動かす「感情的なコンテンツ」は全て「EC-10」として禁止され、人々は「イクイリブリウム」という政府機関が生産・配給する感情抑制薬であるプロジアムの服用を義務付けられていた。党の方針に逆らい、薬の服用を拒んで「EC-10」を所有している人間は「感情違反者」として、「ガン=カタ」と呼ばれる戦闘術を極めた特殊捜査官「グラマトン・クラリック」が摘発・処刑していた。 中でも有数の実力者である、第1級クラリックのジョン・プレストン（クリスチャン・ベール）は、妻が感情違反で処刑された後、息子のロビー、娘のリサと3人で暮らしているが、ロビーはクラリック候補生で
アクチュアリー数学合格体験記｜マスログ
数学教室和(なごみ)講師の松中です。 今年もアクチュアリー試験が実施される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後援
映画「テネット」感想 理系がマウント取りたがりそうな映画だけど文系も突き詰めると科学に繋がるよね？ - ドラマと紅茶
2020年９月に公開されたクリストファー・ノーラン監督の映画です。 初めに言っておきますが、このブログでは考察は一切しておりません。 この映画の「何故」や「解説」を知りたい方は他のブログをご覧くださいませ。 正直、私は科学や数学は大の苦手というかさっぱり分かりませんので手を出しては、 というか感想も述べられるほど理解がないと思うので悩みましたが、観たばかりだし 分からないなりの「感想」くらい言わせてよ、と思ったので書きます。 クリストファー・ノーラン監督と言えば、映画「ダーク・ナイト」や「プレステージ」 は好きだし、「インターステラー」も天文学や科学が苦手な私でも何となく分かった し好きです。インターステラーは父と娘の話だからかもしれないけど。 メメントは映画館で鑑賞して分かったような分からないような、でもDVDで観たら 「あー、なるほど」みたいな映画でしたけど、「インセプション」は３回く
「直感・感性」、「わび・さび」AIが知らない、人間のクリエイティビティ - amanaINSIGHTS（アマナインサイト）
UPDATE 2018 06/08 「直感・感性」、「わび・さび」 AIが知らない、人間のクリエイティビティ 「自分自身を改良する人工知能をつくることが、人類の最後の発明である」。シンギュラリティという概念を提唱したとされる、数学者のアーヴィング・ジョン・グッドはそう予言しました。人工知能（AI）が世界を最適化するとき、果たして人間のクリエイティブは必要とされるのでしょうか？ 脳科学者の茂木健一郎さんは、シンギュラリティ以後も人間のクリエイティブは決してなくならないと言います。 しかし、テクノロジーの発達はクリエイティブをとりまく状況を一変させるでしょう。人工知能がもたらす未来において、クリエイターに必要な能力とは何か。新たなクリエイティブの可能性と、現代のクリエイターが養うべき資質について迫ります。 人工知能時代における卓越性の指標 茂木健一郎(脳科学者／以下、茂木)：テクノロジーがこれ
概要 はじめに コロナウイルス感染拡大により視覚障害者の生活も大変になっています。そこで、視覚障害当事者や視覚障害に関わる方々の情報交換所を設けました。互いに情報交換行うことにより、この状況でどのような生活の工夫をしているか、リモートワークができているか、オンライン受業が受けられているか、育児ができているかなど、様々な情報を共有し、役立ててもらえればと思っています。 誰でも参加できます。視覚障害のあるなしも関係ありません。 リアルタイムな情報をやりとりできるメリットがLINEのオープンチャットです。 しょっちゅう通知が届いてウザいと感じたら、画面右上のトークメニューより通知をオフすることで、見たいときだけ確認できます。この設定は個別に設定できるため、他のグループや個人に影響はありません。 このページは、上記のオープンチャットでやりとりのあった情報を整理してお届けします。随時更新。 運営スタ
2022年1月28日のヘッドラインニュース
コカ・コーラ初となるアルコール度数0.00％のノンアルコールブランドとして、「よわない檸檬堂」が新登場することが発表されました。 「よわない檸檬堂」は、レモンサワー専門ブランド「檸檬堂」のノウハウや経験をもとに作られた、レモンサワーテイストのノンアルコールブランドだとのこと。原材料はレモン果汁、果糖ぶどう糖液糖、食塩、ジュニパーベリーエキスなどで、ぱっと見た感じは普通の「レモン風味の炭酸飲料」といった印象ですが、「20歳以上の飲用を想定して作られている」とのことです。 全国発売は2022年2月21日(月)で、コンビニエンスストアでは2月7日(月)から先行発売されます。価格は350ml缶で税別132円です。 コカ･コーラ社初のアルコール度数0.00%の ノンアルコールブランド誕生 「よわない檸檬堂」 こだわり製法で本格的なレモンサワーテイストの味わい 2月21日（月）から全国で新発売 2月7
曲名：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 呪術廻
AWS re:Invent 2024「CEO Keynote with Matt Garman」全文 - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? 12月に開催されたAWS re:Invent 2024、基調講演のアーカイブからCEO Keynote with Matt Garman - YouTubeの内容を共有します。動画の文字起こしから生成AIの支援を借りながら、段落分けや日本語訳を行ったものです。 なお私的な事情ですが、今週は耳の不調が激しく、実際の動画が視聴できない状態で内容把握のために作成しています。このため、元情報としている音声認識がおかしそうなところを、自分で聞いてみて修正することができていません。修正提案を心から歓迎します。 Matt Garman (AWS) (
ここでは前回その一部を掲げたマイケル・ハドソンの直近のインタビュー記事の前段を掲げる。 ◾️マイケル・ハドソン「これ以上ないほど良好」2025年1月3日 As Good As It Gets By Michael Hudson, January 3, 2025 ニマ・アルクホルシード：マイケル、2025年に向けた経済の鍵についてお話ししましょう。あなたの意見では、それは何だと思いますか？ NIMA ALKHORSHID: Michael, let’s get started with the economic key to 2025. What would that be, in your opinion? マイケル・ハドソン：そうですね、番組のタイトルはどんなものがいいか考えていましたが、「今日の世界経済はこれ以上ないほど良好」がいいと思います。米国、ヨーロッパ、近東の経済と政治の状況は
本連載では，著者（谷内江）が短い（しかしながら現代における）アカデミアでの研究生活の中で見つけてきた豊かに生きるための交渉術，論文・グラント執筆，プレゼン，ジョブハンティングにおける各種テクニックを共有する． 本連載のテキストは，実験医学編集部が著者（谷内江）へのインタビューを元に構成したものを，著者が加筆・編集して確定する形式を採用している．編集部ではインタビューでの雰囲気や感じたニュアンスを優先してテキストを作成しており，その結果，傲慢と思われたり誤解を招きかねない表現で著者も看過している部分があるかもしれないため，ご了承いただきたい． 連載のはじめに 「あの研究者は上手くやっているのに比べて自分はなかなか上手くいかないな」「自分の研究は結構良いと思うのだけど，なぜか評価されないな」このようなことを感じたり，考えてみたことは自然科学に携わる学生や研究者であれば何度もあると思う． 私（谷
ゼレンスキー大統領、ウクライナの平和のためなら辞任の用意ある ドイツ総選挙 最大野党のメルツ氏が勝利宣言 連立協議を主導へ | NHK ドイツ総選挙、ショルツ与党が大敗 極右AfDが第2党に - 日本経済新聞 ダイソーからついに出た便利グッズ「何のために使うの？」→実は…… 「これは欲しい！」有名メーカーを上回る実力が話題沸騰 [第137話]ラーメン赤猫 - アンギャマン | 少年ジャンプ＋ [43話]ケントゥリア - 暗森透 | 少年ジャンプ＋ 妊娠中の離婚や中絶に厳しい法律があると妊産婦が殺される可能性が高くなる Chromeの変更にともない、グーグルが「すべてのデバイスを追跡」開始 | Forbes JAPAN 公式サイト（フォーブス ジャパン） 飛行機で緊急時に下りてくる酸素マスクは子供を確実に助けるため子より先に親が付けろと言われるが、私は子育ての全てにおいてその精神で生きている
色変記事でも書いたように、私が一番アルゴリズムを学んだのは青になってからです。青以降の期間が競プロ歴の7割くらいなので、当たり前かもしれませんが。 chokudaiさんのブログには 水色や青あたりで、競技プログラミングで必要な知識はほぼ揃ってしまうので、そこから先は応用力の違いになってきてしまいます。 と書いてあるのですが、個人的な感覚だと青になってからの方が学んだアルゴリズムが圧倒的に多いです。ABCは茶や緑くらいの人でも理解できるアルゴリズムを組み合わせて解く問題が多いので、高度なアルゴリズムを知らなくても青になれてしまうというのはあると思います。 しかし黄色になる、あるいはそれ以降のレベルで戦うには知識が足りないことは自覚していたので、夏休みに入ってからはひたすらアルゴリズムを勉強しました。 せっかくなので自分が何を勉強したか振り返ってみたいと思います。アルゴリズムを解説できる腕はな
LEAP 単語一覧 - 受かる英語
大学受験の定番単語帳の一つ「必携英単語 LEAP 」。売れ筋という観点では「ターゲット」「シス単」の二大巨頭とはまだまだ差がありますが、近年上位進学校での採用が目立ち、内容的にもバランスがとれている優れた単語帳です。特に、複数の意味全てに例文（フレーズ）がついているのが素晴らしいと思います。今回はそんなLEAPの単語一覧をご紹介します（※巻頭の基本単語は除く）。各列は並べ替えが可能で、表の右上には検索ボックスもありますので、適宜活用してください。また、おすすめするわけではありませんが、この表はコピーすることもできますので、エクセルに貼り付けたい方はご自由にどうぞ。 注意：この一覧を単語帳代わりにして単語を暗記することはおすすめしません。単語の暗記に例文は不可欠です。単語の暗記にはあくまでもLEAP本体を使用し、この一覧はあくまでもLEAPにどんな単語が載っているかを確認するのに使用してくだ
【勉強メモ】言語モデルにおける複雑なスキルの創発に関する理論 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
中2のころ、教師になると思った 「公園で友達と遊んでいたら、その子のお母さんが来て、ハルちゃんと遊んじゃダメでしょ、って連れて帰っちゃうことも。学校にも苦情がたくさん来てたみたいですね。母親が授業参観で学校に来ると、仲よかったお母さんに知らん顔されたって言ってました」 人をいじめることはなく、友達が笑って喜ぶことを率先してやっていただけだが、家に苦情の電話がかかってくるたび、母と一緒に謝りに行くのが日課のようなものだった。 「勉強しろって言われたことは1度もないんです。世間とか常識とか、そういうこともあんまり言われたことがない。うちはみんな自由な家系なんですね」 そんな状態から中学受験に向かったきっかけは、いちばん仲がよかった友達と遊べなくなったことだった。 「理由を聞いたら受験をするから塾に通い始めたって言うんです。僕は野球に夢中だったんだけど、塾の日と重なっていたから“野球やめる!”っ
【おススメTED動画】無限ホテルのパラドックス「The Infinite Hotel Paradox」 - 英語で世界を広げたい！～英語学習＆見聞録～
価値のあるアイデアを世に広めていくこと（Ideas Worth Spreading）を使命としているTED*1。 ここしばらく全くまとまった時間が取れず心の余裕もなくて一言日記みたいな記事でお茶を濁していたのですが、久しぶりにTED動画に戻ってきました！いぇい。 今回は、ちょっとした数学パズルのような動画のご紹介。 『The Infinite Hotel Paradox』（無限ホテルのパラドックス） www.ted.com スピーチではなく、TEDオリジナルの教育アニメーションです。 6分弱と短めで英語も聞き取りやすいのですが、中身が「無限」の概念に関するもので、ちょっとした数学に関する用語（累乗とか）が出てくるので、用語を知らないと聞き取りが難しい箇所もあるかもしれません。 ドイツ人数学者ダフィット・ヒルベルトによる思考実験。 まず、「無限に部屋があるホテルが完全に満室になったとして、ホ
【悲報】ワイ、dアニメストアに入会するも最高画質が720pな事に気付き1時間で退会… Tweet 1: 風吹けば名無し 2021/07/20(火) 22:47:01.00 ID:Ha34PY6k0 これ2021年のサービスか？ 2: 風吹けば名無し 2021/07/20(火) 22:47:21.89 ID:IxmtpiXYd いかんのか？ 4: 風吹けば名無し 2021/07/20(火) 22:47:38.02 ID:Ha34PY6k0 >>2 いかんでしょ 64: 風吹けば名無し 2021/07/20(火) 22:55:04.77 ID:Aab0JGxLp ワイはアマプラとdアニメ両方に入ってるで アマプラになくてもdアニメにあるのが沢山ある 【おすすめ記事】 ◆dアニメ視聴ワイ「このアニメ面白いな・・・当時の実況に参加したかった！」←これｗｗｗｗｗ ◆dアニメストアに入ってると思う事
パッケージとリポジトリの概要 私たちは皆そこにいて、プログラムが必要です。そして私たちは何をしますか？ 私たちのほとんどはapt-getinstall postfix and presto！ 魔法のようにPostfixがインストールされています。 しかし、それは本当に魔法ではありません。 パッケージマネージャーapt-getは、パッケージを検索、ダウンロード、インストールします。 これは非常に便利ですが、apt-getが標準のリポジトリリストで必要なプログラムを見つけられない場合はどうでしょうか。 ありがたいことに、apt-getを使用すると、ユーザーはカスタムのダウンロード場所（リポジトリと呼ばれる）を指定できます。 このチュートリアルでは、独自の安全なリポジトリを設定し、他の人が使用できるように公開する方法について説明します。 Ubuntu 14.04 LTSドロップレットにリポジトリ
3つの要点 ✔️ 自己修正能力を高めるため、強化学習を用いたSCoReという新手法を提案 ✔️ 従来手法よりも精度を向上させ、特に数学やコーディングタスクで高いパフォーマンスを発揮 ✔️ SCoReは自己生成データに基づく学習を行い、外部フィードバックなしでの自己修正が可能 Training Language Models to Self-Correct via Reinforcement Learning written by Aviral Kumar, Vincent Zhuang, Rishabh Agarwal, Yi Su, John D Co-Reyes, Avi Singh, Kate Baumli, Shariq Iqbal, Colton Bishop, Rebecca Roelofs, Lei M Zhang, Kay McKinney, Disha Shrivasta
追記: 自分で読んでまったく分からなかったので、主要と思われるセクション3と4について、ChatGPTにさらに詳しく易しく説明してもらった補足を細かく入れました。特に数式周りが理解しやすくなってます。 追記2: この論文のタイトルにもある「自動プログラム修復」というのは、バグの特定とバグの修復の2つのフェーズで構成されるのですが、この論文はバグの修復のみに焦点を当てた内容のため、僕が付けたこの記事のタイトル「自動でプログラムのバグを修正する」とは意味が若干合致しないかもしれません。すみません…。 論文「Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair」について、各セクションをChatGPTに解説してもらいました。 ■ 0, AB
![[LLM 論文]自動でプログラムのバグを修正する次世代技術"Repilot"の日本語解説｜すめらぎ](https://cdn-ak-scissors.b.st-hatena.com/image/square/7f2c360f9d3491cf76e5864fc9b6aeeb772c9554/height=288;version=1;width=512/https%3A%2F%2Fassets.st-note.com%2Fproduction%2Fuploads%2Fimages%2F115473843%2Frectangle_large_type_2_ac02bff17c40d9b3493e28212b645ca7.png%3Ffit%3Dbounds%26quality%3D85%26width%3D1280)
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
【懸賞金1億5千万円】発表から165年が経過しても未解決の超難問「リーマン予想」とは？
蟻本Python回答集 初級編 (~P126) - 学習する天然ニューラルネット
『正多面体と素数』の計算をしましょう(7)─正八面体・正二十面体と保型形式
AMD Ryzen 9 3900X、SMTオンvs SMTオフ、vsインテル9900K - 自作ユーザーが解説するゲーミングPCガイド
2024/06/20(木)の出来事 - My Bookmark
量子力学の基本的な話についてちゃんとまとめた上でかなり丁寧に解説してみた | 実用的な数学を
ジョーカーから数学を学ぶ大切さを教えてもらった気がする。 - 教職者K
トランスヒューマニズム：MKウルトラからGoogleへ - あなたがあなたの救世主
視覚障害者のコロナショック特設ページ – NV Support Group
Mysta Rias – DETECT MY LOVE 歌詞 ( Lyrics)
シュレーディンガー方程式とかいうよく分からんやつについて超丁寧に解説してみた | 実用的な数学を
2025年は「米国によるヨーロッパに対する戦争」の成果が際立つ年
第1回 論文執筆ではエディターとレビュアーと読者が対面にいる（前編）
2025/02/24(月)の出来事 - My Bookmark
青から黄になるために学んだアルゴリズムたち - クマーの競プロ精進日記
東大卒の数学教師「学力なんて上がらなくていい」子どもが“勝手に伸びる”教育法（3ページ目） | 週刊女性PRIME
【悲報】ワイ、dアニメストアに入会するも最高画質が720pな事に気付き1時間で退会… : 暇人＼(^o^)／速報
Ubuntu14.04で安全なパッケージリポジトリにRepreproを使用する方法 - 開発者ドキュメント
【SCoRe】LLMの自己修正能力を高める強化学習！多段階的にエラーを特定して修正する
[LLM 論文]自動でプログラムのバグを修正する次世代技術"Repilot"の日本語解説｜すめらぎ