Sosuke MORIGUCHI
11 SlideShares 23 Followers 18 Followings
Personal Information
Occupation
Kwansei Gakuin University
About
Ph.D in Engineering. Researcher in Kwansei Gakuin University.
Tags
回文 peg palindrome coq
See more
  • Documents
  • Infographics
Latest Most Popular

Summerseminar2019

4 years ago • 173 Views

PEGの回文っぽいExpression

8 years ago • 2523 Views

Linear logic (and Linear Lisp)

8 years ago • 1433 Views

fibsを読む

9 years ago • 866 Views

ProofSummit2014 : VSTでCの検証

9 years ago • 1478 Views

Nagoya Matsuri 2013 ぐだぐだAgda

10 years ago • 2053 Views

ProofSummit2013 べらべらAbella

10 years ago • 1047 Views

A/F/C-orientation

11 years ago • 414 Views

Proof Summit 2012

11 years ago • 755 Views

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

11 years ago • 1278 Views

Cartesian Closed Category

12 years ago • 3557 Views