雑感等

音楽,数学,語学,その他に関するメモを記す.

2016-10-25から1日間の記事一覧

Haskell ポイントフリー

Prelude> (3*(4-))$ 2:38:1: error: ? Non type-variable argument in the constraint: Num (a -> a) (Use FlexibleContexts to permit this) ? When checking the inferred type it :: forall a. (Num (a -> a), Num a) => a Prelude> (3*).(4-)$ 2 6

Windows 10, TeX Live 2015のフォント変更―小塚フォントの導入

pdfの出力を小塚フォントに変更した. 参照:OTF - TeX Wiki 失敗 "コマンドラインで以下を実行 updmap-sys --setoption kanjiEmbed kozuka kanji-config-updmap-sys kozuka-pr6n mktexlsr 成功 適当に"-sys"を外してみる. e.g. updmap --setoption kanjiEm…