複雑な式を見ると思考停止してしまいがちなあなたへ Unity社エンジニアが語る、少しでも数式に向き合うためのコツ
Unityを学ぶための動画を集めたサイト「Unity Learning Materials」。ユニティ・テクノロジーズ・ジャパンの安原氏が、ゲーム制作に使う数学について解説しました。Part2は、式の読み方について。複雑な式に対してどの部分に注目するかを解説し、少しでも数式に向き合えるコツについて話しました。 数式を見る時間をどうにか3秒まで伸ばしたい 安原祐二氏（以下、安原）：次はパート2ですね。ここではかなりフワッとした話をします。数学の話をする時は、どれだけ間違ったことを言わないかと気をつけなければならないので本当に大変なんですが、ここは本当にフワッとした情緒的な話をしていきたいと思います。そのほうがわかりやすいことも多いかと思うので、お話として聞いてみてください。 これはマサチューセッツ工科大学の購買部で売っているTシャツで、僕の同僚が買ってきてくれたお土産です。これがグッズと
中学・高校数学で学ぶ、数学×Pythonプログラミングの第一歩
中学・高校数学で学ぶ、数学×Pythonプログラミングの第一歩：数学×Pythonプログラミング入門 「Pythonの文法は分かったけど、自分では数学や数式をプログラミングコードに起こせない」という人に向けて、中学や高校で学んだ数学を題材に「数学的な考え方×Pythonプログラミング」を習得するための新連載がスタート。連載コンセプトから、前提知識、目標、本格的に始めるための準備までを説明する。 連載目次 この連載では、中学や高校で学んだ数学を題材にして、Pythonによるプログラミングを学びます。といっても、数学の教科書に載っている定理や公式だけに限らず、興味深い数式の例やAI／機械学習の基本となる例を取り上げながら、数学的な考え方を背景としてプログラミングを学ぶお話にしていこうと思います。 今回は、それに先だって、プログラミングを学ぶ上で数学を使うことのメリットや、Pythonでどのよう
数学系YouTubeコンテンツ
最近数学系の動画コンテンツについて調べてみたところ、意外にも既に多くのYouTuberが存在するということが判明した。我々もYouTubeのチャンネルは作ったところで、今後足りないジャンルのコンテンツは強化していきたいと考えているが、既に教育的な活動をなさっている方々のコンテンツを有効活用するのは先決だろう。全部調べきれたわけではないが、ここではシェアもかねて紹介したい。 ●龍孫江の数学日誌 in YouTube チャンネル https://www.youtube.com/channel/UCO34XpHxdG8P2n5aTPXSaZQ まずは、私が久々に数学を見るきっかけになった龍孫江さんのチャンネルである。主に群・環・体といった代数学について丁寧な解説がされており、「数学用語くらいはわかるが、実際の数学の証明や計算に慣れていない」人を対象にした内容だと思われる。一つ一つの動画は10～3
はてなグループの終了日を2020年1月31日(金)に決定しました - はてなの告知
はてなグループの終了日を2020年1月31日(金)に決定しました 以下のエントリの通り、今年末を目処にはてなグループを終了予定である旨をお知らせしておりました。 2019年末を目処に、はてなグループの提供を終了する予定です - はてなグループ日記 このたび、正式に終了日を決定いたしましたので、以下の通りご確認ください。 終了日: 2020年1月31日(金) エクスポート希望申請期限:2020年1月31日(金) 終了日以降は、はてなグループの閲覧および投稿は行えません。日記のエクスポートが必要な方は以下の記事にしたがって手続きをしてください。 はてなグループに投稿された日記データのエクスポートについて - はてなグループ日記 ご利用のみなさまにはご迷惑をおかけいたしますが、どうぞよろしくお願いいたします。 2020-06-25 追記 はてなグループ日記のエクスポートデータは2020年2月28
超難題…16次方程式の「判別式」作成に成功 京大 - 日本経済新聞
京都大学の木村欣司特定准教授は、16次方程式の答えがいくつあるかを調べる「判別式」の作成に成功した。約1000億個の文字を並べたのに相当する複雑な式だという。16次方程式は「xの16乗」を含んだ方程式で、解の数は0～16個ある。方程式の次数が増えるほど、判別式を求めるための計算量が膨大になる。15次方程式までは判別
オンラインで入手できる数理論理学・数学基礎論のテキスト
オンラインで入手できる数理論理学・数学基礎論のテキスト 数理論理学、数学基礎論の教科書的に使えるテキスト（講義ノート、サーヴェイ、モノグラフ等）のうち、オンラインで入手できるものを集めました。 入門的概説 論理一般 高階論理と型理論 直観主義論理 コンビネータとラムダ計算 時相論理および時制論理 様相論理 適切さの論理 自然言語の論理 空間論理 モデル理論 安定性理論 無限論理 計算可能性理論および再帰理論 集合論 pcf理論 記述集合論 実数の集合論 選択公理 強制法と内部モデル 連続体仮説 NF 証明論と構成的数学 順序数解析 算術の体系と不完全性 証明可能性論理 線形論理 構成的数学 代数的論理と圏論 ブール代数 普遍代数 量子論理 圏論 歴史 入門的概説 [▲] 加茂静夫，「数理論理学（命題論理と述語論理）」．[PDF] 嘉田勝，「数理論理学 講義ノート（2013年度版）」． St
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
その数式、プログラムできますか？ | SEshop.com
GitBook – Knowledge management for technical teams