ローゼンメイデンを読了した。終盤、まいたジュンが急に全知全能になっていくので何ごと！？みたいになる。その一方でまかなかったジュンが最後まで真面目に考察班やっていたので安心感がすごかった。まいたジュンは見習ってください。 …

計算可能性理論のpdfをちょっと読んだ。 https://www.kurims.kyoto-u.ac.jp/~terui/cs2020.pdf 今まで計算不可能関数の存在について、任意のプログラムの停止性を判定するプログ …