Skip to content

Instantly share code, notes, and snippets.

View keizo042's full-sized avatar

Koichi Nakanishi keizo042

28 followers · 10 following
  • japanese company
  • Japan
View GitHub Profile
@keizo042
keizo042 / poc4not_assigned_cv.rb
Created March 23, 2017 05:18
class Greeding
@@hello =nil
def self.hello=(word)
@@hello = word
end
def hello
@@hello
end
end
@keizo042
keizo042 / .00title-design-frame.md
Last active February 6, 2017 19:53

quic frame degin idea

@keizo042
keizo042 / .00titile-haskell-binary-class.txt
Last active January 22, 2017 14:35
We couldn’t find that file to show.
@keizo042
keizo042 / .00title-haskell-udp.txt
Last active January 22, 2017 04:50
We couldn’t find that file to show.
@keizo042
keizo042 / plus_comm.v
Created December 28, 2016 13:42
Theorem plus_comm : forall n m : nat,
n + m = m + n.
Proof.
intros.
induction n.
induction m.
reflexivity.
@keizo042
keizo042 / test.c
Created September 5, 2016 13:07
// when depoyment
//
// $ gcc sample.c main.c -o sample
// when testing
//
// $ gcc -DDEBUG sample.c test/test_main.c -o test/test
#include <stdio.h>
#define FAIL 1
@keizo042
keizo042 / pi.go
Last active April 13, 2016 17:39
package main
import (
"fmt"
"strconv"
)
type N (chan interface{})
type Z int
@keizo042
keizo042 / opentoonz_Qt_dep_fail.txt
Created March 29, 2016 13:54
Scanning dependencies of target tnzcore
[ 0%] Building CXX object tnzcore/CMakeFiles/tnzcore.dir/__/common/tcore/tdata.cpp.o
clang: warning: -Wl,-install_name,@rpath/libtnzcore.dylib: 'linker' input unused
In file included from /Users/keizo/product/opentoonz/toonz/sources/common/tcore/tdata.cpp:4:
In file included from /Users/keizo/product/opentoonz/toonz/sources/include/tconvert.h:76:
In file included from /Users/keizo/Qt5.5.1/5.5/clang_64/lib/QtCore.framework/Headers/qstring:1:
In file included from /Users/keizo/Qt5.5.1/5.5/clang_64/lib/QtCore.framework/Headers/qstring.h:43:
/Users/keizo/Qt5.5.1/5.5/clang_64/lib/QtCore.framework/Headers/qrefcount.h:48:22: error: expected ';' at end of
declaration list
inline bool ref() Q_DECL_NOTHROW {
@keizo042
keizo042 / vcl.c
Last active March 12, 2016 04:41
/* ---===### include/vdef.h ###===--- */
/*-
* Copyright (c) 2006 Verdens Gang AS
* Copyright (c) 2012 Fastly Inc
* Copyright (c) 2006-2015 Varnish Software AS
* All rights reserved.
*
* Author: Poul-Henning Kamp <phk@phk.freebsd.dk>
* Author: Rogier 'DocWilco' Mulhuijzen <rogier@fastly.com>
@keizo042
keizo042 / sigsegv_in_mruby_ldns.rb
Created February 18, 2016 17:38
r = Resolv.new
addr = r.getaddress "google.com"
puts r.getname addr
puts r.getnames addr