Skip to content

Instantly share code, notes, and snippets.

View oskimura's full-sized avatar

oskimura oskimura

90 followers · 282 following
  • tokyo
View GitHub Profile
@oskimura
oskimura / HeapSort.cc
Created August 19, 2011 09:45
#include <vector>
#include <math.h>
#include <algorithm>
#include <stdio.h>
#include <map>
#define INIFINITY INT_MAX
#define NEGATIVE_INFINITY INT_MIN
@oskimura
oskimura / websocket.erl
Created August 25, 2011 17:12
-module (websok).
-export ([listen/2]).
lines(Str) ->
regexp:split(Str,"\r\n").
isEmpty([]) ->
true;
isEmpty(X) ->
false.
@oskimura
oskimura / websocket.html
Created August 26, 2011 05:47
<html>
<head>
<style type="text/css">
.log {
color: red;
}
</style>
<script>
ws = new WebSocket("ws://localhost:8090");
@oskimura
oskimura / merge.cc
Created September 3, 2011 15:23
template <typename T>
std::vector<T> merge(std::vector<T> A, int p, int q, int r)
{
using namespace std;
int n1 = q-p+1;
int n2 = r-q;
vector<T> L = vector<T>(n1);
vector<T> R = vector<T>(n2);
@oskimura
oskimura / QuickSort.cc
Created September 11, 2011 15:23
#include <vector>
#include <math.h>
#include <algorithm>
#include <stdio.h>
#define print(v) for_each(v.begin(), v.end(), Print())
//==============================================
struct Print {
@oskimura
oskimura / FilterLength.v
Created September 12, 2011 09:23
Theorem FilterLength :
forall {a:Type} (f : a -> bool) (xs : list a),
length (filter f xs) <= length xs.
induction xs.
simpl.
auto.
case f.
assumption.
simpl.
case (f a0).
@oskimura
oskimura / quicksort.v
Created September 12, 2011 09:44
Section Qsort.
Require Import List.
Require Import Bool.
Require Import Omega.
Variable A:Set.
Lemma fliter_length : forall (A : Set) (l : list A) (p : A -> bool),
length (filter p l) <= length l.
Proof.
@oskimura
oskimura / HCached.hs
Created September 16, 2011 21:53
module Main where
import Network.MessagePackRpc.Server
import Control.Monad
import Control.Monad.IO.Class
import Data.MessagePack
import Data.MessagePack.Object
import qualified Data.Hashable as HK
@oskimura
oskimura / HCaced.hs
Created September 18, 2011 18:12
module Main where
import Network.MessagePackRpc.Server
import Control.Monad
import Control.Monad.IO.Class
import Data.MessagePack
import Data.MessagePack.Object
import qualified Data.Hashable as HK
@oskimura
oskimura / CardShafful.hs
Created October 1, 2011 12:42
{-# OPTIONS_GHC -O2 -fexcess-precision -fvia-C -optc-O3 -optc-ffast-math -cpp #-}
module Main where
import Control.Applicative
import Data.List
import Data.Function (on)
import Text.Printf
import Control.Monad