
楽しい数学問題bot 中の人お気に入りの問題や自作問題を出します(高校生向け) /難易度☆1〜☆12。問題番号Q.2.nは大学範囲を前提とします。 /運営:@Lim_Rim_ /京大作サー:@saKUmonCircle
🚩解答pdfは次のリンク(GitHub)を参照
Joined December 2014
- Tweets157K
- Following289
- Followers7K
- Likes6.6K
どちゃ楽数学bot retweeted
11/7(土) 9:00~11/8(日) 21:00に有志コンテスト「NF杯2026」を実施します!
4年目となる今年も昨年と同様多種多様な問題が集まり、多くの方に楽しんでもらえるコンテストになっています。
是非奮ってご参加ください!!
onlinemathcontest.com/contes…
#NF杯2026 #OMC #saKUmonCircle #京大作問サークル
どちゃ楽数学bot retweeted
機械学習では、ニューラルネットワークの重みを勾配降下法で少しずつ更新する、という方法が定番です。この論文が扱うFunctional Gradient Descent(FGD)は、そこを一段抽象化して、重みではなく、求めたい関数そのものを勾配降下させるというアプローチです。
考え方自体は、
f(t+1) = f(t) - η∇L(f(t))
と普通の勾配降下法によく似ています。ただし、ここで動かしているのは重みベクトルではなく関数 (f) です。問題は、関数空間が一般に無限次元なので、コンピュータではそのまま計算できないことでした。
そこで著者らは、最初は粗い有限次元の表現で関数の勾配を近似し、精度が足りなくなったら表現を細かくする方法を提案しました。ニューラルネットワークのように「何層、何ユニット」とモデルの器を最初に固定するのではなく、学習しながら必要な分だけモデルの表現力を増やしていくわけです。
arxiv.org/abs/2606.16926
どちゃ楽数学bot retweeted
今日の問題です🤡
1以上2470以下の自然数のうち, 実数xを用いて
[30x]+[42x]+[70x]+[105x]
の形で表すことのできる自然数はいくつありますか.
どちゃ楽数学bot retweeted
月刊『大学への数学6月号』5月20日発売
雑誌 05949-06
【特集】ベクトルを狙い撃ち
[講義/数C]点ベクトルと幾何ベクトル
[ベーシック演習]ベクトルの基礎トレーニング
[スタンダード演習]ベクトルの的を射る
[日日の演習]矢印の 先に道あり 点の山
*今月号は創刊号の表紙を再現しています
どちゃ楽数学bot retweeted
Q.33 ☆6 [2009琉球大]
a,bを正の“実数”とする。すべての自然数nに対して
( 1^a+2^a+…+n^a )^2 = 1^b+2^b+…+n^b
が成立するとき, a,bをすべて求めよ。
どちゃ楽数学bot retweeted
【コンテスト開催のお知らせ】
OMCB074
2026-03-27(金) 21:00 ~
※ コンテスト終了時間は変更される可能性があります.ご注意ください.
Rated対象: 参加時のRatingが0 ~ 1199のsolver.
onlinemathcontest.com/contes…
#OMCB074
どちゃ楽数学bot retweeted
【解答速報】
2026年京都大学文系数学の解答速報です。
※受験生の皆さんはこれを見ずに2日目を頑張ってください!
drive.google.com/file/d/1cOa…
#京大 #京都大学 #数学 #京大数学 #解答速報 #二次試験 #作問サークル #saKUmonCircle
どちゃ楽数学bot retweeted
【解答速報】
2026年京都大学理系数学の解答速報です。
※受験生の皆さんはこれを見ずに2日目を頑張ってください!
drive.google.com/file/d/1PKF…
#京大 #京都大学 #数学 #京大数学 #解答速報 #二次試験 #作問サークル #saKUmonCircle
どちゃ楽数学bot retweeted
『ゼロから始めるLean言語入門』井上亜星(ラムダノート)
動作するプログラムとして自然数と整数を構築することで、数学とソフトウェアがLeanによってどう結び付けられるかを確かめながら、Leanによりソフトウェアを開発するための基礎を身に付けます。 数学の形式化に興味がある数学者はもちろん、数学に挑戦したいプログラマーや、計算機科学の抽象概念を手触りで確かめたいエンジニアにも最適な一冊。
書泉オンラインショップ⇩
x.gd/ofWpb
どちゃ楽数学bot retweeted
この問題、めっちゃ面白いです。なお、とある問題集(名前は伏せる)では解答が間違っていました。
xitter.gq/solove_math/status/168…
どちゃ楽数学bot retweeted
新しい論文を書きました。
z^d+c型の有理係数多項式で0の反復逆像を取るとき、何段階目まで有理数の範囲で取れるのか?ということを調べました。
[2510.14397] The number of rational iterated preimages of the origin under unicritical polynomial maps share.google/vuo5BZB81B0RJgY…

































