- 追加された行はこの色です。
- 削除された行はこの色です。
*''&color(#993366,#ffffff){自己紹介};'' [#x48b92cd]
名称: Seeker (もしくは「ひゅーぐん」)
所在地: 京大理学部数学系B4
生息地(Twitter): @seekerandprimes
#br
論理学、代数学方面に興味があるけど確率論とかも面白いなぁと思ったりしてゆらゆらしてる。
思考速度がマジで遅い。ほんとに。
Coqとギターが少しだけ扱える。ゲームと音楽が好きだけど持ち前のミジンコキャパシティのせいで偏りまくってる。
#br
*''&color(#993366){時間割};'' [#l37492c7]
随時追加予定
実際の履修ではなく、ちゃんと勉強した科目を書いています。
#br
全学共通科目と理学部科目は面倒なので区別してませんが、工学部情報学科が開講する科目は&color(#00ccff){水色&color(#000000){で書いています。};};
#br
3回後期(2020年度)
#br
||月|火|水|木|金|
|1|非線型解析|||&color(#00ccff){アルゴリズム論};||
|2||&color(#00ccff){計算と論理};|幾何学Ⅱ||解析学Ⅱ|
|3|函数解析学||幾何学Ⅱ||解析学Ⅱ|
|4|解析学演義Ⅱ|||||
|5|解析学演義Ⅱ|||||
備考: 木4に実践データ科学入門をとっていましたが僕にはPythonは無理だったみたいです、諦めました。
計算と論理でCoqに入門しました。型付きラムダ計算の入門でもあるので計算機科学やCoqに興味があればめっちゃおすすめです。
#br
*&color(#993366){''自作問題''}; [#z77b872d]
**&color(#800000){2019年度新歓ビラ問題}; [#u2aec54a]
&color(#000000){自然数};&color(#000000){&size(16){&mathjax{a};と平方数でない自然数};};&color(#000000){&size(16){&mathjax{b};を用いて};};&color(#000000){&size(16){&mathjax{\sqrt{2019+\sqrt{n}} = a + \sqrt{b}};と書ける自然数};};&color(#000000){&size(16){&mathjax{n};はいくつあるか。};};
&color(#000000){(ヒント: この問題は4年に1度しか更新できません)};
#br
**&color(#800000){''2020年度新歓ビラ問題''}; [#o84c74bd]
任意の自然数&mathjax{m};に対し, 次の4つの条件をみたす有限数列&mathjax{\{a_n\}};が存在することを証明せよ. ただし&mathjax{l};は&size(16){&mathjax{\{a_n\}};の項数を表す. };
任意の自然数&mathjax{m};に対し, 次の4つの条件をみたす有限数列&mathjax{\{a_n\}};が存在することを証明せよ. ただし &mathjax{l};は&size(16){&mathjax{\{a_n\}};の項数を表す. };
+&size(16){&mathjax{a_1, a_2, \dots , a_l};はすべて自然数である};
+&mathjax{l \geq 2};のとき, &mathjax{a_n < a_{n+1} (n=1, 2, \dots , l-1)};
+ある項&mathjax{a_n (1\leq n \leq l)};が存在し, &mathjax{a_n = m};をみたす
+&size(16){&mathjax{\sum_{n=1}^l \frac{1}{a_n} = 1};};
**&br;&color(#800000){2019年度部誌収録問題}; [#u0bcb6a8]
次の条件をみたす実数の組&size(16){&mathjax{(a, b, c)};の個数を数えよ: };
&size(16){&mathjax{a, b, c};はいずれも方程式};&size(16){&mathjax{ax^2 + bx + c =0};の解である. };
