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

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?
memo
memo

地球温暖化の原因は本当に二酸化炭素なのか?

memo
Is CO2 the real cause of the global warming
Math
Math

HTML 上で bussproofs スタイルの証明木をレンダリングできるツールを作った

Math
I created a bussproofs style proof tree renderer for HTML.
OCaml
OCaml

【初心者向け】js_of_ocaml を用いた OCaml コードでの 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.
Proof Assistant
Proof
Assistant

定理証明支援系 Lean の勉強会に参加してきました

日曜日に, コンピュータを用いて正しい証明を行う定理証明支援系 Lean の勉強会にオンラインで参加してきました.
LaTeX
LaTeX

LaTeX で数式に色をつける

LaTeX
Color math expressions in LaTeX
Mathematics
Mathematics

Disjoint-set の和の数学的な定義

諸事情により,Disjoint-set の和の数学的な定義が欲しかった.

〉See more