ここ最近なにしているか ご飯食べてます。 本読んでます。 寝てます。 ウェブ小説読んでだらけてます。 時々勉強します。 ブログのタイトル変えました。今日（というか昨日）はK-trivialityというものを知って、いろいろ調べたりしていた。確率論と情報理論…

例えば私は高校生のころに読んだ本で、生物とプログラミング言語Lispの自己記述性、自己参照性の類似性、よりかっこつけて言えば同型であることについて非常に感動を覚え、興奮したのを覚えています。これは、単なる帰納に対して演繹がきちんと訓練されてい…