Categories

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

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

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

Oct 10, 2022

JavaScript 〉

javascript で動的に生成することにした．

Research

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

Oct 10, 2022

Research 〉

修士1年の夏にやろうとしていた研究テーマ

OCaml

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

May 12, 2024

OCaml 〉

Trying out HTML DOM manipulation with js_of_ocaml/ocaml.

OCaml

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

Oct 11, 2022

OCaml 〉

Partially applying labeled arguments in OCaml

OCaml

opam install で error を吐く

Oct 10, 2022

OCaml 〉

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

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 でモナド風コンビネータ

Oct 12, 2022

TypeScript 〉

Monadic combinators in TypeScript

Actix-web

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

Oct 22, 2022

Actix-web 〉

Demystifying Actix Web Middleware

LaTeX

LaTeX で数式に色をつける

Dec 17, 2022

LaTeX 〉

Color math expressions in LaTeX

LaTeX

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

Nov 20, 2022

LaTeX 〉

Case splitting proof in LaTeX

Mathematics

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

Dec 12, 2022

Mathematics 〉

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

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.

Categories

Web Development

Random note

JavaScript

Research

OCaml

Programming Language

TypeScript

Actix-web

LaTeX

Mathematics

Proof Assistant

SATySFi

Math

Recent posts