About this cite

本サイトは, 他の人に自分の考えや知識を共有したいというよりも, むしろ他の方からより多くの知識を頂くことを目的としています.

特に,もし誤った情報を提供している場合, GitHub の Issue や Twitter などで,ご指摘いただければ幸いです.

私のブログの方針は以下の通りです:

  1. 可能な限り事実に基づくようにしようとはしますが, 誤りがあるかもしれない情報も公開します. 誤りがあった場合はどなたかに指摘されることを期待しています.
  2. 他の誰かがすでに詳細に解説していることであっても, 自身が思いついたことを適宜掲載します.
  3. 他の人からさまざまな知識を学ぶことを期待しています.

何か気になる点があったり, 間違ったことを言っていたりしたら, 気軽に教えてください.

どんな情報でも歓迎し,アドバイスをお待ちしております.

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

Isabelle/HOL での形式証明を何とか完遂して得た学び

memo
What I Learned from my Isabelle/HOL formalisation

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.

〉See more