2016-01-01から1年間の記事一覧

個人的メモ

http://d.hatena.ne.jp/takeda25/20120511/1336746314 コメント欄 私はATOKをメインに、必要に応じてGoogleIMEを適時素早く切り替えて使うというやり方でタイプしています テレビ番組名やキャラクター名などの変換はGoogleIMEは圧倒的ですからね しかしATOK…

Stateモナドの例の式のトレース

SEさんは、トレース得意なので 書く必要が無いかもしれませんが 老婆心から。計算してみると、結構タイヘン。 計算が得意でない人で、初心者ならば consを3回もしない例で、やった方が良いかも。 こういう計算の支援系はないのかな、自動計算はできなくても …