Posts

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

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

ケーリーの定理の証明

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

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

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

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

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

フィボナッチ数列(memoization)

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

フィボナッチ数列(タプリング法)

naive fib まずnaiveな定義から。 slowFib 0 = 1 slowFib 1 = 1 slowFib n = slowFib (n-1) + slowFib

Haskellの素因数分解

headPrimeFactor :: Integer -> Integer headPrimeFactor n = if fstprime == [] then n else head fstprime where fstprime = filter primes [2..sqrt'] primes x = n `mod` x ==

種類の数を数える(重複の削除)

複数の要素を扱うための基礎的なライブラリをいろいろテストして

Jamil Jan Kochai 'Playing Metal Gear Solid V: The Phantom Pain'

Playing Metal Gear Solid V: The Phantom Pain The New Yorkerの誌面にしてわずか3ページほ

Jesse Ball 'The Divers' Game'

The Divers’ Game: A Novel 市民であるpatsと、移民およびその子孫であるqu