LoginSignup
  • @meta77

    人工知能、数学基礎論、数理論理学、計算理論、確率統計などが好きです。

  • 須原 浩道@suharahiromichi

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

  • @sudasuda