masahiro-sakai documents

Omega test and beyond
Education Omega test and beyond
融合変換による最適化の理論的基盤と正当性 (2006-06-20)
Technology 融合変換による最適化の理論的基盤と正当性 (2006-06-20)
LLDN / キミならどう書く Haskell 編 (規定演技)
Documents LLDN / キミならどう書く Haskell 編 (規定演技)
“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介＠PLDIr#6
Technology “Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介＠PLDIr#6
Introduction to Max-SAT and Max-SAT Evaluation
Technology Introduction to Max-SAT and Max-SAT Evaluation
非正格関数に対して適用可能な融合変換
Technology 非正格関数に対して適用可能な融合変換
Whole Program Paths 等の紹介@PLDIr#3
Education Whole Program Paths 等の紹介@PLDIr#3
“Symbolic bounds analysis of pointers, array indices, and accessed memory regions”他の紹介＠PLDIr#4
Technology “Symbolic bounds analysis of pointers, array indices, and accessed memory regions”他の紹介＠PLDIr#4
“Design and Implementation of Generics for the .NET Common Language Runtime”他の紹介＠PLDIr#5
Technology “Design and Implementation of Generics for the .NET Common Language Runtime”他の紹介＠PLDIr#5
Haskell - LLRing2006 Language Update
Technology Haskell - LLRing2006 Language Update
融合変換による最適化の理論的基盤と正当性 (2006-06-27)
Technology 融合変換による最適化の理論的基盤と正当性 (2006-06-27)
Ruby-GNOME2におけるGC問題
Technology Ruby-GNOME2におけるGC問題
自動定理証明の紹介
Education 自動定理証明の紹介
Introduction to Categorical Programming
Education Introduction to Categorical Programming
LLDN / キミならどう書く Haskell 編 (自由演技)
Documents LLDN / キミならどう書く Haskell 編 (自由演技)
Run-time Code Generation and Modal-ML の紹介@PLDIr#2
Technology Run-time Code Generation and Modal-ML の紹介@PLDIr#2
自然言語をラムダ式で解釈する体系PTQのHaskell実装
Education 自然言語をラムダ式で解釈する体系PTQのHaskell実装
代数的実数とCADの実装紹介
Technology 代数的実数とCADの実装紹介
萩野服部研究室 スキー合宿 2012 自己紹介(酒井)
Documents 萩野服部研究室 スキー合宿 2012 自己紹介(酒井)
Improving Performance by Branch Reordering の紹介@PLDIr#2
Technology Improving Performance by Branch Reordering の紹介@PLDIr#2
Aluminum: Principled Scenario Exploration through Minimality
Technology Aluminum: Principled Scenario Exploration through Minimality