Takaaki Seki

@SekiT

450Contributions

14
Posts 4
Followees 15
Followers

MailTakaaki.Seki@access-company.com

Organization

ACCESS CO., LTD

Participating Organizations(1)

Following Organizations

No Organizations you are following

Following tags(6)See all

lean4 数学 Idris Haskell purescript Scheme

Contributions

article is Liked

Idris で理解するカリー・ハワード対応

article is Stocked

ニューラルネットワークでチューリングマシンを作る

article is Liked

ニューラルネットワークでチューリングマシンを作る

article is Liked

π-計算の紹介と簡単な実装

article is Liked

ニューラルネットワークでチューリングマシンを作る

article is Stocked

π-計算の紹介と簡単な実装

article is Liked

Idris で理解するカリー・ハワード対応

article is Stocked

ニューラルネットワークでチューリングマシンを作る

article is Stocked

Z̩̮̜͉̣͎͉̤͇͂̇͊̇̅̚ͅa̠͌̔l̨̢̞̘͉̟̰̱̭̜͍̙̣̬̂̿̌̐̾̾͂̍̽̓̓̇̄g̨̢̡̢̛͍̪̠̠̹̜̪̘̱͌̆̒̅̐ỏ̡̱̞̣̖̦̰̙͊́̋́̃̂̓̍̃

article is Liked

JavaScriptでモックするやつ