We use ads to keep content free and accessible for everyone. You can remove them by <link>signing up</link> for a Slideshare subscription.

Why are you seeing this?

{title} by {author}, has {slideCount} slides with {viewCount} views.

Removing from saved will also delete the item from your lists

This saved item is also in a list.

Sorry! We could not find what you were looking for.

Page no longer exists

Looks like this one's off the shelf

Too many password attempts

Sorry! The page could not be loaded.

There was an issue loading the page

Return to the homepage

Renew your Slideshare subscription

Signup now for a Slideshare account

We’ve made changes to our <terms>Terms of Use</terms> and the <subscriber>Everand Subscriber Agreement</subscriber>. The updates clarify our subscription offering and how disputes are resolved, including the law that governs any disputes. Your subscription and pricing aren’t changing.

We’ve updated our Terms of Use

Are you sure you want to block this user?

Block User

Are you sure you want to delete the selected Slideshare?

Delete Slideshare

You are trying to suspend the account {username}. This is REVERSIBLE within 1 day of Account Suspension.

Suspend User

Are you sure you want to unblock this user?

Unblock User

You are trying to unsuspend the account {username}.

Unsuspend User

Users following {name}

Users being followed by {name}

{name} Presentations

Personal Information

{title} created by {author}, {countLikes} likes and {countViews} views

Sort by

Account Suspended

profilePage

TypeSafe OSの試み

typesafe-os

Hiroki Mizuno

OCamlでWebアプリケーションを作るn個の方法

ocamlwebn

#NGK2012B Excelによる設計書について

ngk2012b-excel-15554039

Scala基礎勉強会: Featherweight Scalaの紹介および型付け規則の決定可能性について

scala-featherweight-scala

Java基礎

java-14148241

Sml#探検隊

sml-14148229

どこでもCoq

coq-14148210

Coq for Moblie Phone @ ML名古屋

1-13091969

Darcs紹介@20120423-scmbc

darcs20120423scmbc

Gallinaによる証明駆動開発の魅力

gallina-10152712

CoqによるMsgPackの証明

coqmsg-pack-9414143

「Frama-Cによるソースコード検証」 (mzp)

20110514-boost3

20110424 action scriptを使わないflash勉強会

20110424-action-scriptflash

Coq to Rubyによる証明駆動開発@名古屋ruby会議02

coq-to-rubyruby02

証明駆動開発のたのしみ@名古屋reject会議

20110226-reject