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
(10)Likes
(50)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
•
6 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
•
12 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
Introduction to Categorical Programming (Revised)
Masahiro Sakai
•
14 years ago
正規言語と代数と論理の対応:An Introduction to Eilenberg’s Variety Theorem
Ryoma Sin'ya
•
9 years ago
Invertible-syntax 入門
Hiromi Ishii
•
13 years ago
Pythonによる機械学習入門 ~SVMからDeep Learningまで~
Yasutomo Kawanishi
•
7 years ago
計算情報学研究室 (数理情報学第7研究室)
Tasuku Soma
•
9 years ago
Arduino 入門
mitunaga
•
10 years ago
Stochastic Variational Inference
Kaede Hayashi
•
8 years ago
機械学習と深層学習の数理
Ryo Nakamura
•
7 years ago
Vimから見たemacs
Shougo
•
11 years ago
C++勉強会in広島プレゼン資料
真一 北原
•
10 years ago
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