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

スポンサーリンク

概要

• 同名の論文著者
• 九州大学大学院システム情報科学研究科 情報工学専攻の論文著者

関連著者

• 程 京徳

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

• 程 京徳

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

• 牛島 和夫

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

• 牛島 和夫

  九州産業大学情報科学部

• 牛島 和夫

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

• 野中 裕介

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

• 中田 光治

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

• 宮里 肇

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

• 多川 孝央

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

• 笠原 義晃

  九州大学大型計算機センター

• 多川 孝央

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

• 大堀 順也

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

• 西 和則

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

• 道添 亮幸

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

• 野中 裕介

  九州大学:(現)九州大学大学院システム情報科学研究科

• 安部 浩明

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

• 大堀 順也

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

• 合田 和正

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

• 菰田 和史

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

もっと見る 閉じる

著作論文

• 汎用前向き帰結演算システムEnCalのインタフェースの開発
• Ada並行プログラムのためのタスク従属ネットとその自動生成
• 強相関性原理を満たす決定可能な相関論理体系について
• 5C-3 Ada 95 プログラムのためのシステム従属ネット生成ツール
• 相関論理における強相関性原理
• 前向き自動帰結演算システムの効率化
• 認識プロセスの相関論理モデルにおける認識的縮約操作について
• occam 2プログラムのためのシステム従属ネット生成ツール
• 関数型プログラムの束縛評価グラフ生成ツール
• コンピュータ囲碁における格言の知識表現について

スポンサーリンク