KPF #x06

ばばろあ @valvallow

prologっぽい #kpf

しんぷる @s1mple

Wasaoがマジメに話聞いてるところ初めて見た。 #KPF

@MatsumuraKs

証明面白い！！！！ #KPF

@MatsumuraKs

RT @s1mple: Wasaoがマジメに話聞いてるところ初めて見た。 #KPF

真人間 @Sn0wNight

RT @s1mple: Wasaoがマジメに話聞いてるところ初めて見た。 #KPF

ばばろあ @valvallow

難しいれす（＾ｑ＾） #kpf

@MatsumuraKs

証明して動作を保証するのか #KPF

@MatsumuraKs

ふむふむ #KPF

@MatsumuraKs

Coqやってみたい #KPF

greenz(無) @greenz_greenz

数学の論理帰結と言語の関係という考えが面白い #kpf

@MatsumuraKs

#KPF - CoqによるMsgPackの証明: http://t.co/41FFbXcr #miteru

favyoshi @favyoshi

RT @MatsumuraKs: #KPF - CoqによるMsgPackの証明: http://t.co/41FFbXcr #miteru

@MatsumuraKs

面白かった！！ #KPF

高雄摩耶 @takaomaya

関数型言語と定理証明かあ、どうもうまく頭の中に落ちてこないなあ。集合型プログラミングであるSQLに近いけど、それに対する回答がある、という形なのかしらね。 #kpf

ばばろあ @valvallow

パインアメ食べたい人は僕まで #KPF

@MatsumuraKs

膨大なテストをせずに証明を！！ #KPF

レオナ @reona396

学部２年のプログラミングの授業はまだ「書き方」自体を習っている感じです #KPF

greenz(無) @greenz_greenz

諸事情により1500に離脱します(>_<) #kpf

ばばろあ @valvallow

はじめまして！はじめまして！ #kpf

しんぷる @s1mple

.@shunsuk さんのLT始まった！ #KPF

greenz(無) @greenz_greenz

面白くて見てたいけど撤収しますっ #kpf

レオナ @reona396

Processingおもしろいですよー #KPF

Sadayuki Furuhashi @frsyuki

RT @MatsumuraKs: #KPF - CoqによるMsgPackの証明: http://t.co/41FFbXcr #miteru

mzp @mzp

RT @MatsumuraKs: #KPF - CoqによるMsgPackの証明: http://t.co/41FFbXcr #miteru

koki_h @koki_h

#KPF こんなのもあるなー。http://t.co/AB5RbjD3