Categories

誰かが解決してくれるのを祈る．

Web Development

Web Development
Web
Development

A hands-on tutorial about Lambda GT

Oct 4, 2022
Web Development 〉
A functional language with graphs as first class data.

Generating and Maintaining Homepage

Mar 11, 2022
Web Development 〉

ホームページの整備を現代風に行う

Random note

Random note
Random
note

LaTeX に図を入れるにはどうすれば良いのか．．．

Oct 12, 2022
Random note 〉
Drawing figures in latex
Random note
Random
note

設定ファイルが (OCa)ML なエディタってないのかな？

Oct 12, 2022
Random note 〉
Can we configure our editor with a statically typed language?
Random note
Random
note

Crontab でのやらかし

Oct 12, 2022
Random note 〉
Accident with Crontab
Random note
Random
note

ブログ始めました

Oct 9, 2022
Random note 〉

最近人と会話する機会が減っていて， 自然言語の運用能力が極限まで低くなっていることに気がつきました．

JavaScript

JavaScript
JavaScript

Jekyll でソースコードに copy ボタンをつける

Oct 10, 2022
JavaScript 〉
javascript で動的に生成することにした．

Research

The Lambda GT Language (2025)

Dec 30, 2025
Research 〉
Overview of the $\lambda_{GT}$ language
Research
Research

差分リストとアトムからなる Lisp (DLisp) の紹介

Oct 10, 2022
Research 〉
修士1年の夏にやろうとしていた研究テーマ

OCaml

OCaml で画像を扱ってみる：CamlImages の使い方

Oct 27, 2024
OCaml 〉
How to use CamlImages for an image processing in OCaml?

Dune を使って OCaml コードのテンプレートを作る方法

Oct 26, 2024
OCaml 〉
How to create a OCaml code template using Dune?

Logs を用いた OCaml でのログ出力

Oct 23, 2024
OCaml 〉
How to use dbuenzli/logs: A logging library in OCaml?

OCaml での HTML DOM 操作解説

May 12, 2024
OCaml 〉
Trying out HTML DOM manipulation with js_of_ocaml/ocaml.
OCaml
OCaml

OCaml の labeled argument は，部分適用できる！

Oct 11, 2022
OCaml 〉
Partially applying labeled arguments in OCaml
OCaml
OCaml

opam install で error を吐く

Oct 10, 2022
OCaml 〉

表題の通りで，サーバ上に opam をインストールして， それを使って opam install . すると，下記のようなエラーを吐く（ことがある）．

Programming Language

Programming Language
Programming
Language

Python とかの構文解析をする（実装編）

Oct 14, 2022
Programming Language 〉
Parsing off-side ruled syntax with OCamlLex and Menhir
Programming Language
Programming
Language

Python とかの構文解析をする（アルゴリズム編）

Oct 13, 2022
Programming Language 〉
Parsing off-side ruled syntax
Programming Language
Programming
Language

数式を冗長な括弧を省いて綺麗に表示する

Oct 12, 2022
Programming Language 〉
Pretty printing math formula
Programming Language
Programming
Language

一週間で Python を作ってみた！

Oct 12, 2022
Programming Language 〉
Mini python interpreter

TypeScript

TypeScript
TypeScript

TypeScript でモナド風コンビネータ

Oct 12, 2022
TypeScript 〉
Monadic combinators in TypeScript

Actix-web

Actix-web
Actix-web

Actix Web ミドルウェアの謎解き

Oct 22, 2022
Actix-web 〉
Demystifying Actix Web Middleware

LaTeX

LaTeX
LaTeX

LaTeX で数式に色をつける

Dec 17, 2022
LaTeX 〉
Color math expressions in LaTeX
LaTeX
LaTeX

場合分けの証明を LaTeX で書く

Nov 20, 2022
LaTeX 〉
Case splitting proof in LaTeX

Mathematics

Mathematics
Mathematics

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

Dec 12, 2022
Mathematics 〉

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

Proof Assistant

Proof Assistant
Proof
Assistant

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

Sep 3, 2023
Proof Assistant 〉
日曜日に， コンピュータを用いて正しい証明を行う定理証明支援系 Lean の勉強会にオンラインで参加してきました．

SATySFi

SATySFi で図をページ下部に配置するパッケージを開発しました

Mar 30, 2024
SATySFi 〉
I created a package to allow SATySFi to have floating boxes at the bottom of pages.

Math

HTML 上で bussproofs スタイルの証明木をレンダリングできるツールを開発しました

Aug 16, 2024
Math 〉
I created a bussproofs style proof tree renderer for HTML.

memo

ocaml-lp の HiGHS 対応に向けて

Feb 24, 2025
memo 〉
Towards Adding HiGHS Support to ocaml-lp

ocaml-lp を用いた数理最適化

Feb 24, 2025
memo 〉
Linear Programming with ocaml-lp

(Neo)vim の markdown-preview.nvim で最新の Mermaid を使う方法

Feb 8, 2025
memo 〉
Updating the mermaid version of markdown-preview.nvim

Eisvogel/Pandoc + Mermaid で markdown から日本語の PDF を作る

Feb 8, 2025
memo 〉
Creating a japanese PDF document from markdown with Eisvogel/Pandoc + Mermaid.js

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

The Lambda GT Language (2025)

Dec 30, 2025
Research 〉
Overview of the $\lambda_{GT}$ language

ocaml-lp の HiGHS 対応に向けて

Feb 24, 2025
memo 〉
Towards Adding HiGHS Support to ocaml-lp

ocaml-lp を用いた数理最適化

Feb 24, 2025
memo 〉
Linear Programming with ocaml-lp

(Neo)vim の markdown-preview.nvim で最新の Mermaid を使う方法

Feb 8, 2025
memo 〉
Updating the mermaid version of markdown-preview.nvim

Eisvogel/Pandoc + Mermaid で markdown から日本語の PDF を作る

Feb 8, 2025
memo 〉
Creating a japanese PDF document from markdown with Eisvogel/Pandoc + Mermaid.js

OCaml で画像を扱ってみる：CamlImages の使い方

Oct 27, 2024
OCaml 〉
How to use CamlImages for an image processing in OCaml?

Dune を使って OCaml コードのテンプレートを作る方法

Oct 26, 2024
OCaml 〉
How to create a OCaml code template using Dune?

Logs を用いた OCaml でのログ出力

Oct 23, 2024
OCaml 〉
How to use dbuenzli/logs: A logging library in OCaml?

HTML 上で bussproofs スタイルの証明木をレンダリングできるツールを開発しました

Aug 16, 2024
Math 〉
I created a bussproofs style proof tree renderer for HTML.

OCaml での HTML DOM 操作解説

May 12, 2024
OCaml 〉
Trying out HTML DOM manipulation with js_of_ocaml/ocaml.

〉See more