More Related Content
More from Masahiro Sakai (20)
融合変換による最適化の理論的基盤と正当性 (2006-06-20)
- 8. 位置づけ 基礎 応用 信頼性の高いソフトウェア 高性能なソフトウェア ソフトウェア検証 プログラム変換 数理論理学 プログラム意味論 コンピュータサイエンス
- 9. 位置づけ 基礎 応用 領域理論 型理論 各種意味論 ロジック 圏論 離散数学 融合変換 等 形式的証明 モデル検査 テスト等 信頼性の高いソフトウェア 高性能なソフトウェア ソフトウェア検証 プログラム変換 数理論理学 プログラム意味論 コンピュータサイエンス