こんにちは、ヤバイテックトーキョーです。当サークルは来週から開催される技術書典20に出展します！ オンサイト会場での配置は「さ15」となっております。

サークルレイアウト

今回の出展では新刊の yabaitech.tokyo vol.8 を頒布予定です！

表紙

今回は3つの記事が寄稿されています。

  • 「トポスの内部論理で定理証明支援系を作る : 構成的基礎から非構成的公理まで」 by wasabiz
  • 「FalCAuN によるブラックボックス検査 ― 形式仕様に対する自動テスト ―」 by MasWag
  • 「ハードウェアの事情から理解する C++ メモリモデル」 by nullpo_head

それでは技術書典でお会いできるのを楽しみにしております！