(SWIPL)について、うるさい人です。

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

SREに所属している機械学習とかデータ分析をやりたいエンジニア。 でも実際黙々とコーディングしているほうが楽しいのではとか思い始めてだめ

現在Zennを中心に活動していますが、様々なエンジニアに見てもらうという観点からこちらにも記事を投稿させて頂いています。

テーラー柏原

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

2011年まで某航空会社子会社のネットワーク技術者 2012年以降は旋盤工　 2021年からは自宅警備員