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.
Web Development
Web
Development

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

Research
Research

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

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

OCaml

OCaml
OCaml

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

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

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

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

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

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

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

SATySFi で図をページ下部に配置するパッケージを作った

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

Math

Math
Math

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

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

memo

memo
memo

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

Oct 23, 2024
memo 〉
Is CO2 the real cause of the global warming

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 の使い方

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

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

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

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

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

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

Oct 23, 2024
memo 〉
Is CO2 the real cause of the global warming
Math
Math

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

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

【初心者向け】js_of_ocaml を用いた OCaml コードでの DOM 操作の解説

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

SATySFi で図をページ下部に配置するパッケージを作った

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

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

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

LaTeX で数式に色をつける

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

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

Dec 12, 2022
Mathematics 〉

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

〉See more