ややプログラム紀行

博士2年のプログラムに関する日記

2022-01-01から1年間の記事一覧

Efron-Stein inequality

独立な確率変数による和の分散は という関係が成り立つが、似たような関係式を一般の関数に対して述べたのがEfron-Stein inequalityである Efron-Stein inequality 独立な確率変数によって定義されるsquare-integrableな関数に対して以下の関係が成り立つ: …

スプラトゥーン3

youtu.be youtu.be 最近ブログの更新を怠ってしまっていた... 思い出した時にどんな内容でもいいから更新しときたい 9/9にスプラトゥーン3が発売されてから、正直そればっかりやってる(それでいいのか スプラ2ではキャンピングシェルターを使っていたけど、…

CDCLによるSATソルバー

youtu.be 最近記事の更新が疎になってるので、もう少し更新頻度を上げたい 先日、友人からSATソルバーにおけるCDCLというアルゴリズムを非決定的なものに拡張できないかという話を聞き、それを考えるためにはまずCDCLそのものについてちゃんと理解しないとダ…

Hoeffding/Bennett/Bernsteinの不等式

最近concentration inequalitiesを読み進めていて、今は8章まで読んだところなのだけど、一旦学んだことを整理したくなってきたのでまずは序盤の内容をまとめてみるHoeffding/Bennett/Bernsteinの不等式はどれも独立な確率変数の和に関する、古典的な集中不…

あけましておめでとうございます

youtu.be youtu.be ブログを3ヶ月ほど放置してしまったのは初めてな気がする というのも、実は年初めごろ修論の提出に失敗してしまい、それから今に至るまで何となくブログの更新をする気力が起きなかったから こう書くと心が折れて鬱になりました、みたいな…