- Measure the time required to compile the document
sub.saty
andexplode.saty
. - We measure the time 9 times after 3 times of warming up, and average the middle 5 values.
string-sub: 24.000 seconds
string-explode: 24.507 seconds
2020/3/9記述
2/27(木)朝に教師から「生徒が感染するのは最悪避けられないが、教師のことは頑張って守る方針に学校は傾いている」という趣旨の発言を得る。
放課後に部長会開催
連絡事項は勧誘会についてのみ。 連絡終了後、春休み中の活動場所の分配を行う。 このとき、「合宿なども行われれ、全て通常通りの活動となる」という条件で分配した。
#!/bin/bash | |
set -eux | |
apt -y update | |
apt -y install m4 unzip curl | |
yes '' | sh <(curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh) | |
opam init --auto-setup --comp 4.06.0 --disable-sandboxing | |
eval $(opam env) |
@require: list | |
module SnowmanLog : sig | |
val log : unit | |
end = struct | |
let (^^>) s1 s2 = s1 ^ string-unexplode [10] ^ s2 |
let show-float-fix fl n = | |
let string = show-float fl in | |
let main-fl = | |
let n = round fl in | |
let fl-n = float n in | |
fl -. fl-n | |
in | |
let main-string = show-float main-fl in | |
let st-len = string-length main-string in | |
let-rec add-zero n = |
let-mutable it-num <- 0 | |
let add-num-list it-list = | |
let () = it-num <- 0 in | |
let add-num it = | |
let () = it-num <- !it-num + 1 in | |
(it, !it-num) | |
in | |
List.map add-num it-list |
% Author : T.Suwa and puripuri2100 | |
% LICENSE : LGPL v3 | |
@require: math | |
@require: color | |
let half-length hgt dpt hgtaxis fontsize = | |
let minhalflen = fontsize *' 0.5 in | |
let lenappend = fontsize *' 0.1 in | |
length-max minhalflen ((length-max (hgt -' hgtaxis) (hgtaxis +' dpt)) +' lenappend) |