Submit Search
Upload
LLW2004 その場でどう書く - Haskell
•
0 likes
•
454 views
Masahiro Sakai
Follow
Technology
Report
Share
Report
Share
1 of 4
Download now
Download to read offline
Recommended
Bash on Railsの逆襲
Bash on Railsの逆襲
emasaka
2008年1月28日、第12回GenesisLightingTalksでの発表資料
変わる時代、変わらぬ思い
変わる時代、変わらぬ思い
Hiromu Shioya
asdfgh
Pagian web 6
Pagian web 6
jestebanpineda
ウェブテコ第6回でのLT発表資料です。 http://webteko.jp/
Webteko mysqlftppc
Webteko mysqlftppc
Hiroaki Kawai
Web design and programming Lecturer: Ahmed Ali Saihood
XHTML
XHTML
Ahmed Saihood
http://capitawiki.wustl.edu/index.php/20060111_Air_Quality_Cluster_Tech:_Data_Flow_%26_Interoperability_in_DataFed_Service-based_AQ_Analysis_System
0603 Esip Fed Wash Dc Tech Pres 060103 Esip Aq Tech Track
0603 Esip Fed Wash Dc Tech Pres 060103 Esip Aq Tech Track
Rudolf Husar
130205 epa exc_event_seminar
130205 epa exc_event_seminar
Rudolf Husar
This slideshow is a brief description of the Exceptional Event Decision Support System Description (EE DSS).
Exceptional Event Decision Support System Description
Exceptional Event Decision Support System Description
Rudolf Husar
Recommended
Bash on Railsの逆襲
Bash on Railsの逆襲
emasaka
2008年1月28日、第12回GenesisLightingTalksでの発表資料
変わる時代、変わらぬ思い
変わる時代、変わらぬ思い
Hiromu Shioya
asdfgh
Pagian web 6
Pagian web 6
jestebanpineda
ウェブテコ第6回でのLT発表資料です。 http://webteko.jp/
Webteko mysqlftppc
Webteko mysqlftppc
Hiroaki Kawai
Web design and programming Lecturer: Ahmed Ali Saihood
XHTML
XHTML
Ahmed Saihood
http://capitawiki.wustl.edu/index.php/20060111_Air_Quality_Cluster_Tech:_Data_Flow_%26_Interoperability_in_DataFed_Service-based_AQ_Analysis_System
0603 Esip Fed Wash Dc Tech Pres 060103 Esip Aq Tech Track
0603 Esip Fed Wash Dc Tech Pres 060103 Esip Aq Tech Track
Rudolf Husar
130205 epa exc_event_seminar
130205 epa exc_event_seminar
Rudolf Husar
This slideshow is a brief description of the Exceptional Event Decision Support System Description (EE DSS).
Exceptional Event Decision Support System Description
Exceptional Event Decision Support System Description
Rudolf Husar
111018 geo sif_aq_interop
111018 geo sif_aq_interop
Rudolf Husar
2013-04-30 EE DSS Approach and Demo
2013-04-30 EE DSS Approach and Demo
Rudolf Husar
130205 epa ee_presentation_subm
130205 epa ee_presentation_subm
Rudolf Husar
2009-11-20 Haskell Night にて。
自然言語をラムダ式で解釈する体系PTQのHaskell実装
自然言語をラムダ式で解釈する体系PTQのHaskell実装
Masahiro Sakai
100528 satellite obs_china_husar
100528 satellite obs_china_husar
Rudolf Husar
My presentation slides at Haskell Day 2016 event held in Tokyo in Sep. 17, 2016.
SAT/SMT solving in Haskell
SAT/SMT solving in Haskell
Masahiro Sakai
Introduction of the paper “DeepXplore: Automated Whitebox Testing of Deep Learning” https://arxiv.org/abs/1705.06640
DeepXplore: Automated Whitebox Testing of Deep Learning
DeepXplore: Automated Whitebox Testing of Deep Learning
Masahiro Sakai
Introduction of some papers on verification of neural networks. Slides for in-house seminar.
Towards formal verification of neural networks
Towards formal verification of neural networks
Masahiro Sakai
2018-02-27に開催された 機械学習・ディープラーニングでPythonを使う嬉しさとツラミを分かちあう会 https://mlxse.connpass.com/event/77315/ での発表資料。
関数プログラマから見たPythonと機械学習
関数プログラマから見たPythonと機械学習
Masahiro Sakai
My talk slides at PFN Thursday Seminar 2017-10-12 Recorded video: https://www.youtube.com/watch?v=BR_nxNRXn5g
Writing a SAT solver as a hobby project
Writing a SAT solver as a hobby project
Masahiro Sakai
2017-08-24に開催されたICSE 2017勉強会にて RClassify: Classifying Race Conditions in Web Applications via Deterministic Replay (Lu Zhang and Chao Wang) の紹介を行った資料です。 ICSE 2017勉強会: https://sites.google.com/site/sereadings/icse2017-reading
RClassify: Classifying Race Conditions in Web Applications via Deterministic ...
RClassify: Classifying Race Conditions in Web Applications via Deterministic ...
Masahiro Sakai
某所で2分で自己紹介がてらにMOOCの紹介などをしたときの資料。
ゼロピッチ: MOOC
ゼロピッチ: MOOC
Masahiro Sakai
Proof Summit 2015 <http: /> で発表した、SAT/SMTソルバの仕組みです。 Proofということで、論理学的側面からの面白さを出来るだけ紹介しています。
SAT/SMTソルバの仕組み
SAT/SMTソルバの仕組み
Masahiro Sakai
The slides for my talk on Feb. 27 2014 at ZIB. Abstract: Maximum Satisfiability (Max-SAT) and its weighted variants are optimization extension of Boolean Satisfiability (SAT), and it is interesting that technologies from both AI/CP community and OR community are employed to solve Max-SAT problems. In this talk, I present brief introduction of SAT/Max-SAT problems, some of solving approaches, and my experience of submitting SCIP and my own SAT-based solver "toysat" to the Max-SAT Evaluation 2013; the annual Max-SAT solver competition. After that, I would like to have a discussion on submitting SCIP to the upcoming Max-SAT Evaluation 2014.
Introduction to Max-SAT and Max-SAT Evaluation
Introduction to Max-SAT and Max-SAT Evaluation
Masahiro Sakai
ICSE'13勉強会 http://qwik.jp/se-reading/9.html での論文紹介
Aluminum: Principled Scenario Exploration through Minimality
Aluminum: Principled Scenario Exploration through Minimality
Masahiro Sakai
「Haskellで計算機代数勉強会」 http://partake.in/events/451a51b0-b18e-4e01-bda4-423bf57f4051 での発表資料。 代数的実数と Cylindrical Algebraic Decomposition による実閉体の決定可能性の二つについて。
代数的実数とCADの実装紹介
代数的実数とCADの実装紹介
Masahiro Sakai
Demonstration of CDCL SAT solver working on a small example problem.
How a CDCL SAT solver works
How a CDCL SAT solver works
Masahiro Sakai
Proof Summit 2012 http://partake.in/events/3df37687-ccf7-440c-865c-3ddb1409f5df での発表。 Omega test の簡単な紹介。
Omega test and beyond
Omega test and beyond
Masahiro Sakai
萩野服部研のスキー合宿のLTでの自己紹介スライド(編集版)。
萩野服部研究室 スキー合宿 2012 自己紹介(酒井)
萩野服部研究室 スキー合宿 2012 自己紹介(酒井)
Masahiro Sakai
2011-09-25 に行われた ProofSummit でのLTの発表資料。
自動定理証明の紹介
自動定理証明の紹介
Masahiro Sakai
PLDIr#6 (2010-02-11) での Adoption and Focus: Practical Linear Types for Imperative Programming と MaJIC: Compiling MATLAB for Speed and Responsivenes の紹介。
“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介@P...
“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介@P...
Masahiro Sakai
PLDIr#5 (2010-01-06) での紹介。
“Design and Implementation of Generics for the .NET Common Language Runtime”他...
“Design and Implementation of Generics for the .NET Common Language Runtime”他...
Masahiro Sakai
More Related Content
Viewers also liked
111018 geo sif_aq_interop
111018 geo sif_aq_interop
Rudolf Husar
2013-04-30 EE DSS Approach and Demo
2013-04-30 EE DSS Approach and Demo
Rudolf Husar
130205 epa ee_presentation_subm
130205 epa ee_presentation_subm
Rudolf Husar
2009-11-20 Haskell Night にて。
自然言語をラムダ式で解釈する体系PTQのHaskell実装
自然言語をラムダ式で解釈する体系PTQのHaskell実装
Masahiro Sakai
100528 satellite obs_china_husar
100528 satellite obs_china_husar
Rudolf Husar
My presentation slides at Haskell Day 2016 event held in Tokyo in Sep. 17, 2016.
SAT/SMT solving in Haskell
SAT/SMT solving in Haskell
Masahiro Sakai
Viewers also liked
(6)
111018 geo sif_aq_interop
111018 geo sif_aq_interop
2013-04-30 EE DSS Approach and Demo
2013-04-30 EE DSS Approach and Demo
130205 epa ee_presentation_subm
130205 epa ee_presentation_subm
自然言語をラムダ式で解釈する体系PTQのHaskell実装
自然言語をラムダ式で解釈する体系PTQのHaskell実装
100528 satellite obs_china_husar
100528 satellite obs_china_husar
SAT/SMT solving in Haskell
SAT/SMT solving in Haskell
More from Masahiro Sakai
Introduction of the paper “DeepXplore: Automated Whitebox Testing of Deep Learning” https://arxiv.org/abs/1705.06640
DeepXplore: Automated Whitebox Testing of Deep Learning
DeepXplore: Automated Whitebox Testing of Deep Learning
Masahiro Sakai
Introduction of some papers on verification of neural networks. Slides for in-house seminar.
Towards formal verification of neural networks
Towards formal verification of neural networks
Masahiro Sakai
2018-02-27に開催された 機械学習・ディープラーニングでPythonを使う嬉しさとツラミを分かちあう会 https://mlxse.connpass.com/event/77315/ での発表資料。
関数プログラマから見たPythonと機械学習
関数プログラマから見たPythonと機械学習
Masahiro Sakai
My talk slides at PFN Thursday Seminar 2017-10-12 Recorded video: https://www.youtube.com/watch?v=BR_nxNRXn5g
Writing a SAT solver as a hobby project
Writing a SAT solver as a hobby project
Masahiro Sakai
2017-08-24に開催されたICSE 2017勉強会にて RClassify: Classifying Race Conditions in Web Applications via Deterministic Replay (Lu Zhang and Chao Wang) の紹介を行った資料です。 ICSE 2017勉強会: https://sites.google.com/site/sereadings/icse2017-reading
RClassify: Classifying Race Conditions in Web Applications via Deterministic ...
RClassify: Classifying Race Conditions in Web Applications via Deterministic ...
Masahiro Sakai
某所で2分で自己紹介がてらにMOOCの紹介などをしたときの資料。
ゼロピッチ: MOOC
ゼロピッチ: MOOC
Masahiro Sakai
Proof Summit 2015 <http: /> で発表した、SAT/SMTソルバの仕組みです。 Proofということで、論理学的側面からの面白さを出来るだけ紹介しています。
SAT/SMTソルバの仕組み
SAT/SMTソルバの仕組み
Masahiro Sakai
The slides for my talk on Feb. 27 2014 at ZIB. Abstract: Maximum Satisfiability (Max-SAT) and its weighted variants are optimization extension of Boolean Satisfiability (SAT), and it is interesting that technologies from both AI/CP community and OR community are employed to solve Max-SAT problems. In this talk, I present brief introduction of SAT/Max-SAT problems, some of solving approaches, and my experience of submitting SCIP and my own SAT-based solver "toysat" to the Max-SAT Evaluation 2013; the annual Max-SAT solver competition. After that, I would like to have a discussion on submitting SCIP to the upcoming Max-SAT Evaluation 2014.
Introduction to Max-SAT and Max-SAT Evaluation
Introduction to Max-SAT and Max-SAT Evaluation
Masahiro Sakai
ICSE'13勉強会 http://qwik.jp/se-reading/9.html での論文紹介
Aluminum: Principled Scenario Exploration through Minimality
Aluminum: Principled Scenario Exploration through Minimality
Masahiro Sakai
「Haskellで計算機代数勉強会」 http://partake.in/events/451a51b0-b18e-4e01-bda4-423bf57f4051 での発表資料。 代数的実数と Cylindrical Algebraic Decomposition による実閉体の決定可能性の二つについて。
代数的実数とCADの実装紹介
代数的実数とCADの実装紹介
Masahiro Sakai
Demonstration of CDCL SAT solver working on a small example problem.
How a CDCL SAT solver works
How a CDCL SAT solver works
Masahiro Sakai
Proof Summit 2012 http://partake.in/events/3df37687-ccf7-440c-865c-3ddb1409f5df での発表。 Omega test の簡単な紹介。
Omega test and beyond
Omega test and beyond
Masahiro Sakai
萩野服部研のスキー合宿のLTでの自己紹介スライド(編集版)。
萩野服部研究室 スキー合宿 2012 自己紹介(酒井)
萩野服部研究室 スキー合宿 2012 自己紹介(酒井)
Masahiro Sakai
2011-09-25 に行われた ProofSummit でのLTの発表資料。
自動定理証明の紹介
自動定理証明の紹介
Masahiro Sakai
PLDIr#6 (2010-02-11) での Adoption and Focus: Practical Linear Types for Imperative Programming と MaJIC: Compiling MATLAB for Speed and Responsivenes の紹介。
“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介@P...
“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介@P...
Masahiro Sakai
PLDIr#5 (2010-01-06) での紹介。
“Design and Implementation of Generics for the .NET Common Language Runtime”他...
“Design and Implementation of Generics for the .NET Common Language Runtime”他...
Masahiro Sakai
Haskell 2009年末の集い、の発表資料。
Relaxed Dependency Analysis
Relaxed Dependency Analysis
Masahiro Sakai
PLDIr#4 (2009-12-02) での紹介。
“Symbolic bounds analysis of pointers, array indices, and accessed memory reg...
“Symbolic bounds analysis of pointers, array indices, and accessed memory reg...
Masahiro Sakai
PLDIr#3 (2009-11-03) での紹介。 元ネタはPLDI'99。
Whole Program Paths 等の紹介@PLDIr#3
Whole Program Paths 等の紹介@PLDIr#3
Masahiro Sakai
PLDIr#2 (2009-09-30) での紹介。 元ネタはPLDI'98。
Run-time Code Generation and Modal-ML の紹介@PLDIr#2
Run-time Code Generation and Modal-ML の紹介@PLDIr#2
Masahiro Sakai
More from Masahiro Sakai
(20)
DeepXplore: Automated Whitebox Testing of Deep Learning
DeepXplore: Automated Whitebox Testing of Deep Learning
Towards formal verification of neural networks
Towards formal verification of neural networks
関数プログラマから見たPythonと機械学習
関数プログラマから見たPythonと機械学習
Writing a SAT solver as a hobby project
Writing a SAT solver as a hobby project
RClassify: Classifying Race Conditions in Web Applications via Deterministic ...
RClassify: Classifying Race Conditions in Web Applications via Deterministic ...
ゼロピッチ: MOOC
ゼロピッチ: MOOC
SAT/SMTソルバの仕組み
SAT/SMTソルバの仕組み
Introduction to Max-SAT and Max-SAT Evaluation
Introduction to Max-SAT and Max-SAT Evaluation
Aluminum: Principled Scenario Exploration through Minimality
Aluminum: Principled Scenario Exploration through Minimality
代数的実数とCADの実装紹介
代数的実数とCADの実装紹介
How a CDCL SAT solver works
How a CDCL SAT solver works
Omega test and beyond
Omega test and beyond
萩野服部研究室 スキー合宿 2012 自己紹介(酒井)
萩野服部研究室 スキー合宿 2012 自己紹介(酒井)
自動定理証明の紹介
自動定理証明の紹介
“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介@P...
“Adoption and Focus: Practical Linear Types for Imperative Programming”他の紹介@P...
“Design and Implementation of Generics for the .NET Common Language Runtime”他...
“Design and Implementation of Generics for the .NET Common Language Runtime”他...
Relaxed Dependency Analysis
Relaxed Dependency Analysis
“Symbolic bounds analysis of pointers, array indices, and accessed memory reg...
“Symbolic bounds analysis of pointers, array indices, and accessed memory reg...
Whole Program Paths 等の紹介@PLDIr#3
Whole Program Paths 等の紹介@PLDIr#3
Run-time Code Generation and Modal-ML の紹介@PLDIr#2
Run-time Code Generation and Modal-ML の紹介@PLDIr#2
LLW2004 その場でどう書く - Haskell
1.
その場でどう書く - Haskell
酒井 政裕 sakai at tom.sfc.keio.ac.jp 慶應義塾大学 総合政策学部
2.
Web Application 何それ、おいしいの?
普通の人はそんなの書いたことないって というわけで大苦戦
3.
WASH Web Authoring
System in Haskell Embedded Domain Specific Language JSP,PHP,ERB風のテンプレート言語 Continuation Passing Style で書く 実行のトレースをクライアントに保存 トレースを再生して状態を復元
4.
おしまい ご静聴ありがとうございました
Download now