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

〉About this cite

〉About the author

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

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.