啓 小笠原
10 SlideShares 65 Seguidores 52 Seguindos
Personal Information
Organização/Local de trabalho
Nagoya-shi, Aichi, Japan
Cargo
ITプランニング
Marcadores
alloy #alloy fp ats2 functional programming fsharp gadts ocaml
Ver mais
  • Documentos
  • Infográficos
Mais recentes Mais populares

自前言語を仕事に使う話

Há 2 anos • 333 Visualizações

Alloy論理データモデル

Há 8 anos • 2246 Visualizações

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

Há 9 anos • 2849 Visualizações

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

Há 9 anos • 2339 Visualizações

Alloy analyzer

Há 9 anos • 2068 Visualizações

Alloy Analyzer LT

Há 9 anos • 2119 Visualizações

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

Há 10 anos • 2734 Visualizações

ぱわわっぷOCaml

Há 12 anos • 1634 Visualizações

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

Há 12 anos • 3453 Visualizações

GADTブランチの今

Há 13 anos • 6541 Visualizações