Sosuke MORIGUCHI
11 SlideShares 23 Abonné 18 Suivis
Personal Information
Profession
Kwansei Gakuin University
À propos
Ph.D in Engineering. Researcher in Kwansei Gakuin University.
Mots-clés
回文 peg palindrome coq
Tout plus
  • Documents
  • Infographies
Plus récents Les plus populaires

Summerseminar2019

il y a 4 ans • 173 Vues

PEGの回文っぽいExpression

il y a 8 ans • 2523 Vues

Linear logic (and Linear Lisp)

il y a 8 ans • 1433 Vues

fibsを読む

il y a 9 ans • 867 Vues

ProofSummit2014 : VSTでCの検証

il y a 9 ans • 1478 Vues

Nagoya Matsuri 2013 ぐだぐだAgda

il y a 10 ans • 2053 Vues

ProofSummit2013 べらべらAbella

il y a 10 ans • 1047 Vues

A/F/C-orientation

il y a 11 ans • 414 Vues

Proof Summit 2012

il y a 11 ans • 755 Vues

Curry-Howard同型から単純型付ラムダ計算の項を作る

il y a 11 ans • 1278 Vues

Cartesian Closed Category

il y a 12 ans • 3557 Vues