連投です． 某H社のtex記法がアレなのでGoogle Chart APIを使っているのですが， 直に打つのは面倒なので，latexの$$←こいつで挟んだ記法からGoogle Chartのイメージを取ってくるhtmlに変換するｽｸﾘﾌﾟﾖを書いていたわけです． まあgauche使います． いい入出…

本日(昨日)のmathoverflow案件: Increasing and Descending Chains of Inner Models for Measurable Cardinals初見で(b)がわかったのでtwitterの鍵垢に書いたんだけど，一応ここにも書く． ただ時間的にその直後にHamkins先生のよりgeneralな回答が載ってい…