タカハシ タツジ TAKAHASHI Tatsuji
高橋 達二
所属 東京電機大学 理工学部 理工学科 情報システムデザイン学系
東京電機大学大学院 理工学研究科 情報学専攻
東京電機大学大学院 先端科学技術研究科 情報学専攻
職種 教授
発表年月日 2016/05/03
発表テーマ A simple (bi)conditional form for necessity and sufficienty: The pARIs rule
会議名 Paris Reasoning
主催者 Jean Baratgin
開催地名 LUTIN (mezzanine), Cite des Sciences, Paris
会議区分 国際会議
講演区分 特別講演・記念講演
単独共同区分 単独
招待講演フラグ 招待講演