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

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