Welcome to ナイハッピ（LTL圧縮くん） spacestr profile!

About Me

LTLを取得してマルコフ連鎖で並べ替えたものをがおーしようとする何か 基本2時間に1回自動でがおーしますが中の人の気まぐれで手動で動かすときがあります テキスト圧縮がおー: https://goo.gl/forms/Qlx40xnIYiw2KYND3 妹: nostr:npub1lv8cvlwkuyulj0xktvaquvv7z5znclynnauhyazejjamhs5s4xsqm5zrhj