謝 章文 | 京都産業大学理学部
スポンサーリンク
概要
関連著者
著作論文
- ソフトウェア工学の基礎と応用IV
- 再帰形プログラム合成の基礎
- 記号形式系と仕様記述
- ソフトウェア工学の基礎と応用III
- ソフトウェア工学の基礎と応用 ?
- ソフトウェア工学の基礎と応用
- プログラミングの形式化とソフトウエア・ツールのありかた(ソフトウェアツール 1 : 段計・記述)
- Logical Program SynthesisのImplementation (Pilot 1)について
- Logical Basis of Program Synthesis (計算機構の数学的研究)
- プログラムの自動合成と定義可能性について (オートマトン理論および言語理論の新展開)
- プログラムの形式的正当性 (情報科学の数学的理論)