述語論理をやろうずlikers
- Meta@kyogoku_meta
情報系の学生です。人工知能を考えるために、数学基礎論、論理学、計算論などに注目しています。強化学習が好き。
- いろは@168irohairoha
趣味で数学とプログラムをやっている素人です。 所謂意識低い系。 何かあればコメントかtwitterへ。 これからはブログに投稿していくので、そちらへお願いします。
1 / 1
情報系の学生です。人工知能を考えるために、数学基礎論、論理学、計算論などに注目しています。強化学習が好き。
趣味で数学とプログラムをやっている素人です。 所謂意識低い系。 何かあればコメントかtwitterへ。 これからはブログに投稿していくので、そちらへお願いします。