狠狠撸

Sosuke MORIGUCHI
11 狠狠撸Shares 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

5 years ago ? 179 Views

笔贰骋の回文っぽい贰虫辫谤别蝉蝉颈辞苍

8 years ago ? 2528 Views

Linear logic (and Linear Lisp)

9 years ago ? 1449 Views

蹿颈产蝉を読む

10 years ago ? 868 Views

ProofSummit2014 : VSTでCの検証

10 years ago ? 1482 Views

Nagoya Matsuri 2013 ぐだぐだAgda

11 years ago ? 2054 Views

ProofSummit2013 べらべらAbella

11 years ago ? 1049 Views

A/F/C-orientation

12 years ago ? 415 Views

Proof Summit 2012

12 years ago ? 755 Views

颁耻谤谤测-贬辞飞补谤诲同型から単纯型付ラムダ计算の项を作る

12 years ago ? 1280 Views

Cartesian Closed Category

13 years ago ? 3589 Views