Go to Qiita Advent Calendar 2024 Top

真空

@metastable-void

78Contributions

15
Posts 6
Followees 4
Followers

森祐佳。一般社団法人生活情報基盤研究機構 (Menhera.org) 代表理事。自称情報基盤活動家兼アーティスト。興味は哲学と医学。

Site/Bloghttps://www.mori.yuka.org/

Location

茨城県土浦市

Organization

Menhera.org

Support user

About Supporter Service

Support on GitHub Sponsors

Participating Organizations(1)

Following Organizations(1)See all

Following tags(30)See all

関数型プログラミング論文読み Rust 認識論理確率命題論理述語論理 Prolog logic math 論理プログラミング証明 Coq 論理学数学情報科学作曲音楽 music 言語処理系

Following Tags

Find Tags to follow