啓 小笠原, profile picture

啓 小笠原

10 Slideshow
Sort by
自前言語を仕事に使う話
by啓 小笠原
 
Alloy論理データモデル
by啓 小笠原
 
函数プログラミングの エッセンスと考え方
by啓 小笠原
 
線形型のある言語でLEDを光らせる
by啓 小笠原
 
Alloy analyzer
by啓 小笠原
 
Alloy Analyzer LT
by啓 小笠原
 
状態遷移機械を構成するための新しいイベントコンビネーターの提案(PPL2014 カテ3ポスター)
by啓 小笠原
 
ぱわわっぷOCaml
by啓 小笠原
 
関数型言語&形式的手法セミナー(3)
by啓 小笠原
 
GADTブランチの今
by啓 小笠原