くびのブログ

数学のこととか…?

日記(11/23)

・今日は10:30起きでした とてもはやい

・基礎論は癒しだなぁ……

・f(x)=なんか×f(x-k)みたいなのって再帰的になるんだろうか なって欲しいな

再帰的関数、プログラミングみて〜つってはしゃいでたけど論理式がうまいこと使えることがわかってなんか……こう……数学に引き戻されたような……

代数学C2はもう何も分からない ただ事実を受け入れてなんとなくの理解で突き進んでいきます(死)

・え〜〜帰ってきてからは特になんもしてない 夜ご飯食べてそのまま1時間くらい寝てしまって嘆いてます

・あ基礎論の課題やった 今回は割と簡単で助かった

・え〜〜〜〜〜あとはFGOの周回をした したっていうかここ2週間ずっとしてるんだけど 明日で解放されると思うととても幸せです

・ジャッジアイズの残りのスキルブックを集めようと思ってVRすごろくをやってたらストレスで頭割れるかと思った もう二度とやらんこのクソゲー(VRすごろくの方 ジャッジアイズは神ゲーです)

ポケモンをいい加減やれ

・表現論ゼミの予習はまだ終わってない まぁ明日から2日休みだしなんとかなる

日記(11/21)

・今日は12時くらいに起きて学校に行きました 4,5限が対面です

・相変わらず幾何学Cは爆速 もはや聞かずに自分で教科書読んでるんだけど同じペースだったり何なら追い抜かれたりする どういうこと?

・自然な短完全系列はいい話だと思った 包含写像と射影は確かにな〜〜っていう 多様体でやったマイヤーヴィートリスはよくわかんなかったので

・測度論はフビニの定理やってました がこっちもあんまり聞かずに表現論ゼミの準備をしてました いつまで準備してんだこいつ

・最前列に座ってるけど全体的にそんなに授業を聞いてません なんだこいつ

・うちのネコチャンは粗相マスターなので基本ずっとリビングに閉じ込められてるんですが、防水の布団カバーを買ったので今日からは一緒に寝ることにします 寿命が延びる

・おすすめアニメ紹介いきます

・Do It Yourself

https://diy-anime.com/

・かわいいJKが部活でDIYをするお話です シンプル(百合成分もあるよ)

・作画が独特な感じで、結構簡略化されてるんですが代わりによく動く かわいい女の子がかわいい動きをして最高です

https://youtu.be/8jOQmPx2Mjk

・とりあえずこれ(OP)を見てくれ それで全部わかる

日記(11/20)

・今日は起きたら1時20分くらいで軽く絶望しました 用事なくても目覚ましかけた方がいいのかな……

・表現論ゼミの予習の続きをしました sl(3, ℂ)の既約表現は非負整数の2つ組で分類できるらしい

・んじゃあsl(n, ℂ)はn-1個の非負整数で分類できんのかな〜〜多分そう 何ならn-dimensional semisimple Lie algebraは非負整数n個組で分類できそう 知らんけど

・ウェイトには半順序が入るけど最大元が唯一存在するらしい すげ〜

・やっぱり対角化の理解が甘い 同時対角化ってなんですか?

・分量がとても中途半端 ちょっとした目標の定理があるんだけど、その紹介までだとだいぶ短くて証明まで行くととてもとても長い

・マジで長い 終わんないだろこれ

・既約性を使って対角化可能性を示すことが出来てちょっと感動 表現論をうまいこと活用していきたいね

・有限群は知らん 一生近付きません

・必要になったら泣いちゃう 本当に嫌だ

・なんだかんだこの本めっちゃいい本だと思う 読みやすいし面白い

・母親の誕生日祝いで天ぷらを食べに行きました 親の金で高い飯食うのサイコー

・ゆかりリキュールなるものがあったので頼んでみた めちゃくちゃ梅紫蘇だった

・白子って食感とか臭いとかが苦手で避けてたんだけど今日食べた白子の天ぷらは普通においしかった

ポケモン買ったけど全然やってない ずっとジャッジアイズやってる

・やっっっと街の評判Lvを50まで上げれた 神室町を駆けずり回ってQRコードを集めたりバッセンで虚無作業をしたりetcでつらかったです

・待ってろ亜門 ボコボコにしてやる

発勁が使い方わかんなくてストーリー中全然使ってなかったけど最近動画で見てうまい使い方を知った めちゃくちゃ楽しい 強いし

・今期がめちゃくちゃ豊作なのでおすすめのアニメの紹介をします

・アキバ冥途戦争

https://akibamaidwar.com/

・メイドで龍が如くをやるアニメです 何言ってんの?って感じだけどそうとしか形容できない

・万年嵐子っていうキャラがいるんですが、彼女は15年の"お勤め"の後に新人メイド(35)としてメイド喫茶「とんとことん」にやってきます 桐生ちゃんじゃん……

・とりあえず1話を見て欲しい それで全部わかる

・こんな感じで気が向いた時にでも好きなアニメの紹介とかしていきたい

日記(11/19)

・今日はずっと家にいました 学校ない日だいたいそうだけど

・よくわかってないまま出した基礎論の課題が満点だった うれしい

補題立てて帰納法で頑張って示したけど∑1完全性定理からサクッと示せたらしい もっとよく調べておけば……

・minの原子再帰性の証明が解答だとmax使ってた そんなんアリ?(sgn関数使ってif文みたいなの書いた)

・あとは表現論ゼミの準備をちょっとした sl(3, ℂ)の表現をチャプター丸々1個使って調べるらしい

・準備のところが全部文章で書いてあってきつかった いつになっても英語が読めない

・sl(3, ℂ)って8次元なんですけど、それはつまりLie bracketの公式が8C2=28個いるってことで……

・本に書いてあるのを書き写すだけでだいぶ疲れた これ自分で計算しろって言われてたらこの本破り捨ててたね pdfだから破れないけど

・ウェイトっていう複素数の2つ組を定義した π(H1)とπ(H2)の同時固有値(?)らしい

・同時対角化の議論が出てくるとか書いてあったけどその辺全然知らないのでやや不安 調べた感じ対角化できるんだったら可換性と同時対角化が同値になるっぽいけど示してないからよくわかんない

・sl(3, ℂ)の表現つっても制限すればsl(2, ℂ)の表現になってくれるので今までに示した事実が使えるのはとてもよかった 固有値が整数ってクソつよいな

・複素化のあたりを全然覚えていない suとslの関係しかわからない……

・あとrootってのを定めた 随伴表現のウェイトで、どっちの固有値も0になってないやつらしい

・随伴表現って何だっけ…… Adが……共役で……adが……なんか……こう……うまいことLie bracketになってくれるやつで……

・rootは6つしかないらしい 有限個でしかも触れるレベルってめちゃくちゃ嬉しいね!

・SU(3)が単連結とか当たり前のように使ってるけどなんでなのかはさっぱりわかりません やっぱりこのへんの被覆とかの話ちゃんとやりたい

・これひょっとしてゼミのネタバレになってる?表現論ゼミ各位はネタバレに気をつけて本記事を読んでください

・数学のことだとベラベラ喋れる 僕と会話が続かなくて困ったりしたら「最近どんな勉強してんの?」とか聞いてください 勝手に喋りだします

日記(11/18)

・今日はちょっと早め(11時)に起きて学校に行きました 表現論ゼミが休みだったので授業のゼミ聞いておわり

・ゼミで読んでる本に証明がクソ雑なところがあって心の中でキレ散らかしてました 嘘を書くな嘘を

・あ、図書館で統計の本借りました 最近めっちゃ図書館使ってる気がする(当社比)

・そのあとすずめの戸締りを見ました 終盤難しかったけどとてもよかった

・あれ?もう書くことない……

・すずめの戸締りの感想書こうと思ったけどまだ公開して日が浅いしやめておきます

・新海作品めっちゃ好きなんですよね 映像美はもちろん音楽をめちゃくちゃ上手く使って盛り上げてくるところとかもう最高です

・「君の名は」は何回か観たし小説も読んだので結構覚えてるんだけど「天気の子」はストーリーなんも覚えてないことに気付いた ただ最高に面白かったという実感だけが残っている

・あ、秒速とか言の葉の庭とかも一応観てます まぁこっちもあんまり覚えてないですが……

・勉強は……してません……

日記(11/17)

・今日は……何してたっけ……

・思い出した 関数解析のODを消化しました 画質が悪すぎて添字とかがもはやわからないのなんとかしてほしい

・復習をしていないので用語がとても曖昧 これなんだっけな〜って考えてる間にガンガン進んでいく

・あと数式処理プログラミングをやった ちょっと難しくなってきたなぁって感じ

・暇になったのでRによる統計的学習入門(ISL)をちょっと読み進めた R、調べてもあんまり情報が出てこなくてめんどくさい なんか本の通りに動いてくれないし

・線形回帰のところを読んでるんですが「この評価はこう」「信頼区間はこう」みたいな感じで特に説明がないのが若干気持ち悪い こういう時に適当に読み飛ばせなくなってしまっている

Twitter眺めてて思ったけど数学科ってめちゃくちゃ課題少なくない?他の学科だいたい課題過多でヒィヒィ言ってるイメージあるけどうちはそういう声あんま聞かない(気がする)

・だからって進みが遅かったりはしないので自分でやらないとどんどん取り残され置いていかれる そういう意味で二極化が激しい学科だなぁと思いました

日記(11/16)

・今日はカラオケに行きました

・11時くらいに起きようと思って目覚ましをかけてたんですが普通に1時くらいに起きました 早起き(当社比)は難しい

・フリータイムで4時間半くらい歌ってきた ひとカラだと高音の限界に挑戦しがちなので喉がイカれてます

・帰りにヨドバシのプラモコーナーに寄ってガイアノーツのスターブライトアイアン、スターブライトシルバー、スターブライトブラスを買いました ガイアノーツの塗料は高いけど質がいい

・思い出したけど最近コンプレッサーが壊れたんだった 新しいの買わなきゃ……

・初心者用の一体型?のエアブラシを使ってたんですが、使ったあとは溶剤入れっぱで数日置いておくといいってのを見て2週間くらい放置してたら溶剤が逆流してコンプレッサーを侵しました 俺は愚か

・ラッカー溶剤の臭(にお)い、臭(くさ)いとかではなく嗅いだ瞬間(やべぇ有害だ)ってなる感じで好き いやあんま嗅ぎたくないけど

・勉強は何もしてません 大学生の姿か?これが……

FGOのイベントのクエストが切り替わって90++6積みできるようになってハッピー 編成はよくあるメリュコヤコヤオベロンなので貼りません

・とても眠いけどノルマのチケット数(1日10箱)を稼げていないので寝れません つらい

・何かしらの動画を見ながら寝る生活を4,5年続けていたら何も無い状態で寝れなくなった

biimシステムのRTA動画とかがよく合う

・これ面白くておすすめです

https://nico.ms/sm36213697