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

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

所属組織は私主宰の同人サークルの名前です。 C++メインにJava、VB.NET、C#、JavaScriptをやります。 もう1つの顔は一次創作作家。アイコンのキャラも創作キャラです。 実はwas-blue.0793の中の人。 アイコンは黒鋼巽さん。