最近人と会話する機会が減っていて， 自然言語の運用能力が極限まで低くなっていることに気がつきました．
というわけで，何か日記を書いてみることにした（これは合理的だろうか）．
果たして，書くことがあるのかはわからない．
A hands-on tutorial about Lambda GT
A functional language with graphs as first class data.
sano
A software developer interested in design and implementation of programming languages, living in Tokyo, Japan. All my posts are my own and should never be taken seriously.
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