Personal Information
Unternehmen/Arbeitsplatz
Tokyo Japan
Beruf
Software Engineer
Webseite
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
Mehr anzeigen
Präsentationen
(10)Gefällt mir
(50)SessionRun
minux302
•
Vor 3 Jahren
Pony concurrency built into the type system
matsu_chara
•
Vor 8 Jahren
Ponylangとこれからの並行プログラミング
matsu_chara
•
Vor 6 Jahren
Generative Adversarial Networksの基礎と応用について
So Hasegawa
•
Vor 4 Jahren
Developers Summit 2014 「Play2/Scalaでドメイン駆動設計を利用した大規模Webアプリケーションのスクラム開発の勘所」
Yoshimura Soichiro
•
Vor 10 Jahren
SPAのルーティングの話
ushiboy
•
Vor 6 Jahren
AnsibleによるInfrastructure as code入門
kk_Ataka
•
Vor 9 Jahren
脚注をめぐる冒険
Keiichiro Shikano
•
Vor 7 Jahren
確率的プログラミングライブラリEdward
Yuta Kashino
•
Vor 6 Jahren
PFIセミナー 2013/02/28 「プログラミング言語の今」
Preferred Networks
•
Vor 11 Jahren
Yesod勉強会
Hideyuki Tanaka
•
Vor 12 Jahren
Yesodを支える技術
Hiromi Ishii
•
Vor 12 Jahren
フォントの選び方・使い方
k maztani
•
Vor 7 Jahren
ものまね鳥を愛でる 結合子論理と計算
Hiromi Ishii
•
Vor 7 Jahren
圏論のモナドとHaskellのモナド
Yoshihiro Mizoguchi
•
Vor 11 Jahren
O caml2014 leroy-slides
OCaml
•
Vor 9 Jahren
Xamarin.forms入門
一希 大田
•
Vor 7 Jahren
ニューラルチューリングマシン入門
naoto moriyama
•
Vor 7 Jahren
Deep Learningの技術と未来
Seiya Tokui
•
Vor 10 Jahren
Sized Linear Algebra Package のチュートリアル
Akinori Abe
•
Vor 7 Jahren
Introduction to Categorical Programming (Revised)
Masahiro Sakai
•
Vor 14 Jahren
正規言語と代数と論理の対応:An Introduction to Eilenberg’s Variety Theorem
Ryoma Sin'ya
•
Vor 9 Jahren
Invertible-syntax 入門
Hiromi Ishii
•
Vor 13 Jahren
Pythonによる機械学習入門 ~SVMからDeep Learningまで~
Yasutomo Kawanishi
•
Vor 7 Jahren
計算情報学研究室 (数理情報学第7研究室)
Tasuku Soma
•
Vor 9 Jahren
Arduino 入門
mitunaga
•
Vor 10 Jahren
Stochastic Variational Inference
Kaede Hayashi
•
Vor 8 Jahren
機械学習と深層学習の数理
Ryo Nakamura
•
Vor 7 Jahren
Vimから見たemacs
Shougo
•
Vor 11 Jahren
C++勉強会in広島プレゼン資料
真一 北原
•
Vor 10 Jahren
Personal Information
Unternehmen/Arbeitsplatz
Tokyo Japan
Beruf
Software Engineer
Webseite
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
Mehr anzeigen