現在位置
  1. 日本大学商学部ホーム
  2. 商学部の紹介
  3. 教員紹介
  4. 竹村 亮

教員紹介

竹村 亮(Ryo Takemura)

役職 准教授
メールアドレス takemura.ryo@nihon-u.ac.jp
ホームページ
主な担当科目

論理学


ゼミナールはこちら
主な著作・論文

Proof theory for reasoning with Euler diagrams: a Logic Translation and Normalization, Studia Logica.

Two Types of Diagrammatic Inference Systems: Natural Deduction Style and Resolution, Diagrammatic Representation and Inference: 6th International Conference, Diagrams 2010.

A Diagrammatic Reasoning System with Euler Circles, Journal of Logic, Language and Information.

A Phase Semantics for Polarized Linear Logic and Second Order Conservativity, Journal of Symbolic Logic.

学会活動等

日本科学哲学会

人工知能学会

一覧に戻る

このページのトップへ