Skip to content

Instantly share code, notes, and snippets.

Avatar

MIZUNO Hiroki mzp

View GitHub Profile
View keybase.md

Keybase proof

I hereby claim:

  • I am mzp on github.
  • I am mzp (https://keybase.io/mzp) on keybase.
  • I have a public key ASAwwDPqzgm4PlvU_jfr-ryuG8e2dvbb74lIj3jnHgC4mwo

To claim this, I am signing this object:

@mzp
mzp / Dockerfile
Created Oct 12, 2017
alpine-ruby:2.5.0-preview1
View Dockerfile
FROM buildpack-deps:stretch
# skip installing gem documentation
RUN mkdir -p /usr/local/etc \
&& { \
echo 'install: --no-document'; \
echo 'update: --no-document'; \
} >> /usr/local/etc/gemrc
ENV RUBY_MAJOR 2.5
@mzp
mzp / abst.md
Created Jan 11, 2015
浜松Ruby会議01-アブストラクト
View abst.md
  • 名前: mzp
  • 所属/肩書き: スタンドファーム株式会社
  • URL: http://mzp.hatenablog.com/
  • twitter: @mzp
  • タイトル: Rubylistのための型入門(仮)
  • 内容: かつて、RubyはJava/C++といった静的型付き言語を仮想敵として、LL陣営は大きな盛り上りをみせました。それから10ウン年、Scala/F#/Swiftといった静的型付き言語が台頭してきています。これらの言語はかつての静的型付き言語とはどう違うのか、またどのように使いわけるのがよいのかについて主観的に語ります。
View gist:ebbd01613736beda61bd

目標

see: https://github.com/bleis-tift/SmlSharpContrib

SML#のライブラリが足りないのでなんとかしたい。

方針(検討中)

  • こったライブラリにはしない
  • 適当なCライブラリの薄いラッパにする
  • メソッドはすべて移植する(よっぽど不要なやつは省く?)
View Sf.v
(* compile with Coq 8.4pl2 *)
Fixpoint evenb (n:nat) : bool :=
match n with
| O => true
| S O => false
| S (S n') => evenb n'
end.
Definition negb (b:bool) : bool :=
match b with
View Zakky.v
Inductive Term : Set :=
| T
| F
| TIf (_ : Term) (_ : Term) (_ : Term).
Inductive Step : Term -> Term -> Prop :=
| EIfTrue : forall (t1 t2 : Term), Step (TIf T t1 t2) t1
| EIfFalse : forall (t1 t2 : Term), Step (TIf F t1 t2) t2
| EIf : forall (t1 t1' t2 t3 : Term), Step t1 t1' -> Step (TIf t1 t2 t3) (TIf t1' t2 t3).
View nexus7.md

Nexus7買いました

あるいは、Nexus7上にDebian環境を構築するときのメモ。

TODO

だれかおしえてください。

  • キーボードの配列変更(Dvorak配列 + Ctrl-CapsLock入れ替え)
  • 画面幅が80文字に固定される
  • スワップを有効にしたほうがいい?
View memory map
Xen Minimal OS!
start_info: 000000000018b000(VA)
nr_pages: 0x10000
shared_inf: 0x1de99000(MA)
pt_base: 000000000018e000(VA)
nr_pt_frames: 0x5
mfn_list: 000000000010b000(VA)
mod_start: 0x0(VA)
mod_len: 0
flags: 0x0
You can’t perform that action at this time.