タグ

mathに関するshin0Oのブックマーク (18)

  • 畳み込みの視点から見たforall(every)とexists(some): 空集合に対するforallは常にtrueになる - Lambdaカクテル

    こういうツイートが話題になっていた。 「配列のすべての要素が条件を満たすならtrueを返す」関数を定義するとき、空の配列を渡したらfalseを返すかtrueを返すかが、良いプログラマかどうかの一つの境目だ— ふみ (DJ Monad) (@fumieval) 2023年5月29日 つまりScalaで言うと次のようなコードが何になるか、というものである。 val xs = Seq.empty[Int] xs.forall(_ == 42) 結論から言うと、このような関数は常にtrueを返す。 なぜだろう?その理由をこれから説明する。 ちなみに他に以下のような意見があった: 仕様による 例外を投げるべき いずれもまぁありえなくはないが、やめておいたほうが良いと思う。もし仮にfalseを返すような仕様があった場合、それは数学から乖離しているのでいずれ仕様内部で矛盾する可能性が高いし*1、最終的に

    畳み込みの視点から見たforall(every)とexists(some): 空集合に対するforallは常にtrueになる - Lambdaカクテル
  • 中日新聞:自動車工場のガロア体 QRコードはどう動くか

    その誕生を地元新聞も経済新聞も記事にしなかった。2年後、『コードの情報を白黒の点の組み合わせに置き換える』と最下段のベタ記事で初めて紹介された時、その形を思い浮かべることができる読者はいなかった。いま、説明の必要すらない。QRコードはなぜ開発され、どう動くのだろうか。 QRコードは、自動車生産ラインの切実な要請と非自動車部門の技術者の「世界標準の発明をしたい」という野心の微妙な混交の下、1990年代前半の日電装(現デンソー)で開発された。 トヨタグループの生産現場では、部品名と数量の記された物理的なカンバンが発注書、納品書として行き来することで在庫を管理する。そのデータ入力を自動化するバーコード(NDコード)を開発したのがデンソーだ。 バブル全盛の1990年ごろ、空前の生産台数、多様な車種・オプションに応えるため、部品も納入業者も急激に増え、NDコードが限界を迎えていた。63桁の数字しか

  • クォータニオンとは何ぞや?:基礎線形代数講座 - SEGA TECH Blog

    ---【追記:2022-04-01】--- 「基礎線形代数講座」のPDFファイルをこの記事から直接閲覧、ダウンロードできるようにしました。記事内後半の「公開先」に追記してあります。 --- 【追記ここまで】--- みなさん、はじめまして。技術部 開発技術部のYです。 ひさびさの技術ブログ記事ですが、タイトルからお察しの通り、今回は数学のお話です。 #数学かよ って思った方、ごめんなさい(苦笑) 数学の勉強会 弊社では昨年、有志による隔週での数学の勉強会を行いました。ご多分に漏れず、コロナ禍の影響で会議室に集合しての勉強会は中断、再開の目処も立たず諸々の事情により残念ながら中止となり、用意した資料の配布および各自の自学ということになりました。 勉強会の内容は、高校数学の超駆け足での復習から始めて、主に大学初年度で学ぶ線形代数の基礎の学び直し 、および応用としての3次元回転の表現の基礎の理解

    クォータニオンとは何ぞや?:基礎線形代数講座 - SEGA TECH Blog
  • コグニカル

    コグニカルは、足りない知識を掘り下げて理解する学習サイトです。

  • テトリスの歴史を「ブロックが落ちるルール」の進化から学ぶ

    By torley 1985年にテトリスが誕生して以来、150種類以上のテトリスゲームがリリースされました。数十年の歴史の中で改良が重ねられたテトリスは、プログラマーたちの手によってブロックをランダムに出現させるプログラムが進化していきました。中でも代表的なテトリスは、資料としてプログラムが文書化されています。その中からいくつかリストアップし、テトリスが長年にわたってどのように変化したかを、テトリスを独自に研究するサイモン・ラロッシュ氏が紹介しています。 The history of Tetris randomizers - Simon Laroche https://simon.lc/the-history-of-tetris-randomizers 目次: ◆テトリス(1985年) ◆テトリス/任天堂(1989年) ◆テトリス ザ・グランドマスター/アーケード(1998年) ◆テトリス

    テトリスの歴史を「ブロックが落ちるルール」の進化から学ぶ
  • Seeing Theory

    Chapter 1 Basic Probability This chapter is an introduction to the basic concepts of probability theory.

    Seeing Theory
  • プログラマの為の数学勉強会

    2013年 プログラマの為の数学勉強会 資料 第1回:イントロダクション 第2回:浮動小数点数・極限・微分 第3回:微分法の応用・多変数関数の微分法 第4回:微分法の応用(続き)・方程式の数値解法 第5回:微分方程式の数値解法・積分法 第6回:数値積分法・積分法の応用 第7回:行列・ベクトル・ガウス消去法 第8回:行列式・逆行列・連立一次方程式の直接解法 第9回:線型空間・線型写像・固有値固有ベクトル(その1) 第10回:線型変換・固有値固有ベクトル(その2)・内積空間 第11回:連立一次方程式の反復解法・二次形式・多変数関数の極値・重積分 第12回:確率論入門 第13回:情報量・エントロピー・重要な確率分布・大数の法則・中心極限定理 第14回:擬似乱数の生成法・推定 第15回:検定 第16回:検定の続き, 回帰分析 第17回:回帰分析の続き 第18回:ベイズ統計

  • Wolfram|Alpha: 世界の知識を計算可能にする

    Wolframの画期的なアルゴリズム,知識ベース,AIテクノロジーを使って, 専門家レベルの答を計算しましょう数学 ›ステップごとの解説高等学校 数学中学数学小学校算数初歩的な計算代数プロットとグラフィックス微積分と解析その他 »科学・テクノロジー ›Units & MeasuresPhysicsChemistryEngineeringComputational SciencesEarth SciencesMaterialsTransportationその他 »社会・文化 ›PeopleArts & MediaDates & TimesWords & LinguisticsMoney & FinanceFood & NutritionPolitical GeographyHistoryその他 »日常生活 ›Personal HealthPersonal FinanceSurprisesEn

    Wolfram|Alpha: 世界の知識を計算可能にする
  • 機械学習をやる上で必要な数学とは、どの分野のどのレベルの話なのか(数学が大の苦手な人間バージョン) - 渋谷駅前で働くデータサイエンティストのブログ

    しばらく前にこんな記事が出ていたのをお見かけしました。 明らかにこれは僕が某所(笑)で適当に放言したことがきっかけで巻き起こった議論の一旦なのではないかと思うのですが、個人的にはこちらの@yohei_kikutaさんの仰る通りで大体良いのではないかと考えております。 なのですが、言い出しっぺらしき身としてはもうちょっと何か具体的な話を書いた方が良いのかな?とも思いましたので、常々公言しているように数学が大の苦手な身ながらどの分野のどのレベルの数学機械学習をやっていく上で必要なのかという点について戯言だらけの駄文を書いてみることにします。 深層学習 (機械学習プロフェッショナルシリーズ) 作者: 岡谷貴之出版社/メーカー: 講談社発売日: 2015/04/08メディア: 単行(ソフトカバー)この商品を含むブログ (13件) を見るちなみに、以下に並べる戯言は深層学習青から得られた知識を

    機械学習をやる上で必要な数学とは、どの分野のどのレベルの話なのか(数学が大の苦手な人間バージョン) - 渋谷駅前で働くデータサイエンティストのブログ
  • 30歳から始める数学 [ SHOYAN BLOG ]

    この記事はMath Advent Calendar 2015 2日目の記事です。 前回の記事は515hikaruさんのMath Advent Calendar 2015 一日目 - 515 ひかるのブログ 日常編です。 とあることから、30歳にして数学を学び始めました。いまは毎日楽しく数学の書籍を読んだり方程式を解いたりしています。 記事では、僕と同じようにもう一度数学を学びたいなと思っている人向けに、数学の魅力を再発見する方法を紹介します。 30歳にして数学を学び始めたきっかけきっかけはプログラマのための数学勉強会です。 とあるご縁でこの勉強会で発表することになり、そこから数学を学び直しました。 内容については、以下の記事を参照ください。 プログラマのための数学勉強会@福岡に登壇してきました プログラマのための数学勉強会@福岡#2に登壇してきました この数学勉強会で数学を勉強することに

    30歳から始める数学 [ SHOYAN BLOG ]
    shin0O
    shin0O 2017/02/24
  • 数学が大嫌いなほとんどのひとのための人の数学のやり直し方 - 痴呆でいいもん

    ホットエントリーメーカー参考にタイトルつくりました. えーと,これは私自身のことでもあります.自分の不出来たなにあげてすんません.あと,大学で教えていると数学が嫌いで嫌いでしょうがない学生さんがたくさんいるのにも気がつきます. 自分も数学だめなんで,はてぶで数学の勉強の仕方とかの記事みつけると読んだりするんですが,どうもレベルが高すぎます.英語できない人にシェークスピア読めといっているようなのが多い気がします. 数学できない大学教員(経済学)のレベルでいうのですが,ほとんど文系の数学嫌いの学生さんがどのあたりで数学嫌いになるかというと,あんまり根拠のない実感にもとづいてですが,中学の半ばくらいなんじゃないかと思います.とにかく,そのあたりクリアすれば,たとえばチャンの『現代経済学数学的基礎』なんかのアメリカの経済数学の教科書の導入で想定されている学力こえますし,西村『ミクロ経済学入門』(

    数学が大嫌いなほとんどのひとのための人の数学のやり直し方 - 痴呆でいいもん
    shin0O
    shin0O 2016/05/26
  • 【統計学】初めての「標準偏差」(統計学に挫折しないために) - Qiita

    統計をこれから学ぼうという方にとって、非常に重要な概念ですが理解が難しいものに「標準偏差」があると思います。「平均」くらいまでは馴染みもあるし、「わかるわかるー」という感じと思いますが、突如現れる「標準偏差」 の壁。結構、この辺りで、「数学無理だー」って打ちのめされた方もいるのではないでしょうか。 先にグラフのイメージを掲載すると、下記の赤い線の長さが「標準偏差」です。なぜこの長さが標準偏差なのか、ということも解き明かしていきます。 (code is here) 記事では数学が得意でない方にもわかるように1から標準偏差とはなにか、を説明してみようという記事です。 数式はわかるけど、イマイチ「標準偏差」の意味わからんという方にも直感的な理解がしてもらえるような説明もしていきますので、ぜひご覧ください。 (※ この記事では標準偏差の分母に $n$を使用しています。$n-1$を使用するケースも

    【統計学】初めての「標準偏差」(統計学に挫折しないために) - Qiita
    shin0O
    shin0O 2015/08/01
    図示化大切。
  • 大学以降の「数学」の勉強に役立つ動画のまとめ - 勉強メモ (大学の講義動画や,資格試験の対策)

    大学の数学を,Youtubeの動画で独学できる。 実際に大学で講義している様子を録画したビデオなので, 板書を読めるし,先生の説明も聞ける。 大学生の定期試験・院試対策や,社会人になってからの復習にもどうぞ。 これがあれば,通勤・通学中の電車内で, あるいはベッドの中にいても 時間や場所を問わずに勉強ができる。 なお,大学の「物理学」の動画はこちら。 ※PDF形式の講義ノートはこちらのサイトに集約されているので,動画とあわせて活用しよう。 大学の初年度 統計学 物理数学 微分方程式 解析学・応用 代数学・応用 圏論 幾何 その他数学 数学検定 大学の初年度 行列論と「線形代数」の講義を動画で学ぶ。Youtubeで大学の授業を勉強 大学の数学で,一変数と多変数の微積分の講義を,Youtubeの動画で学ぶ 統計学 統計学の基礎の講義を,Youtube動画で。明治薬科大の「DAIWA統計学」 生

    大学以降の「数学」の勉強に役立つ動画のまとめ - 勉強メモ (大学の講義動画や,資格試験の対策)
  • 初心者用 畳み込み(たたみこみ)解説

    理工系の大学や高専で学ぶ皆さんが だいたい20才くらいになると直面する「たたみこみ」。 特に、 電気回路が必修になっているようなところでは 避けて通れないものです。 さっぱりわからず、 ネットで探せば何かないかなと思ったのに、 いきなり 「合成積とは ∫ot f(t-τ) g(τ) dτ 」 とか出てきちゃって嫌になってる皆さん。 嫌になってる理由は、 「やれといわれればやるけれど、 何を表してるのか意味分からない」 とか 「f(t-τ) の t-τ が なんで出てくるのか納得できない」 とかではありませんか。 基思想を以下に説明するので、今学期 最後のチャンスと思って理解してください。

  • NIKKEI STYLEは次のステージに

    キャリア、転職、人材育成のヒントを提供してきた「リスキリング」チャンネルは新生「NIKKEIリスキリング」としてスタート。 ビジネスパーソンのためのファッション情報を集めた「Men’s Fashion」チャンネルは「THE NIKKEI MAGAZINE」デジタル版に進化しました。 その他のチャンネルはお休みし、公開コンテンツのほとんどは「日経電子版」ならびに課題解決型サイト「日経BizGate」で引き続きご覧いただけます。

    NIKKEI STYLEは次のステージに
    shin0O
    shin0O 2014/12/09
  • フリー教材開発コミュニティFTEXT

    FTEXT フリー教材開発コミュニティFTEXT(エフテキスト)は、誰もが自由に、そして無料で利用できる学習教材を開発しているNPOです。「教育のオープンソース化」を理念に掲げ、活動しています。 オフィシャルHPでは成果物などの紹介をしています。教材をご覧になりたい方は以下からご覧ください。 クリエイティブ・コモンズ・ライセンスに基づき、基的に全ての成果物の二次配布・改変は自由です(成果物に個別ライセンスが付与されている場合は、その個別ライセンスが優先されます)。今後は、ウェブを活用した教育用コンテンツの作成・蓄積・利用を支援するソフトウェアやプラットフォームの開発と構築を目指します。 FTEXT数学の執筆やレビューにご協力していただいた方たち一覧 当サイトへのリンクやFTEXTの引用は自由です。 いろいろな数「数とは何か?」この質問に答えるのは難しい。私達は普段から数を使い、(試験以

  • 数学科の大学院に進むとはどういうことか? - Willyの脳内日記

    大半の人から数学は無味乾燥なものだと思われている。 いったい数学科の大学院まで行く人は何をやっているのだろうか。 英語掲示板に「これ以上ない!」 というくらい上手い解説を見つけたので紹介しよう。 (ちなみに原文はこちら) ---- 質問: 数学科の大学院生は毎日何をして過ごしてるの? ただ単に机の前に座って考えているだけ? -- ヤーシャ=バーチェンココーガン, MIT 大学院生 回答: たいていの場合、数学の大学院に行くっていうことは、 や論文をたくさん読んで何がどうなってるのか理解することだ。 難しいのは、数学を読むっていうのは、 ミステリー小説を読むのとは違うし、 歴史を読んだり、ニューヨークタイムズの論説を読むのとも、 違うって言うことなんだ。 一番の問題は、君が数学の最前線にたどり着くまでの間、 概念を説明する言葉さえほとんど存在していないっていうことだ。 例えて言え

  • コンプガチャの数理 -コンプに必要な期待回数の計算方法について- - doryokujin's blog

    目次 1. 『コンプガチャの数理 -コンプに必要な期待回数の計算方法について-』 2. 『「数学ゲームデザイン」というアプローチ』 3. 『コンプガチャの数理 -ガイドラインに基づいたゲームデザイン その1-』 4. 『コンプガチャの数理 -ガイドラインに基づいたゲームデザイン その2-』 目的 コンプガチャのコンプに必要な回数を求める問題は「The Coupon Collector's Problem」と呼ばれる数学モデルの枠組みに沿った美しい問題である事を述べ,いくつかの有用な結果を示す。 ※ あくまで個人研究のつもりで書いたので,色々不備があるかもしれません。その際は一言頂けると助かります。 定義 コンプガチャ問題を Coupon Collector's Problem に準じた形で書くと以下の様になる: 「全部で n 種類のアイテムがあって,1つのガチャの中にアイテムが1つ入って

    コンプガチャの数理 -コンプに必要な期待回数の計算方法について- - doryokujin's blog
  • 1