冷めたコーヒー

Weniger, aber besser

非線型一変数関数の最小化(SciPy 使用)

これは何? 一変数関数 $f\colon\mathbb{R}\to\mathbb{R}$ を与えられた閉区間 $\Omega \subseteq \mathbb{R}$ 上で最小化する $x^\star$ を求める方法について扱う 最適化問題として記述すると以下のように表される: \begin{align} \min \quad &f(x) \\ \ma…

フルランク行列をランダムに生成する手法(Python による実装付き)

フルランクな行列をランダムに生成する手法を教えて頂きました: https://t.co/mp7HaadpwZランダムなゼロでない固有値を対角にならべてから、ランダムなユニタリー行列で相似変換すれば良さそうです。ランダムなユニタリー行列はランダムなエルミート行列から…

『妄想する頭 思考する手 想像を超えるアイデアのつくり方』を読んだ感想

思いかけずツイートが伸びてしまいました. 「M2 病」の話が面白かった。即ち、大学院に入学したての頃は無邪気で柔軟に発想することができるが、修士 2 回くらいになると先行文献などを読み漁って知識が付いた分、自分に残されたフロンティアなど存在しない…

CVXPY を用いた等式制約付き最適化問題の求解

CVXPY による制約付き最適化問題を求解

劣微分の表現(定理2.50)

『非線形最適化の基礎』の pp.67 定理 2.50 に対する証明の補足です. ご指摘等ございましたら,@mirucaaura までご連絡ください. 参考文献 非線形最適化の基礎作者:福島 雅夫朝倉書店Amazon

関数の凸性とヘッセ行列の半正定値性の関係(定理 2.30)

『非線形最適化の基礎』の pp.47 定理 2.30 に対する証明の補足です. ご指摘等ございましたら,@mirucaaura までご連絡ください. 参考文献 非線形最適化の基礎作者:福島 雅夫朝倉書店Amazon

引越しログ

みるかの引越しログ

久しぶりに Mathlog に記事を書きました

GW 期間中ということで時間が取れたので,最近勉強していた選択公理についての記事を Mathlog に書いてみました.記事は以下になります: mathlog.info 今後書くときのために,今回ハマったポイントについてメモしておきたいと思います. \labelおよび\refコ…

数学の勉強に役立ちそうなサイトなど

はじめに こんにちは,みるか(@mirucaaura)と申します.絶賛ニート生活を謳歌している(Ref: 新卒で入社した会社を退職しました)のですが,あまりに何もしなさすぎて苦しくなってきたので,これまで Twitter でブックマークしてきたツイートを遡って有益…

新卒で入社した会社を退職しました

2020 年 4 月に修士卒で入社した会社を退職しました.在籍期間は一年間と短かったので,特に語るようなこともないのですが,自身の振り返りも込めて書き記しておきたいと思います. あなたは誰? みるかと申します.Twitter は @mirucaaura です.「みるかさ…

応用情報技術者試験の受験記

2020年10月18日に行われた応用情報技術者試験を受験し、下記の通りギリギリですが合格したので記録を残しておきます。但し、以下で述べるようにほとんど再現性のない合格の仕方をしたため、ここに書かれている内容を鵜呑みにしないように注意されたい。 応用…

近接勾配法概説

はじめに 問題設定 勾配降下法 近接勾配法 近接作用素 おわりに Refference 更新ログ この記事は「数理最適化 Advent Calendar 2020」の24日目の記事です. 23 日目は @Atsushi_twi さんによる 数理最適化初心者のための(線形)割当問題の概要とscipy.optimiz…

Twitter でアンケートした不等式の問題の解説

アンケートで投げた問題の解説です

7月に読んだ本・読んでいる本

こんにちは、みるか(@mirucaaura)です。前回・前々回に引き続き、今月に読んだ本について簡単にまとめておきたいと思います。 プログラマが知るべき97のこと エッセンシャル思考 シンプルな勉強法 デジタルネイチャー 解析入門Ⅰ おまけ プログラマが知るべ…

6 月に読んだ本・読んでいる本

こんにちは、みるか(@mirucaaura)です。先月に引き続き、今月に読んだ本・読んでいる本を簡単にまとめておきたいと思います。前回の記事は以下になります。 mirucacule.hatenablog.com リーダブルコード SCRUM BOOTCAMP コンピュータシステムの理論と実践 …

t_wada さんの講演メモ ー 技術書の読み方を中心に

和田さんの講演が素晴らしく良かったのでメモ

yukicoder No.1077「Noelちゃんと星々4」in Python

yukicoder No.1077「Noelちゃんと星々4」

VSCode で LaTeX をビルドする際のメモ(TeXLive 2020)

LaTeX を VSCode 上で Build する

Contact

contact

SpeakerDeck のスライドの埋め込み

SpeakerDeck の埋め込み

AtCoder ABC 021 C - 正直者の高橋くん (300 点) in Python

以前の記事で ABC167-D について扱いました。ここで出題された問題は幅優先探索を用いることによって綺麗に解くことができました。今回はほぼ同様の実装で解くことのできる例題を見つけたので扱ってみたいと思います。 問題の概要 $N$ 個の町(町 $1,$ 町 $2…

Dijkstra 法の隣接行列による実装 in Python

概要 前回の記事において、単一始点最短経路(Single Source Shortest Path; SSSP)の重みを求めるプログラムである Dijkstra(ダイクストラ)法のpythonによる実装例を紹介しました。そこでは、隣接リストを用いて実装をしましたが、隣接行列を用いても同様…

単一始点最短経路問題を Dijkstra 法で実装する in Python

概要 単一始点最短経路(Single Source Shortest Path; SSSP)の重みを求めるプログラム、通称 Dijkstra(ダイクストラ)法のpythonによる実装を提示します。 アルゴリズム アルゴリズムについては蟻本をはじめ多くの書籍や記事で詳しく扱われているので、こ…

5 月に読んだ本・読んでいる本

この記事では、わたくしみるかが 5 月に読んだ本について、徒然なるままに感想を語っていく内容となっております。

Python における element in list が遅い件について

はじめに element in listについて 例題 問題概要 制約 解答 おわりに はじめに 以前の記事で、pythonにおいてelement in listという書き方は非常に遅いので気を付けましょうと書きました。これについて、実例とともに見ていきたいと思います。 element in l…

AtCoder ABC 168 C - : (Colon) (300 点) in Python

話題になった^1問題なので取り上げてみます。 a, b, h, m = map(int, input().split()) from math import sqrt, cos, radians angle = abs(30 * (h + m / 60) - 6 * m) c = sqrt(a**2 + b**2 - 2*a*b*cos(radians(angle))) print(c) 針の動きは次のように考…

AtCoder ABC 168 D - .. (Double Dots) (400 点) in Python

幅優先探索を使う典型的な問題でした...。pythonではcollectionsモジュールのdequeを用いることによって実装してあげるのが最も自然なのかなと思うので、そのように実装してあげます。「幅優先探索ってそもそも何?」という方は、けんちょんさんの記事を一度…

AtCoder ABC 167 D - Teleporter (400 点) in Python

AtCoder ABC 167 D - Teleporter (400 点) in Python

AtCoder ABC 164 D - Multiple of 2019 (400 点) in Python

AtCoder ABC 164 D - Multiple of 2019 (400 点) in Python

AtCoder ABC 150 C - Count Order (300 点) in Python

AtCoder 150 C in Python