Most used in business are Ruby, Rust and Go.

StandardMLを趣味でやっていて、大堀　淳『プログラミング言語 Standard ML入門』の解答例の修正を一部実施しました。

• 大堀 淳(2021)『プログラミング言語 Standard ML 入門　改訂版』の謝辞に名前が載る。(参考: https://atsushiohori.github.io/ja/texts/standard-ml/acknowledgments/ )
• 大堀 淳(2021)『コンパイラ ー 原理と構造』の筆者HPの謝辞に名前が載る。

I am interested in Formal Driven Develpment and Formal Methods, I have some repositories to track my studies.

• TLA+
• Isabelle