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

memo
memo

ocaml-lp の HiGHS 対応に向けて

memo
Towards Adding HiGHS Support to ocaml-lp
memo
memo

ocaml-lp を用いた数理最適化

memo
Linear Programming with ocaml-lp
memo
memo

(Neo)vim の markdown-preview.nvim で最新の Mermaid を使う方法

memo
Updating the mermaid version of markdown-preview.nvim
memo
memo

Eisvogel/Pandoc + Mermaid で markdown から日本語の PDF を作る

memo
Creating a japanese PDF document from markdown with Eisvogel/Pandoc + Mermaid.js
OCaml
OCaml

OCaml で画像を扱ってみる:CamlImages の使い方

OCaml
How to use CamlImages for an image processing in OCaml?
OCaml
OCaml

Dune を使って OCaml コードのテンプレートを作る方法

OCaml
How to create a OCaml code template using Dune?
OCaml
OCaml

Logs を用いた OCaml でのログ出力

OCaml
How to use dbuenzli/logs: A logging library in OCaml?
Math
Math

HTML 上で bussproofs スタイルの証明木をレンダリングできるツールを開発しました

Math
I created a bussproofs style proof tree renderer for HTML.
OCaml
OCaml

OCaml での HTML DOM 操作解説

OCaml
Trying out HTML DOM manipulation with js_of_ocaml/ocaml.
SATySFi
SATySFi

SATySFi で図をページ下部に配置するパッケージを開発しました

I created a package to allow SATySFi to have floating boxes at the bottom of pages.

〉See more