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
- Dokumente
- Infografiken
こわくない Git
Kota Saito
•
Vor 11 Jahren
オブジェクト指向できていますか？
Moriharu Ohzu
•
Vor 11 Jahren
40分でわかるHadoop徹底入門 （Cloudera World Tokyo 2014 講演資料）
hamaken
•
Vor 9 Jahren
プログラム組んだら負け！実はHTML/CSSだけでできること2015夏
Yusuke Hirao
•
Vor 8 Jahren
インフラエンジニアがUnityをやるべきたった一つの理由
axsh co., LTD.
•
Vor 8 Jahren
Developers Summit 2014 「Play2/Scalaでドメイン駆動設計を利用した大規模Webアプリケーションのスクラム開発の勘所」
Yoshimura Soichiro
•
Vor 10 Jahren
Pythonによる機械学習入門 ～SVMからDeep Learningまで～
Yasutomo Kawanishi
•
Vor 7 Jahren
Arduino 入門
mitunaga
•
Vor 10 Jahren
Deep Learningの技術と未来
Seiya Tokui
•
Vor 10 Jahren
日曜プログラマーが 1週間くらいで通信対戦ゲームを作ってみた
Yuusuke Takeuchi
•
Vor 10 Jahren
機械学習と深層学習の数理
Ryo Nakamura
•
Vor 7 Jahren
AnsibleによるInfrastructure as code入門
kk_Ataka
•
Vor 9 Jahren
フォントの選び方・使い方
k maztani
•
Vor 7 Jahren
何となく勉強した気分になれるパーサ入門
masayoshi takahashi
•
Vor 9 Jahren
Xamarin.forms入門
一希 大田
•
Vor 7 Jahren
正規表現入門 星の高さを求めて
Ryoma Sin'ya
•
Vor 10 Jahren
俺の会社がこんなに経営破綻なわけがない
陽一 滝川
•
Vor 8 Jahren
tcolorboxによる装飾表現（TeXユーザの集い2015）
TeXmedicine
•
Vor 8 Jahren
Vimから見たemacs
Shougo
•
Vor 11 Jahren
SPAのルーティングの話
ushiboy
•
Vor 6 Jahren