最終更新日： 2021年12月13日 株式会社Preferred Networks（PFN）は、機械学習やデータサイエンスを基礎から学びたい大学生・社会人向けに、機械学習・ディープラーニングの基礎学習コンテンツ4種を、個人向けオンラインAI人材育成講座 SIGNATE Questの「Market」で2020年12月7日より提供開始しました。 SIGNATE Questの「Market」は、企業が制作した講座を公開することで、新たな販路やPRの場として活用することができるサービスです。普段は学ぶ機会の少ない専門性の高い講座や、人材育成の実際の取り組みの中で生まれた講座が公開されるなど、多様な講座を提供される場です。Marketリリースの第1弾として、PFNの他にも、RESTECや広島県 データスタジアムが講座を提供しています。 各産業の専門分野にAIおよびデータサイエンスを応用することができ
ドラマ総集編のようなすばらしい現代数論の入門書 - hiroyukikojima’s blog
今回エントリーするのは、山本芳彦『数論入門』岩波書店だ。この本は以前にも、このエントリーで紹介しているが、今回は違う観点から推薦したいと思う。 数論入門 (現代数学への入門) 作者:山本 芳彦 岩波書店 Amazon ゆえあって、最近またこの本を読み始めたのだが、面白くて遂にほぼ全部読んでもうた。そして全体を読破すると、この本がもくろんでいること、この本の特質がひしひしつと伝わってきた。ひとくちに言えば、この本は、「ドラマの優れた総集編を観るようなすばらしい内容」ということなのだ。 ドラマの総集編って、全12話を4話ぐらいでかいつまむ。もちろん、圧縮しているので、カットされたエピソードもあるし、ナレーションで進めちゃう場面もあるし、スルーされるキャラもある。でも、優れた総集編では、本編より本質が浮き彫りになり、面白さが倍増になることも多い。この本は、数論の総集編として、そのメリットがみごと
目次 編者4人の役割 旧全集への疑問 本文を確定する作業 読み下しと現代語訳 関の著作は何か 関孝和の数学 国文・国語学の人にも見てほしい 背景事情を探る史料 和算の源流、中国の数学 関以前の和算 編者4人の役割 写真左から、上野健爾氏、佐藤賢一氏、橋本麻里氏 橋本 このたび刊行される『関孝和全集』（上野健爾・小川束・小林龍彦・佐藤賢一編、岩波書店、2023年10月刊）をまとめる過程で、お二人はそれぞれどんな役割を担われたのですか。 上野 私はもともと数学史の専門家ではありません。和算に興味を持ち始めたのは京都大学にいたときで、隔週土曜日に高校生を集めて数学の話をしていたのですが、なにか面白い話題はないかなと和算の資料を読んでいるうちに、だんだん虜になったというのが一つ。もう一つは、日本数学会で関孝和賞を作ろうとしたときに、大阪教育図書から出ていた『関孝和全集』（平山諦、下平和夫、広瀬秀雄
集中力がアップし、記憶にも定着しやすい『インターリーブ学習法』を知っていますか？ - STUDY HACKER（スタディーハッカー）｜社会人の勉強法＆英語学習
「最近、勉強してもなかなか覚えられない……」 「同じような勉強の繰り返しで、飽きてきてしまった」 このような悩みを抱えていませんか？ 毎日繰り返し勉強しているのに、成績が上がらないと感じているならば、それは同じ種類の科目や問題に集中し過ぎているからかもしれません。 この記事では、異なる学習を混ぜる「インターリーブ学習法」の具体的なメリットや取り入れ方について詳しく解説します。成績向上を目指すみなさんの悩みを解消する助けになれば幸いです。 インターリーブ学習法とは インターリーブ学習法に変えてみた 記憶に残り、集中力が持続した！ 記憶の定着を実感 「飽き」が回避でき、集中力が持続 インターリーブ学習法とは インターリーブ学習法とは、異なる種類の問題やトピックを交互に学習する方法です。 この学習法の特徴は、ひとつのトピックを集中して学ぶのではなく、複数のトピックを混ぜて学ぶことで、記憶や理解の
連載目次 前回の番外編4では、図形的な意味や一次独立、一次従属といった線形代数の基本を踏まえて行列式について見てきました。今回も同様に、固有値と固有ベクトルの考え方について、ポイントを押さえながら説明します。また、行列の対角化を行うことにより、行列のべき乗を簡単に求める方法を紹介し、その応用としてマルコフ過程の事例を紹介します。 ポイント1 固有ベクトルは一次変換を行っても向きが変わらないベクトル ひと言でいうと、固有値や固有ベクトルは一次変換を特徴付ける値やベクトルです。しかし、以下のような式がいきなり登場して面食らってしまった人もいるのではないでしょうか。 「一次変換を表す行列をAとしたとき、 を満たす0でないベクトルxをAの固有ベクトル、λを固有値と呼ぶ」 というものです。確かに、式を見た瞬間に気を失いそうになりますね。しかし、Aが行列で、λが定数であることに注目すれば、ベクトルを一
書評『統計のための行列代数』July 19, 2020 | 21 min read | 3,654 views jabookmathはじめに 『統計のための行列代数』（D. A. Harville 著，伊理正夫 監訳，丸善出版，2012年）を読んだので，まとめと感想を書きます． （そこまでの精読はできていませんが，それでも誤植と思われる箇所が散見されたので，気づいた範囲ですが末尾にまとめておきました．） まとめ+α 原題は『Matrix Algebra from a Statistician’s Perspective』で，統計学者が身につけるべき線形代数の知識や考え方を全2巻でまとめた著名な教科書です．線形代数は重要かつ範囲がとても広く，抑えるべきポイントがわかりづらいと大学時代から感じていたので，こういう応用を見据えた教科書はありがたいです． 一般的な線形代数の教科書ではあまり
加藤公一（はむかず） @hamukazu Kimikazu Kato, 博士（情報理工学）。修士は数学（代数幾何学）。英検三級。にゃーんと鳴く狂犬と呼ばれている。DMは全員に開放中。 著書「機械学習のエッセンス」：bit.ly/mlessence 、監修「機械学習図鑑」bit.ly/mlzukan linkedin.com/in/kimikazukato
「数学はゲーム業界を支える」投稿が話題に 政府や産業界が「数学」に力を入れ始めた。デジタル化が進む中、数学の知識や思考法が、AI（人工知能）、ビッグデータなど、これからのビジネスや生活に不可欠になっているからだ。グーグル、アップルなどの「GAFA」と呼ばれる大手IT企業を生み出した米国では、すでに10年ほど前から人気職業ランキングの上位を「数学者」「データサイエンティスト」などの数学関連が占める。数学ができれば、つぶしが利く時代の到来。日本も対応を迫られている。 今年6月、ゲームメーカー・セガのツイッター投稿が話題を呼んだ。 サインコサインタンジェント、虚数i…いつ使うんだと思ったあなた。実は数学は、ゲーム業界を根から支える重要な役割を担っているんです。 今日は、セガ社内勉強会用の数学資料150頁超(!)を無料公開。#セガ技術ブログ クォータニオンとは？基礎線形代数講座 #segatech
「数学だけやってていいのか…」13歳の“数学者”が明かした葛藤と将来の目標（ABEMA TIMES） - Yahoo!ニュース
「こんにちは」 取材場所に現れた梶田光（かじたひかる）さん、13歳。まだあどけなさが残る中学1年生の梶田さんだが、彼には“ある才能”がある。 【映像】「乗数h付きオイラー双子型メルセンヌ超完全数」について発表する梶田さん（13歳）※30秒ごろ～ Zoom上の大人たちの前で、楽しそうにプレゼンする梶田さん。内容は「乗数h付きオイラー双子型メルセンヌ超完全数」に関する研究発表だ。なんと、梶田さんは13歳でありながら、大学の教授たちを前に堂々と発表を行えるほどの“数学者”の顔を持っているのだ。 数検1級と英検1級特別賞も受賞し、さらにはピアノでも頭角を現している梶田さん。突き抜けた才能を持つ若手人材の支援を行う「孫正義育英財団」の財団生にも選ばれ、まさに異能の若き天才だ。そんな梶田さんの才能はどのように花開いていったのだろうか。ニュース番組『ABEMAヒルズ』では、フリーアナウンサーの徳永有美が
AI／機械学習、ディープラーニングを学び始めると、どこかで数式を読むことになる。それも偏微分や線形代数など大学レベルの数学である。この壁にぶつかって、数式を理解できないままスルーしたり、学ぶこと自体を諦めてしまったりする人も少なくないのではないだろうか？ 本書は、主にAI／機械学習の教材などに書かれている数式でつまずいたことがある初学者に向けた、「AIに最低限必要な数学を基礎の基礎からしっかりと、しかも効率的に学ぶ」ための電子書籍の第2部である。具体的には連載『AI・機械学習の数学入門 ― 中学・高校数学のキホンから学べる』を構成する、 という全4部の中の「第2部 偏微分」を電子書籍（PDF）化したものである。ちなみに偏微分は本連載でも一番人気のパートとなっている。 微分や偏微分は、AI（人工知能）やデータサイエンスにおける機械学習の理論を理解する上では避けて通れない必修の数学項目だ。機械
柴田 直幸（物理学専攻 博士課程2年） 吉岡 信行（現：理化学研究所 特別研究員／研究当時：物理学専攻 博士課程大学院生） 桂 法称（物理学専攻 准教授） 発表のポイント 直感に反して熱平衡化しない「量子多体傷跡状態」と呼ばれる状態を持つ新たな数理モデルを、無限に構成する方法を発見した。 乱れがあり対称性の低いモデルでの量子多体傷跡状態を初めて厳密に示し、より一般的な状況でも傷跡状態が生じうることを明らかにした。 本研究は、今後の量子多体傷跡状態に関する研究について新たな方向性を開拓するだけでなく、量子系の熱平衡化に関する本質的な理解を促進する。これにより、物性論から工学まで幅広い応用をもつ統計力学の基盤の理解を深めることに寄与することが期待される。本研究成果は、Physical Review Letters 誌に掲載決定され、さらにEditors’ Suggestion に選ばれた。 発
観測問題って何？
“観測問題”について 知っておかなくてもいい いくつかのこと 沙川 貴大（東大物工） 2021年4月23日 まず • 標準的な量子論の枠組みは、任意の実験状況において、操作的に、 曖昧さの余地なく、必要な計算が全て出来るように作られていま す[1,2]。 • これは量子測定のプロセスについても例外ではありません。射影仮説と呼ばれる ものは、仮説ではなく、確立した実験事実です。 • より一般に、誤差のある量子測定を扱う理論も確立しています [1,3]。このような 量子測定理論は、いわゆる”観測問題”とは異なり、最先端の量子技術を理解する うえでも欠かせない重要な物理の話です。 • すなわち、任意の実験状況を物理の問題として考えるうえで、”解 釈”や”観測問題”はirrelevantです。気にする必要はありません。 • それでいい、という人は、この先を読む必要はありません。 かわりにNiels
こんにちは。Algomatic NEO(x) の宮脇（@catshun_）です。 本記事では弊社 podcast の「Algomaticで話題になった生成AIニュースまとめ」という回で用意している会話ネタの一つとして "Claude 3.5 Sonnet Model Card Addendum" を読んだので、その備忘を共有いたします。 なお概要については npaka 氏の以下の note 記事が参考になりますので、本記事の前にこちらを参照いただくことをおすすめします。 note.com おことわり 解釈や引用に誤りがありましたらご指摘いただけると幸いです。 本記事では詳細な解説を含みません。詳細な調査等は必ず参照元の論文等をご確認ください。 引用時の名称や図は原則として引用先の媒体で記述されているものに従っています。 プロダクト等の利用時は 必ずライセンスや利用規約を参照して下さい。 本
アラフィフでも関数型をあきらめない！「関数型ドメインモデリング」で再入門してみた話 - iimon TECH BLOG
はじめに まずは戦う相手を見定めよう 戦術はいかに まずは関数を知る しゅ、しゅ、出力がないだってぇ！？ 型＝値の集合とはなんぞや？ まとめ おわりに 参考 はじめに 本記事はｉｉｍｏｎ Advent Calendar 2024 21日目の記事となります！ こんにちは！DDDとTDDには熱心だけど、推し活はDD（誰でも大好き）ではなく、とことん一途なエンジニアマネージャー、まつだです。 本日12月21日は私の誕生日ということで、なんと101101歳になってしまいました！（この手のやつ、16進数にしてるのはよく見るけど、2進数は斬新やな⋯） ちょっとでも誕生日を祝ってくれる気持ちのある方は、ぜひ↓のボタンをぽちっとしてブックマークでもしてやってください（笑） 今回は、私もさらに歳を重ねて型にはまった人間にならねば、ということで、「関数型ドメインモデリング」という本を読んで学んだことを普段の業
自社プロダクトのデータ基盤における BigQuery SQLテストシステムについて - Platinum Data Blog by BrainPad
「データ活用をより多くの人が、より効率的に実施できるようになる取り組み」をエンジニア観点から自発的に実施するカルチャーを持つ、自社開発プロダクト「Rtoaster（アールトースター）」のエンジニアチーム。今回は、データ基盤チームで作成した BigQuery でのテストシステムを紹介します！ こんにちは、プロダクトビジネス本部開発部の柴内（データ基盤チーム）です。今回は、自社製品である「Rtoaster」プロダクトのデータ基盤チームで作成した BigQuery でのテストシステムについてご紹介します。 背景 データ基盤チームでは、 Rtoaster製品からリアルタイムに連携される、WebやアプリのトラッキングといったデータをGCSや BigQuery に蓄積するデータレイク データレイクにあるデータを BigQuery で加工・変換して利用しやすい形式にしたデータマートやデータウェアハウス
フロリダ州ゲインズビルにあるブッフホルツ高校は2007年まではいたって普通の公立高校でした。しかし、ウォール街で働いていたウィル・フレイザー氏が教師として着任して以来、13年にわたって栄誉ある数学コンテストの賞を獲得し続けているとのこと。フレイザー氏が生徒をどのように指導してきたのかを、ウォール・ストリート・ジャーナルが紹介しています。 How a Public School in Florida Built America’s Greatest Math Team - WSJ https://www.wsj.com/articles/the-secrets-of-americas-greatest-high-school-math-team-11657791000 Ex-Trader Will Frazer Turns High School Math Team Into Wall St
なっとく！アルゴリズム 第2版 | 翔泳社
人探し、バスの乗り継ぎ、お買いもの…… 半径3メートルの身近なアルゴリズムはこんなにわかりやすい！ さまざまなアルゴリズムの背後で使われる≪木構造≫の解説を増補した第2版！ プログラミングにおいてアルゴリズムの知識は欠かせません。しかし、いざアルゴリズムの学習をはじめると、理屈の山と数式の谷間で迷子になることが少なくありません。 そんなときにおすすめなのがこの一冊。本書は、人探しやバスの乗り継ぎなど身近な例を通して、イラストとサンプルプログラムを援用しながらアルゴリズムについて平易に解説してくれます。 読み進めるには、中学レベルの代数の基礎を知っていれば大丈夫。プログラミング言語をどれか1つ知っていれば、さらに理解が深まります。 最後まで読めば、応用範囲の広い重要なアルゴリズムの数々をしっかり理解できます。 ［本書は、"Grokking Algorithms, Second Edition
物理の本ではよく, 「反変ベクトルとは～～という変換則をもち, 共変ベクトルは・・・という変換則をもつものとして定義される」と説明がなされますが, 初学者にとってはなぜ唐突にこのような定義がされるのか非常にわかりにくいと思います. そこでこのページでは数学的によりシンプルな定義を採用し, 一点の曇りなく自然に反変ベクトルと共変ベクトルが導入されることを説明します. さらに2つの拡張としてテンソルが自然に導入されることもみていきます. 以下では$${\left(e_i\right)_{1\leq i\leq n}}$$を$${n}$$次元実ベクトル空間$${V}$$の基底とします. 複素ベクトル空間の場合も以下の$${\mathbb{R}}$$を$${\mathbb{C}}$$に変えるだけで全て上手く成り立ちます. このページと同じ内容のPDFも用意していますので適宜ご利用ください. 前提知
連載目次 前々回は、行列をNumPyの配列として表し、要素ごとの四則演算を行ったり、ブロードキャスト機能を利用したりする方法、さらに、行や列の操作、集計などについても見ました。前回は、行列の内積について基本的な考え方から計算方法を簡単に紹介するとともにNumPyの配列による基本的なプログラミングの方法、さらに応用例を見てきました。今回は線形代数の難所である行列式と固有値／固有ベクトルを求める方法と応用例を紹介します。 この連載には「中学・高校数学で学ぶ」というサブタイトルが付いていますが、2012年施行の学習指導要領で数学Cが廃止され、行列が実質的に高校数学で取り扱われなくなったので、行列になじみのない方もおられるかもしれません。そこで、行列式と固有値／固有ベクトルについて、必要最低限の考え方と計算方法も併せて紹介します（なお、2022年度施行の学習指導要領では数学Cと行列が復活しました）
新刊、『耐量子計算機暗号』（2020年8月上旬発行）の発行に先立ち、著者の縫田光司先生による本書の紹介文と、「まえがき」を公開します。 ＊＊＊ 『耐量子計算機暗号』の紹介 記：縫田光司（東京大学准教授） 現代の高度情報化社会を支える基盤であるインターネットなどの情報通信技術を、安全性の面でさらに下支えしている技術の一つが「公開鍵暗号」です。一方で、従来の計算機（コンピュータ）とは異なる物理原理により高速な計算を行う「量子計算機」の研究開発が、近年特に勢いを増しています。両者は一見すると関連が薄そうに思えるかもしれませんが、実は、量子計算機の大規模化によって公開鍵暗号の安全性が脅かされる、という悩ましい関係があります。 より詳しくは、現在の主要な公開鍵暗号（RSA暗号と楕円曲線暗号）の安全性評価の際に「この問題は計算機でも解くのが非常に難しいであろう」と前提としていた問題が、量子計算機にとっ
数学の興味深い話 : 哲学ニュースnwk
2022年08月21日00:00 数学の興味深い話 Tweet 1：以下、名無しにかわりましてVIPがお送りします：2013/03/17(日) 01:13:18.77 ID:Y3KPFH9h0 極限とか。是非教えてください。 極限（きょくげん、limit）とは、あるものに限りなく近付くさま。物事の果て。 数学においては、数列など、ある種の数学的対象をひとまとまりに並べて考えたものについての極限がしばしば考察される。数の列がある値に限りなく近づくとき、その値のことを数列の極限あるいは極限値といい、この数列は収束するという。 http://ja.wikipedia.org/wiki/極限 数学SUGEEEEEEEEってなる話聞かせて http://blog.livedoor.jp/nwknews/archives/4249561.html 数学大好きな俺に数学のＳＵＧＥＥＥＥってなる事教えてく
加藤公一（はむかず） @hamukazu Kimikazu Kato, 博士（情報理工学）。修士は数学（代数幾何学）。英検三級。にゃーんと鳴く狂犬と呼ばれている。DMは全員に開放中。 著書「機械学習のエッセンス」：bit.ly/mlessence 、監修「機械学習図鑑」bit.ly/mlzukan linkedin.com/in/kimikazukato
最近、「Haskellでの型レベルプログラミング」という「本」を執筆している。まだ完成ではないが、以下のリンクから読める： Haskellでの型レベルプログラミング なぜHaskellか 最近いろんな言語が出てきている中で、Haskellの強みとは何だろうか。人によって答えは色々あるだろうが、筆者にとってHaskellの魅力的な側面は強力な型システムである。どのくらい強力かというと、型レベルでプログラミングができ、依存型の模倣さえもできてしまう。 （依存型をやりたいなら最初から依存型のある言語を使えという意見は尤もだが、それはそれとして。） Haskellでの型レベルプログラミングの解説記事というのは、英語圏ではちらほら見かけるが、日本語圏ではあまり見ない。2018年（原文は2017年）に公開された Haskellにおける型レベルプログラミングの基本(翻訳) – Qiita が数少ない例で
Java21とKotlinの代数的データ型 & パターンマッチの紹介と本当に嬉しい使い方 / Algebraic Data Type in Java and Kotlin: Happy Use of Pattern Match
JJUG CCC 2023 Fall で発表された内容です。 Java21ではパターンマッチがswitch式で正式に使えるようになります。 https://openjdk.org/jeps/441 これらの変更により型の検査がより強化されて、より実行時例外がすくなくコンパイル時に多くの実装…
データ解析用ライブラリ - Qiita
Deleted articles cannot be recovered. Draft of this article would be also deleted. Are you sure you want to delete this article? はじめに 皆さん、データ解析やデータ処理にどのライブラリを使用していますか？ 恐らく、ほとんどの人がpandasを使用していると思います。 今回は、その他のデータ解析用ライブラリやデータ処理ライブラリについて紹介したいと思います(/・ω・)/ Pandas 言わずと知れたデータ解析用ライブラリですね。 データフレームとシリーズという2つの主要なデータ構造が提供されており、データの読み込みやフィルタリングなど、様々なデータ解析/処理に適しています。 中小規模のデータセットに適しており、大規模なデータの処理はメモリ不足や処理速度の問題からあ
11月新刊情報『Pythonではじめる数学の冒険』
『Pythonではじめる数学の冒険 ―プログラミングで図解する代数、幾何学、三角関数』 Peter Farrell 著、鈴木 幸敏 訳 2020年11月16日発売予定 380ページ ISBN978-4-87311-930-4 定価3,300円（税込） 数学を8年間、コンピュータサイエンスを3年間教えたことのある著者が、自らの経験に基づき、これからの時代に必要な数学とプログラミングの能力を身につけてもらいたいと筆をとった意欲作。定義や命題から入る伝統的なアプローチではなく、プログラミングによる視覚的アプローチで直感的な理解を促します。数学の視点からプログラミングを眺め、また逆にプログラミングの視点から数学を眺めることで、退屈な計算問題は、さまざまな工夫が可能なプログラミングの課題になり、プログラミングの文法は、数学の問題を解く上での強力な武器となり、それぞれの新たな魅力に気づかされるきっかけ
ちくま学芸文庫刊行書目一覧｜かるめら
※2024年6月をもってnoteでの本リストの新刊の更新は終了させていただきます。 今後の更新ははてなブログにて継続いたします。 2024年6月30日時点での既刊のちくま学芸文庫全2,053点（セット版を除く）をあげた。 文庫の整理番号順に従って表記（一部変更あり）した。 「♾️」マークはMath&Scienceシリーズ（青背）を示す。 人名表記の揺れ（例「シモーヌ・ヴェイユ」と「シモーヌ・ヴェーユ」）は訳者に従い、統一はせずそのままにした。 編者、訳者は一部を除き割愛し、編著者が3人以上に及ぶ場合は代表者1人の名前のみ記した。 Math&Scienceシリーズのみの刊行書目一覧はこちら。 浅田彰『ヘルメスの音楽』 赤坂憲雄『異人論序説』 赤坂憲雄『王と天皇』 赤坂憲雄『排除の現象学』 赤坂憲雄『遠野/物語考』 赤坂憲雄『象徴天皇という物語』 赤坂憲雄『柳田国男を読む』 天沢退二郎『宮沢賢
AIの設計そのものを自動化する時代の到来
AIの設計そのものを自動化する時代の到来 2020.10.28 Updated by Ryo Shimizu on October 28, 2020, 06:20 am JST 誤解を恐れずに言えば、ニューラルネットワークのプログラミングは、とても簡単です。 実は以前、知人の会社がAIを理解するために会社で代数幾何学の勉強会を始めたと言ったとき、それは極めてナンセンスだと指摘したことがあります。 なぜなら、ニューラルネットワークを設計するのに代数幾何学の知識などいらないからです。 たしかにニューラルネットワークを数学的に表現しようとすれば、代数幾何学を使う場合があります。ところが、それは本当にごくごく一部に過ぎません。本筋は代数幾何学で表現することではなく、「どう使うか」という別のところにあるのです。人工知能をやろうとする時にはまず代数幾何学を勉強しよう、というのは、まったく木を見て森を見
Haskellで動的計画法を攻略する
Haskellで動的計画法を実装する２つの方法 出典： Easily Solving Dynamic Programming Problems in Haskell by Memoization of Hylomorphisms ザ圏論的やり方としては①Dynamorphism、手続き的な方法として②STモナドが挙げられる。 DynamorphismはHylomorphismをメモ化したようなもので、詳しくはlotz氏のサイトを参照してほしい。 Haskellerとしては、Dynamorphismはとても憧れる手法である。しかし、思ったよりも速度が出ない。。 このスクラップに二通りのLCSの解法を記載したが、いずれもTLEであった。 lotz氏によると、メモ化されたデータ構造にはO(n)でしかアクセスできないことが理由とのこと。 この記事では、STモナドによるメモ化再帰を用いた動的計画問題
ゼロ知識証明ものがたり
これはあくまでも個人の調査の上で、ゼロ知識証明の研究の流れを物語形式に自分なりに表現したものです。ざっくりと外観を捉えたい時にご参照ください。ご指摘も歓迎しております。 第一章：ゼロ知識証明の始まり - （1985-1992） 1985年暗号理論の世界に、Goldwasser、Micali、Rackoffという3人の研究者による、ある論文が発表されました。それは「特定の情報を知っていること」を、他の一切の情報を明らかにせず他者に数学的に証明することができる技術でした。 この論文は、完全性、健全性、ゼロ知識性という3つの重要な概念を導入し、二次剰余と二次非剰余の構成を提供し、二次剰余性を判定する問題を使って、ゼロ知識証明プロトコルを具体的に構築しました。これは、後の暗号学の発展に大きな影響を与えることになります。 1992年、この分野に新たな革新が加わります。Lund、Fortnow、Kar
とほほさんのキーノートに感動、ベストスピーカーに聞く登壇の感想、YAPCはコミュニティが混ざる場。YAPC::Hiroshima 2024 非公式ふりかえり会文字起こしレポート - STORES Product Blog
2024年2月13日に『YAPC::Hiroshima 2024 非公式ふりかえり会』を開催しました。イベントでお話した内容を文字起こし形式で紹介します。 hey.connpass.com 登壇者紹介 STORES hogelog：YAPC初参加 ヨヨイ：YAPCは3、4回参加経験あり hiromu：YAPC初参加 藤村：YAPC初参加 えんじぇる：YAPC初参加 スマートバンク 三谷：YAPC初参加、YAPC::Hiroshima 2024でベストスピーカー賞を受賞 nyanco：YAPCスタッフ 前夜祭の感想 hogelog：『YAPC::Hiroshima 2024 非公式ふりかえり会』を始めていきます。ぜひYAPCのスタッフだった方や登壇してた方などなど、喋ってもいいですよという方はぜひ挙手をしていただけると嬉しいです。 本日の登壇者側で喋る人を紹介させていただきます。私はhoge
楕円ElGamal暗号の変種とその安全性
初めに 『暗号技術のすべて』（IPUSIRON）を読んでいたら、私が知ってる楕円ElGamal暗号と少し違う方式（変種）が紹介されていました。 「なるほど、そういうのもあるのだな」と思ったのですが、よく考えると安全性が損なわれているのではと思って考えたことを書いてみます。 単に、不勉強な私が知らなかっただけで大昔からの既知の事実だと思いますが、探してもあまり見当たらなかったのでまとめておきます。 楕円ElGamal暗号 まずは『現代暗号の誕生と発展』（岡本龍明）でも紹介されている、私が知っていた方式を、記号を変えて紹介します。用語は楕円ElGamal暗号も参照してください。 記号の定義 0 以上 r 以下の整数の集合を [0, r], そこからランダムに整数 x を選ぶことを x ← [0, r] と書くことにします。 G を楕円曲線の点 P を生成元とする素数位数 r の巡回群 \lan
ゲーム制作って数学なんだ… SEGAが勉強会資料150ページを公開
全156ページの資料 テキスト作者に聞きました 無料公開した理由 ゲーム開発をしようと思ったら、数学は絶対に必要です――。セガが社内勉強会向けに作った資料「基礎 線形代数講座」を一般公開しています。制作のきっかけや公開した理由について聞きました。 サインコサインタンジェント、虚数i…いつ使うんだと思ったあなた。実は数学は、ゲーム業界を根から支える重要な役割を担っているんです。 今日は、セガ社内勉強会用の数学資料150頁超(!)を無料公開。#セガ技術ブログ クォータニオンとは？基礎線形代数講座 #segatechblog https://t.co/OEHDwlJ9Vz pic.twitter.com/eBUG2YJwH1 — セガ公式アカウント🦔 (@SEGA_OFFICIAL) June 15, 2021 全156ページの資料 「基礎 線形代数講座」は全156ページの資料です。 主に大学
読む・打つ・書く: 読書・書評・執筆をめぐる理系研究者の日々 作者:三中 信宏東京大学出版会Amazon 本書は三中信宏による理系研究者のための読書論，書評論，そして執筆論の本だ．一気呵成に迸るように書かれた文章は迫力十分で，そしてすべては自分の（研究の）ためというポリシーが圧倒的に壮快だ． 第1楽章 読む：本読みのアンテナを張る*1 冒頭は「本との出会い」から始まる．本との出会いは一期一会でこれはと思う本は逃してはいけないこと，探書アンテナを張ることの重要性，ランダムな出会いもまたよいこと，多言語蔵書の深みなどが語られている． そこからいかに深く本を読むかというテーマになる．読むにはまず本を読みきって何が書いてあるかを理解するという段階，そして次になぜこの本が書かれなければならなかったかを問いかける段階があるという．そして本を学べばより世界は広がり，得られた知識ネットワークは信頼するにた
プログラミング言語「Python」を開発するPython Software Foundationは2022年10月24日（米国時間）、Pythonの最新のメジャー安定版リリース「Python 3.11.0」を公開した。 Python 3.11.0では多くの新機能が導入され、多くの最適化が施されている。Python Software Foundationは主要な新機能と変更点を、一般的な変更点と、型付けおよび型付け言語の変更点に大別して紹介している。なお、以下の「PEP」で始まる番号は、Pythonの拡張提案を記した文書の通し番号を指す。PEPは、Python Enhancement Proposalの略。また、「gh-」で始まる番号は、GitHubのプルリクエスト番号を指す。 一般的な変更点 PEP 657：トレースバックにエラーの場所の詳細が追加 Cpythonインタープリタが表示するト
007巻き方小津安二郎小説小野繙山ゴハン山梨ソロキャンプアワード山田勇魚嶋浦顕嶺川奈まり子工芸作家市川海老蔵対策幌倉さと平塚年齢制限店舗庭ゴハン廃番弥富マハ彫刻家彫金小林圭輔対処法御徒町奇才紳士名鑑増税変え方多崎ろぜ大園恵実大場美奈大庭繭大手失われた青を求めて失敗女性向け寄木女流雀士女郎蜘蛛姉の結婚安い安さ実話怪談宮台真司家庭家族影響徹底坂上秋成星をみるひと故障教えて！「聖蘭（せいら）20歳」さん斜線堂有紀新作新幹線方山敏彦方法旅行旅行/レジャー映画改善時間暇つぶし書画書評書道家最新月曜日のたわわ有楽町有限会社ファクタスデザイン改正推してた人・推されてた人怖い話手巻きたばこ怪談怪談一服の集い恋は光成人成年年齢引き下げ成長戦野の一服手作り手塚大輔手巻きタバコ採用手書き地図手順投稿怪談投資持ち方持ち込み捨て方掃除掌編小説境貴雄地図木下優樹菜佐藤タイジ今日のほごにゃんこあふたぁ仕事に疲れた付け方
量子力学には、なぜ線形代数、つまり密度行列や状態ベクトル、そしてエルミート行列としての物理量が出てくるのかが分からないという人が結構います。しかし拙書『入門現代の量子力学』では、その行列やベクトルは単なる表記の１つに過ぎないと、強調をしています。 そもそも量子力学という理論は、物理量の確率分布を基本とした情報理論に過ぎません。波動関数や状態ベクトルも、いくつかの種類の物理量の確率分布をまとめて、１本の数式に書いたものです。この「波動関数＝確率分布」という事実から、そもそも観測問題というものも存在しなかったことが、明らかとなります。 確率分布を行列やベクトルで表示しているだけなので、行列やベクトルが出てくる理由を問う必要は、全くありません。これは電磁気学の電磁ポテンシャルや電磁場を、数学の外微分形式や四元数で書いても、そのdxや、i、j、k自体には、なにも物理的な意味がないのと同様です。 で
「アルゴリズム」という言葉の由来は？
アルゴリズムという言葉はGoogle検索やSNSでの分析や、特定のタスクを実行して処理するプログラム、人工知能の開発などで私たちの生活に不可欠です。だれもが聞いたことある「アルゴリズム(Algorithm)」というワードがどこから来たのかという由来と歴史について、メルボルン大学でデジタルヘルスの研究員を務めるデビー・パッシー氏が解説しています。 Why are algorithms called algorithms? A brief history of the Persian polymath you’ve likely never heard of https://theconversation.com/why-are-algorithms-called-algorithms-a-brief-history-of-the-persian-polymath-youve-likely-n
データサイエンスを学ぶには、そのための基礎として、数理系科目（解析・線形代数）、統計系科目（確率・統計）、情報技術系科目、プログラミング系科目を履修する必要があります。科目系統の説明はこちら このページでは、前期課程と後期課程の主要な科目を図示し、これらの科目間の関係を明らかにしています。さらに、機械学習・データマイニングをゴールとして、いくつかの履修パターンを示しています。 前期課程だけでも、後期課程からでも、大学院に入学してからでも、様々な方法でデータサイエンスを学ぶことができます。履修の参考にしてください。 以下の図は、それぞれの系統の主要な科目と、数理・情報教育研究センターが提供するデータサイエンス分野の科目を示しています。各講義からはより詳細な説明を表示します。 図中の科目名をクリックすると各科目の詳細な説明が表示されます。 開講時期：S 文科理科を問わない必修科目である。 前提
さる8月1日、計算機科学の根幹を揺るがすドドスコ問題が出題され、エンジニアたちは震撼した（意味: 面白問題が出たので、なるべくヘンテコな解法を使って己の技巧を誇示するためにエンジニアたちは競ってコードを書きはじめた）。 【問題】配列{"ドド","スコ"}からランダムに要素を標準出力し続け、『その並びが「ドドスコスコスコ」を3回繰り返したもの』に一致したときに「ラブ注入♡」と標準出力して終了するプログラムを作成せよ(配点:5点)— ((🐑++)) (@Sheeeeepla) 2022年8月1日 そこで、関数型テクニックをなんとかねじこんだ解法を作ったのでここに示す。 import higherkindness.droste.Coalgebra import higherkindness.droste.data.list.{ListF, ConsF, NilF} import higherk
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
PFNが1000円から機械学習や数学基礎, Pythonなどを学べる教材を提供開始 | AI専門ニュースメディア AINOW
【鼎談】新全集が示す関孝和像（前編） 上野健爾／佐藤賢一／橋本麻里｜『関孝和全集』刊行記念
［AI・機械学習の数学］線形代数の固有値・固有ベクトルをマスター
書評『統計のための行列代数』 | Hippocampus's Garden
みずほ銀行『誰だって、新しい一歩の前ではふるえてるんだ』→そうだよね、例えば基幹システム入れ替えとか
｢デジタル力は中国､韓国以下｣なぜ日本は"数学ができない大人"ばかりになってしまったのか ｢下手に理系に進むと損をする｣
AI・機械学習のための数学超入門 ～第2部 偏微分～
量子の世界に「傷跡」を残す数理モデルを無限に構成する方法を発見 - 東京大学 大学院理学系研究科・理学部
Claude 3.5 Sonnet の評価に関する備忘録 - Algomatic Tech Blog
超平凡な公立高校を数学のエリート集団に仕立て上げた元金融マンの手法とは？
テンソルが意味不明な物理学習者へ: 共変ベクトルと反変ベクトルからテンソルまで｜vielb
Pythonで線形代数！～行列・応用編（行列式・固有値）
量子コンピュータに破れない暗号はつくれるか？ 【近刊紹介】縫田光司 著『耐量子計算機暗号』｜森北出版
もしかして仕事用PCを自腹で買ってない？3万円台の中古Windowsノートの売れ行きがえらい事になっているという話
執筆中：「Haskellでの型レベルプログラミング」 | 雑記帳
書評 「読む・打つ・書く」 - shorebird 進化心理学中心の書評など
Pythonが平均1.22倍高速化、メジャー安定版「Python 3.11」の機能向上とは
野尻抱介の「ぱられる・シンギュラリティ」第11回 あなたはどんな暗号が好き？
量子力学の行列は単なる表記にすぎない｜Masahiro Hotta
データサイエンス履修の手引き概要 | 東京大学 数理・情報教育研究センター
Recursion Schemeによるドドスコ問題の恐るべき解法 - Lambdaカクテル