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

融合変換による最適化の理論的基盤と正当性酒井政裕慶應義塾大学政策・メディア研究科修士課程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]

研究の背景 (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],[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],連続関数位相空間準同型群関数集合プログラム型射対象

Catamorphism ,[object Object],[object Object],[object Object],帰納的定義を表現 h(0) = f h(s(n)) = g(h(n)) catamorphism と呼ばれる

Catamorphism の例 ,[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]

融合変換の実装例(1) ,[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]

Hylomorphism ,[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]

なぜ矛盾するか (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]

目的(2) ,[object Object],[object Object]

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

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

Recommended

Recommended

More Related Content

What's hot

What's hot (10)

More from Masahiro Sakai

More from Masahiro Sakai (20)

Recently uploaded

Recently uploaded (9)

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