日記(2020年1月1日)

Wed Jan 1 20:28:00 JST 2020 (modified: Wed Jan 1 22:55:48 JST 2020)
views: 1068, keywords: 日記, OCaml, SATySFi

  このエントリーをはてなブックマークに追加 

 3年の講義の課題の締め切りが大晦日だったので、今日採点をする羽目になった。午前を消費。午後は勉強できた。

OCamlの勉強

 SATySFiをいじりたいのでこちらの本をだーっと読んだ。関数型言語の勉強をするのはHaskell以来だけど、Haskellやってたのでそんなに違和感なかった。let ... inは面白い書き方だなーと思って読んでたけどそういえばHaskellにもあった。

photo
プログラミング in OCaml 〜関数型プログラミングの基礎からGUI構築まで〜
[五十嵐淳]
技術評論社 2014-12-09 (Release 2014-12-09)

(powered by amazon-item v0.2.1)

SATySFiいじり

 OCamlを踏まえた上でSATySFiの解説を読み直す。当然ながら分かりが進んだ。

 その後、自分でsubsectionをカスタマイズしようとしたけど玉砕。分かりが進んだけど何にも分からん。その後さらにねばったけどテキストに出てくるref-lemmaがないので探しまくったけど見つからず助けてほしいけど助けを求める体力が残ってない。

寝る。



prev:日記(2019年12月29日) next:日記(〜2020年1月14日)

やり散らかし一覧

記事いろいろ




このサイトではGoogle Analyticsやその他ソーシャルボタンのためにCookieを使用しています。もし同意いただけない場合はブラウザでクッキーを無効にして閲覧をお願いします。This site uses cookies for Google AdSense and some social buttons. If you cannot accept our use of cookies, please disable cookies on your browser.