Recent Posts

ハン・ガン『回復する人間』

2016年にアジア人初のブッカー賞を受賞(『菜食主義者』)し

ケーリーの定理の証明

Steve Awodey, Category Theoryで圏論を少しずつ学習中。いきなりつまずいた

リストモナドの非決定性/可能性について

勉強中、リストモナドの挙動が興味深かったので、ざっくり調べて

千葉雅也『デッドライン』

主人公が師事することになる徳永先生というキャラクターについて

フィボナッチ数列(memoization)

memoization(?) 次に、memoizationによるフィボナッチ数列関数の作
Kyohei

Kyohei

about

Everything I want to understand / 興味のあること全部

TED Translations

OS: Arch Linux x86_64 / WM: i3

興味・関心

  • Literature
  • Haskell
  • Math