無料＆自分の好きなペースでコンピューターサイエンスを学べるオンライン教育プロジェクト「Open Source Society University」
近年はオンラインで公開されている教材やコンテンツを利用してコンピューターサイエンスを学ぶことが可能となっていますが、インターネット上に散らばったさまざまなコンテンツを集め、体系的にコンピューターサイエンスを学ぶハードルは依然として高いままです。「Open Source Society University(OSSU)」というプロジェクトは、無料のコンテンツでコンピューターサイエンスを体系的に学べるようにすることを目指しており、誰でも利用できるオンライン教材リストやオススメの学習コースをGitHubで公開しています。 GitHub - ossu/computer-science: Path to a free self-taught education in Computer Science! https://github.com/ossu/computer-science OSSUが公開し
「abc予想」証明正否に私財で賞金1.4億円、数学界の混乱に決着を | Forbes JAPAN 公式サイト（フォーブス ジャパン）
京都大学数理解析研究所の望月新一教授は2012年8月、4本の論文をインターネット上に公開した。未解決の数学的難問「abc予想」を解決できるとする「IUT理論（宇宙際タイヒミューラー理論）」である。 しかし、きわめて難解にしてあまりにも長大なこの論文をめぐって、世界の数学界には予想外の大きな「混沌」が生じた。現在では議論も膠着状態となっている。 そんな中、6月6日に設立（設置構想中）が発表されたZEN大学の研究機関、「宇宙際幾何学センター（Inter-Universal Geometry Center; IUGC（仮称）、所長 加藤文元氏）」は、この理論とその関連分野における新しい重要な発展を含む最優秀論文に、「IUT Innovator Prize」として毎年賞金2万ドル〜10万ドルを贈呈することを発表した。 またドワンゴ創業者 川上量生氏は、IUT理論の本質的な欠陥を示した論文を執筆した
GAFAで数学系の人材がひっぱりだこな理由。純粋数学はもう「ポケットに入っている」 | Forbes JAPAN 公式サイト（フォーブス ジャパン）
「リーマンゼータ関数の零点は、負の偶数と、実部が1/2の複素数に限られる」、「単連結な三次元閉多様体は三次元球面に同相である」……。 数学にはとかく、数学界の「中」の問題に生涯をかけて取り組み、数学上の未解決問題を追求するといった、純粋な上にも純粋、すなわち実社会とは没交渉な「至高の学問」のイメージがないだろうか。 だが今、GAFAを始めとする米国のビッグテック各社が、数学専攻の優れた学生を積極的に採用している。そして、ヨーロッパには、「マスハイヤー・オルグ」を始めとする、数学系人材向け職探しサイトも豊富だ。少なくとも欧米では、数学界と産業界の距離は明らかに近くなっているようだ。 国内に目を向けても、経済産業省が2018〜19年、「理数系人材の産業界での活躍に向けての意見交換会」を開催したほか、2018年の同省の報告書「数理資本主義の時代～数学パワーが世界を変える～」の中では、「デジタル革
scrapbox.io から派生して、 blog.sushi.money こういうことが可能だとわかった。 はてなブックマークはAtom形式でのエクスポートが可能なので、 はてブにAtomを吐き出させる AtomをJSONに変換する あとは同じ というプロセスで、自分のはてブのコメントを知っている状態のChatGPTのモデルを作ってみた。 コード 一番元々の記事ではPythonで書かれていたコードが、 id:hitode909 のコードではRubyになり、自分のコードだとScala3になっていて面白い。 #!/usr/bin/env -S scala-cli shebang -S 3 // usage: batom2json.scala.sc ~/Downloads/Windymelt.bookmarks.atom > from_bookmark/Windymelt.json // You
アジア最大級の国際Scalaカンファレンスである「ScalaMatsuri2020」がオンラインで開催されました。そこでビジョナル・インキュベーションの鈴木氏が、Scala3（Dotty）で可能になったマルチステージプログラミング（MSP：Multi-stage Programming）について話しました。前半ではマルチステージプログラミングの概念やその基本的なプログラムの書き方について話しました。 マルチステージプログラミングのいいところ 鈴木健一氏（以下、鈴木）：鈴木健一と申します。よろしくお願いします。本日はマルチステージプログラミングの話をします。 Dotty（※Scala3）でメタプログラミングの機能が強化されてマルチステージプログラミングができるようになったので、せっかくなのでそのお話をしまして、後半はTagless-finalのご紹介をします。最後にマルチステージプログラミン
1. はじめに 最初に、本記事ではどのようなトピックを扱うのかについて、少し説明したいと思います。 1-1. 本記事で扱うトピック 21 世紀になり、IT 化が急速に進む今、現実社会ではいろいろなものが最適化されて動いています。これを形作るプログラミングの現場でも、例えば以下のような問題を考えたり、あるいは実際に使ったりすることもあるのではないでしょうか1。いくつか例を挙げてみましょう。 例 1. コイン問題：特定の金額をぴったり支払うために、最小で何枚の硬貨が必要か？ 例 2. 最短経路問題：地図上の A 地点から B 地点までに行くのに、最短で何メートル歩く必要があるか？ 例 3. 箱詰め問題：長方形の箱に、できるだけ多くの荷物を敷き詰めたい 例 4. 数分割問題：「できるだけ合計の値が近くなるように」2 つのグループに分割したい このように、いろいろな問題があります（もちろん名前を覚
ここで、二つの変数間の関係として、 "orthogonal/non-orthogonal な関係" という概念を導入します。二つの変数があり、一方の値域がもう片方の値に影響を受けないならば、それら二変数の関係を "orthogonal" とします。反対に、どちらかの値域がもう片方に影響を受けるならば、"non-orthogonal" とします。例えば `userId` と `layoutVisibility` は、互いに独立して自由な値を持てるので、これら二値の関係は "orthogonal" です。一方で `userId` と `userName` という変数の場合は、`userId` を変更すると同時に `userName` も更新しなくてはいけないので、これらの関係は "non-orthogonal" です。 この "non-orthogonal" な関係を解消することで、不正な値の
始まったばかりだと思っていた21世紀も、気がつけばすでに1/4が経過しようとしているが、われわれが未来の象徴のように思っていた「新世紀」は、9.11のテロで幕を開け、リーマンショック、3.11の未曾有の災害と続き、挙句の果ては新型コロナという感染症の流行と前世紀の冷戦の影を引きずるようなウクライナ戦争の勃発で先が見えない。 その一方でデジタル化やネット化が確実に進行し、スマホやSNSが広く社会に普及し続け、AIが将棋や囲碁で人間の世界チャンピオンを打ち負かし、ついには誰もが、絵を描いてくれたり、ChatGPTのようなどんな質問にも卒なく答えてくれたりするAIソフトを自由に使えるようになり、コンピューターの能力が人間の知力を上回るとされる「シンギュラリティー」がもうすぐ実現するという声も聞かれる。 多くの人にとって、こうした「デジタル」が象徴するイメージは、AIで仕事が奪われるという悲観論は
連載目次 本稿は、ニューラルネットワーク（以下、ニューラルネット）の仕組みや挙動を、数学理論からではなくPythonコードから学ぶことを目標とした連載（基礎編）の第2回です。「難しい高校以降の数学は苦手だけど、コードを読んでロジックを理解するのは得意！」という方にはピッタリの記事です。 前回の第1回では、本連載の目的や特徴を示した後で、「ニューラルネットの訓練（学習）処理を実現するために必要なこと」として、 ステップ（1）順伝播： forward_prop()関数として実装（前回） ステップ（2）逆伝播： back_prop()関数として実装（今回） ステップ（3）パラメーター（重みとバイアス）の更新： update_params()関数として実装（次回）。これによりモデルが最適化される という3大ステップを示しました。前回はこのうちの「ステップ（1）順伝播」まで実装が完了しています。今回
＊この記事は統計学や機械学習を専門としていない学生が書いた主観的なまとめ記事です。間違いが含まれている可能性があります。 統計学・機械学習を学んでいると、たくさんの手法や考えが出てきてよくわからなくなります。 特に自分が何かに取り組んでいるときには、今やっている手法が全体から見てどういうものなのか、より良い手法が無いのかが気になってしまいます。 まるで地図を持たず森の中を彷徨っているような感覚です。 そこで、統計学・機械学習で使われる概念や手法を自分なりにまとめて頭を整理したいと思います。 以下のような図になりました。 以下にそれぞれを説明します。 数理科学 統計学・機械学習のベースとなる学問です。 主に解析学、代数学、幾何学からなります。 微分積分学と線形代数学が基本になってるのは言うまでもないと思います。 その他に個人的に関わりが深いと思う分野を３つ挙げます。 確率論 大数の法則(中心
今日考えたいのは、 や というタイプの積分です。 いわゆる無理関数の積分と呼ばれるもので、大学受験でも難関大学の問題として登場するみたいですね。 今回の記事のきっかけとなったのは、清さんによる以下のツイートです： 【清史弘からの提案 7 】 教育系YouTuber の人に向けて、このような動画はどうですか? という内容です。もちろん、YouTuber でない方もご参加ください。 私の考え方は24時間以内にあげようと思っています。 これは、唯一の正解というよりは、いろいろとあってよいと思います。#清史弘からの提案 pic.twitter.com/UokREtslQt— 清 史弘 (@f_sei) 2020年9月13日 上のツイートによると、今回の積分は という変数変換がキーになるようですが、いったいどこからこの式が現れたのか説明せよ、というのが問題です。 清さんのツイートの引用リツイートに、
こんにちは、delyでクラシルiOSアプリ開発を担当している稲見 (@inamiy)です。 この記事は「dely #2 Advent Calendar 2020」の25日目の記事です。 dely #1 Advent Calendar 2020 dely #2 Advent Calendar 2020 昨日は、delyのSREチームのjoooee0000(高山)さんによる delyのSREチームがオンコールトレーニングを導入する3つの理由 の記事でした。 オンコール対応できるエンジニア、強くてカッコいい・・・ 私の方からは、メリークリスマス🎄🎅🔔 にふさわしい Elm Architecture による unidirectional なプレゼントをお届けします🎁 (2020/12/26 EDIT: タイトルを「なぜ MVVM は Elm Architecture に勝てないのか」から「
今年度の文化勲章の受章者に元プロ野球選手の長嶋茂雄さんなど9人が選ばれました。また文化功労者には、俳優で歌手の加山雄三さんなど21人が選ばれました。 文化勲章を受章するのは次の9人の方々です。 元プロ野球選手で元監督の長嶋茂雄さん、本名・長島茂雄さん（85）。 国民的ヒーローとして野球界の発展に尽力したほか、東京オリンピックでは開会式の聖火リレーに参加し、大会を盛り上げました。 ことしのノーベル物理学賞に選ばれた真鍋淑郎さん（90）。 地球温暖化の理論的基礎を確立するなど、気象学・気候学の分野で世界をリードする業績を上げました。 歌舞伎俳優の尾上菊五郎さん（79）、本名・寺嶋秀幸さん。 男役の「立役」と「女方」の代表的な役をどちらも務め、いわゆる人間国宝に認定されるなど、日本の芸術文化の発展に寄与しました。 名古屋大学名誉教授で分子生物学が専門の岡崎恒子さん（88）。 DNA複製や染色体に
Blogs by Shuvomoy Das Guptaより。 シュボモイ・ダス・グプタ 2020年4月13日 最近、ドナルド・クヌースの新旧のインタビューを偶然見つけました。そこでは、彼の仕事の習慣、問題への取り組み方、そして幸福に対する哲学が明かされています。私はそのインタビューをとても楽しく読みました。このブログでは、問題への取り組み方、日々の活動の整理、そして幸福の追求についての彼の考えを記録しています。 研究において森と木の両方を見る。「私は長年、多くの大学院生が論文を見てきましたが、彼らの研究は、私が説明しようとすることを裏付けるようなパターンになることが多いのです。例えば、未知の複雑な問題を解決しようとするとき、あなたは新しい世界に足を踏み入れる探検家です。最初は脳がその領域を学習し、問題の世界で小さな一歩、ほんのわずかな一歩を踏み出しているのです。しかし、しばらくその問題に没
フーリエ級数展開は関数の座標を決めている｜Dr. Kano
ほとんどの工学部の学生はフーリエ級数展開を学ぶと思うが，これが何をしているかということを，イメージを持って理解しておいて欲しい．というのも，何の因果か，大学３回生を対象にした，フーリエ級数展開やフーリエ変換の講義を担当しているからだ．これらに限らず，数学を勉強するときは，イメージを持つことが大切だ．式変形ができても，そのイメージを持てていないと，実際に使うのは難しい． あなたが今いる場所はｘ，ｙ，ｚの３つの座標 (x, y, z) で表現できる．この３つの座標を使うと，他の誰かの場所も特定できる．我々は３次元空間に生きているからだ．２人がどれだけ離れているかは距離を計算すればわかる．（時間は無視） さて，関数 f(x) も無限に存在する．x の多項式であったり，指数関数であったり，三角関数であったり，何でもありだ．それらの関数はどの程度似ていて（近くて），どの程度異なる（遠い）のだろうか．
家のホワイトボードに“11 13 17 19”と書いてあったので娘(6歳)に何これ？と聞いたら『九九に出てこない数字を書き出しているの』と言われた
リンク Wikipedia エラトステネスの篩 エラトステネスの篩 (エラトステネスのふるい、英: Sieve of Eratosthenes) は、指定された整数以下の全ての素数を発見するための単純なアルゴリズムである。古代ギリシアの科学者、エラトステネスが考案したとされるため、この名がある。指定された整数x以下の全ての素数を発見するアルゴリズム。右のアニメーションでは以下のステップにそって2 から 120 までの数に含まれる素数をさがしている。探索リストに2からxまでの整数を昇順で入れる。探索リストの先頭の数を素数リストに移動し、その倍数を探索リス 15 リンク Wikipedia 素数 素数（そすう、英: prime number）とは、1 より大きい自然数で、正の約数が 1 と自分自身のみであるもののことである。正の約数の個数が 2 である自然数と言い換えることもできる。1 より大
はじめに こんにちは，みるか（@mirucaaura）と申します．絶賛ニート生活を謳歌している（Ref: 新卒で入社した会社を退職しました）のですが，あまりに何もしなさすぎて苦しくなってきたので，これまで Twitter でブックマークしてきたツイートを遡って有益そうな PDF や講義動画をここにまとめておきたいと思います． PDF，講義動画，Webサイトの順に列挙していきますが，特に一貫性はありません．ご容赦ください． PDF 線形代数学講義ノート：線型代数の講義ノート．線型代数ともなると Web 上に多くの PDF が落ちていると思うので好きなものを参照すればいいと思う．この PDF が良いのは他ではあまり扱われない双一次形式や無限次元ベクトル空間を章を立てて記述されているところで，関数解析を学ぶときの良い導入になりそう． 工学のための関数解析PDF：山田『工学のための関数解析』の行間
線形代数をBlenderで、やる｜Melville
「線形代数をBlenderで、やる」とはどういうことでしょう？ とりあえずこの画像を見てください これだけではよくわからないと思いますが、 要するに下の画像と全く同じ計算をやっています 確かに「結果」がBlenderの画像で並んでいる数字と同じになっているBlenderのノードの側にもよく見ると、3,1,4…と、 WolframAlphaの画像と同じ値が並んでいるのが確認できます 左の3つのノードが左の行列を表し、右の3つのノードが右の行列を表しているさて、このBlenderのノードシステム（GeometryNodes）ですが、 本来は3DCGのジオメトリをプロシージャルに生成にするためのもので、 決して線形代数をするための機能ではありません！ しかし、それをうまく悪用すれば使えば、 上のような行列の演算をさせて線形代数遊びができます！ この記事の最後では、これを応用して次のGIFのような
【オススメ!】『ULTRA LEARNING 超・自習法 どんなスキルでも最速で習得できる9つのメソッド』スコット・H・ヤング : マインドマップ的読書感想文
ULTRA LEARNING 超・自習法 どんなスキルでも最速で習得できる9つのメソッド 【本の概要】◆今日ご紹介するのは、先日の「未読本・気になる本」の記事にて大人気だったスキルアップ本。 当ブログ向きのテーマな上に、ノウハウがてんこ盛りだったため、思わずハイライトを引きまくりました。 アマゾンの内容紹介から一部引用。TEDで話題騒然!「世界中の勉強法マニア」をザワつかせる注目の学習法を初書籍化! 全米が認める「ウォール・ストリート・ジャーナル・ベストセラー」! 語学・プログラミング・文章力・デッサン・ゲーム開発・プレゼン…。あらゆるスキルに通用する「究極の学習法」そのメソッドがついに明らかに! 版元がダイヤモンド社さんということで、Kindle版なら1割引きでお求めになれます！ practice / mikecohen1872 【ポイント】■1.強調／除外法 強調／除外法ではまず、学習
TypeScriptで関数型プログラミングしたい勢に推したいPipeline operatorの良さ - タオルケット体操
前置き Rubyで一瞬だけ湧いて出てきて消えたPipeline風演算子については忘れてください。あれはメソッド呼び出しの演算子であって今回取り上げるPipeline operatorとは似て非なるものです。 JavaScripterでも、Ramda.jsやRxJSを普段から使っている人には既知の内容だと思うのでこの記事は読まなくて大丈夫です。 ちなみに僕のステータスは関数型にわか勢なので認識に間違いがあったらなんらかの訂正もらえるとうれしいです。 Pipeline operatorとは 古くはML系の言語で定義されてF#やElixirの流行で一般に有名になった演算子こと |> です。 f a を a |> f と書けるようになります。 詳しくはこちらで: https://mametter.hatenablog.com/entry/2019/06/15/192311 覚えた方がいい理由 Ty
CEDECはCygamesやカプコン、セガなどが参加するコンピュータエンターテインメント協会が毎年開催するイベント。ゲーム開発者の技術力向上や情報交換が目的で、2021年の「CEDEC 2021」は8月24日から26日にかけてオンラインで開催予定。 関連記事 「動画で助かる」「IT基礎知識が一通り学べる」──各社が公開した新人エンジニア向けの研修資料が話題に 人気資料まとめ IT企業が社内の新人エンジニアに向けた研修資料を無償公開して話題になっている。学べる内容はIT業界の文化からゲームエンジン「Unity」を使ったゲーム開発までさまざまだ。改めて公開内容と目的をまとめた。 サイボウズの“駆け出しエンジニア”向け研修資料が話題 Webアプリ開発やIT文化の基礎を無償公開 サイボウズが公式ブログで無償公開している、新人ITエンジニア向けの研修資料がTwitterで話題だ。Webアプリ開発の基
大人のスタディサプリを探したら『教養は生きていく武器になる』にたどりついた - おやこ2人３脚 塾なしで地域トップ高校に受かるまで 本をすきになる♬
前々回の 塾なしで中一の壁を 乗り越える最高の教材で www.himegumatan.com 高校生ひめちゃんが 先生代わりの教材に 使っている スタディサプリを 中学生時代に 中学生講座 を使ってたら もっとお勉強が はかどっていただろうなぁと おすすめしているのですが toypoo-camperさん (id:toypoo-camper)が (素敵で美味しい キャンプシーンを 教えてくださるブログで 野外でごはんが いただきたくなります😋) 大人のスタディサプリ もありますよ～ と教えてくださって ちょっと調べたら 大人向けにも 英語のスタディサプリがありました こちらは日常会話コース 海外旅行にいい感じですね~ こちらは TOEICの対策プログラム だそうですが神プログラムとはすごい(^-^; 英語が必要な企業は 定期的にTOEICを 実施しているようですね 英語を日常的に業務に使う
Link to hereはじめに この記事では、Haskellを業務でカジュアルに使う観点やヒントについて、簡単に紹介します。 Haskellを業務で使える局面は、以下のようにいくつか考えられます。 「プロダクト」の開発用言語として、Haskellを使う 「作業」の支援・加速用に、Haskellを使う 「思考」の支援・加速用に、Haskellを使う つまり、プロダクトの開発用言語としてHaskellを用いない業務形態においても、上記2や3のケースとして、Haskellを使用できます。すなわち、Haskellは幅広い局面でカジュアルに、つまり気軽に手軽に使用できます。 本記事では、特に、上記の2と3について、いくつかの観点やヒントや例を紹介します。 なお、上記は、Haskellを用いる場合には限りません。Python, Perl, Ruby, Rust, Scala, OCaml, Cloj
今年の3月から機械学習の勉強を始めて9ヶ月たったのでその振り返りと今後機械学習に入門する人の参考になればという記事です。 巷の記事だと「数学何もわからない人向けの機械学習~」みたいなものが多いので「数学チョットワカル人向け」に勉強方法をまとめてみようと思いました。 前提として筆者は大学で数学を専攻しており、社会人になってからはプログラミングを生業としております。 # 前提知識のおさらいいきなり機械学習入門～のような書籍に入る前に、基礎知識としてこの辺を抑えておくと良いと思います。 ## 線形代数:大学1年レベル機械学習の説明はほとんど行列の計算として表現されますので大前提として。手を動かして計算問題を解くのもおすすめです。 プログラミングのための線形代数 https://www.amazon.co.jp/dp/4274065782 ## 基礎統計(頻度主義):大学1年レベル正規分布や指数分
2020 年 4 月に修士卒で入社した会社を退職しました．在籍期間は一年間と短かったので，特に語るようなこともないのですが，自身の振り返りも込めて書き記しておきたいと思います． あなたは誰？ みるかと申します．Twitter は @mirucaaura です．「みるかさん」とか「みるか氏」などと呼ばれています．学部は工学部（非情報系）で修士は情報学（数理工学）でした．情報系と言ってもコンピュータをいじったりプログラミングをガリガリ書くようなところではなく，数理的なアプローチで諸現象／工学的問題を理解／解決しようという研究科に所属していました． 入社まで 修士のときは，特にやりたいこともなく，インターンなどにも参加せず，漠然と田舎でのんびりと暮らしたいと本気で思っていました．しかしながら，田舎でのんびりと暮らしていけるほど裕福ではないので，働く必要があったわけですが，地方では公務員くらいしか
仕事も友達もKaggleで得た―。敏腕データサイエンティストが熱中する、分析で「競う」世界 | 外資就活ドットコム
仕事も友達もKaggleで得た―。敏腕データサイエンティストが熱中する、分析で「競う」世界2021/05/10 世界中のデータサイエンティストら15万人以上が参加する「Kaggle（カグル）」。企業や公的機関によるデータ分析のコンペティション（コンペ）が常時開かれ、多くの参加者が腕を競う。彼らの最高峰に立つのが、世界で約200人、日本人では数えるほどとされる「Kaggle Grandmaster」。米国GPU（画像処理半導体）大手のNVIDIA（エヌビディア）で働く小野寺和樹さんは、その称号を持つ一人だ。プログラミング、数学、分析対象となる分野の知識など、幅広い力が求められるコンペで勝ち続ける彼は、現在「Kaggleに参加すること」が仕事なのだという。世界最高峰のデータサイエンティストはどんな思考をするのか、そして、時に寝る間も惜しんで熱中するというKaggleの魅力とは何か。小野寺さんに
セガは11月1日、次世代ゲームの開発に向け、米Microsoftと戦略的提携を進めることに合意したと発表した。2024年から25年にリリース予定の、国際展開を視野に入れたゲームソフト群「Super Game」の開発に「Microsoft Azure」を活用するという。 Super Gameは、セガが中長期的な事業戦略の1つに掲げるプロジェクト。セガはオンラインサービスの提供に必要なインフラや、コミュニケーションサービスの構築にAzureを活用するという。 関連記事 ソニーとMicrosoft、クラウドベースのゲームとAIで提携 PlayStationのオンラインゲームをAzureで ソニーとMicrosoftが、ゲームとAIでの戦略的提携を発表した。PlayStationとXboxのためのAzureベースのクラウドソリューションを共同開発していく。また、ソニーのイメージセンサーとAzure
昨日のブログに、大学入学共通テストの科目として「情報」が採用されるらしい、ということを書きました。 selfmanagementforkids.hatenablog.com 昨日はとてもざっくりとした情報しか書けなかったので、今日は少し詳細について書いていきたいと思います。書いていたら長くなってしまったので、興味がない方は今日のブログは読み飛ばしていただければと思います。 良い休日をお過ごしください(^_-)-☆ さて。 ここから先は、興味がある方が読んでくださるというつもりでじっくり書きます。 まず、普通高校では、2022年度から「情報Ⅰ」が必履修科目として、「情報Ⅱ」が選択履修科目として実施されます。そして、このうち「情報Ⅰ」が大学入学共通テストの科目となるようです。つまり、今のところ「情報Ⅱ」は共通テストの対象外です。 この改正はいったいどの学年から対象になのか？についてですが、 文
ワイドインタビュー問答有用：スパコンの栄光と挫折 井上愛一郎・元「京」開発責任者／781 | 週刊エコノミスト Online
「京は日本のものづくりの洗練の極みだと思う」 撮影＝浜田 健太郎 スーパーコンピューター「京」世界一を主導した天才肌のエンジニア。だが目標達成が見えてきたその時、部下１００人を奪われ富士通で居場所を失った。不遇を乗り越えた今、高校生へのＩＴ教育に情熱を注いでいる。 （聞き手＝浜田健太郎・編集部） 「計算力を分散させた発想は時代を先取り」 「日本でなぜ技術革新が阻害されてしまうのか、身をもって経験した」 ── 国立研究開発法人理化学研究所と富士通が共同開発したスーパーコンピューター「京」が昨年８月、電源を遮断して、２０１２年９月の本格稼働から７年間で運用を終えました。井上さんは富士通側の責任者でしたが、どんな心境でしたか。 井上 一つの時代が終わったなという思いでした。京は、単体としてのコンピューターの性能向上を求められる時代の最後に登場したスパコンだったからです。その後、スマートフォンなど
機械学習エンジニア1年目の自分へのおすすめ書籍
はじめに 本記事はBrainPadアドベントカレンダー2021に寄稿しています。 私は現在、株式会社BrainPadで新卒3年目の機械学習エンジニアとして働いています。BrainPadでは福利厚生の一環として、外部の研修や書籍の購入、各種資格の取得に利用できるスキルアップエイドという制度が用意されています。 私はこの制度を主に技術書やビジネス書の購入のために利用しており、機械学習エンジニアとしての能力向上を図っています。本記事では私がこれまでに購入した書籍の中から、機械学習エンジニアとして働く上で参考になったと感じた書籍を振り返っていきます。 機械学習エンジニアの能力とは 現在は多くの企業で、データサイエンティスト、機械学習エンジニア、MLOpsエンジニアといったポジションが作られていると感じます。これらの職種に必要とされる能力は、データの性質や業務への関わり方によって変わると考えられ、一
最近、機械学習を勉強している人が増えてきたので、簡単な機械学習ならわかるよといった人たち向けに将棋AIの開発、特に評価関数の設計について数学的な側面から書いていこうかと思います。線形代数と偏微分、連鎖律程度は知っているものとします。 3駒関係 3駒関係はBonanzaで初めて導入された、玉と任意の2駒との関係です。この線形和を評価関数の値として用います。評価関数とは、形勢を数値化して返す数学的な関数だと思ってください。 この3駒関係を俗にKPPと呼びます。King-Piece-Pieceの意味です。将棋の駒は40駒ありますので、{先手玉,後手玉}×残り39駒×残り38駒/2 通りの組み合わせがあります。この組み合わせは1482通りあります。Cをコンビネーション記号とすると、次のようになります。 $$ 2 \times {}_{39}C_{2}= 2 \times \frac{39 \tim
魔界ノりりむが 積分の問題を解けるまで おわれません 【にじさんじ】 積分RTA、りりむは天才ないい女。 - ゆるりわんわんお
※積分RTAという言葉は、配信のチャット欄の方から拝借しました。素晴らしい比喩でした。 魔界ノりりむが 積分の問題を解けるまで おわれません 【にじさんじ】 出演・ユニット：グウェル・オス・ガール、魔界ノりりむ おすすめポイント：積分RTA。しっかり意味まで理解した感動巨編 2020年9月19日、京と秋のにじさんじのSMC組が行われている裏、というか始まる前からひとつ素晴らしい配信が行われました。マジで感動の巨編だったので、その成長っぷり、1からアーカイブを追ってほしい気持ちはあります。りりむちゃんの天才、理解力の早さはすごかったし、グウェルさんの教え方もめちゃくちゃ丁寧で、公式をただ教えるだけではなくて、しっかりと導出から教えていてすごかった。もちろん京と秋のにじさんじも素晴らしく、SMC組が3Dでそろい、3人が楽しくやっている様子はめっちゃよかったです。…厨としては供給が多くて最高でし
こんにちは！ファンと共に時代を進める、Web3スタートアップのGaudiyでエンジニアをしている椿（@mikr29028944）です。 先日、Gaudiyではサーバーサイドウォレットの構築やEthereumにおけるECDSA署名の実装を行いました。 そこで今回は、少しニッチではありますが「ECDSA署名」をテーマに、Gaudiyの事業背景から、ECDSAの数学的な処理とコードまでを、実例をふまえてお伝えしてみたいと思います。 はじめに断っておくと、僕は大学時代にzk-SNARKsの理論を研究していたため、代数学を学んだことはありますが、この領域における専門家ではありません。なので理解が誤っている部分があれば、ぜひご指摘いただけると嬉しいです。 Web3スタートアップで働くことに興味がある方や、ブロックチェーンを業務で扱うエンジニアの方にご参考になればと思い、詳しく書いていたら1万5千字を超
大学1年生のときに読みたかった 量子力学の教科書―谷村 省吾『量子力学10講』（ALL REVIEWS） - Yahoo!ニュース
◆大学1年生のときに読みたかった 量子力学の教科書 ◇「線形代数がわかれば量子力学もわかる」――私が書いた本 私は昨年（2021年）11月に『量子力学10講』という題の本を名古屋大学出版会から出しました。タイトルどおり10回の講義で量子力学を解説するような形で書いた本です。読者としては現代の理系の学部1年生を想定しており、学生が初めて独習する量子力学の本として使えるようにと思って書きました。また、本の正誤訂正と補足ノートをネットに公開しています。 「線形代数がわかれば量子力学もわかる」をスローガンに、本書では線形代数の延長として量子力学を捉えるというスタイルを採りました。竹内外史氏の『線形代数と量子力学』（裳華房）が、まさにそういう方針で書かれた本だと思います。『線形代数と量子力学』は、たんに線形代数に量子力学を「味付け」した本ではなく、ヒルベルト空間と射影作用素・自己共役作用素・ユニタリ
渡辺澄夫先生と初めてお会いしたのは、私が産総研の麻生英樹先生が主催していた研究会に呼ばれて、90分程度のセミナーで話をしたときでした。大阪大学に(専任)講師として着任した1994年の初夏で、ベイジアンネットワークの構造学習に関する内容だったと思います。そのときに、2-3分に1回くらい、終わってみると全部で20-30回くらい私に質問をされた方がいました。その方が渡辺先生でした。 渡辺先生が、「学習理論の代数幾何的方法」というタイトルで、IBIS（情報論的学習理論ワークショップ）という機械学習の研究会で講演されたのは、それから5年ほど後のことでした。私自身も当時、代数曲線暗号や平面曲線に関する論文も書いていて(J. Silverman氏との共著論文は、100件以上引用されている)、ベイズ統計学と代数幾何学はともに自信がありました。しかし、渡辺先生のIBISの話は、オリジナリティに富みすぎていて
Amazonが作ったサーバレスアプリケーションのための軽量VM、Firecrackerの論文を読み解く -その1- - inductor's blog
このエントリーについて このエントリーを書き始めた経緯は下記にあります。 blog.inductor.me 1. はじめに(Introduction) サーバーレスコンピューティングは、[4、16、50、51]などのパブリッククラウド環境と[11、41]などのオンプレミス環境の両方で、ソフトウェアやサービスをデプロイ、管理するためにますます一般的になっているモデルです。サーバーレスモデルは、サーバーの運用やキャパシティ管理、自動スケーリング、従量制の価格設定、イベントおよびストリーミングデータのソースとの統合など、いくつかの理由において魅力的です。コンテナは、Dockerによって最も一般的なかたちで具体化され、運用オーバーヘッドの削減や管理性の向上など、同様の理由で一般的になっています。コンテナとサーバーレスは、従来のサーバープロビジョニング処理に比べて明確な経済的利点を提供します。マルチ
オブジェクト指向の哲学とデザイン 清水高志： 最近僕は概念を造形的に考えることが多くて、それが哲学とデザインに共通する話につながってくるんじゃないかと思っています。 ドゥルーズは『ベルクソニズム※1』などの書物で、概念は最初から複数の概念対が複合したものとしてあると語っています。たとえばプラトンは『パルメニデス※2』で、「一」とか「多」とかいうバイナリーな概念の対を単独で語るのではなく、それを別の概念の対と結びつけてより具体的に語っています。つまり、「一」というのは「ある」とか「ない」という概念の対と結びついて、「一」が「ある」とはどういうことか、また逆に「多」が「ある」とはどういうことかを考える。最初から哲学はこうした操作としてあって、その中で似たような概念対同士の違いも明らかになってくるわけです。 これは哲学の概念の話ですが、最近僕はどうも人間が世界を認知する局面でも、すでに似たような
小学校でプログラミング教育が始まった理由の1つに「論理的思考を鍛えるため」というのがあります。しかし、角川アスキー総研の遠藤諭氏はあえて論理的思考を“避ける”ことを考えるのがプログラミングと言います。その真意はどこにあるのでしょうか。 プログラミングをするときにいちばん大切なことはなにか 情報処理学会の『情報処理』最新号（2021年月号 Vol.62 No.3）に記事を書きました。といっても、それほど大げさな内容ではなく、「プログラミングをするときにいちばん大切なことはなにか」について書いたつもりです。 情報処理 「情報処理」は，急速な進歩を続ける情報技術分野を中心とした最新の情報科学技術を，分かりやすく，読みやすくをモットーに解説・紹介しています．情報処理技術者・研究者または情報処理を学ぼうとする学生にとって有益な情報源となっています． www.fujisan.co.jp これからプログ
非モテ男だけど英検と数学とジムに救われている
恋愛したくなったり、風俗に行きたくなったり、過去何度も敗退したマッチングアプリに登録してみたくなったりする 3年前くらいにここでこういう苦しみを吐露した時に「物理と筋トレをしろ」と言われた それ以来、異性への関心や渇望が湧いたら運動するか勉強することにしている 運動は市立体育館のジムをビジター利用 常にいるアルバイトのマッチョなお兄さんに教えてもらって筋トレするか、ランニングマシンで走る 勉強は英検か数学 英語歴は中学の英検、高校の大学受験、大学時代のTOEICくらいだったが、コツコツと勉強し続けたことによって英語検定一級を取得した 数学は大学受験（文系）のセンターと個別で利用した数学1A2Bまでで大学に入ってからは頭から吹っ飛んでいた 中学数学から始め、基礎問題精講や青チャートを使って記憶を辿り、数3にも手を出し、高校数学が終わった現在は解析、線形代数、確率の入門書を一冊ずつ購入してそれ
すさまじい数学的証明｢MIP*=RE｣が予言する、量子コンピューターが可能にすること2020.02.28 12:3028,845 Ryan F. Mandelbaum - Gizmodo US ［原文］ （ 山田ちとら ） 学校で習った数学とはまるっきり違う世界へ、ようこそ。 ここは洞窟のなか。暗い地下道を進んでいくと、つきあたりに鍵のかかったふたつの部屋が現れます。中には、全知全能の仙人がひとりずつひっそりと佇んでいます。あなたが質問すれば、仙人たちはひとりずつ答えてくれます。 ところが困ったことに、仙人たちが常に真実を語ってくれるとは限りません。そして仙人同士は互いに意思疎通を図れないものの、あなたの問いかけに返してくる答えそのものはもつれ合い、連動しています。ですから、あなたが知りたい問題の答えを導き出すには、よく考えて賢く質問しなければなりません。質問によって、そしてその答えによっ
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
自分のはてなブックマークをChatGPTにつないだ - Lambdaカクテル
Scala3でコードは爆速になる マルチステージプログラミングの考え方
直感でわかる、ヒューリスティック問題の羅針盤 ～貪欲法から山登り法まで～ - Qiita
コードの可読性についてのプレゼンテーション紹介 vol. 3: "状態と手続き" 編
『アナロジア AIの次に来るもの』アナログ王国序説ーーデジタルを超えた次の時代を読む方法 - HONZ
図とコードで必ず分かるニューラルネットワークの逆伝播
統計学・機械学習を自分なりに概観してみた - Qiita
無理関数の不定積分と双曲線、微分形式 - tsujimotterのノートブック
なぜ MVVM + FRP は Elm Architecture に勝てないのか - dely Tech Blog
文化勲章 長嶋茂雄さん ノーベル物理学賞の真鍋淑郎さんら9人 | NHKニュース
ドナルド・クヌース: 仕事の習慣、問題解決、そして幸福について
数学の勉強に役立ちそうなサイトなど - 冷めたコーヒー
Cygames、「若手ITエンジニアの育成ノウハウ」など講演動画5本を公開 期間限定で
Haskellを業務で使う、カジュアルに - Haskell-jp
数学に強いエンジニアむけの機械学習勉強法
新卒で入社した会社を退職しました - 冷めたコーヒー
セガがMicrosoftと戦略的提携へ 次世代ゲームの開発にAzure活用
高校の「情報Ⅰ」と「情報Ⅱ」では何を学ぶのか？ - 研究職ママの子育ち日記～子どもの学び方を考える～
機械学習エンジニアのための将棋AI開発入門その1 | やねうら王 公式サイト
ECDSA署名の数学的理解とCloud KMSによる実装 - Gaudiy Tech Blog
まえがき: 渡辺澄夫ベイズ理論の素晴らしさを多くの方に伝えたい | 機械学習の数理100問シリーズ
清水高志, 上野学「デザインと哲学、その未分の源流で」 | ÉKRITS / エクリ
論理的思考を“避ける”のがプログラミング 遠藤諭が考えるプログラミングにいちばん大切なこと
すさまじい数学的証明｢MIP*=RE｣が予言する、量子コンピューターが可能にすること