学習の進捗
関数解析は連続定理の証明を終え、”a.e μ” の導入に至った。”a.e μ”は測度0の可測集合を除くという用語である。
解析教程はシュワルツの不等式の一般形が行列式に関連することがノートの復習でわかった。やっと微積分の基本定理に辿りついた。
EmacsのC言語環境構築では svaante/dape: Debug Adapter Protocol for Emacs を導入して、デバッグ環境を整えた。dap-modeのみの設定はうまくいかなかった。また、cpm-cmake/CPM.cmake を使ってプロジェクトを管理する手法を試している。これができれば、flintのデバッグができるかもしれない。
Computing hypergeometric functions rigorously(Johansson 2016) を読んでいる。Kummer U-Functionは 1F1 2F0 の別名のようだ。
TaskChute
数学
| タスク名 | 実績時間 |
|---|---|
| 解析教程の学習 | 0 days 04:03:00 |
| 関数解析の復習 | 0 days 03:49:00 |
| 超幾何関数の論文を読む | 0 days 00:43:00 |
| タスク名 | 実績時間 |
|---|---|
| 解析教程の学習 | 0 days 02:27:00 |
| 関数解析の復習 | 0 days 02:16:00 |
| 超幾何関数の論文を読む | 0 days 00:43:00 |
コンピュータ
| タスク名 | 実績時間 |
|---|---|
| 計量ツールの開発 | 0 days 03:26:00 |
| EmacsでのC言語開発環境の構築 | 0 days 00:52:00 |
| Rustのエディター作り | 0 days 00:44:00 |
| Common Lispの書籍を読む | 0 days 00:16:00 |
| HackerNewsの閲覧 | 0 days 00:16:00 |
| AWSにログインする | 0 days 00:03:00 |
| org-publishの実施 | 0 days 00:00:00 |
| タスク名 | 実績時間 |
|---|---|
| 計量ツールの開発 | 0 days 03:26:00 |
| EmacsでのC言語開発環境の構築 | 0 days 00:52:00 |
| Rustのエディター作り | 0 days 00:44:00 |
| Common Lispの書籍を読む | 0 days 00:16:00 |
| HackerNewsの閲覧 | 0 days 00:10:00 |
| AWSにログインする | 0 days 00:03:00 |
| org-publishの実施 | 0 days 00:00:00 |
参考文献
Johansson, Fredrik. 2016. “Computing Hypergeometric Functions Rigorously.” https://arxiv.org/abs/1606.06977.