Posts

Introduction Hey everyone! I regularly use anki-editor to create Anki cards. But after upgrading Emacs, my math formulas started looking really messed up. Specifically, I had these two problems: In the desktop Anki browser’s preview for each field, the formulas weren’t rendering as formulas. They just showed up as plain LaTeX code. Formulas were being displayed as PNG images. (They used to be rendered inline with MathJax.) Since I rarely edit cards directly in the desktop Anki app, the first issue was somewhat tolerable. But the second one was really bugging me. The image resolution of the formulas was lower, and they didn’t match the size of the surrounding text. ...

Introduction I have updated Answers of exercises on Hoff, A first course in Bayesian statistical methods (added 10-4), so I’d like to briefly touch upon its content in this blog post as well. First, let me briefly explain the relationship between this problem and the textbook content. I previously wrote an article titled Hoff/標準ベイズのM-Hアルゴリズムがworkすることの証明でつまずいた話 (A story about stumbling on the proof that the M-H algorithm in Hoff/Standard Bayes works), and in Hoff (2009), the proof that the M-H algorithm works in Chapter 10 is done in the following steps: ...

The Problem I was trying to use Org Cite Citations and the following code to display my references: #+print_bibliography: But only the “References” header showed up – the actual list of references was missing. I checked the generated Markdown (.md) files in my content/ directory, and the reference list was there in HTML. However, when I looked at the final HTML files in the public/ directory, the references were gone. This suggested the problem was happening during the Markdown-to-HTML conversion (the md -> html part of org -> md -> html). After some digging, I found an issue on GitHub about the same problem, which led me to the solution. ...

Introduction Regarding the proof presented in Hoff (2009) and Hoff et al. (2022), Section 10.4.2 “Why does the Metropolis-Hastings algorithm work?”, I encountered a point of confusion, so I decided to write about it to organize my thoughts. Hoff’s Proof Flow In Hoff (2009) and Hoff et al. (2022), the proof explaining why the Markov chain generated by the M-H algorithm can approximate the target distribution \(p_0\) proceeds as follows: ...

Whassup, peeps! It’s been a minute since my last post (shoutout to the one person probably reading this, you the real MVP!). My Master’s thesis, with some fresh updates, just dropped on arXiv. Check it: Paper: Babasaki, K., Sugasawa, S., McAlinn, K. and Takanashi, K. (2024). Ensemble doubly robust Bayesian inference via regression synthesis. (arXiv:2409.06288) So, this paper, it’s all about takin’ this ensemble method called Bayesian Predictive Synthesis (BPS) that Professor McAlinn cooked up, and flexing it into the world of causal inference, specifically for estimatin’ Average Treatment Effects (ATE). We’re callin’ our new method “doubly robust Bayesian regression synthesis”. If you wanna get into the nitty-gritty, peep the paper, ya dig? ...

Question a Make up a nonmathematical function that is one to one but not onto. b Make up a mathematical function that is one to one but not onto. Answer a “The student number of” from Keio University students to integers. b \(f(x) = 2^x\)

Question Explain Why one of these statements is true and the other is false: \begin{align*} (\forall \text{ man } M)(\exists \text{ woman } W) \mid W \text{ is the mother of } M \\ (\exists \text{ woman } W)(\forall \text{ man } M) \mid W \text{ is the mother of } M \end{align*} Answer The first statement is true, and the second is false because every man has a mother but there doesn’t exist a woman who is the mother of all men. ...