<?xml version="1.0" encoding="utf-8"?>
<rss version="2.0">
    <channel>
        <title>箱星 - しずかなインターネット</title>
        <link>https://sizu.me/hakoboshi</link>
        <description>箱星 さんの記事一覧のRSSフィードです</description>
        <lastBuildDate>Wed, 19 Aug 2026 11:32:21 GMT</lastBuildDate>
        <docs>https://validator.w3.org/feed/docs/rss2.html</docs>
        <generator>しずかなインターネット</generator>
        <image>
            <title>箱星 - しずかなインターネット</title>
            <url>https://r2.sizu.me/users/42658/avatar.png?v=1728286795657</url>
            <link>https://sizu.me/hakoboshi</link>
        </image>
        <copyright>© @hakoboshi</copyright>
        <item>
            <title><![CDATA[週記 (2026/08/10-2026/08/16)]]></title>
            <link>https://sizu.me/hakoboshi/posts/z9hevb5u41mn</link>
            <guid>https://sizu.me/hakoboshi/posts/z9hevb5u41mn</guid>
            <pubDate>Mon, 17 Aug 2026 08:05:00 GMT</pubDate>
            <description><![CDATA[学びに終わりはない、終わらせることはできるけど。
8/10
23時就寝、4時起床。
JAISTのページを開いたら社会人コース（北陸）が新設されると書かれていた。今までは石川で普通の学生をやるか、東京で社会人学生をやるかの2択だったと思う。これでぼくもJAISTで学ぶという選択肢ができたか。数学しかやったことないけど受け入れてくれるところはあるだろうか。
おひるねした。
yukicoderの作問作業…]]></description>
        </item>
        <item>
            <title><![CDATA[週記アーカイブ (2024/06/10-2024/06/16)]]></title>
            <link>https://sizu.me/hakoboshi/posts/535iaxem3w3r</link>
            <guid>https://sizu.me/hakoboshi/posts/535iaxem3w3r</guid>
            <pubDate>Sun, 16 Aug 2026 07:39:05 GMT</pubDate>
            <description><![CDATA[祝日の無さに耐えられない。
6/10
0時就寝、7時起床。
カタラン数や完全順列の数はP-recursiveなので、母関数はD-finite。母関数のみたす微分方程式を解くことで数列の性質を調べることができた。
訓練をした。
Misskey.ioでPlayを作った。曜日を求めるのが大変だった。
新しい動画を作った。今後は競プロ動画も上げていきたいので、その布石ということで。
6/11
23時就寝、…]]></description>
        </item>
        <item>
            <title><![CDATA[週記 (2026/08/03-2026/08/09)]]></title>
            <link>https://sizu.me/hakoboshi/posts/ouwf9o4t2n8k</link>
            <guid>https://sizu.me/hakoboshi/posts/ouwf9o4t2n8k</guid>
            <pubDate>Sun, 09 Aug 2026 20:50:12 GMT</pubDate>
            <description><![CDATA[魂のメロディ。
8/3
22時就寝、5時起床。
労働をした。
AI利用者の発言の中には数学者を馬鹿にしていると感じられるものがある。学者はうっすら嫌われているという噂を聞く。コンサルはインターネット上で嫌われている職業の代表といった感じがあり、AIの台頭でコンサルが職を失うことを喜んでいる人たちがいる。しかし、コンサルに権力が集中する状況からAI企業に権力が集中する状況に変わるだけで、何も改善しな…]]></description>
        </item>
        <item>
            <title><![CDATA[週記アーカイブ (2024/06/03-2024/06/09)]]></title>
            <link>https://sizu.me/hakoboshi/posts/63vw3c7ire0m</link>
            <guid>https://sizu.me/hakoboshi/posts/63vw3c7ire0m</guid>
            <pubDate>Sun, 09 Aug 2026 20:30:23 GMT</pubDate>
            <description><![CDATA[楽しい思い出をいっぱい作ろう！
6/3
23時就寝、2時中途覚醒。6時半ごろに緊急地震速報が来た。金沢は震度3くらい。
訓練をした。
IUT理論に関する記事が出ていた。思ったよりきな臭いわね。昔からあまり興味がなくて追ってなかった。
6/4
23時就寝、7時起床。また4時ごろに中途覚醒している。
寝起きに数学の文献を読んでいたらEDPC-Yと同値な問題が出てきた。LGV公式で解けることを知って実装…]]></description>
        </item>
        <item>
            <title><![CDATA[週記 (2026/07/27-2026/08/02)]]></title>
            <link>https://sizu.me/hakoboshi/posts/crfbeixd5hid</link>
            <guid>https://sizu.me/hakoboshi/posts/crfbeixd5hid</guid>
            <pubDate>Mon, 03 Aug 2026 08:28:22 GMT</pubDate>
            <description><![CDATA[次なる休息を求めて。
7/27
22時就寝、6時起床。雨がうるさかった。
労働をした。6連休があったとはいえ、木～土は用事が入りまくっていたし日曜は反動で疲れ果てていたので、元気ではなかった。疲労は蓄積しても元気は蓄積しない！
おはなしを書いた。
7/28
22時就寝、6時起床。
労働をした。大雨・雷だったけど通勤中に降らなくてよかった。
九州で大きな地震があった。心配。
7/29
23時就寝、5…]]></description>
        </item>
        <item>
            <title><![CDATA[週記アーカイブ (2024/05/27-2024/06/02)]]></title>
            <link>https://sizu.me/hakoboshi/posts/hdmf6uduzbr1</link>
            <guid>https://sizu.me/hakoboshi/posts/hdmf6uduzbr1</guid>
            <pubDate>Sun, 02 Aug 2026 06:02:10 GMT</pubDate>
            <description><![CDATA[んえー。
5/27
23時就寝、7時起床。休日は一瞬で過ぎ去ってしまった。
職業訓練をした。
Leanでフェルマーの最終定理を実装するプロジェクトが始まっているけど、それに関するトークを見た。解析的な部分をなるべく避けているらしい。代数の方が得意なのだろうか。数年では証明の実装は完成しなさそうだけど、いつになるだろう。
5/28
23時就寝、7時起床。
大雨。あめやだーという気持ちだったけど、相合…]]></description>
        </item>
        <item>
            <title><![CDATA[週記 (2026/07/20-2026/07/26)]]></title>
            <link>https://sizu.me/hakoboshi/posts/u6x4m5zkwb8i</link>
            <guid>https://sizu.me/hakoboshi/posts/u6x4m5zkwb8i</guid>
            <pubDate>Mon, 27 Jul 2026 07:15:57 GMT</pubDate>
            <description><![CDATA[話に花を咲かせましょう。
7/20
0時就寝、6時起床。
順列のことをもっと知りたい。順列の数え上げを特集した記事を書きたくなった。数学や競技プログラミングの順列数え上げ問題を集めたい。
おはなしを書いた。
7/21
22時就寝、6時起床。
ヤコビアン予想の3変数以上での反例が見つかったらしい。これくらいの計算ならがんばれば今までの数式処理ソフトでもできそうな気がしなくもない。反例があると思ってい…]]></description>
        </item>
        <item>
            <title><![CDATA[週記アーカイブ (2024/05/20-2024/05/26)]]></title>
            <link>https://sizu.me/hakoboshi/posts/kt28hsuwkfa6</link>
            <guid>https://sizu.me/hakoboshi/posts/kt28hsuwkfa6</guid>
            <pubDate>Sun, 26 Jul 2026 06:32:43 GMT</pubDate>
            <description><![CDATA[ニート生活おしまい。
5/20
23時就寝、7時起床。
ニート生活が終わってしまった。働き始めたわけではなく、職業訓練的なことをやる。とりあえず初日だったけど、一週間分の疲れが来た。慣れれば大丈夫になるのか？
これから昼食がコンビニになるので、ファミペイを導入した。というかツナマヨおにぎりが150円もして高くない？となった。110円くらいのイメージだったけど。
残りの時間で数学をしたかったけど疲れ…]]></description>
        </item>
        <item>
            <title><![CDATA[週記 (2026/07/13-2026/07/19)]]></title>
            <link>https://sizu.me/hakoboshi/posts/68ra3keani80</link>
            <guid>https://sizu.me/hakoboshi/posts/68ra3keani80</guid>
            <pubDate>Mon, 20 Jul 2026 01:40:26 GMT</pubDate>
            <description><![CDATA[まどろみサマータイム。
7/13
22時就寝。中途覚醒を挟みつつ、6時起床。
労働をした。眠すぎる。
勤務先に取材が来ていた。テレビでニュースになっているのを確認した。
おはなしを書いた。
7/14
22時就寝、6時起床。今日も上手く眠れなかった。
労働をした。眠すぎる。
気になるところがあったので仕事終わりにクリニックへ行った。時間がかかって疲れた。健康に気をつけないといけない。
7/15
22…]]></description>
        </item>
        <item>
            <title><![CDATA[週記アーカイブ (2024/05/13-2024/05/19)]]></title>
            <link>https://sizu.me/hakoboshi/posts/19hekms2d2mv</link>
            <guid>https://sizu.me/hakoboshi/posts/19hekms2d2mv</guid>
            <pubDate>Sat, 18 Jul 2026 23:47:38 GMT</pubDate>
            <description><![CDATA[数学楽しい！
5/13
0時就寝、7時起床。
Graph Theory and Additive Combinatorics の二章に突入。謎の補題を証明しようとしている。
大事なものが届いた。
行列式コンテストをいつか開きたいので、行列式について考えを巡らせていた。
5/14
0時就寝、8時起床。
セメレディの正則化補題の証明を読んだ。頂点集合を上手く分けると、どの2つを選んでもランダム二部グラ…]]></description>
        </item>
        <item>
            <title><![CDATA[週記 (2026/07/06-2026/07/12)]]></title>
            <link>https://sizu.me/hakoboshi/posts/45u3703d7fwb</link>
            <guid>https://sizu.me/hakoboshi/posts/45u3703d7fwb</guid>
            <pubDate>Mon, 13 Jul 2026 07:51:38 GMT</pubDate>
            <description><![CDATA[命題組み立てやさん。
7/6
0時就寝、7時起床。
今日は休み。久々の3連休が体に染み渡る。
組合せ論サイトの新コンテンツを作っていた。
表現論序説を読み進めた。最近全く読めてなかった。最初の方は流石に知っている話が多い。
友人におはなしを送った。今日からたくさん送りつける予定。
7/7
22時就寝、6時起床。
労働をした。仕事がいっぱいあった。（当社比）
ガロア理論と格闘していた。ようやく納得で…]]></description>
        </item>
        <item>
            <title><![CDATA[週記アーカイブ (2024/05/06-2024/05/12)]]></title>
            <link>https://sizu.me/hakoboshi/posts/2cf2cev2os3s</link>
            <guid>https://sizu.me/hakoboshi/posts/2cf2cev2os3s</guid>
            <pubDate>Sun, 12 Jul 2026 06:55:40 GMT</pubDate>
            <description><![CDATA[サブタイトルつけるの飽きました。
5/6
0時就寝、6時起床。疲れているときは睡眠が下手。
サイクルを禁止したときのTurán numberについて学んだ。
新しい動画を作り始めた。
yukicoderで作問してテスターを募集した。
GW最終日ということで、GWにちなんで勉強していたGW不変量の勉強記録を公開した。いやあ、もっとやる気があればちゃんとGW不変量を理解できたかもしれないけど、怠惰だっ…]]></description>
        </item>
        <item>
            <title><![CDATA[週記 (2026/06/29-2026/07/05)]]></title>
            <link>https://sizu.me/hakoboshi/posts/fx4ibrz2a8xr</link>
            <guid>https://sizu.me/hakoboshi/posts/fx4ibrz2a8xr</guid>
            <pubDate>Sun, 05 Jul 2026 22:21:04 GMT</pubDate>
            <description><![CDATA[皆勤賞。
6/29
22時就寝、5時起床。
七夕飾りがあった。
労働をした。久々にExcel職人になった。
競プロ作問をした。流石にそろそろyukicoderで出題したいが、実装したりテストケースを作ったりする気力がない。
6/30
22時就寝、6時起床。
AtCoderで提出したコードが販売されるようになるらしい。AI関係者が大量アクセスしてくることへの対策らしい。AI関係者がルールを守って有料…]]></description>
        </item>
        <item>
            <title><![CDATA[週記アーカイブ (2024/04/29-2024/05/05)]]></title>
            <link>https://sizu.me/hakoboshi/posts/3ttm1kh00wae</link>
            <guid>https://sizu.me/hakoboshi/posts/3ttm1kh00wae</guid>
            <pubDate>Sun, 05 Jul 2026 07:13:17 GMT</pubDate>
            <description><![CDATA[ご唱和ください。「働きたくない！」
4/29
昭和の日。
0時就寝、8時起床。
補選の結果が出た。どうも「オーガニック食で発達障害が治る」みたいなことを言っている人が当選したらしく、この国は大丈夫かという気持ちに。発達障害は先天的なもので、育て方が悪いとか、食事が悪いとかで発症することはありません。他にまともな候補はいなかったんですか？
数学の動画を見た。ヤングタブローの極限形状。昔ちょっと調べて…]]></description>
        </item>
        <item>
            <title><![CDATA[週記 (2026/06/22-2026/06/28)]]></title>
            <link>https://sizu.me/hakoboshi/posts/7znnazwirrwb</link>
            <guid>https://sizu.me/hakoboshi/posts/7znnazwirrwb</guid>
            <pubDate>Mon, 29 Jun 2026 07:56:38 GMT</pubDate>
            <description><![CDATA[職人の生き様を学べ。
6/22
22時就寝、6時起床。
労働をした。あまりにも眠い。
Doron Zeilbergerの新しいオピニオンを読んだ。人間は公理や証明を用いて厳密な論証を行ってきた。こうして得られる定理は神から見ればすべて自明である。（フェルマーの最終定理でさえ。）賢いコンピュータがやるべきなのはこのような厳密だが自明な数学ではなく、確率的に正しいような深い数学だと述べられている。今は…]]></description>
        </item>
        <item>
            <title><![CDATA[週記アーカイブ (2024/04/22-2024/04/28)]]></title>
            <link>https://sizu.me/hakoboshi/posts/0ixoxwn9irtf</link>
            <guid>https://sizu.me/hakoboshi/posts/0ixoxwn9irtf</guid>
            <pubDate>Sun, 28 Jun 2026 07:29:11 GMT</pubDate>
            <description><![CDATA[大きなぞうさんを見たい。
4/22
マンテルの定理はグラフが三角形を含まないような辺の数の最大値を与える。ある値を超えるまでは三角形が現れないけど、その値を超えると n^3 のオーダーで三角形が増えていく。このような現象をsupersaturationというらしい。証明は適当に読んだので理解してない。
1時就寝、9時起床。
ぼんやり数学の文献を眺めただけで、生産的なことは何もできなかった。
4/2…]]></description>
        </item>
        <item>
            <title><![CDATA[週記 (2026/06/15-2026/06/21)]]></title>
            <link>https://sizu.me/hakoboshi/posts/65e6msb2amho</link>
            <guid>https://sizu.me/hakoboshi/posts/65e6msb2amho</guid>
            <pubDate>Mon, 22 Jun 2026 07:26:01 GMT</pubDate>
            <description><![CDATA[アツアツの楽園。
6/15
22時就寝、6時起床。
労働をした。資料をどう解釈するかで議論になった。well-definedじゃないがち。
ナゲットを食べた。
6/16
21時就寝、5時起床。
労働をした。
物理の勉強をやりたいという気持ちだけある。
6/17
21時就寝、6時起床。
労働をした。いろいろあって疲れた。
6/18
21時就寝、5時起床。
労働をした。
Skebで依頼したイラストが納…]]></description>
        </item>
        <item>
            <title><![CDATA[週記アーカイブ (2024/04/15-2024/04/21)]]></title>
            <link>https://sizu.me/hakoboshi/posts/09138bd9o77f</link>
            <guid>https://sizu.me/hakoboshi/posts/09138bd9o77f</guid>
            <pubDate>Sun, 21 Jun 2026 21:15:36 GMT</pubDate>
            <description><![CDATA[ニート生活最高！
4/15
0時就寝、9時起床。
やるべきことをやった。
yukicoderで最初に作問した問題が50Favを獲得していた。全体で4番目にFav数が多い。結構昔の問題なので、最近競プロを始めた人は知らない人も多そう。ぜひ解いてみては？
4/16
1時就寝、10時起床。
TLに木についての情報が流れるようにしている。今日は木製のボードゲームの情報が流れてきた。おしゃれでいいなあ。
マ…]]></description>
        </item>
        <item>
            <title><![CDATA[週記 (2026/06/08-2026/06/14)]]></title>
            <link>https://sizu.me/hakoboshi/posts/6au6v9hc381r</link>
            <guid>https://sizu.me/hakoboshi/posts/6au6v9hc381r</guid>
            <pubDate>Mon, 15 Jun 2026 07:59:44 GMT</pubDate>
            <description><![CDATA[君がいた夏は。
6/8
22時就寝、6時起床。
労働をした。あまりにも眠い。
ポテトを食べた。
Skebでリクエストしていたイラストが納品された。浴衣姿で夏祭りに参加するオリジナルキャラクター。かわいい。
英語の文献はAIに学習されまくっている一方、日本語の文献はそうでなかったりする。著者の権利を守ることも大事だと思うのだが、いずれAIがインフラとなり、AI検索が当たり前となり経済活動もAIが中心…]]></description>
        </item>
        <item>
            <title><![CDATA[週記アーカイブ (2024/04/08-2024/04/14)]]></title>
            <link>https://sizu.me/hakoboshi/posts/kozx34t4xkfb</link>
            <guid>https://sizu.me/hakoboshi/posts/kozx34t4xkfb</guid>
            <pubDate>Sun, 14 Jun 2026 08:16:07 GMT</pubDate>
            <description><![CDATA[桜花爛漫。しかし花見はしていない。
4/8
0時就寝、9時起床。
新しい数学書の情報を入手。フェルマーの最終定理を始めとする大定理たちは数論幾何学を用いて証明された。この数論幾何学、途轍もなく難しいという噂ばかり聞く。そんな数論幾何学の初学者向けの本らしい。気になる～。
arXivを漁っていたら(元)指導教員の名前を見かけた。
Misskey.ioにアカウントを作ってから1周年を迎えた。Twitt…]]></description>
        </item>
        <item>
            <title><![CDATA[週記 (2026/06/01-2026/06/07)]]></title>
            <link>https://sizu.me/hakoboshi/posts/zu28omkbmuwk</link>
            <guid>https://sizu.me/hakoboshi/posts/zu28omkbmuwk</guid>
            <pubDate>Mon, 08 Jun 2026 07:38:19 GMT</pubDate>
            <description><![CDATA[6月病。
6/1
22時就寝、3時中途覚醒。変な夢を見た。
労働をした。今日で働き始めてちょうど1年。退職RTAにならなくてよかった。簡単な仕事ばかりしていて成長している感覚はないけど、精神が安定してきたのでよい。これからのお仕事はどうなるだろう。
YouTubeのチャンネル名を変えた。なお新動画はできていない。動画にするなら台本を読み上げるだけでなく、視覚的にわかりやすいものにしたい。
6/2
…]]></description>
        </item>
        <item>
            <title><![CDATA[週記アーカイブ (2024/04/01-2024/04/07)]]></title>
            <link>https://sizu.me/hakoboshi/posts/tir41fxnc3wd</link>
            <guid>https://sizu.me/hakoboshi/posts/tir41fxnc3wd</guid>
            <pubDate>Sat, 06 Jun 2026 11:26:42 GMT</pubDate>
            <description><![CDATA[新年度。
4/1
新年度ということで、今日からニート。学生でも社会人でもない。就職はいつになったらできるだろうか。
Misskey.ioとSkebの連携が始まった。Skebでの実績がioのプロフィール欄に自動で反映されることに加えて、リクエストに関する通知がioの通知欄にも届くらしい。すごい。
1時就寝、11時起床。ねすぎ。
四字熟語を20個覚えた。
TAKUMI^3のエイプリルフールでもやろうか…]]></description>
        </item>
        <item>
            <title><![CDATA[週記 (2026/05/25-2026/05/31)]]></title>
            <link>https://sizu.me/hakoboshi/posts/w1zd17stm3u1</link>
            <guid>https://sizu.me/hakoboshi/posts/w1zd17stm3u1</guid>
            <pubDate>Mon, 01 Jun 2026 07:36:13 GMT</pubDate>
            <description><![CDATA[うるおい募集中。
5/25
22時就寝、6時起床。
労働をした。何もすることがなかったので数学をしていた。
ポテトLを食べた。
人間が描いた絵を見せて「このAI生成の絵の問題点を指摘してください」と言った人がいるらしい。もちろん人々はAIだと思い込んであれこれ言うわけだが、それを見て「人間の目は節穴であることが証明された」とか言う始末。自分一人で気持ちよくなってるんじゃないよ。あなたが信奉するAI…]]></description>
        </item>
        <item>
            <title><![CDATA[週記アーカイブ (2024/03/25-2024/03/31)]]></title>
            <link>https://sizu.me/hakoboshi/posts/5txzexkzs226</link>
            <guid>https://sizu.me/hakoboshi/posts/5txzexkzs226</guid>
            <pubDate>Sun, 31 May 2026 08:47:23 GMT</pubDate>
            <description><![CDATA[ホッブズによる言葉「万人の万人に対する闘争」はよく知られている。自然状態では誰もが自己保身のために闘争するという言葉だ。争いを避けるために国家が必要だと言われている。しかし現代を見ると、国家が存在するせいで争いが起きているようにも感じられる。ホッブズの言葉は本当に正しいのだろうか。現代日本でも、普段は礼儀正しいはずの日本人も避難所では喧嘩や盗みなどを行っていたらしい。これが自然状態なのだろうか。個…]]></description>
        </item>
    </channel>
</rss>