結城浩『数学文章作法 基礎編』を読んだ。 「プログラマの数学」「数学ガール」の著者らしく、実に明快で読みやすかった。 テーマがまったくぶれないのがすごい。 「読者のことを考える」がものすごく太い線として常に中心にある。その中心テーマをめぐって…

堀井憲一郎「いますぐ書け、の文章法」を読んだ。のでいますぐ書いている。 新書で短く読みやすく、ちょっとメッセージが軽い印象はあったが面白く読めた。 あまり頭で考えすぎずに 身体性と即興性を大事に 読者へのサービスだと意識を変えて 今の文章力で …

Exercise A 自然数が以下のとおりに定義されている： mult :: Nat -> Nat -> Nat mult Zero y = Zero mult (Succ x) y = mult x y + y mult (x+y) z = mult x z + mult y zを証明せよ： case 0 左辺 mult (x+0) z = {x+0 = x} mult x z case 0 右辺 mult x z…