融合変換による最適化の理論的基盤と正当性 (2006-06-27)

融合変換による最適化の理論的基盤と正当性酒井政裕慶應義塾大学大学院政策・メディア研究科修士課程2年

自己紹介 ,[object Object],[object Object],[object Object],[object Object]

自己紹介: 活動 ,[object Object],[object Object],[object Object],[object Object],[object Object]

研究的興味 ,[object Object],[object Object]

研究の背景 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

研究の背景 (2) ,[object Object],[object Object],[object Object]

研究の目的 ,[object Object],[object Object],[object Object],[object Object],[object Object]

位置づけ基礎応用信頼性の高いソフトウェア高性能なソフトウェアソフトウェア検証プログラム変換数理論理学プログラム意味論コンピュータサイエンス

位置づけ基礎応用領域理論型理論各種意味論ロジック圏論離散数学融合変換等形式的証明モデル検査テスト等信頼性の高いソフトウェア高性能なソフトウェアソフトウェア検証プログラム変換数理論理学プログラム意味論コンピュータサイエンス

最適化 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

ハンドチューニングの問題 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

プログラム変換 ,[object Object],[object Object],[object Object],[object Object]

融合変換 ,[object Object],[object Object],[object Object],[object Object],[object Object]

融合変換の例 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

融合変換の例 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],効率向上

融合変換 (2) ,[object Object],[object Object],[object Object]

関数型言語 ,[object Object],[object Object],[object Object],[object Object],[object Object]

なぜ関数型言語か? ,[object Object],[object Object],[object Object],[object Object],[object Object]

融合変換の理論 ,[object Object],[object Object],[object Object],[object Object]

圏論 ,[object Object],[object Object],[object Object],連続関数位相空間準同型群関数集合プログラム型射対象

データ型と帰納的定義: 自然数を例に ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

帰納的定義の例 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

double ∘ double の融合 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

double ∘ double の融合 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

double ∘ double の融合 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],融合できた !!

融合変換の規則 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

融合の難しさ ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

融合変換の実装例 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

尾上らの手法の問題 ,[object Object],[object Object]

正当性の問題 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

なぜ矛盾するか ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

何が困るのか ,[object Object],[object Object],[object Object]

私のアプローチ ,[object Object],[object Object],[object Object],[object Object],[object Object]

目的 ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]

まとめ ,[object Object],[object Object],[object Object]

Recommended