大堀 順也 | 現在, NTTコミュニケーションウェア(株)技術開発部所属

スポンサーリンク

概要

• 同名の論文著者
• 現在, NTTコミュニケーションウェア(株)技術開発部所属の論文著者

関連著者

• 牛島 和夫

  九州産業大学情報科学部

• 牛島 和夫

  九州大学 システム情報科研究

• 大堀 順也

  現在, NTTコミュニケーションウェア(株)技術開発部所属

• 大堀 順也

  現在 Nttコミュニケーションウェア(株)技術開発部所属

• 牛島 和夫

  九州大学大学院システム情報科学研究院

• 程 京徳

  埼玉大学大学院理工学研究科

• 多川 孝央

  現在 日本学術振興会研究員(九州大学にて未来開拓事業リサーチ・アソシエイト)

• 程 京徳

  九州大学大学院システム情報科学研究科 情報工学専攻

• 程 京徳

  九州大学 工学部

• 多川 孝央

  現在, 日本学術振興会研究員(九州大学にて未来開拓事業リサーチ・アソシエイト)

• 大堀 順也

  九州大学 工学部

もっと見る 閉じる

著作論文

• 相関論理における強相関性原理
• 相関論理Rcにおける連言-含意のパラドクスおよび選言-含意のパラドクスの証明不可能性について

スポンサーリンク