The top documents of masahiro-sakai
Omega test and beyond
3.065 views
融合変換による最適化の理論的基盤と正当性 (2006-06-20)
824 views
LLDN / キミならどう書く Haskell 編 (規定演技)
1.518 views
Introduction to Max-SAT and Max-SAT Evaluation
1.272 views
非正格関数に対して適用可能な融合変換
1.764 views
Whole Program Paths 等の紹介@PLDIr#3
805 views
Haskell - LLRing2006 Language Update
2.143 views
融合変換による最適化の理論的基盤と正当性 (2006-06-27)
1.207 views
Ruby-GNOME2におけるGC問題
1.278 views
自動定理証明の紹介
3.588 views
Introduction to Categorical Programming
2.182 views
LLDN / キミならどう書く Haskell 編 (自由演技)
1.594 views
自然言語をラムダ式で解釈する体系PTQのHaskell実装
2.528 views
代数的実数とCADの実装紹介
873 views
萩野服部研究室 スキー合宿 2012 自己紹介(酒井)
1.081 views