プログラミング初心者。

TOPPERS／箱庭WG活動でUnityやらAthrillやらmROSやら触ってます。 最近は仕事の関係でWeb系の技術に注力しつつ、箱庭への転用を模索しています。 2023年8月1日：合同会社箱庭ラボに移動しました

その時々で興味が湧いて作ったものや、調べた事などをメモしていきます。

定理証明系や論理プログラミングに興味をもっています。