基本情報

所属
メルカリ 人工知能サーチ
アクセリア株式会社 研究開発部
学位
PhD(Vienna Institute of Technology)

J-GLOBAL ID
201501082527612421
researchmap会員ID
B000243380

外部リンク

Many-valued logics, especially Gödel logics
Linear orderings, Kripke Frames, intermediate logics
Algebraic specification, Software verification
Proof theory
Geometry and logic

研究分野

  1