Personal Information
Organization / Workplace
Tokyo Japan
Occupation
Software Engineer
Website
github.com/gfngfn
Tags
type system
functional programming
typesetting system
ocaml
satysfi
programming language
latex
multi-stage programming
type inference
static typing
型システム
concurrency
language design
erlang
ラムダ計算
lambda calculus
プログラミング言語
型推論
computer science
markdown
静的型つけ
lightweight markup language
軽量マークアップ言語
ml
マークアップ言語
markup language
macrodown
expandafter
tex
See more
- Presentations
- Documents
- Infographics
SessionRun
minux302
•
4 years ago
Pony concurrency built into the type system
matsu_chara
•
8 years ago
Ponylangとこれからの並行プログラミング
matsu_chara
•
6 years ago
Generative Adversarial Networksの基礎と応用について
So Hasegawa
•
4 years ago
Developers Summit 2014 「Play2/Scalaでドメイン駆動設計を利用した大規模Webアプリケーションのスクラム開発の勘所」
Yoshimura Soichiro
•
10 years ago
SPAのルーティングの話
ushiboy
•
7 years ago
AnsibleによるInfrastructure as code入門
kk_Ataka
•
9 years ago
脚注をめぐる冒険
Keiichiro Shikano
•
7 years ago
確率的プログラミングライブラリEdward
Yuta Kashino
•
6 years ago
PFIセミナー 2013/02/28 「プログラミング言語の今」
Preferred Networks
•
11 years ago
Yesod勉強会
Hideyuki Tanaka
•
13 years ago
Yesodを支える技術
Hiromi Ishii
•
12 years ago
フォントの選び方・使い方
k maztani
•
7 years ago
ものまね鳥を愛でる 結合子論理と計算
Hiromi Ishii
•
7 years ago
圏論のモナドとHaskellのモナド
Yoshihiro Mizoguchi
•
11 years ago
O caml2014 leroy-slides
OCaml
•
9 years ago
Xamarin.forms入門
一希 大田
•
7 years ago
ニューラルチューリングマシン入門
naoto moriyama
•
7 years ago
Deep Learningの技術と未来
Seiya Tokui
•
10 years ago
Sized Linear Algebra Package のチュートリアル
Akinori Abe
•
7 years ago