ややプログラム紀行

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

沖縄

Francisco Fuentes - Wavelength EP Francisco Fuentes Utility Barker Three Drums Four Tet eye spliceはラボメンが教えてくれた曲なのだけど、普段hiphopはあまり聞かないから新鮮で良い*1 気がついたら2月をすっ飛ばしてもう3月になってた、気を抜くとす…

26

Coda Rival Consoles 1月19日に誕生日を迎えて、無事26歳になってしまった 26歳を迎えることを無事と形容するのには何だか抵抗があるけど、怪我や病気してないだけ無事なんだと思う 8,9,10歳くらいだったのがつい先日のことのように感じる(流石に昔すぎか)け…

生活の振り返り

Guidance to the Sennou Mayurashka Almost There |||||||||||||||||||| 2024年の目標として「活動時間を倍にする」を掲げていたので、その第一歩として今年に入ってから毎日の全ての行動を記録してみた 今日で記録を始めてから2週間くらいになるので、一旦…

log-Sobolev不等式

去年最後に投稿した記事でPoincaré不等式について書いたので、その続きで今回はlog-Sobolev不等式について軽く&フォーマルに書こうと思うMarkov過程が均衡状態に収束していく様子はある意味で熱伝導方程式のように捉えることもできて、その様子を分散の指数…

2024

明けましておめでとうございます! 気がついたらもう2024ですが、今年もよろしくお願いします🎍 今年の目標は「活動時間を2倍にする」です とりあえず食事や休憩時間などを記録するアプリ入れてみたら、すでに6時間くらい休憩してました デュエルスタンバイ!

Poincaré不等式

Maya Jane Coles · Bo & WingOn Your Side (Single) Laurence Guy気がつけばもう今年も終わりだ 今年は何もしてないわけではない(と思う)のでその点は自分を褒めたいけど、振り返って反省点を挙げるならとにかく活動時間の短さだと思う 周りの博士課程の人た…

IE 300

Leko Remixes incl. Session Victim Remix KiNK Dreaming Weval Cloudy (Kelbin Remix) Daphni 元々数年前に買ったBOSEの名機、QuietComfort 20とGoogle Pixel6aを買ったときに特典でついてきたBluetoothイヤホン(Pixel Buds A-series)を持っていて、Bluetoo…

凸関数

youtu.be4D Blank Banshee 昔からなんとなく凸解析や双対全般に対して苦手意識みたいなものがあって、おそらく一番の理由は僕自身が凸関数のことを舐めているからだと思うと言うのも、"凸"関数や"線形"計画法みたいなものは使える状況が限られるような印象が…

上高地

本当は今研究の方が結構忙しいはずなんだけど、先日2泊3日で長野の上高地に行ってきた 今までどこかに行ったときことを記事にしたりしてなかったけど、たまには写真を載せてみようと思う まず初日の夜にラクーアに集合して、リラックススペースみたいなとこ…

夏バテ

MY DEAR DJ Koze Live At Szczecin Philharmonic Tangerine Dream 気がついたら7月通り越して8月の半ばになってた 最近は作業が溜まってるのにマジで何もやる気が起きなくて、2週間ほど自室で横になりながらyoutubeを見る以外のことができなかった こうして…

スト6

Love What Survives Mount Kimbie Yeti Caribou スト6が6月2日に発売されて、僕は謎に発売日当日にダウンロード版を買った(暇か ストリートファイターといえば中高生の時にスト4をちょっとやってて、当時はゲーセンに行って友達と対戦したりもしてた ブログ…

漫画

The Album SW. youtu.be 最近やけに「ぼくは麻理の中」の広告を見かけることがあって、前々から少し気になっていたのもあって読んでみた 普段ぼくはあまり漫画を読む方ではない(多分)のだけど、いやむしろあまり読んでないからこそ久しぶりに読む漫画に熱中…

博士1年

youtu.be youtu.be youtu.be 新学期が始まって、無事博士1年生になった(無事とは言ってない 自分の受験番号がわからないせいで、合格者が発表された後も自分が合格したのか分からないなんて事件もあった*1けど、ブログに書こう書こうと思ってたらそのまま新…

Exponential Stochastic Inequality

ほとんどのPACベイズ解析は、その証明の根幹にDonsker-Varadhan's variational formulaというものを用いる 任意の確率分布と可測関数*1に対して以下が成り立つ: ただし、は上の確率分布全ての集合を表す よって特に、上式の両辺を指数の肩に乗せることで が…

1月終わり

youtu.be youtu.be JINGER002 by Jinger aka Traumer 気がついたら今年の12分の1が終わろうとしてるの怖すぎる なんとか修論発表も終わって、今が一番暇な時期かもしれない 修論発表のついでに博士審査なるものがあったのだけど、自分はまだ博士課程に進学で…

修論

昨日、無事修論を提出した やっと解放されたーーと言いたいところだけど、まだ修論発表が残っている..._(:3」∠)_ 今日は実は25歳の誕生日なのだけど、おかげで明日の発表練習に向けてスライドを作る羽目に 25歳って、四捨五入したら30やん!もうアラサーじゃ…

2023

明けましておめでとうございます!! お正月に投稿するの忘れてたけど、まぁ1/5までは正月ってことでね...() もうすぐ修論の提出締め切りということで、最近はただただ修論を書いてる 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ヶ月ほど放置してしまったのは初めてな気がする というのも、実は年初めごろ修論の提出に失敗してしまい、それから今に至るまで何となくブログの更新をする気力が起きなかったから こう書くと心が折れて鬱になりました、みたいな…

Peter-Paul inequality

AmbrosioのGradient Flowsを読んでいるとしばしばが絡んだYoung inequalityが出てきて、賢い式変形するなぁと思っていたらどうやらPeter-Paul inequalityと呼ばれる特殊系らしい:Wikipedia曰く、変数がとのバウンドに対する影響力のトレードオフを操作するの…

ボルダリング

最近週に1回くらいのペースでボルダリングジムに行ってる 単純に面白いし運動になるから結構楽しく通えてて、表向きの趣味としても良いかなって思ってる 基本的に学部時代の友人2人と行ってるんだけど、2人と比べて自分が手と腕の力がめちゃくちゃ弱いのを感…

近況

youtu.be youtu.be 結局夏休みの間は研究はミリもやらずに、主に超関数、微分幾何、最適輸送あたりの座学ばかりやってた最適輸送は を読んでいて、とりあえず最適輸送の定義や基本的性質が述べられてるPart 1を読んだ滑らかでない幾何での解析とか、それ自体…

Hamiltonian Monte Carlo

何となくHamiltonian Monte Carloの挙動を実際に見てみたかったので実装してみた Hamiltonian Monte Carloについては arxiv.org がわかりやすかった*1 Markov Chain Monte Carlo Hamiltonian Monte Carlo、略してHMCはMarkov Chain Monte Carlo(MCMC)に分子…

中間発表

youtu.be 9/1に修論の中間発表があった いつものように締め切り駆動で動いてたせいで8月の最後の1週間は本当にしんどい思いをしたし、その1週間で実質的な進捗を全部産んでた気がする 締め切り直前、常に研究のことばっか考えてると色んなアイディアが浮かん…

Online PCA

最近僕はcontinual learningの文脈でタスクの数に依存せずにリプレイバッファを構築する方法について考えているんだけど、ここら辺を研究しているとなんとなくonline pca、つまりオンライン主成分分析と関連性があるような気がしてくるリプレイバッファとい…

natural gradient

natural gradient descentは見かけるたびに怪しい理解のままスルーしてたので、ちょっとここら辺でちゃんと確認しておくかと思って↓を読んだ arxiv.orgnatural gradient descentといえば勾配にフィッシャー情報行列の逆行列をかけたものを使って更新してく奴…

佐渡島

youtu.be 前回の記事で「ここ数日夏休みを先取りするレベルで遊んだので、これからは挽回していきたい」的なことを書いた気がするけど、また長期間遊んでしまった というわけで今度は2泊3日で佐渡島に行ってきた 正確には深夜バスで新潟行って、そこからジェ…