Seeker のバックアップ(No.10)
- バックアップ一覧
- 差分 を表示
- 現在との差分 を表示
- 現在との差分 - 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
計算可能性とかをやっている。いずれは代数関連の計算不可能性とかをやりたい。
院試の際に数学教室も併願したが、そちらは整数論を志望した。でも解析、確率論とかも好き。
ただし幾何、お前だけは絶対に許さない()
br
思考速度がマジで遅い。ほんとに。会話する時の相槌は時間稼ぎ。
br
ギターが少しだけ扱える。ゲームと音楽が好きだけど持ち前のミジンコキャパシティのせいで偏りまくってる。実は軽音サークル所属。
br
時間割
随時追加予定
実際の履修ではなく、ちゃんと勉強した科目を書いています。あと、時間割には書いてませんがずっと毎週ECCに通ってます。
br
全学共通科目と理学部科目は面倒なので区別してませんが、工学部情報学科、情報学研究科が開講する科目は水色で書いています。選択した人社科目はオレンジにしました。
br
1回前期
| 月 | 火 | 水 | 木 | 金 | |
| 1 | スポーツ実習IA(卓球) | 情報数学I | |||
| 2 | 自然地理学(水野) | 統計リテラシー | |||
| 3 | 集合と位相 | フランス語IA(文法) | 論理学I | ||
| 4 | 集合と位相演習 | ||||
| 5 | 現代数学の基礎A | ILASセミナー | フランス語IA(演習) |
br
br
1回後期
| 月 | 火 | 水 | 木 | 金 | |
| 1 | 英語リーディング | スポーツ実習IB(卓球) | 英語ライリスB | 情報数学II | |
| 2 | 微分積分学B(講義) | 地域地理学各論I(日本) | 数学探訪I | 線形/微積の演義B | 線形代数学B(講義) |
| 3 | 代数学入門 | Honors Mathematics A-E2 | フランス語IB(文法) | 論理学II | |
| 4 | 代数学入門演習 | 倫理学II | |||
| 5 | 現代数学の基礎B | フランス語IB(演習) |
br
2回前期
| 月 | 火 | 水 | 木 | 金 | |
| 1 | 論理回路 | ||||
| 2 | 確率論基礎 | 代数学I | グラフ理論 | ||
| 3 | 集合と位相 | 代数学I | 微積続論II-微分方程式 | 非線型数学 | 線形代数学続論 |
| 4 | 集合と位相演習 | 代数学演義 | 微積続論I-ベクトル解析 | ||
| 5 | 代数学演義 | 現代の数学と数理解析 |
論理回路は電電が開講している。ベクトル解析は工学部配当のものをとった(理学部向けのものは火曜日だった)。
2回後期
| 月 | 火 | 水 | 木 | 金 | |
| 1 | アルゴリズムとデータ構造入門 | 数理統計 | |||
| 2 | 応用代数学 | 代数学II | 関数論 | 非線型解析入門 | |
| 3 | 言語・オートマトン | 代数学II | 幾何学入門 | (論理学II) | スポーツ実習IIB(卓球) |
| 4 | 計算機工学 | 代数学演義II | 幾何学入門演習 | 解析学入門演習 | |
| 5 | 代数学演義II | 対称性の数理 |
論理学は2人の教員が別々の授業を開講している。木3の方はゲーデルの不完全性定理の証明を追うと聞いていたがいまいちちゃんとやってくれなかったので、授業中に自分で教科書を読んでいた。
対称性の数理はクラスター代数を扱ったが、証明がほとんど省略されたためつまらなかった。担当教員次第と思われる(それでもクラスター
代数に触れておく価値はあると思う)。
3回後期(2020年度)
br
| 月 | 火 | 水 | 木 | 金 | |
| 1 | 非線型解析 | アルゴリズム論 | |||
| 2 | 計算と論理 | 幾何学Ⅱ | 解析学Ⅱ | ||
| 3 | 函数解析学 | 幾何学Ⅱ | 解析学Ⅱ | ||
| 4 | 解析学演義Ⅱ | ||||
| 5 | 解析学演義Ⅱ |
備考: 木4に実践データ科学入門をとっていましたが僕にはPythonは無理だったみたいです、諦めました。
計算と論理でCoqに入門しました。型付きラムダ計算の入門でもあるので計算機科学やCoqに興味があればめっちゃおすすめです。
br
4回前期(2021年度)
br
| 月 | 火 | 水 | 木 | 金 | |
| 1 | |||||
| 2 | 確率論 | ||||
| 3 | 整数論 | 講究 | (代数幾何学) | ||
| 4 | 講究 | ||||
| 5 | 数学・数理科学の最前線Ⅰ |
備考: 火2の位相幾何学は取り消しました。
火3, 4の講究は「数理科学課題研究」のことで、卒業研究に相当する輪読形式のゼミ。必修。前期はベシ圏および論理学の基本事項(教科書の名前忘れた)をやりました。
水3の代数幾何学は層の理論を自習しろと言われて絶望したので途中から行ってません…が、レポートが何でもokだったので「ファンカンペンの定理を初めて使ってみました！！！☆*:.｡. o(≧▽≦)o .｡.:*☆」みたいなレポートを書いて単位だけ貰いました。
br
4回後期(2021年度)
| 月 | 火 | 水 | 木 | 金 | |
| 1 | |||||
| 2 | 最適化 | M0セミナー | |||
| 3 | 講究 | ||||
| 4 | 講究 | ||||
| 5 |
備考: 水2は後半の離散最適化に興味があったのでとってみました。後半は面白かったです。
後期の講究はCategorical Logic and Type Theoryの1章をやりました。僕にとっては圏論特訓でした。このゼミの3人ともRIMSに合格したので、まもなくM0セミナーが始まりました。
M0セミナーではA first journey through logicをやりました(まだやってます)。論理学の基礎固めですね。
自作問題
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 \)の解である.