昨日開催した定理証明系イベント ProofSummit 2017 のまとめです。参加者の皆さん、お疲れさまでした。また来年の夏も開催します。
https://togetter.com/li/1133030
https://togetter.com/li/1133030
tmiya
- 81 Followers
- 56 Following
- 343 Posts
定理証明系とか機械学習とか、数学と計算機科学が接するところに興味があります。
@genkuroki ありがとうございます。「超絶非自明なのは $\lambda,m$ が well-defined なことです。
なぜならばそれらが well-defined であることを証明するため広中の特異点解消が本質的に使われているからです。」
ということは、広中の特異点解消とか有理的な座標変換とかを勉強しないと、ということみたいですね。
なぜならばそれらが well-defined であることを証明するため広中の特異点解消が本質的に使われているからです。」
ということは、広中の特異点解消とか有理的な座標変換とかを勉強しないと、ということみたいですね。
再掲です。次の週末に開催のイベントです。定理証明系と言われる、数学の定理の自動証明/人間による証明の機械支援、あるいはプログラムの正しさの証明などに関するユーザーによるイベントです。学会のような堅苦しいものではなく、エンジニアによる技術勉強会なので、興味のある方は是非ご参加下さい。
https://proof-summit.connpass.com/event/58803/
https://proof-summit.connpass.com/event/58803/
渡辺「ベイズ統計の理論と方法」なんですが、p.44-48の式変形で、$\mathcal{G}_n, \mathcal{T}_n$の符号がところどころ逆になってる気がする。その結果、補題7と(2.13)-(2.16)が矛盾してたりする気がする。
電位を計算するのはできるし、ある場所に電荷を置いたら、その電荷がどう動くかを追跡することも割と出来るけど、線の密度と対称性を考慮し電気力線をプロットするのは大変そう。二次元問題の場合は、適切な複素関数取ってプロットするという逃げ道がありそうではあるが。
渡辺本の読書会、2章に入った。
https://spml4dm.connpass.com/event/59792/
渡辺先生のベイズ統計の読書会、まだ第1章です。興味のある方はどうぞ。
渡辺先生のベイズ統計の読書会、まだ第1章です。興味のある方はどうぞ。
twitterアイコンが四角から丸になって、一部で阿鼻叫喚となっているのでお題。
平面上の領域 $\{(x,y)\;|\;|x|\leq 1, \; |y|\leq 1\}$ を$\{(x,y)\;|\; x^2+y^2\leq 1\}$ に移すような写像を考えて、論じよ。
平面上の領域 $\{(x,y)\;|\;|x|\leq 1, \; |y|\leq 1\}$ を$\{(x,y)\;|\; x^2+y^2\leq 1\}$ に移すような写像を考えて、論じよ。
毎週水曜夜にコロナ社渡辺澄夫著「ベイズ統計の理論と方法」の読書会をやってます、という宣伝です。第1回はすぐに参加者が溢れたのですが、第2回以降は参加申し込みも落ち着くと思うので、ここで宣伝させてください。（今のところ）素人が集まっての読書会なので、内容に過剰な期待はしないで下さい。
https://spml4dm.connpass.com/event/59377/
https://spml4dm.connpass.com/event/59377/
谷山豊が東京大学で出題した数学の期末試験問題 http://id.fnshr.info/2017/05/28/taniyama-math/