お久しぶりです！ X（旧Twitter）*1もやってないのにブログの更新もサボっていたしぐまです． 今回は軽く今年の振り返りをしようと思います． mathtodonで言っていた記事は書いていません（修論忙しくなっちゃった…）が， 久しぶりにLaTeX触って色々思い出し…
お久しぶりです（半年ぶり） 入院体験記の後半を書くのが面倒くさくて完全に放置してたら半年経ってたしぐまです． 結論だけ先に申し上げますが，僕は元気です． 以前書いていた目の症状も，眼帯を外して気合で生活してたら1か月くらいで普通に見えるように…
あけましておめでとうございます． 2022年の最後にとんでもないプレゼントが届いたしぐまです． 今回はよりにもよってクリスマス前に脳梗塞になったので，どんな目にあったのかを書きます ……と思ったけど，長いので取り敢えずクリスマスまで書くことにしまし…
お久しぶりです． 色々あって忙しかったしぐまです． 実はTwitterアカウントが凍結して1ヶ月が経ちました． 「Twitter廃人のくせにどう生きてたんだ？」 と思われる方も多いと思いますが，人間意外となんとかなります． 例えばYouTubeの配信なんかして交流を…
お久しぶりです． 気が付いたら半年もブログの更新が止まっていたしぐまです． この半年間は大学院に入ったこともあり，いろいろ忙しくて更新が止まっていました． その間に始めた活動の1つに，Mathtechの後輩たちとW. Rudin ``Real and complex analysis''…
おはようございます． 寝るまでは今日が続いていると主張することで，遅刻をなかったことにしたいしぐまです． 本日は以前から話していた，自分のプリアンブルをまとめたパッケージであるsigpreamble2203を説明文付きで配布することにしました． 皆さんの楽…
どうも，カプリコーン杯で5ヶ月ぶりにプラチナが獲得できたしぐまです． 今回はチャンピオンズミーティング（以下CM）の攻略について自分が知っていることを纏めたいと思います． グレードリーグしか想定していないため，オープン勢の方は別の情報も調べた方…
こんにちは，1年間悪い子にしてたらとんでもないプレゼントが届いたしぐまです． 今日はよりにもよってクリスマスイブに片頭痛になったので，どんな目にあったかを書きます． ぶっちゃけネタにならないレベルで辛かったので，良い子の皆さんは健康な生活をし…
おはようございます． 前クオーターは数学の単位を何も取ってなかったしぐまです． タイトルは半年くらい前から自分に対して抱いている疑惑です． 今回はそんな「変な命題」の登場する証明として，空間が回帰的でないことの証明を持ってきました． 質問・指…
こんばんは！ 今週は3日くらいしか布団でまともに寝てないことに気付いて愕然としているしぐまです． 今日は以下の3つについて書きました： Goldstineの定理 H. Brezis, ``Functional Analysis, Sobolev Spaces and Partial Differential Equations''のEx. 3…
お久しぶりです*1． 11月の頭から諸事情で滅茶苦茶忙しかったしぐまです． 今日はMathtechの一員として工大祭で行った発表の資料をまとめてきました． 内容は高校だとあんまり深く触れない「実数とは何か？」という話についてです． また，質問を頂いたので…
こんにちは！ 無事志望校に合格したしぐまです． 今日は合格体験記を書きました． 以下，簡単のため常体になります． 3月 ここら辺から同級生数人と院試の過去問を解く会を始めた． はじめの数回は全然解けなくて「もしかしてヤバい...？」ということに気付…
FAフクキタル80連で引けてないけど救いはないんですか...？ おはようございます． 院試が終わってのびのびしているしぐまです． 今回は過去4回のチャンピオンズミーティング（以下CM）の感想と結果の報告をします． タウラス杯（東京 芝 2400m 左 春 晴 良）…
皆さんお久しぶりです（初めましての人は初めまして） しぐまです． 生きてはいましたがブログに書くようなことをしてなかったので更新がありませんでした． 先週は研究室のゼミで発表があるにも関わらず絶起かましてゼミ自体を燃やしました． その分昨日は…
お久しぶりです． n回目の失踪から復帰したしぐまです． Twitterを見てる方なら分かると思いますが，ウマ娘だけじゃなくて真面目に人生をやっています． その結果気付いたんですが，忙しいと日記とか書く余裕がなかったです*1． 今日はMathtechの交流会で使…
お久しぶりです． 日記の更新すらサボってるしぐまです． 今回のタイトルから分かるように，ウマ娘 プリティーダービーにハマって全てを放り出してました． その代償に得た知識や経験を書いていこうと思います． どんなゲームか 以前も書きましたが，システ…
おはようございます． なんとかバイトだけは行ってるしぐまです． 今月も更生を目指して頑張っていきたいと思います． やるべきことは大体先月と変わりません（後で整理しておきます）． 03/01 ウマ娘 プリティーダービーを始めた（は？）． 内容はパワプロ…
こんばんは！（徹夜） 明らかに優先順位の低い作業でずっと起きてたしぐまです． 作業どころかPDFまで書いちゃったのでここに置いておきます． 内容は弱収束のm-limをいい感じに作りたいね！作るぞ！！って話です． drive.google.com 何気に，先月整理してた…
おはようございます． 最近は生活が綺麗に半日ズレてるしぐまです． もう授業終わったしいいかな！って思ったんですが，どう考えても休みで腐敗した生活を送ることが目に見えているので，その対策として更生日記も続けます． ちなみにやるべきことはこんな感…
お久しぶりです． 暫く専門の講義に顔を出してないしぐまです． いくら何でもこの状態は不味いので，更生を見てもらう意味で日記をつけることにします． 記事の初投稿日がおかしいことから分かるように，ギリギリになってからスタートしてます． 日々更新し…
その2 当日に進捗を記録することすらままならない状態で酷かった． 10/26 函数解析の授業を受けた． Baireのカテゴリー定理の証明が分かりやすくて良かった． 授業内で省略された，閉作用素と有界線型作用素を足したらまた閉作用素となることの証明が「頑張…
何も書かないと怠惰な生活を送りすぎることが判明した． そこで，進捗を毎日生むために記録を書くことにした（LaTeX絡みの話も進捗ではあるので書くことにした）． 10/19 Lebesgue測度の合同変換に関する不変性の最後のピースとなる，回転に関する不変性を示…
おはようございます． 夏休みが終わったので珍しく朝に起きたしぐまです． 夏休み終わって悲しいんですが，授業自体は楽しそうなので±0みたいな感じです． 最後の週でしたが，新しいPCが届いたことと移行原理のPDFを書き終えることができたので，結構内容が…
僕はsuperとかhyperとかultraとか見ると高揚します． おはようございます． 夏休みなのになんか忙しい忙しかったしぐまです． 今回は中村『超準解析と物理学』で(一般的な)証明が省略されてた移行原理の証明を行いました． その際，この前の記事*1で書いた通…
おはようございます． 夏休みが終わりそうで悲しいしぐまです． 実は新しいPCが今日届くのでそこまで悲しんでないです． 夏休みの進捗は微妙でしたが，0ではないのでそれを形として世に出せたらいいな，って思ってます(訳：はよPDF完成させたい)． 09/18 LaT…
おはようございます． 相変わらず生活の崩壊したしぐまです． 日記の間に記事が上がってないここ2週間は実際かなり忙しかったので，日記を読まなくても生活が浮かび上がってきて面白いですね． 忙しかったのに文字数はいつもと同じくらいです． 詳細が書けな…
おはようございます． 初めてYouTubeでライブ配信して結構楽しかったしぐまです． サークルの活動だったのでアーカイブは限定公開ですが，動画の最後に「もう(終わる)時間が過ぎてますが，(texファイルを)書くだけ書いて(結果のPDFを)見せないのも良くないの…
おはようございます． 両親にTwitterをフォローされているしぐまです *1． 驚くことに，もう日記が1ヶ月近く続いています． 小学生の頃の日記がペラペラだったことを考えると，これは大きな成長でしょう． 第4週 08/28 「LaTeXで文書(PDF)を作成する際は，文…
こんにちは． 夏休みで徹夜が癖になってしまったしぐまです． 今日はタイトルのような事態がゼミで使っていた本で起きたため，それを解決しました． 前提知識は超準解析の基本的なことになってしまいましたが，眺めれば雰囲気くらいは伝わると思います． 疑…
おはようございます*1． TeXやLaTeXに悩まされているしぐまです． 08/22 ブログに第2週の分を投稿した． 数が数えられず，1週間の長さが8と6になっていたことに気付いた． 私にとって重要な式である の理解が深まった． 超実数として両辺を考えると， になる…
