Ehrenfeucht-Fresse ゲーム

こんにちは,19erの東條です. この記事はISer Advent Calendar 2019の23日目の記事として書かれたものです. adventar.orgちなみに,記事の題名にある人名は,エーレンフォイヒトとフレーゼと読みます. はじめに 最近,一階述語論理などの論理に対する構造…

schemeとλ計算

この記事はISer Advent Calendar 2018 - Adventarの17日目の記事として書かれました.昨日の記事はmin-caml compiler pwn (ISer advent calendar 12/2出題)writeup - cookies.txt .scrでした.19erの@iojjoo(twitter)です.記事など書くのははじめてですが…