数学が自然科学かどうか，という問いはしばしば議論される．しばしば議論される，という事実が示しているように，その，しばしば行われる議論は，往々にして一意な結論(らしきもの)を提供しない．一意な結論を提供しない，ということばをここでは，命題化さ…

この記事のお気持ち Yコンビネータ 不動点コンビネータ 不動点 コンビネータ(1) 自由変数 - 束縛変数 コンビネータ(2) この記事のお気持ち という，この呪文がなんなのか，理解したい． なぜこの呪文を理解したいのか．それは僕たちが生きているから． 生き…

見出しだぞい これで小見出しだぞい リスト 小リスト 定義リスト こんな感じかな 定義リスト あんな感じかな コードの埋め込み(Haskell) collatz :: Integer -> Maybe Integer collatz n = helper n 0 where helper :: Integer -> Integer -> Maybe Integer …