T. Suwa

8 Seguidores

10 SlideShares 8 Seguidores 17 Siguiendos

10 SlideShares 8 Seguidores 17 Siguiendos

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

Ver más

Actividad
Acerca de

TeX言語の展開制御による文書の構造化（TeXユーザの集い2014）

Hace 9 años • 14917 Visualizaciones

Macrodown -MLが使えるML-

Hace 7 años • 3855 Visualizaciones

レコード計算の多相型システムと型推論

Hace 6 años • 2369 Visualizaciones

ラベルなしオプション引数の型システムと型推論

Hace 4 años • 356 Visualizaciones

静的型つき組版処理システムSATySFi @第61回プログラミング・シンポジウム

Hace 4 años • 2196 Visualizaciones

多段階計算の型システムの基礎

Hace 4 años • 4691 Visualizaciones

SATySFiのこれからの課題たち

Hace 3 años • 1246 Visualizaciones

静的型つき組版処理システムSATySFi: その後の発展と今後の課題 @第62回プログラミング・シンポジウム

Hace 3 años • 1164 Visualizaciones

SATySFi 最近の発展と目下実装中の変更

Hace 2 años • 552 Visualizaciones

PPL 2022 招待講演：静的型つき函数型組版処理システムSATySFiの紹介

Hace 2 años • 3809 Visualizaciones

SessionRun

minux302 • Hace 3 años

Pony concurrency built into the type system

matsu_chara • Hace 8 años

Ponylangとこれからの並行プログラミング

matsu_chara • Hace 6 años

Generative Adversarial Networksの基礎と応用について

So Hasegawa • Hace 4 años

Developers Summit 2014 「Play2/Scalaでドメイン駆動設計を利用した大規模Webアプリケーションのスクラム開発の勘所」

Yoshimura Soichiro • Hace 10 años

SPAのルーティングの話

ushiboy • Hace 6 años

AnsibleによるInfrastructure as code入門

kk_Ataka • Hace 9 años

脚注をめぐる冒険

Keiichiro Shikano • Hace 7 años

確率的プログラミングライブラリEdward

Yuta Kashino • Hace 6 años

PFIセミナー 2013/02/28 「プログラミング言語の今」

Preferred Networks • Hace 11 años

Yesod勉強会

Hideyuki Tanaka • Hace 12 años

Yesodを支える技術

Hiromi Ishii • Hace 12 años

フォントの選び方・使い方

k maztani • Hace 7 años

ものまね鳥を愛でる結合子論理と計算

Hiromi Ishii • Hace 7 años

圏論のモナドとHaskellのモナド

Yoshihiro Mizoguchi • Hace 11 años

O caml2014 leroy-slides

OCaml • Hace 9 años

Xamarin.forms入門

一希大田 • Hace 7 años

ニューラルチューリングマシン入門

naoto moriyama • Hace 7 años

Deep Learningの技術と未来

Seiya Tokui • Hace 10 años

Sized Linear Algebra Package のチュートリアル

Akinori Abe • Hace 7 años

Introduction to Categorical Programming (Revised)

Masahiro Sakai • Hace 14 años

正規言語と代数と論理の対応：An Introduction to Eilenberg’s Variety Theorem

Ryoma Sin'ya • Hace 9 años

Invertible-syntax 入門

Hiromi Ishii • Hace 13 años

Pythonによる機械学習入門～SVMからDeep Learningまで～

Yasutomo Kawanishi • Hace 7 años

計算情報学研究室（数理情報学第７研究室）

Tasuku Soma • Hace 9 años

Arduino 入門

mitunaga • Hace 10 años

Stochastic Variational Inference

Kaede Hayashi • Hace 8 años

機械学習と深層学習の数理

Ryo Nakamura • Hace 7 años

Vimから見たemacs

Shougo • Hace 11 años

C++勉強会in広島プレゼン資料

真一北原 • Hace 10 años

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

Ver más