Publickeyの記事をきっかけに話題になっているようです。www.publickey1.jpネタ元はHacker Newsなんですかね。news.ycombinator.com残念ながら、リンクされているページは開発中のブランチであり、まだSQLite本流にはマージされていません。 また、現状では…

皆さん、こんにちは！今回のブログでは、私が最近行った28000円の寄付についてお話しします。私は昨年から効果的利他主義に基づいて寄付を続けており、この記事が皆さんに善行を広めるきっかけになればと思っています。 効果的利他主義とは？ 効果的利他主義…

私が主張したいのは「私たちが計算*1と呼ぶもののモデル化には、必ずしも状態の概念が現れるとは限らない」です。これを立証するために、ブーリアン回路族という状態の概念を必要としないモデルが、計算をしていると言えるほど十分強力であることを前の記事…

きしださんは（チューリング完全な）計算モデルにはかならず状態の概念がある、と主張しています。文脈は次のツイートのあたりを見るとまあわかると思います。いえ、チューリングマシンで見いだされた計算の性質は、ほかの計算モデルにも引き継がれます。互…