程 京徳 | 九州大学工学部情報工学科
スポンサーリンク
概要
関連著者
-
程 京徳
九州大学工学部情報工学科
-
牛島 和夫
九州大学工学部情報工学科
-
牛島 和夫
九州産業大学情報科学部
-
笠原 義晃
九州大学大型計算機センター
-
笠原 義晃
九州大学工学部情報工学科
-
蒲池 正幸
九州大学 工学部
-
蒲池 正幸
九州大学工学部
-
合志 和晃
九州産業大学情報科学部
-
多川 孝央
現在 日本学術振興会研究員(九州大学にて未来開拓事業リサーチ・アソシエイト)
-
乃村 能成
九州大学工学部
-
多川 孝央
九州大学工学部
-
合志 和晃
九州大学工学部
-
山口 武利
九州大学大学院工学研究科情報工学専攻
-
西 和則
九州大学大学院システム情報科学研究科情報工学専攻
-
後藤 正智
九州大学工学部情報工学科
-
山口 武利
九州大学工学部
-
西 和則
九州大学工学部情報工学科
-
合田 和正
九州大学大学院システム情報科学研究科情報工学専攻
-
合田 和正
九州大学工学部
著作論文
- 定義使用グラフの拡張
- プログラム従属性理論に基づく並行処理ソフトウェアの統合的開発支援環境の構築
- プログラム従属性理論に基づく並行処理ソフトウェアの統合的開発支援環境の構築
- SR並行プログラムにおける依存関係についての考察
- プログラム依存表現に基づく統合的ソフトウェア開発支援環境について
- 並行プログラムのためのプロセス依存ネット生成ツール
- プログラム依存グラフ可視化ツールの開発
- 相関論理Rcにおける強相関性原理について
- 相関論理への時間演算子の導入について
- 注釈付き論理プログラミングへの含意の入れ子表現の導入について
- Annotated Logic Programmingにおける矛盾の処理について
- 並行プログラムからその拡張ペトリネットモデルへの変換
- 命題帰結論理C_mと名辞帰結論理C_nの代数的モデル
- 命題帰結論理Cmと名辞帰結論理Cnの代数的モデル
- ペトリネット編集・シミュレーションツールの開発