りぼーす (@ribooose) header
りぼーす (@ribooose) profile picture

りぼーす

@ribooose

ut理数3年 JMOチューター 科甲12th

peing.net/ja/ribooose2
Joined August 2021
  • Tweets2.7K
  • Following292
  • Followers2.5K
211Media
Photo by りぼーす (@ribooose)Photo by りぼーす (@ribooose)Photo by りぼーす (@ribooose)Photo by りぼーす (@ribooose)Photo by りぼーす (@ribooose)Photo by りぼーす (@ribooose)Photo by りぼーす (@ribooose)Photo by りぼーす (@ribooose)Photo by りぼーす (@ribooose)Photo by りぼーす (@ribooose)
mathlog.info/articles/KwT5GP… 記事を書きました！ 解の存在性がZFC独立なℝ→ℝの関数方程式はそれなりに素直な方法で明示的に作れるという内容です。 (実際は(記事中にもあるように)ℕの定義関数が作れるわけなので、Hilbertの第10問題あたりの手法(MRDP)を用いると全然手に負えないことがわかります)
ZFCで解けない関数方程式

ZFCで解けない関数方程式

[でるたいーた氏のこのツイート](https://x.com/d3174_3742601/status/2089626861093753225)を見て考えてみたところ, 解の存在性が$\ZFC$独立な関数方程式を作れたので紹介します. # 導入 &&& 約束 - 論理体系はすべて一階述語論理を考える. - 本記事を通して, 論理式の言語は断りのない限り$\R$の各元, 加減乗算, 不等号,...

mathlog.info
31
187
11,037
日本列島 完成: 2回 アジア大陸 完成: 2回 都道府県数: 47 / 47 スコア: 939,870点 #都道府県ゲーム @masato_24kw sns.dopagamelab.com/pref-pac…
Image from りぼーす (@ribooose)
Image from りぼーす (@ribooose)
まさと｜個人でゲーム開発 (@masato_24kw) profile pictureまさと｜個人でゲーム開発
@masato_24kwOct 15
えー、このゲームの制作者ではありますが、一度もクリアしたことがありせん。 どうすればクリアできますか？笑 47都道府県のうち 47県を箱に詰めた! いちばん大きいかたまり: 四国地方 ほか8県 (12県) 10,880点 #都道府県ゲーム sns.dopagamelab.com/pref-pac…
Image from まさと｜個人でゲーム開発 (@masato_24kw)
1
10
741
夏季セミ充実してた〜ありがとうございました！
Image from りぼーす (@ribooose)
Image from りぼーす (@ribooose)
1
32
1,698
夏が始まる！
21
1,219
浜松予選はH問題、I問題を作っていました！ I問題のv(a)=2のケースの一般論はよくわからなかったので、もしわかった方がいればぜひ教えてください
1
32
2,248
【高校生数学コンテスト in Hamamatsu 予選　動画提出期限の延長について】 動画のアップロードに想定以上の時間を要している方が多いため、提出期限を2026年7月26日23時59分まで延長いたします。 動画ファイルを提出フォームへ直接アップロードすることが難しい場合は、
1
13
3
34
7,987
【大会結果報告】 #imo2026 中国・上海で開催された第67回国際数学オリンピックにおいて、日本選手団は金2枚・銀1枚・銅3枚と全選手がメダルを獲得し、特に濵川選手は2年連続での金メダル受賞を達成しました。合計得点に基づく国別順位は10位でした。来年はハンガリー・ブダペストで開催されます！
Image from ごちすう(ご注文は数オリですか？) (@gochisuu)
Image from ごちすう(ご注文は数オリですか？) (@gochisuu)
Image from ごちすう(ご注文は数オリですか？) (@gochisuu)
Image from ごちすう(ご注文は数オリですか？) (@gochisuu)
1
23
1
118
7,371
りぼーす retweeted
まさかさ (@masakasa2022) profile picture
まさかさ@masakasa2022Jul 20
数オリ終わり！
Image from まさかさ (@masakasa2022)
1
27
2
359
8,968
りぼーす retweeted
poino (@poino_math) profile picture
poino@poino_mathJul 20
第67回国際数学オリンピック上海大会で銅メダルを獲得しました！
Image from poino (@poino_math)
30
50
748
26,957
IMOおうえん
9
1,149
記事を書きました！ スキームの問題に対してモデル理論とGröbner基底の話を部分的に使うことで見通し良く解けるという内容です mathlog.info/articles/D4xSKp…
代数幾何の問題をいろいろ使って解く

代数幾何の問題をいろいろ使って解く

# はじめに Hartshorneの演習2.3.15に, 次のような問題があります. 以下$k$を代数閉とは限らない体, $X$を$k$上の有限型スキームとします. また, 体$K$に対して$\bar{K}$で$K$の代数閉包を表し, $\Spec K$を単に$K$と書きます. &&&exc [1]演習2.3.1.5(a)(幾何的既約スキームの特徴づけ) 以下の同値性を示せ. このとき,...

mathlog.info
20
3
89
14,559
りぼーす retweeted
acuri (@acuri_math) profile picture
acuri@acuri_mathApr 14
えぐも総合9位で金メダルをいただきました。 試験外も含め、本当に貴重な経験ができ、感謝の気持ちでいっぱいです。 ガイドしてくださった皆さん、本当にありがとうございました😭
Image from acuri (@acuri_math)
11
15
318
15,774
りぼーす retweeted
E7(b9,#11) (@RtM3P5m7m9aug11) profile picture
E7(b9,#11)@RtM3P5m7m9aug11Apr 4
IMO代表になりました！ 全力で頑張ってきます
17
23
313
13,628
IMO代表らしい
33
25
423
19,987
りぼーす retweeted
まさかさ (@masakasa2022) profile picture
まさかさ@masakasa2022Apr 4
国際数学オリンピック日本代表になりました 各国の皆さん対戦宜しくお願いします👊
24
33
2
1,217
31,463
りぼーす retweeted
poino (@poino_math) profile picture
poino@poino_mathApr 4
第67回国際数学オリンピック日本代表に選ばれました！！ 生きててよかった…
100
97
4
5,430
118,641
発表されてる！ 本当におめでとうございます
15
1,365
りぼーす retweeted
locker (@locker_math) profile picture
locker@locker_mathMar 31
② JMO チューターになります！ 既に春合宿の写真で見つけた方もいるかもしれませんが、チューターとして今後も JMO 財団に関わらせて頂くことになりました (本当に本当に感謝・感激しています)。会う機会があればよろしくお願いします！
1
5
136
4,771
りぼーす retweeted
じゅんにー (@jun2nosimobe) profile picture
じゅんにー@jun2nosimobeMar 24
セットは苦手でも大丈夫だよ
2
11
1,359
春合宿本当にお疲れ様でした！ また夏季セミナーでお会いしましょう
17
1,325
Load more