Posts

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

2016年にアジア人初のブッカー賞を受賞（『菜食主義者』）し
2020/07/09 review, story

ケーリーの定理の証明

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

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

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

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

主人公が師事することになる徳永先生というキャラクターについて
2020/05/16 review, novel

フィボナッチ数列（memoization）

memoization(?) 次に、memoizationによるフィボナッチ数列関数の作
2020/05/04 Haskell, Math

フィボナッチ数列（タプリング法）

naive fib まずnaiveな定義から。 slowFib 0 = 1 slowFib 1 = 1 slowFib n = slowFib (n-1) + slowFib
2020/05/03 Haskell, Math

Haskellの素因数分解

headPrimeFactor :: Integer -> Integer headPrimeFactor n = if fstprime == [] then n else head fstprime where fstprime = filter primes [2..sqrt'] primes x = n `mod` x ==
2020/05/02 Haskell, Math

種類の数を数える（重複の削除）

複数の要素を扱うための基礎的なライブラリをいろいろテストして
2020/05/01 Haskell, competitive programming

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

Playing Metal Gear Solid V: The Phantom Pain The New Yorkerの誌面にしてわずか３ページほ
2020/01/15 review, story

Jesse Ball 'The Divers' Game'

The Divers’ Game: A Novel 市民であるpatsと、移民およびその子孫であるqu
2019/12/23 review, novel