links - cannorin.net

その他のリンク

他のページで紹介していない各種アカウント・ページを載せています。

zKillboard
EVE Online をやっていた頃の私のキルボード（戦績表）です。もう忙しくて全然遊べていない……
pixiv FANBOX
5年ほど前に、ここで日記を書いていた時期がありました。気軽な投げ銭用として残してあります。
note
音楽関係・VRChat関係の書き物を置こうかと思って作りましたが、今後はこっちのサイトでやりそうです。
Speaker Deck
昔作ったスライドがいくつか置いてあります。今後はこっちのサイトに置くと思います。

おすすめのサイト

私の友人のウェブサイトや、個人的に気に入っているウェブサイトを紹介しています。

お気に入り

Tree Proof Generator

古典命題論理・古典述語論理・一部の正規様相論理について、論理式の証明もしくは反例モデルを出してくれるサイトです。
Uniform interpolant calculator

直観主義命題論理と一部の様相論理（チョイスが謎すぎる）上で、論理式の一様補間を計算してくれるサイトです。
Map of the Universe

モデル理論の道具 (forking and dividing) でいろんな理論を見た図が描かれてるサイトです。
SharpLab

C# や F# などの .NET 言語でコードを書いて、その逆アセンブル結果を見られるサイトです。