本ブログ内のコンテンツは全て個人的な見解であり, 所属する会社,組織とは全く関係ありません.

〉About this cite

〉About the author

Recent posts

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.

〉See more

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.