啓 小笠原
10 SlideShares 65 Followers 52 Followings
Personal Information
Organization / Workplace
Nagoya-shi, Aichi, Japan
Occupation
ITプランニング
Tags
alloy #alloy fp ats2 functional programming fsharp gadts ocaml
See more
  • Documents
  • Infographics
Latest Most Popular

自前言語を仕事に使う話

2 years ago • 333 Views

Alloy論理データモデル

8 years ago • 2246 Views

函数プログラミングの エッセンスと考え方

9 years ago • 2849 Views

線形型のある言語でLEDを光らせる

9 years ago • 2339 Views

Alloy analyzer

9 years ago • 2068 Views

Alloy Analyzer LT

9 years ago • 2119 Views

状態遷移機械を構成するための新しいイベントコンビネーターの提案(PPL2014 カテ3ポスター)

10 years ago • 2734 Views

ぱわわっぷOCaml

12 years ago • 1634 Views

関数型言語&形式的手法セミナー(3)

12 years ago • 3453 Views

GADTブランチの今

13 years ago • 6541 Views