本ブログ内のコンテンツは全て個人的な見解であり， 所属する会社，組織とは全く関係ありません．
何か気になる点があったり， 間違ったことを言っていたりしたら， 気軽に教えてください．
Recent posts
OCaml
OCaml
OCaml
OCaml
OCaml
OCaml
memo
memo
Math
Math
HTML 上で bussproofs スタイルの証明木をレンダリングできるツールを作った
Math
〉
I created a bussproofs style proof tree renderer for HTML.
OCaml
OCaml
【初心者向け】js_of_ocaml を用いた OCaml コードでの DOM 操作の解説
OCaml
〉
Trying out HTML DOM manipulation with js_of_ocaml/ocaml.
SATySFi
SATySFi
SATySFi で図をページ下部に配置するパッケージを作った
SATySFi
〉
I created a package to allow SATySFi to have floating boxes at the bottom of pages.
Proof Assistant
Proof
Assistant
定理証明支援系 Lean の勉強会に参加してきました
日曜日に， コンピュータを用いて正しい証明を行う定理証明支援系 Lean の勉強会にオンラインで参加してきました．
LaTeX
LaTeX
Mathematics
Mathematics
