2020年度後期・数理解析・計算機数学 II
[ ホーム | 講義 ] 2020年度後期・数理解析・計算機数学 II (同 概論II) レポート課題 レポート課題 提出期限 2021年1月27日(水) (1月13日10時45分訂正) 講義予定 シラバス 1回目（10月7日1限）の教室は多元109号室に変更 2回目以降も多元109号室で講義を行う 第1回10月 7日 Coq/SSReflectの論理 講義メモ 資料 EmacsでCoqを使う 設定ファイル coq.emacs (.emacs にコピーす る) 第2回10月14日 述語論理とSSReflectのタクティック 講義メモ 第3回10月21日 再帰的な定義と帰納法 講義メモ 第4回10月28日 帰納的な定義と多相性 講義メモ 第5回11月4日 Mathcomp, 自己反映と単一化 講義メモ ssrbool_doc.pdf, ssrnat_doc.pdf (R. Affeldt の
数学とコンピュータ・サイエンスの年
Quanta Magazineより。 数学者とコンピュータ科学者は、コンピュータの能力が向上し続けると同時に、位相幾何学(トポロジー)、集合論、さらには物理学における重要な問題に答えを出した。 ビル・アンドリュース 数学者やコンピュータ科学者にとって、今年は集合論、位相幾何学(トポロジー)、人工知能などの分野で飛躍的な進歩を遂げただけでなく、失われつつある知識を保存し、古い問題を再検討したりする刺激的な年となりました。この分野の基本的な問題に新たな進展が見られ、数学の遠い分野にまたがるつながりを称え、数学と他の分野とのつながりが拡大しました。しかし、多くの結果は部分的な答えに過ぎず、探索のいくつかの有望な手段は行き止まりであることが判明し、将来の(そして現在の)世代に仕事を残すことになりました。 すでに忙しい年を過ごしていたトポロジストたちは、この秋、40年前の重要な仕事が失われようとして
技術ようつべチャンネル集 - Qiita
役立つYouTubeのチャンネルまとめ 数学、物理、アルゴリズム、プログラミング、などなど自分が使う技術に役立ちそうだな、困ったときによく見たなと思うチャンネルを紹介する。 取っ掛かり、ハマりがち、コツみたいな物が拾える。数学がメイン。随時更新していくつもり。 当たり前だけどちゃんと本も読んで勉強するんだぞ。 背景 YouTubeは視聴する登録チャンネルの数が増えると、チャンネルが埋もれて発掘困難になりがち (chrome拡張でできるチャンネルのフォルダ分け機能は、ぽちぽち登録するのも面倒で、そのフォルダの中から掘り出すのも難しい) モチベが上がる(おべんつよしたい)チャンネルを探してるうちに湧いてくる、わんにゃんコンテンツ(だいちゅき)に流され一日が終わるため、 モチベが上がる有用なチャンネルにすぐにたどり着くために、よく使うQiitaに列挙しておくことにした Streamや大学専用サイ
若き統計学者の英国: いかにしてマクロ経済学はオワコンになったか
マクロ経済学という分野は、残念ながらもう所謂オワコンになってしまった。正しく言うと、実を言うとDSGEはもうだめです。突然こんなこと言ってごめんね。でも本当です。こんな感じだろう。 結論から言うと、データを見るふりをして実は全くデータを見ておらず、はっきりいってモデル化に失敗したからだ。とくに予測能力が兎角ないのが致命的だったと思う。予測能力がない結果、モデル・理論を通して将来の政策談義を結局は出来ないので、政策提言すらまともにできず、役立たずの烙印を押された。政策評価・提案等の役目は統計的手法を上手く用いている、応用ミクロの研究者が主に担うことになった。 そもそもの始まりは、合理的期待形成仮説というバカげた仮定に基づいて、数学音痴がmathinessにまみれたリアルビジネスサイクル(RBC)理論などという、さらにバカげた理論を推し進めた点であろう。それに呼応してニューケインジアンモデルが
高速フーリエ変換の実装を難しそうかなと思っている方が、なんだ簡単じゃないですか！！ となるための実装講座です - CADDi Tech Blog
対象読者さんはどのような方ですか？ FFT（高速フーリエ変換）の定義を知っているものの、その実装が難しそうだと感じて困っている方々です。逆に原理や有用性、理論的な子細にご興味のある方のご期待には応えられないと思います。 目標 FFT に苦手意識のあった方が、最低限動くコードを書くだけなら簡単かも？ と感じてくださるまでになれたら、私はとっても嬉しいです。 離散フーリエ変換とは 定義はウィキペディアにあります。（責任放棄） wikipedia: 離散フーリエ変換 今回採用する定義 最速で実装までたどり着きたいですから、理論的なところはスキップです。 $N = 2 ^ n$ としましょう。$N$ 次多項式を入れると $N$ 次多項式を返してくれる何かがフーリエ変換です。多項式と言いましたが、コンピュータープログラムですから、係数を並べたものだと思ってくださると嬉しいです。 複素係数 $N$ 次
Arm CMSIS DSP_Lib FFT - Qiita
STM32CubeMXで出力したときに一緒に出てくるDSPライブラリの中で、今回はFFTを試してみる。 環境 STM32F405RG(Cortex-M4F) / 168MHz 基礎知識 DSP_LibにはいくつかのFFTの種類があります。 大きく分けて、実数のみを扱うRFFT(Real FFT)と、複素数を扱うCFFT(Complex FFT)の2種類です。さらに、各値をfloat32で計算するf32、各値を15bit固定小数点で扱うq15、各値を31bit固定小数点で扱うq31、の3種類で、計6種類のインターフェースになります。 その他の関数もありますが、基本的に使わないので今回は無視します。 CFFTの場合は16ポイントから4096ポイントまで、RFFTの場合は32ポイントから4096ポイントまでを処理できます。 その他 q15/q31の使い方はf32とほぼ同様なので、今回は固定小数点
LU分解 - PukiWiki for PBCG Lab
を直接法，反復法などで解くことだけを考えてきた． それでは実際の問題ではこのような線形システムはどのように扱われるだろうか． たとえば，制御の分野ではシステムの状態変化を捉えるために用いている． 係数行列Aがシステム内部を表し，右辺の定数ベクトルbで外乱などの状態を表す． システム内部が変わらず，外の状態が様々に変化したときの状態を知りたいとき， 係数行列Aは変化せず，bのみが変わるだけである． このように係数行列が固定で右辺の定数ベクトルだけが変化するということは， 物理学などの他の分野でも多くある． このとき，係数行列Aを解きやすい形に分解しておけば，計算量を大幅に減らすことができる． ここではそのような分解の一つであるLU分解について述べる． n元連立1次方程式の係数行列を考える． これを以下の下三角行列(lower triangular matrix) L と 上三角行列 (upp
数学にはどんな研究分野がある？数学の世界地図を一枚に描いて紹介してみた！What Research Fields Are There in Math?［The Map of Mathematics］
※途中音声が乱れているところ（代数幾何を説明しているあたり）があります 地図を公開しています：https://note.com/masakikoga1/n/n3ce9436e0a1c 書籍化もしています．2023/6/16発売！： ・紹介動画：https://youtu.be/wnql9WWcbxA ・Amazon：https://amzn.to/3KXbhio 下の動画を見て，自分も似たような動画を上げてみたいと思いました．あくまでも，自分の経験をもとに，数学科の視点を活かして．それがこの動画です．知らない数学がたくさんあると思うとワクワクします． https://www.youtube.com/watch?v=OmJ-4B-mS-Y&t=2s ＝＝＝＝＝ Thanks to RoKuluro( https://twitter.com/RKLR096 ) for translatin
【C++】Eigen関数一覧 - Qiita
係数毎の計算：掛け算, (mat1.array() * mat2.array()).matrix()と等価
WebサービスのA/Bテストや機械学習でよく使う「確率分布」18種を解説 - paiza times
主な確率分布の関連図 こんにちは、吉岡（@yoshiokatsuneo）です。 Webサービスを運営していると、利用状況を分析・予測したり、A/Bテストなどで検証したりすることがよくあります。 データを一個一個見ていてもよくわからないので、データ全体や、その背景の傾向などがまとめて見られると便利ですよね。そんなとき、データの様子を表現するためによく使われているのが「確率分布」です。 学校の試験などで使われる偏差値も、得点を正規分布でモデル化して、点数を変換したものです。 今回は、Webサービスなどでよく使われる確率分布18種類を紹介します。 それぞれ、Webサービスでの利用例やPythonでグラフを書く方法も含めて説明していきます。コードは実際にオンライン実行環境paiza.IOで実行してみることができますので、ぜひ試してみてください。 【目次】 正規分布 対数正規分布 離散一様分布 連続
第7話 微分 - ６さいからの数学
数学では、「正しい」とするいくつかの前提から出発して、「正しい」ものを論理的に導出していきます。 様々な問題に対して、その答えが「正しい」ことが説明できるように一緒に学んでいきましょう！
Wolfram|Alpha Examples: 高等学校 数学
高等学校 数学文部科学省の高等学校学習指導要領に沿った内容の問題を，大学入学試験，大学入試センター試験，高等学校卒業程度認定試験等に過去に出題されたものを参考にしてまとめた例題集です．
同値 - Wikipedia
二つの条件 p 、q に対して、「 p を満たすものは全て q も満たす 」 というとき、「 p は q である為の十分条件である 」 あるいは 「 q は p である為の必要条件である 」 という。 また、「 p は q である為の十分条件であり、q は p である為の十分条件である 」 というとき、「 p は q である為の必要十分条件である 」 あるいは 「 p と q とは同値である 」 という。 例 1[編集] ある数が４の倍数である為には、その数は少なくとも偶数である必要がある。つまり、偶数であることは、４の倍数である為の必要条件である。ただし、偶数であっても、必ずしも４の倍数であるとは限らない。 また、ある数が４の倍数である為には、その数が８の倍数であれば十分である。つまり、８の倍数であることは、４の倍数である為の十分条件である。ただし、その数が８の倍数でなくとも、必ずしも４
Pandas 公式チートシートを翻訳しました - Qiita
インターンに来る学生に Python の pandas の操作に慣れてもらうため、公式チートシート1 を翻訳しました。ざっとググった限りでは、R 関係のチートシートの翻訳は見かけますが pandas のは見つかりませんでした。どうやら本邦初の日本語版らしいので、一般公開します。 本体は github にあります。pptx 版もあるので編集も容易です。 https://github.com/Gedevan-Aleksizde/pandas-cheat-sheet-ja 2019/7/26: 公式チートシートを踏まえて, 応用的な使い方について書きました. https://qiita.com/s_katagiri/items/cc0bceddbbf84eb08d18
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
.pdf)
データ分析のための統計学入門.pdf
寿司 虚空編 -Sushi Kokuu Hen- pixivコミックで漫画を無料試し読み
Doxygen
有効なWikiNameではありません - PukiWiki for PBCGLab
http://nalab.mind.meiji.ac.jp/~mk/labo/text/cholesky.pdf
物理学者のための圏論入門