謝 章文 | 京都産業大学計算機科学研究所
スポンサーリンク
概要
関連著者
著作論文
- ソフトウェア工学の基礎と応用IV
- 再帰形プログラム合成の基礎
- 記号形式系と仕様記述
- ソフトウェア工学の基礎と応用III
- ソフトウェア工学の基礎と応用 ?
- ソフトウェア工学の基礎と応用
- プログラミングの形式化とソフトウエア・ツールのありかた(ソフトウェアツール 1 : 段計・記述)
- Logical Program SynthesisのImplementation (Pilot 1)について
- Logical Basis of Program Synthesis (計算機構の数学的研究)