mzp

*.scpt filter=osa

mzp

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

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
• 所属/肩書き: スタンドファーム株式会社
• URL: http://mzp.hatenablog.com/
• twitter: @mzp
• タイトル: Rubylistのための型入門(仮)
• 内容: かつて、RubyはJava/C++といった静的型付き言語を仮想敵として、LL陣営は大きな盛り上りをみせました。それから10ウン年、Scala/F#/Swiftといった静的型付き言語が台頭してきています。これらの言語はかつての静的型付き言語とはどう違うのか、またどのように使いわけるのがよいのかについて主観的に語ります。

mzp

目標

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

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

方針(検討中)

• こったライブラリにはしない
• 適当なCライブラリの薄いラッパにする
• メソッドはすべて移植する(よっぽど不要なやつは省く?)

mzp

(* 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                                                                                                  

mzp

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).

mzp

_require "basis.smi"

mzp

Nexus7買いました

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

TODO

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

• キーボードの配列変更(Dvorak配列 + Ctrl-CapsLock入れ替え)
• 画面幅が80文字に固定される
• スワップを有効にしたほうがいい?

mzp

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