本ブログ内のコンテンツは全て個人的な見解であり， 所属する会社，組織とは全く関係ありません．
何か気になる点があったり， 間違ったことを言っていたりしたら， 気軽に教えてください．
Recent posts
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
LaTeX
LaTeX
Actix-web
Actix-web
Programming Language
Programming
Language
Python とかの構文解析をする（実装編）
Parsing off-side ruled syntax with OCamlLex and Menhir
Programming Language
Programming
Language
