学習の進捗
関数解析は “a.e μ” によるルベーグの収束定理の書き換えの証明を追った。また、微分と積分の交換などが命題としてあった。
解析教程では閉区間の連続関数に原始関数があること、ある連続関数の2つの原始関数の差は定数になることを示した。
Computing hypergeometric functions rigorously(Johansson 2016) を読んでいる。全体に目を通せたので、要約を考えたい。
LET OVER LAMBDA Edition1.0 (ダグ and Hoyte 2009) を読んでいる。On Lisp (ＰａｕｌＧｒａｈａｍ 2007) をある程度読んだのでこれを読もうと考えた。Lispというものを理解したい。
TaskChute
数学
| タスク名 | 実績時間 |
|---|---|
| 解析教程の学習 | 0 days 04:48:00 |
| 関数解析の復習 | 0 days 04:34:00 |
| 超幾何関数の論文を読む | 0 days 01:10:00 |
| 位相群の予習 | 0 days 00:19:00 |
| タスク名 | 実績時間 |
|---|---|
| 解析教程の学習 | 0 days 03:12:00 |
| 関数解析の復習 | 0 days 03:01:00 |
| 超幾何関数の論文を読む | 0 days 01:10:00 |
| 位相群の予習 | 0 days 00:19:00 |
コンピュータ
| タスク名 | 実績時間 |
|---|---|
| 計量ツールの開発 | 0 days 03:26:00 |
| Rustのエディター作り | 0 days 01:04:00 |
| Common Lispの書籍を読む | 0 days 00:52:00 |
| EmacsでのC言語開発環境の構築 | 0 days 00:52:00 |
| HackerNewsの閲覧 | 0 days 00:25:00 |
| AWSにログインする | 0 days 00:03:00 |
| org-publishの実施 | 0 days 00:00:00 |
| タスク名 | 実績時間 |
|---|---|
| 計量ツールの開発 | 0 days 03:26:00 |
| Rustのエディター作り | 0 days 01:04:00 |
| Common Lispの書籍を読む | 0 days 00:52:00 |
| EmacsでのC言語開発環境の構築 | 0 days 00:52:00 |
| HackerNewsの閲覧 | 0 days 00:19: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.
ＰａｕｌＧｒａｈａｍ. 2007. On Lisp. Translated by 野田開. Kindle版. オーム社. https://lead.to/amazon/jp/?op=bt&la=ja&key=B079YZ541G.
ダグ ホイト, and Doug Hoyte. 2009. Let over Lambda Edition1.0. Translated by タイムインターメディアHOPプロジェクト. 単行本. エスアイビー・アクセス. https://lead.to/amazon/jp/?op=bt&la=ja&key=4434133632.