前回の記事で「ブログを週に1回更新する」という目標を入れたのに、既に年が明けてから1ヶ月過ぎててびっくりしました。
もっと雑に書いていきたい。

ちなみに2月のカレンダーは歌鈴ちゃんです。

✒ 技術書典4

タイトルの通り、技術書典4に当選しました。

前回までは落選したというツイートをあまり見なかった気がするのですが、今回は知り合いでも落ちたという人がちらほら……
検索をかけてみた感じ、現時点でも10サークル以上は落選サークルがあるようです。
それだけ盛り上がっているということだとは思いますが、次回はもっと多くのサークルが参加できる会場になるといいですね。

📕 書く予定の本について

今回は技術書典2で頒布した情報ガールの続きとして、チャーチ=チューリングのテーゼをテーマにした本を頒布する予定です。
続きとは言ってもキャラクターと世界観を引き継ぐだけで、単独で読める本になると思います。

以下のような内容を盛り込もうと考えていますが、ボリュームや書く日数の関係でいくつかの要素は削ることになると思います。

  • オートマトンとチューリングマシンの基礎
  • ラムダ計算の基礎
  • チューリングマシンとラムダ計算の関係
  • ノイマン型コンピュータとチューリングマシンの関係
  • プログラム言語と計算モデルの関係

毎回ギリギリになって推敲やレビューの時間がほとんど取れていないので、今回こそは余裕を持ってスケジュールを引こう……
そんなわけで、4月22日は技術書典4へぜひお越し下さい!