程 京徳 | 九州大学 工学部

スポンサーリンク

概要

• 同名の論文著者
• 九州大学 工学部の論文著者

関連著者

• 牛島 和夫

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

• 程 京徳

  九州大学 工学部

• 牛島 和夫

  九州産業大学情報科学部

• 牛島 和夫

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

• 蒲池 正幸

  九州大学 工学部

• 合志 和晃

  九州産業大学情報科学部

• 大堀 順也

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

• 大堀 順也

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

• 大堀 順也

  九州大学 工学部

• 藤井 紀之

  九州大学 工学部 情報工学科

• 宮田 尚志

  九州大学 工学部

• 合志 和晃

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

もっと見る 閉じる

著作論文

• プログラム依存グラフ可視化ツールの開発
• 相関論理Rcにおける連言-含意のパラドクスおよび選言-含意のパラドクスの証明不可能性について
• 矛盾を扱える論理プログラミングシステムALPS-HI
• 因果関係生成ツールCausget
• 汎用帰結演算システム「EnCal」の並列化について

スポンサーリンク