Blog

思い付いたときに思いついたことを書きます.

The Lambda GT Language (2025)

Overview of the $\lambda_{GT}$ language

ocaml-lp の HiGHS 対応に向けて

memo

Towards Adding HiGHS Support to ocaml-lp

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

memo

Linear Programming with ocaml-lp

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

memo

Updating the mermaid version of markdown-preview.nvim

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

memo

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

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

OCaml

How to use CamlImages for an image processing in OCaml?

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

OCaml

How to create a OCaml code template using Dune?

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

OCaml

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

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

Math

I created a bussproofs style proof tree renderer for HTML.

OCaml での HTML DOM 操作解説

OCaml

Trying out HTML DOM manipulation with js_of_ocaml/ocaml.

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.