Blog

思い付いたときに思いついたことを書きます.
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.

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.