Seeker のバックアップ(No.7)
- バックアップ一覧
- 差分 を表示
- 現在との差分 を表示
- 現在との差分 - Visual を表示
- ソース を表示
- Seeker へ行く。
- 1 (2021-04-04 (日) 20:28:57)
- 2 (2021-04-04 (日) 22:31:12)
- 3 (2021-04-10 (土) 15:00:46)
- 4 (2021-04-12 (月) 22:53:09)
- 5 (2021-04-13 (火) 16:01:58)
- 6 (2022-04-18 (月) 13:57:59)
- 7 (2022-04-18 (月) 16:06:57)
- 8 (2022-04-19 (火) 16:55:56)
- 9 (2022-04-19 (火) 17:56:32)
- 10 (2022-08-02 (火) 20:25:10)
- 11 (2022-08-02 (火) 21:27:05)
- 12 (2023-03-01 (水) 17:21:55)
- 13 (2023-05-09 (火) 00:33:42)
- 14 (2023-06-27 (火) 17:31:53)
- 15 (2023-07-27 (木) 00:50:43)
- 16 (2023-07-27 (木) 02:03:37)
- 17 (2023-07-27 (木) 03:03:49)
- 18 (2023-12-16 (土) 16:42:22)
自己紹介
名称: Seeker (もしくは「ひゅーぐん」)
分類: 京大理学研究科数理解析系(RIMS)のM1
生息地(Twitter): @seekerandprimes
br
論理学、代数学方面に興味があるけど確率論とかも面白いなぁと思ったりしてゆらゆらしてる。
思考速度がマジで遅い。ほんとに。
Coqとギターが少しだけ扱える。ゲームと音楽が好きだけど持ち前のミジンコキャパシティのせいで偏りまくってる。
br
時間割
随時追加予定
実際の履修ではなく、ちゃんと勉強した科目を書いています。
br
全学共通科目と理学部科目は面倒なので区別してませんが、工学部情報学科が開講する科目は水色で書いています。
br
3回後期(2020年度)
br
| 月 | 火 | 水 | 木 | 金 | |
| 1 | 非線型解析 | アルゴリズム論 | |||
| 2 | 計算と論理 | 幾何学Ⅱ | 解析学Ⅱ | ||
| 3 | 函数解析学 | 幾何学Ⅱ | 解析学Ⅱ | ||
| 4 | 解析学演義Ⅱ | ||||
| 5 | 解析学演義Ⅱ |
備考: 木4に実践データ科学入門をとっていましたが僕にはPythonは無理だったみたいです、諦めました。
計算と論理でCoqに入門しました。型付きラムダ計算の入門でもあるので計算機科学やCoqに興味があればめっちゃおすすめです。
br
自作問題
2019年度新歓ビラ問題
自然数\( a \)と平方数でない自然数\( b \)を用いて\( \sqrt{2019+\sqrt{n}} = a + \sqrt{b} \)と書ける自然数\( n \)はいくつあるか。
(ヒント: この問題は4年に1度しか更新できません)
br
2020年度新歓ビラ問題
任意の自然数\( m \)に対し, 次の4つの条件をみたす有限数列\( \{a_n\} \)が存在することを証明せよ. ただし \( l \)は\( \{a_n\} \)の項数を表す.
- \( a_1, a_2, \dots , a_l \)はすべて自然数である
- \( l \geq 2 \)のとき, \( a_n < a_{n+1} (n=1, 2, \dots , l-1) \)
- ある項\( a_n (1\leq n \leq l) \)が存在し, \( a_n = m \)をみたす
- \( \sum_{n=1}^l \frac{1}{a_n} = 1 \)
2019年度部誌収録問題
次の条件をみたす実数の組\( (a, b, c) \)の個数を数えよ:
\( a, b, c \)はいずれも方程式\( ax^2 + bx + c =0 \)の解である.