mzp

Usage
======

Run `analyze.rb` to genarte statics data:

    ruby analyze.rb example.csv > data.js

And open `dot.html`.

mzp

わかめモナ化: Maybeモナドの証明 + Coq入門

証明の重要性

• うかつにモナドと言うと刺される

例: jQueryはモナドだ - id:anatooのブログ

「jQueryはモナドである」と主張したけど、証明はなかったのですぐに刺された。

JQueryがモナドかどうかとか - たけをの日記＠天竺から帰ってきたよ

mzp

#!/bin/sh
(cd libfoo && make)
(cd libbar && make)
gcc -o loader test_dyld.c

./loader

mzp

module Fluent

class TypeperfInput < Input

  Plugin.register_input('typeperf', self)

  def initialize
    super
    require 'csv'
    @hostname = `hostname`.chomp!

mzp

JRuby on Windowsでfluentdを動かす方法

前提

• JRuby 1.6.7.2(1.7.0 preview1だと動かない?)
• MinGW

また上記二つにパスを通してください。 ボクは以下のような run.bat を作っています。

set PATH=C:\jruby-1.6.7.2\bin;C:\MinGW\bin;C:\MinGW\msys\1.0\bin;%PATH%

mzp

ほげ

mzp

./configure CC='gcc -m32' CXX='g++ -m32' LD='ld -arch i386' --enable-native=x86-darwin --prefix=/opt/smlsharp --enable-fast-build

mzp

diff --git a/depend.mk b/depend.mk
index dec0a30..9f29e21 100644
--- a/depend.mk
+++ b/depend.mk
@@ -5440,11 +5440,11 @@ src/compiler/main/main/RunLoop.o: src/compiler/main/main/RunLoop.sml \
   src/compiler/toplevel2/main/TOP.sig \
   src/compiler/toplevel2/main/TopData.ppg.smi \
   src/compiler/toplevel2/main/NameEvalEnvUtils.smi \
-  src/compiler/toplevel2/main/Top.smi src/ffi/main/DynamicLink.smi \
-  src/ffi/main/Pointer.smi src/ffi.smi src/sql/main/PGSQL.smi \

mzp

("(BuiltinContext.smi)" (43 11) (43 14) "exn")
("(BuiltinContext.smi)" (44 11) (44 15) "exn")
("(BuiltinContext.smi)" (45 11) (45 19) "exn")
("(BuiltinContext.smi)" (46 11) (46 14) "exn")
("(BuiltinContext.smi)" (47 11) (47 18) "exn")
("(BuiltinContext.smi)" (48 11) (48 13) "exn")
("(BuiltinContext.smi)" (49 11) (49 16) "exn")
("(BuiltinContext.smi)" (50 11) (50 24) "string -> exn")
("(BuiltinContext.smi)" (52 11) (52 13) "exn")
("(BuiltinContext.smi)" (53 11) (53 14) "exn")

mzp

#!/bin/sh
MASTER=${1:-"master"}
WORKING_BRANCH=`git branch -l | grep "*" | cut -d " " -f 2`
git rebase $MASTER && git checkout $MASTER && git reset --hard $WORKING_BRANCH && git branch -D $WORKING_BRANCH